blob: 2f23ca0e4413d52bde96a7725d35977a726239f6 [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 Patelabc2b352010-03-29 17:20:31 +0000299 CurrentFnDbgScope(0), PrevDILoc(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/// addDelta - Add a label delta attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000390///
Devang Patelc50078e2009-11-21 02:48:08 +0000391void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +0000392 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel1233f912009-11-21 00:31:03 +0000393 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patelc50078e2009-11-21 02:48:08 +0000394 DIEValues.push_back(Value);
395 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000396}
397
Devang Patelc50078e2009-11-21 02:48:08 +0000398/// addBlock - Add block data.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000399///
Devang Patelc50078e2009-11-21 02:48:08 +0000400void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000401 DIEBlock *Block) {
402 Block->ComputeSize(TD);
Devang Patelc50078e2009-11-21 02:48:08 +0000403 DIEValues.push_back(Block);
404 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000405}
406
Devang Patelc50078e2009-11-21 02:48:08 +0000407/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000408/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000409void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000410 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000411 if (!V->getCompileUnit().Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000412 return;
413
414 unsigned Line = V->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000415 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
416 V->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000417 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000418 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
419 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000420}
421
Devang Patelc50078e2009-11-21 02:48:08 +0000422/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000423/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000424void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000425 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000426 if (!G->getCompileUnit().Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000427 return;
428
429 unsigned Line = G->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000430 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
431 G->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000432 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000433 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
434 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000435}
Devang Patel318d70d2009-08-31 22:47:13 +0000436
Devang Patelc50078e2009-11-21 02:48:08 +0000437/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000438/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000439void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel318d70d2009-08-31 22:47:13 +0000440 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000441 if (!SP->getCompileUnit().Verify())
Devang Patel318d70d2009-08-31 22:47:13 +0000442 return;
Caroline Tice9da96d82009-09-11 18:25:54 +0000443 // If the line number is 0, don't add it.
444 if (SP->getLineNumber() == 0)
445 return;
446
Devang Patel318d70d2009-08-31 22:47:13 +0000447 unsigned Line = SP->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000448 if (!SP->getContext().Verify())
449 return;
Devang Patele485a5d2010-03-24 21:30:35 +0000450 unsigned FileID = GetOrCreateSourceID(SP->getDirectory(),
451 SP->getFilename());
Devang Patel318d70d2009-08-31 22:47:13 +0000452 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000453 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
454 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel318d70d2009-08-31 22:47:13 +0000455}
456
Devang Patelc50078e2009-11-21 02:48:08 +0000457/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000458/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000459void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000460 // If there is no compile unit specified, don't add a line #.
461 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel9e592492010-03-08 20:52:55 +0000462 if (!CU.Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000463 return;
464
465 unsigned Line = Ty->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000466 if (!Ty->getContext().Verify())
467 return;
468 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
469 Ty->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000470 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000471 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
472 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000473}
474
Devang Patel8287d662009-12-15 19:16:48 +0000475/// addSourceLine - Add location information to specified debug information
476/// entry.
477void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
478 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000479 if (!NS->getCompileUnit().Verify())
Devang Patel8287d662009-12-15 19:16:48 +0000480 return;
481
482 unsigned Line = NS->getLineNumber();
483 StringRef FN = NS->getFilename();
484 StringRef Dir = NS->getDirectory();
485
486 unsigned FileID = GetOrCreateSourceID(Dir, FN);
487 assert(FileID && "Invalid file id");
488 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
489 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
490}
491
Caroline Tice248d5572009-08-31 21:19:37 +0000492/* Byref variables, in Blocks, are declared by the programmer as
493 "SomeType VarName;", but the compiler creates a
494 __Block_byref_x_VarName struct, and gives the variable VarName
495 either the struct, or a pointer to the struct, as its type. This
496 is necessary for various behind-the-scenes things the compiler
497 needs to do with by-reference variables in blocks.
498
499 However, as far as the original *programmer* is concerned, the
500 variable should still have type 'SomeType', as originally declared.
501
502 The following function dives into the __Block_byref_x_VarName
503 struct to find the original type of the variable. This will be
504 passed back to the code generating the type for the Debug
505 Information Entry for the variable 'VarName'. 'VarName' will then
506 have the original type 'SomeType' in its debug information.
507
508 The original type 'SomeType' will be the type of the field named
509 'VarName' inside the __Block_byref_x_VarName struct.
510
511 NOTE: In order for this to not completely fail on the debugger
512 side, the Debug Information Entry for the variable VarName needs to
513 have a DW_AT_location that tells the debugger how to unwind through
514 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patelc50078e2009-11-21 02:48:08 +0000515 value of the variable. The function addBlockByrefType does this. */
Caroline Tice248d5572009-08-31 21:19:37 +0000516
517/// Find the type the programmer originally declared the variable to be
518/// and return that type.
519///
Devang Patelc50078e2009-11-21 02:48:08 +0000520DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Tice248d5572009-08-31 21:19:37 +0000521
522 DIType subType = Ty;
523 unsigned tag = Ty.getTag();
524
525 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000526 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000527 subType = DTy.getTypeDerivedFrom();
528 }
529
530 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000531 DIArray Elements = blockStruct.getTypeArray();
532
Caroline Tice248d5572009-08-31 21:19:37 +0000533 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
534 DIDescriptor Element = Elements.getElement(i);
535 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000536 if (Name == DT.getName())
Caroline Tice248d5572009-08-31 21:19:37 +0000537 return (DT.getTypeDerivedFrom());
538 }
539
540 return Ty;
541}
542
Devang Patelc50078e2009-11-21 02:48:08 +0000543/// addComplexAddress - Start with the address based on the location provided,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000544/// and generate the DWARF information necessary to find the actual variable
545/// given the extra address information encoded in the DIVariable, starting from
546/// the starting location. Add the DWARF information to the die.
547///
Devang Patelc50078e2009-11-21 02:48:08 +0000548void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000549 unsigned Attribute,
550 const MachineLocation &Location) {
551 const DIVariable &VD = DV->getVariable();
552 DIType Ty = VD.getType();
553
554 // Decode the original location, and use that as the start of the byref
555 // variable's location.
556 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
557 DIEBlock *Block = new DIEBlock();
558
559 if (Location.isReg()) {
560 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000561 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000562 } else {
563 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000564 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
565 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000566 }
567 } else {
568 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000569 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000570 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000571 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
572 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000573 }
574
Devang Patelc50078e2009-11-21 02:48:08 +0000575 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000576 }
577
578 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
579 uint64_t Element = VD.getAddrElement(i);
580
581 if (Element == DIFactory::OpPlus) {
Devang Patelc50078e2009-11-21 02:48:08 +0000582 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
583 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000584 } else if (Element == DIFactory::OpDeref) {
Devang Patelc50078e2009-11-21 02:48:08 +0000585 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000586 } else llvm_unreachable("unknown DIFactory Opcode");
587 }
588
589 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000590 addBlock(Die, Attribute, 0, Block);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000591}
592
Caroline Tice248d5572009-08-31 21:19:37 +0000593/* Byref variables, in Blocks, are declared by the programmer as "SomeType
594 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
595 gives the variable VarName either the struct, or a pointer to the struct, as
596 its type. This is necessary for various behind-the-scenes things the
597 compiler needs to do with by-reference variables in Blocks.
598
599 However, as far as the original *programmer* is concerned, the variable
600 should still have type 'SomeType', as originally declared.
601
Devang Patelc50078e2009-11-21 02:48:08 +0000602 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000603 struct to find the original type of the variable, which is then assigned to
604 the variable's Debug Information Entry as its real type. So far, so good.
605 However now the debugger will expect the variable VarName to have the type
606 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbar41716322009-09-19 20:40:05 +0000607 expression that explains to the debugger how to navigate through the
Caroline Tice248d5572009-08-31 21:19:37 +0000608 pointers and struct to find the actual variable of type SomeType.
609
610 The following function does just that. We start by getting
611 the "normal" location for the variable. This will be the location
612 of either the struct __Block_byref_x_VarName or the pointer to the
613 struct __Block_byref_x_VarName.
614
615 The struct will look something like:
616
617 struct __Block_byref_x_VarName {
618 ... <various fields>
619 struct __Block_byref_x_VarName *forwarding;
620 ... <various other fields>
621 SomeType VarName;
622 ... <maybe more fields>
623 };
624
625 If we are given the struct directly (as our starting point) we
626 need to tell the debugger to:
627
628 1). Add the offset of the forwarding field.
629
Dan Gohmandf1a7ff2010-02-10 16:03:48 +0000630 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000631 struct to use (the real one may have been copied onto the heap).
632
633 3). Add the offset for the field VarName, to find the actual variable.
634
635 If we started with a pointer to the struct, then we need to
636 dereference that pointer first, before the other steps.
637 Translating this into DWARF ops, we will need to append the following
638 to the current location description for the variable:
639
640 DW_OP_deref -- optional, if we start with a pointer
641 DW_OP_plus_uconst <forward_fld_offset>
642 DW_OP_deref
643 DW_OP_plus_uconst <varName_fld_offset>
644
645 That is what this function does. */
646
Devang Patelc50078e2009-11-21 02:48:08 +0000647/// addBlockByrefAddress - Start with the address based on the location
Caroline Tice248d5572009-08-31 21:19:37 +0000648/// provided, and generate the DWARF information necessary to find the
649/// actual Block variable (navigating the Block struct) based on the
650/// starting location. Add the DWARF information to the die. For
651/// more information, read large comment just above here.
652///
Devang Patelc50078e2009-11-21 02:48:08 +0000653void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000654 unsigned Attribute,
655 const MachineLocation &Location) {
Caroline Tice248d5572009-08-31 21:19:37 +0000656 const DIVariable &VD = DV->getVariable();
657 DIType Ty = VD.getType();
658 DIType TmpTy = Ty;
659 unsigned Tag = Ty.getTag();
660 bool isPointer = false;
661
Devang Patel7f75bbe2009-11-25 17:36:49 +0000662 StringRef varName = VD.getName();
Caroline Tice248d5572009-08-31 21:19:37 +0000663
664 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000665 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000666 TmpTy = DTy.getTypeDerivedFrom();
667 isPointer = true;
668 }
669
670 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
671
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000672 // Find the __forwarding field and the variable field in the __Block_byref
673 // struct.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000674 DIArray Fields = blockStruct.getTypeArray();
675 DIDescriptor varField = DIDescriptor();
676 DIDescriptor forwardingField = DIDescriptor();
Caroline Tice248d5572009-08-31 21:19:37 +0000677
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000678 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
679 DIDescriptor Element = Fields.getElement(i);
680 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000681 StringRef fieldName = DT.getName();
682 if (fieldName == "__forwarding")
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000683 forwardingField = Element;
Devang Patel7f75bbe2009-11-25 17:36:49 +0000684 else if (fieldName == varName)
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000685 varField = Element;
686 }
Daniel Dunbar41716322009-09-19 20:40:05 +0000687
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000688 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000689 unsigned int forwardingFieldOffset =
690 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
691 unsigned int varFieldOffset =
692 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Tice248d5572009-08-31 21:19:37 +0000693
Mike Stump2fd84e22009-09-24 23:21:26 +0000694 // Decode the original location, and use that as the start of the byref
695 // variable's location.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000696 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
697 DIEBlock *Block = new DIEBlock();
Caroline Tice248d5572009-08-31 21:19:37 +0000698
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000699 if (Location.isReg()) {
700 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000701 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000702 else {
703 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000704 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
705 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000706 }
707 } else {
708 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000709 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000710 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000711 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
712 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000713 }
Caroline Tice248d5572009-08-31 21:19:37 +0000714
Devang Patelc50078e2009-11-21 02:48:08 +0000715 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000716 }
Caroline Tice248d5572009-08-31 21:19:37 +0000717
Mike Stump2fd84e22009-09-24 23:21:26 +0000718 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000719 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000720 if (isPointer)
Devang Patelc50078e2009-11-21 02:48:08 +0000721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000722
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000723 // Next add the offset for the '__forwarding' field:
724 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
725 // adding the offset if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000726 if (forwardingFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000727 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
728 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000729 }
Caroline Tice248d5572009-08-31 21:19:37 +0000730
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000731 // Now dereference the __forwarding field to get to the real __Block_byref
732 // struct: DW_OP_deref.
Devang Patelc50078e2009-11-21 02:48:08 +0000733 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000734
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000735 // Now that we've got the real __Block_byref... struct, add the offset
736 // for the variable's field to get to the location of the actual variable:
737 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000738 if (varFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000739 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
740 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000741 }
Caroline Tice248d5572009-08-31 21:19:37 +0000742
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000743 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000744 addBlock(Die, Attribute, 0, Block);
Caroline Tice248d5572009-08-31 21:19:37 +0000745}
746
Devang Patelc50078e2009-11-21 02:48:08 +0000747/// addAddress - Add an address attribute to a die based on the location
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000748/// provided.
Devang Patelc50078e2009-11-21 02:48:08 +0000749void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000750 const MachineLocation &Location) {
751 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
752 DIEBlock *Block = new DIEBlock();
753
754 if (Location.isReg()) {
755 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000756 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000757 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000758 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
759 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000760 }
761 } else {
762 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000763 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000764 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000765 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
766 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000767 }
768
Devang Patelc50078e2009-11-21 02:48:08 +0000769 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000770 }
771
Devang Patelc50078e2009-11-21 02:48:08 +0000772 addBlock(Die, Attribute, 0, Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000773}
774
Devang Patel1a8f9a82009-12-10 19:14:49 +0000775/// addToContextOwner - Add Die into the list of its context owner's children.
776void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel9e592492010-03-08 20:52:55 +0000777 if (Context.isType()) {
Devang Patel1a8f9a82009-12-10 19:14:49 +0000778 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
779 ContextDIE->addChild(Die);
Devang Patel8287d662009-12-15 19:16:48 +0000780 } else if (Context.isNameSpace()) {
781 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
782 ContextDIE->addChild(Die);
Devang Patel1a8f9a82009-12-10 19:14:49 +0000783 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
784 ContextDIE->addChild(Die);
785 else
786 ModuleCU->addDie(Die);
787}
788
Devang Patel7f139c12009-12-10 18:05:33 +0000789/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
790/// given DIType.
791DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
792 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
793 if (TyDIE)
794 return TyDIE;
795
796 // Create new type.
797 TyDIE = new DIE(dwarf::DW_TAG_base_type);
798 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
799 if (Ty.isBasicType())
800 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
801 else if (Ty.isCompositeType())
802 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
803 else {
804 assert(Ty.isDerivedType() && "Unknown kind of DIType");
805 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
806 }
807
Devang Patel1a8f9a82009-12-10 19:14:49 +0000808 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel7f139c12009-12-10 18:05:33 +0000809 return TyDIE;
810}
811
Devang Patelc50078e2009-11-21 02:48:08 +0000812/// addType - Add a new type attribute to the specified entity.
Devang Patelfe0be132009-12-09 18:24:21 +0000813void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel9e592492010-03-08 20:52:55 +0000814 if (!Ty.isValid())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000815 return;
816
817 // Check for pre-existence.
Devang Patelfe0be132009-12-09 18:24:21 +0000818 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000819 // If it exists then use the existing value.
Devang Patelc50078e2009-11-21 02:48:08 +0000820 if (Entry) {
821 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000822 return;
823 }
824
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000825 // Construct type.
Devang Patel7f139c12009-12-10 18:05:33 +0000826 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000827
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +0000828 // Set up proxy.
829 Entry = createDIEEntry(Buffer);
830 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
831
Devang Patelc50078e2009-11-21 02:48:08 +0000832 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000833}
834
Devang Patelc50078e2009-11-21 02:48:08 +0000835/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patelfe0be132009-12-09 18:24:21 +0000836void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000837 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000838 StringRef Name = BTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000839 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +0000840 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000841 BTy.getEncoding());
842
843 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000844 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000845 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000846 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patelc50078e2009-11-21 02:48:08 +0000847 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000848}
849
Devang Patelc50078e2009-11-21 02:48:08 +0000850/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patelfe0be132009-12-09 18:24:21 +0000851void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000852 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000853 StringRef Name = DTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000854 uint64_t Size = DTy.getSizeInBits() >> 3;
855 unsigned Tag = DTy.getTag();
856
857 // FIXME - Workaround for templates.
858 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
859
860 Buffer.setTag(Tag);
861
862 // Map to main type, void will not have a type.
863 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patelfe0be132009-12-09 18:24:21 +0000864 addType(&Buffer, FromTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000865
866 // Add name if not anonymous or intermediate type.
Devang Patel76b80672009-11-30 23:56:56 +0000867 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000868 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000869
870 // Add size if non-zero (derived types might be zero-sized.)
871 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000872 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000873
874 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb125c6e2009-11-23 18:43:37 +0000875 if (!DTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000876 addSourceLine(&Buffer, &DTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000877}
878
Devang Patelc50078e2009-11-21 02:48:08 +0000879/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +0000880void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000881 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000882 StringRef Name = CTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000883
884 uint64_t Size = CTy.getSizeInBits() >> 3;
885 unsigned Tag = CTy.getTag();
886 Buffer.setTag(Tag);
887
888 switch (Tag) {
889 case dwarf::DW_TAG_vector_type:
890 case dwarf::DW_TAG_array_type:
Devang Patelfe0be132009-12-09 18:24:21 +0000891 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000892 break;
893 case dwarf::DW_TAG_enumeration_type: {
894 DIArray Elements = CTy.getTypeArray();
895
896 // Add enumerators to enumeration type.
897 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
898 DIE *ElemDie = NULL;
Devang Patel9e592492010-03-08 20:52:55 +0000899 DIDescriptor Enum(Elements.getElement(i).getNode());
900 if (Enum.isEnumerator()) {
901 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000902 Buffer.addChild(ElemDie);
Devang Patelfb812752009-10-09 17:51:49 +0000903 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000904 }
905 }
906 break;
907 case dwarf::DW_TAG_subroutine_type: {
908 // Add return type.
909 DIArray Elements = CTy.getTypeArray();
910 DIDescriptor RTy = Elements.getElement(0);
Devang Patelfe0be132009-12-09 18:24:21 +0000911 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000912
913 // Add prototype flag.
Devang Patelc50078e2009-11-21 02:48:08 +0000914 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000915
916 // Add arguments.
917 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
918 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
919 DIDescriptor Ty = Elements.getElement(i);
Devang Patelfe0be132009-12-09 18:24:21 +0000920 addType(Arg, DIType(Ty.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000921 Buffer.addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000922 }
923 }
924 break;
925 case dwarf::DW_TAG_structure_type:
926 case dwarf::DW_TAG_union_type:
927 case dwarf::DW_TAG_class_type: {
928 // Add elements to structure type.
929 DIArray Elements = CTy.getTypeArray();
930
931 // A forward struct declared type may not have elements available.
Devang Patel9e592492010-03-08 20:52:55 +0000932 unsigned N = Elements.getNumElements();
933 if (N == 0)
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000934 break;
935
936 // Add elements to structure type.
Devang Patel9e592492010-03-08 20:52:55 +0000937 for (unsigned i = 0; i < N; ++i) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000938 DIDescriptor Element = Elements.getElement(i);
939 DIE *ElemDie = NULL;
Devang Patel9e592492010-03-08 20:52:55 +0000940 if (Element.isSubprogram())
Devang Patel814a12c2009-12-14 16:18:45 +0000941 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel9e592492010-03-08 20:52:55 +0000942 else if (Element.isVariable()) {
Devang Patel423dfa02010-01-30 01:08:30 +0000943 DIVariable DV(Element.getNode());
944 ElemDie = new DIE(dwarf::DW_TAG_variable);
945 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
946 DV.getName());
947 addType(ElemDie, DV.getType());
948 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
949 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
950 addSourceLine(ElemDie, &DV);
Devang Patel9e592492010-03-08 20:52:55 +0000951 } else if (Element.isDerivedType())
Devang Patelfe0be132009-12-09 18:24:21 +0000952 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel9e592492010-03-08 20:52:55 +0000953 else
954 continue;
Devang Patelc50078e2009-11-21 02:48:08 +0000955 Buffer.addChild(ElemDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000956 }
957
Devang Patel20b32102009-08-27 23:51:51 +0000958 if (CTy.isAppleBlockExtension())
Devang Patelc50078e2009-11-21 02:48:08 +0000959 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000960
961 unsigned RLang = CTy.getRunTimeLang();
962 if (RLang)
Devang Patelc50078e2009-11-21 02:48:08 +0000963 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000964 dwarf::DW_FORM_data1, RLang);
Devang Patel5ae52402010-01-26 21:16:06 +0000965
966 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel9e592492010-03-08 20:52:55 +0000967 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patel5ae52402010-01-26 21:16:06 +0000968 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
969 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000970 break;
971 }
972 default:
973 break;
974 }
975
976 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000977 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000978 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000979
Devang Pateldc73c372010-01-29 18:34:58 +0000980 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000981 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
982 // Add size if non-zero (derived types might be zero-sized.)
983 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000984 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000985 else {
986 // Add zero size if it is not a forward declaration.
987 if (CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000988 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000989 else
Devang Patelc50078e2009-11-21 02:48:08 +0000990 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000991 }
992
993 // Add source line info if available.
994 if (!CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000995 addSourceLine(&Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000996 }
997}
998
Devang Patelc50078e2009-11-21 02:48:08 +0000999/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
1000void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001001 int64_t L = SR.getLo();
1002 int64_t H = SR.getHi();
1003 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1004
Devang Patelc50078e2009-11-21 02:48:08 +00001005 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patele7ff5092009-08-14 20:59:16 +00001006 if (L)
Devang Patelc50078e2009-11-21 02:48:08 +00001007 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld3df6972009-12-04 23:10:24 +00001008 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001009
Devang Patelc50078e2009-11-21 02:48:08 +00001010 Buffer.addChild(DW_Subrange);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001011}
1012
Devang Patelc50078e2009-11-21 02:48:08 +00001013/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +00001014void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001015 DICompositeType *CTy) {
1016 Buffer.setTag(dwarf::DW_TAG_array_type);
1017 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001018 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001019
1020 // Emit derived type.
Devang Patelfe0be132009-12-09 18:24:21 +00001021 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001022 DIArray Elements = CTy->getTypeArray();
1023
Devang Patel1233f912009-11-21 00:31:03 +00001024 // Get an anonymous type for index type.
Devang Patelfe0be132009-12-09 18:24:21 +00001025 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel1233f912009-11-21 00:31:03 +00001026 if (!IdxTy) {
1027 // Construct an anonymous type for index type.
1028 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +00001029 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1030 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel1233f912009-11-21 00:31:03 +00001031 dwarf::DW_ATE_signed);
Devang Patelfe0be132009-12-09 18:24:21 +00001032 ModuleCU->addDie(IdxTy);
1033 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel1233f912009-11-21 00:31:03 +00001034 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001035
1036 // Add subranges to array type.
1037 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1038 DIDescriptor Element = Elements.getElement(i);
1039 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001040 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001041 }
1042}
1043
Devang Patelc50078e2009-11-21 02:48:08 +00001044/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel9e592492010-03-08 20:52:55 +00001045DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001046 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel9e592492010-03-08 20:52:55 +00001047 StringRef Name = ETy.getName();
Devang Patelc50078e2009-11-21 02:48:08 +00001048 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel9e592492010-03-08 20:52:55 +00001049 int64_t Value = ETy.getEnumValue();
Devang Patelc50078e2009-11-21 02:48:08 +00001050 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001051 return Enumerator;
1052}
1053
Devang Patel141e1c42010-01-05 01:46:14 +00001054/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1055/// printer to not emit usual symbol prefix before the symbol name is used then
1056/// return linkage name after skipping this special LLVM prefix.
1057static StringRef getRealLinkageName(StringRef LinkageName) {
1058 char One = '\1';
1059 if (LinkageName.startswith(StringRef(&One, 1)))
1060 return LinkageName.substr(1);
1061 return LinkageName;
1062}
1063
Devang Patelc50078e2009-11-21 02:48:08 +00001064/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patelfe0be132009-12-09 18:24:21 +00001065DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbachb23f2422009-11-22 19:20:36 +00001066 // If the global variable was optmized out then no need to create debug info
1067 // entry.
Devang Patel83e42c72009-11-06 17:58:12 +00001068 if (!GV.getGlobal()) return NULL;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001069 if (GV.getDisplayName().empty()) return NULL;
Devang Patelfabc47c2009-11-06 01:30:04 +00001070
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001071 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach652b7432009-11-21 23:12:12 +00001072 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001073 GV.getDisplayName());
1074
Devang Patel7f75bbe2009-11-25 17:36:49 +00001075 StringRef LinkageName = GV.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001076 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001077 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001078 getRealLinkageName(LinkageName));
1079
Devang Patelfe0be132009-12-09 18:24:21 +00001080 addType(GVDie, GV.getType());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001081 if (!GV.isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001082 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1083 addSourceLine(GVDie, &GV);
Devang Patel6bd5cc82009-10-05 23:22:08 +00001084
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001085 return GVDie;
1086}
1087
Devang Patelc50078e2009-11-21 02:48:08 +00001088/// createMemberDIE - Create new member DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001089DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001090 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel7f75bbe2009-11-25 17:36:49 +00001091 StringRef Name = DT.getName();
1092 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001093 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001094
Devang Patelfe0be132009-12-09 18:24:21 +00001095 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001096
Devang Patelc50078e2009-11-21 02:48:08 +00001097 addSourceLine(MemberDie, &DT);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001098
Devang Patel7d9fe582009-11-04 22:06:12 +00001099 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patelc50078e2009-11-21 02:48:08 +00001100 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel7d9fe582009-11-04 22:06:12 +00001101
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001102 uint64_t Size = DT.getSizeInBits();
Devang Patel71842a92009-11-04 23:48:00 +00001103 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001104
1105 if (Size != FieldSize) {
1106 // Handle bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001107 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1108 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001109
1110 uint64_t Offset = DT.getOffsetInBits();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001111 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1112 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer631e3e32010-01-07 17:50:57 +00001113 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001114 Offset -= FieldOffset;
1115
1116 // Maybe we need to work from the other end.
1117 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patelc50078e2009-11-21 02:48:08 +00001118 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001119
Devang Patel7d9fe582009-11-04 22:06:12 +00001120 // Here WD_AT_data_member_location points to the anonymous
1121 // field that includes this bit field.
Devang Patelc50078e2009-11-21 02:48:08 +00001122 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001123
1124 } else
1125 // This is not a bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001126 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001127
Devang Patel84aba942010-02-03 20:08:48 +00001128 if (DT.getTag() == dwarf::DW_TAG_inheritance
1129 && DT.isVirtual()) {
1130
1131 // For C++, virtual base classes are not at fixed offset. Use following
1132 // expression to extract appropriate offset from vtable.
1133 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1134
1135 DIEBlock *VBaseLocationDie = new DIEBlock();
1136 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1137 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1138 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1139 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1140 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1141 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1142 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1143
1144 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1145 VBaseLocationDie);
1146 } else
1147 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001148
1149 if (DT.isProtected())
Devang Patel188c85d2009-12-03 19:11:07 +00001150 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001151 dwarf::DW_ACCESS_protected);
1152 else if (DT.isPrivate())
Devang Patel188c85d2009-12-03 19:11:07 +00001153 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001154 dwarf::DW_ACCESS_private);
Devang Patel188c85d2009-12-03 19:11:07 +00001155 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1156 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1157 dwarf::DW_ACCESS_public);
1158 if (DT.isVirtual())
1159 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1160 dwarf::DW_VIRTUALITY_virtual);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001161 return MemberDie;
1162}
1163
Devang Patel814a12c2009-12-14 16:18:45 +00001164/// createSubprogramDIE - Create new DIE using SP.
1165DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1166 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1167 if (SPDie)
1168 return SPDie;
1169
1170 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel36cd9f82010-03-02 17:58:15 +00001171 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel0ab194f2010-03-02 01:26:20 +00001172 if (!SP.getName().empty())
1173 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001174
Devang Patel7f75bbe2009-11-25 17:36:49 +00001175 StringRef LinkageName = SP.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001176 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001177 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001178 getRealLinkageName(LinkageName));
1179
Devang Patelc50078e2009-11-21 02:48:08 +00001180 addSourceLine(SPDie, &SP);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001181
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001182 // Add prototyped tag, if C or ObjC.
1183 unsigned Lang = SP.getCompileUnit().getLanguage();
1184 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1185 Lang == dwarf::DW_LANG_ObjC)
Devang Patelc50078e2009-11-21 02:48:08 +00001186 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001187
1188 // Add Return Type.
Devang Patelc1df8792009-12-03 01:25:38 +00001189 DICompositeType SPTy = SP.getType();
1190 DIArray Args = SPTy.getTypeArray();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001191 unsigned SPTag = SPTy.getTag();
Devang Patel188c85d2009-12-03 19:11:07 +00001192
Devang Patel9e592492010-03-08 20:52:55 +00001193 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patelfe0be132009-12-09 18:24:21 +00001194 addType(SPDie, SPTy);
Devang Patelc1df8792009-12-03 01:25:38 +00001195 else
Devang Patelfe0be132009-12-09 18:24:21 +00001196 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patelc1df8792009-12-03 01:25:38 +00001197
Devang Patel188c85d2009-12-03 19:11:07 +00001198 unsigned VK = SP.getVirtuality();
1199 if (VK) {
1200 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1201 DIEBlock *Block = new DIEBlock();
1202 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1203 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1204 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel7d707f92010-01-19 06:19:05 +00001205 ContainingTypeMap.insert(std::make_pair(SPDie,
1206 SP.getContainingType().getNode()));
Devang Patel188c85d2009-12-03 19:11:07 +00001207 }
1208
Devang Patel814a12c2009-12-14 16:18:45 +00001209 if (MakeDecl || !SP.isDefinition()) {
Devang Patelc50078e2009-11-21 02:48:08 +00001210 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001211
1212 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patelc1df8792009-12-03 01:25:38 +00001213 // be handled while processing variables.
1214 DICompositeType SPTy = SP.getType();
1215 DIArray Args = SPTy.getTypeArray();
1216 unsigned SPTag = SPTy.getTag();
1217
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001218 if (SPTag == dwarf::DW_TAG_subroutine_type)
1219 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1220 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelc5dc7252010-02-06 01:02:37 +00001221 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1222 addType(Arg, ATy);
1223 if (ATy.isArtificial())
1224 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelc50078e2009-11-21 02:48:08 +00001225 SPDie->addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001226 }
1227 }
1228
Devang Patelbf7d00a2010-02-03 19:57:19 +00001229 if (SP.isArtificial())
1230 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1231
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001232 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001233 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001234 return SPDie;
1235}
1236
Devang Patel90a0fe32009-11-10 23:06:00 +00001237/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1238/// Initialize scope and update scope hierarchy.
1239DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1240 MDNode *InlinedAt) {
1241 assert (N && "Invalid Scope encoding!");
1242 assert (MI && "Missing machine instruction!");
1243 bool GetConcreteScope = (MI && InlinedAt);
1244
1245 DbgScope *NScope = NULL;
1246
1247 if (InlinedAt)
1248 NScope = DbgScopeMap.lookup(InlinedAt);
1249 else
1250 NScope = DbgScopeMap.lookup(N);
1251 assert (NScope && "Unable to find working scope!");
1252
1253 if (NScope->getFirstInsn())
1254 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001255
1256 DbgScope *Parent = NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001257 if (GetConcreteScope) {
Devang Pateldd7bb432009-10-14 21:08:09 +00001258 DILocation IL(InlinedAt);
Jim Grosbach652b7432009-11-21 23:12:12 +00001259 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel90a0fe32009-11-10 23:06:00 +00001260 IL.getOrigLocation().getNode());
1261 assert (Parent && "Unable to find Parent scope!");
1262 NScope->setParent(Parent);
Devang Patelc50078e2009-11-21 02:48:08 +00001263 Parent->addScope(NScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001264 } else if (DIDescriptor(N).isLexicalBlock()) {
1265 DILexicalBlock DB(N);
Devang Patel9e592492010-03-08 20:52:55 +00001266 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1267 NScope->setParent(Parent);
1268 Parent->addScope(NScope);
Devang Pateldd7bb432009-10-14 21:08:09 +00001269 }
Devang Patel6a260102009-10-01 20:31:14 +00001270
Devang Patelf5278f22009-10-27 20:47:17 +00001271 NScope->setFirstInsn(MI);
Devang Patel6a260102009-10-01 20:31:14 +00001272
Devang Patel90a0fe32009-11-10 23:06:00 +00001273 if (!Parent && !InlinedAt) {
Devang Patelce8986f2009-11-11 00:31:36 +00001274 StringRef SPName = DISubprogram(N).getLinkageName();
1275 if (SPName == MF->getFunction()->getName())
1276 CurrentFnDbgScope = NScope;
Devang Patel90a0fe32009-11-10 23:06:00 +00001277 }
Devang Patel6a260102009-10-01 20:31:14 +00001278
Devang Patel90a0fe32009-11-10 23:06:00 +00001279 if (GetConcreteScope) {
1280 ConcreteScopes[InlinedAt] = NScope;
1281 getOrCreateAbstractScope(N);
1282 }
1283
Devang Patelf5278f22009-10-27 20:47:17 +00001284 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001285}
1286
Devang Patel90a0fe32009-11-10 23:06:00 +00001287DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1288 assert (N && "Invalid Scope encoding!");
1289
1290 DbgScope *AScope = AbstractScopes.lookup(N);
1291 if (AScope)
1292 return AScope;
Jim Grosbach652b7432009-11-21 23:12:12 +00001293
Devang Patel90a0fe32009-11-10 23:06:00 +00001294 DbgScope *Parent = NULL;
1295
1296 DIDescriptor Scope(N);
1297 if (Scope.isLexicalBlock()) {
1298 DILexicalBlock DB(N);
1299 DIDescriptor ParentDesc = DB.getContext();
Devang Patel9e592492010-03-08 20:52:55 +00001300 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001301 }
1302
1303 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1304
1305 if (Parent)
Devang Patelc50078e2009-11-21 02:48:08 +00001306 Parent->addScope(AScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001307 AScope->setAbstractScope();
1308 AbstractScopes[N] = AScope;
1309 if (DIDescriptor(N).isSubprogram())
1310 AbstractScopesList.push_back(AScope);
1311 return AScope;
1312}
Devang Patel6a260102009-10-01 20:31:14 +00001313
Jim Grosbach652b7432009-11-21 23:12:12 +00001314/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patelc50078e2009-11-21 02:48:08 +00001315/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1316/// If there are global variables in this scope then create and insert
1317/// DIEs for these variables.
1318DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Pateld90672c2009-11-20 21:37:22 +00001319 DIE *SPDie = ModuleCU->getDIE(SPNode);
Chris Lattnerdd21da82010-03-13 07:26:18 +00001320 assert(SPDie && "Unable to find subprogram DIE!");
Devang Patel814a12c2009-12-14 16:18:45 +00001321 DISubprogram SP(SPNode);
Chris Lattnerdd21da82010-03-13 07:26:18 +00001322
Devang Patel530a81e2010-02-05 23:09:20 +00001323 // There is not any need to generate specification DIE for a function
1324 // defined at compile unit level. If a function is defined inside another
1325 // function then gdb prefers the definition at top level and but does not
1326 // expect specification DIE in parent function. So avoid creating
1327 // specification DIE for a function defined inside a function.
Chris Lattnerdd21da82010-03-13 07:26:18 +00001328 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
1329 !SP.getContext().isFile() && !SP.getContext().isSubprogram()) {
Devang Patel814a12c2009-12-14 16:18:45 +00001330 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Chris Lattnerdd21da82010-03-13 07:26:18 +00001331
1332 // Add arguments.
Devang Patel814a12c2009-12-14 16:18:45 +00001333 DICompositeType SPTy = SP.getType();
1334 DIArray Args = SPTy.getTypeArray();
1335 unsigned SPTag = SPTy.getTag();
1336 if (SPTag == dwarf::DW_TAG_subroutine_type)
Chris Lattnerdd21da82010-03-13 07:26:18 +00001337 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
Devang Patel814a12c2009-12-14 16:18:45 +00001338 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelc5dc7252010-02-06 01:02:37 +00001339 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1340 addType(Arg, ATy);
1341 if (ATy.isArtificial())
1342 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel814a12c2009-12-14 16:18:45 +00001343 SPDie->addChild(Arg);
1344 }
1345 DIE *SPDeclDie = SPDie;
1346 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1347 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1348 SPDeclDie);
Devang Patel814a12c2009-12-14 16:18:45 +00001349 ModuleCU->addDie(SPDie);
1350 }
Devang Patelc5dc7252010-02-06 01:02:37 +00001351
Devang Patelc50078e2009-11-21 02:48:08 +00001352 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001353 getDWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001354 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001355 getDWLabel("func_end", SubprogramCount));
Devang Patel90a0fe32009-11-10 23:06:00 +00001356 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patelc50078e2009-11-21 02:48:08 +00001357 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach652b7432009-11-21 23:12:12 +00001358
Devang Patel90a0fe32009-11-10 23:06:00 +00001359 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001360 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001361
Devang Patel90a0fe32009-11-10 23:06:00 +00001362 return SPDie;
1363}
1364
Jim Grosbach652b7432009-11-21 23:12:12 +00001365/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patelc50078e2009-11-21 02:48:08 +00001366/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1367DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001368 MCSymbol *Start = Scope->getStartLabel();
1369 MCSymbol *End = Scope->getEndLabel();
Chris Lattner4ba1da92010-03-09 04:48:35 +00001370 if (Start == 0) return 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00001371
Chris Lattner855e8f52010-03-09 01:58:53 +00001372 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1373 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattner5e423432010-03-09 01:51:43 +00001374
Devang Patel90a0fe32009-11-10 23:06:00 +00001375 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1376 if (Scope->isAbstractScope())
1377 return ScopeDIE;
1378
Devang Patelc50078e2009-11-21 02:48:08 +00001379 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattner855e8f52010-03-09 01:58:53 +00001380 Start ? Start : getDWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001381 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattner855e8f52010-03-09 01:58:53 +00001382 End ? End : getDWLabel("func_end", SubprogramCount));
Devang Patel90a0fe32009-11-10 23:06:00 +00001383
1384 return ScopeDIE;
1385}
1386
Devang Patelc50078e2009-11-21 02:48:08 +00001387/// constructInlinedScopeDIE - This scope represents inlined body of
1388/// a function. Construct DIE to represent this concrete inlined copy
1389/// of the function.
1390DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001391 MCSymbol *StartLabel = Scope->getStartLabel();
1392 MCSymbol *EndLabel = Scope->getEndLabel();
Chris Lattner4ba1da92010-03-09 04:48:35 +00001393 if (StartLabel == 0) return 0;
1394
Chris Lattner855e8f52010-03-09 01:58:53 +00001395 assert(StartLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001396 "Invalid starting label for an inlined scope!");
Chris Lattner855e8f52010-03-09 01:58:53 +00001397 assert(EndLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001398 "Invalid end label for an inlined scope!");
Devang Patel9e592492010-03-08 20:52:55 +00001399 if (!Scope->getScopeNode())
Devang Patelbe149872010-03-08 19:20:38 +00001400 return NULL;
Devang Patel9e592492010-03-08 20:52:55 +00001401 DIScope DS(Scope->getScopeNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001402 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1403
1404 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001405 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001406 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patelc50078e2009-11-21 02:48:08 +00001407 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001408 dwarf::DW_FORM_ref4, OriginDIE);
1409
Chris Lattneread58652010-03-09 00:31:02 +00001410 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattner855e8f52010-03-09 01:58:53 +00001411 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel90a0fe32009-11-10 23:06:00 +00001412
1413 InlinedSubprogramDIEs.insert(OriginDIE);
1414
1415 // Track the start label for this inlined function.
Devang Patel7d707f92010-01-19 06:19:05 +00001416 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel90a0fe32009-11-10 23:06:00 +00001417 I = InlineInfo.find(InlinedSP.getNode());
1418
1419 if (I == InlineInfo.end()) {
Chris Lattneread58652010-03-09 00:31:02 +00001420 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbachb23f2422009-11-22 19:20:36 +00001421 ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001422 InlinedSPNodes.push_back(InlinedSP.getNode());
1423 } else
Chris Lattneread58652010-03-09 00:31:02 +00001424 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001425
Devang Patel90a0fe32009-11-10 23:06:00 +00001426 DILocation DL(Scope->getInlinedAt());
Devang Patelc50078e2009-11-21 02:48:08 +00001427 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1428 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel90a0fe32009-11-10 23:06:00 +00001429
1430 return ScopeDIE;
1431}
1432
Devang Patelc50078e2009-11-21 02:48:08 +00001433
1434/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patelfe0be132009-12-09 18:24:21 +00001435DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001436 // Get the descriptor.
1437 const DIVariable &VD = DV->getVariable();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001438 StringRef Name = VD.getName();
1439 if (Name.empty())
Devang Patelab9a0682009-11-13 02:25:26 +00001440 return NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001441
1442 // Translate tag to proper Dwarf tag. The result variable is dropped for
1443 // now.
1444 unsigned Tag;
1445 switch (VD.getTag()) {
1446 case dwarf::DW_TAG_return_variable:
1447 return NULL;
1448 case dwarf::DW_TAG_arg_variable:
1449 Tag = dwarf::DW_TAG_formal_parameter;
1450 break;
1451 case dwarf::DW_TAG_auto_variable: // fall thru
1452 default:
1453 Tag = dwarf::DW_TAG_variable;
1454 break;
1455 }
1456
1457 // Define variable debug information entry.
1458 DIE *VariableDie = new DIE(Tag);
1459
1460
1461 DIE *AbsDIE = NULL;
1462 if (DbgVariable *AV = DV->getAbstractVariable())
1463 AbsDIE = AV->getDIE();
Jim Grosbach652b7432009-11-21 23:12:12 +00001464
Devang Patel90a0fe32009-11-10 23:06:00 +00001465 if (AbsDIE) {
1466 DIScope DS(Scope->getScopeNode());
1467 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001468 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc9f2d242009-11-11 03:09:50 +00001469 (void) OriginSPDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001470 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1471 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1472 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patelc50078e2009-11-21 02:48:08 +00001473 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001474 dwarf::DW_FORM_ref4, AbsDIE);
1475 }
1476 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001477 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1478 addSourceLine(VariableDie, &VD);
Devang Patel90a0fe32009-11-10 23:06:00 +00001479
1480 // Add variable type.
Jim Grosbach652b7432009-11-21 23:12:12 +00001481 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel90a0fe32009-11-10 23:06:00 +00001482 // addresses instead.
1483 if (VD.isBlockByrefVariable())
Devang Patelfe0be132009-12-09 18:24:21 +00001484 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel90a0fe32009-11-10 23:06:00 +00001485 else
Devang Patelfe0be132009-12-09 18:24:21 +00001486 addType(VariableDie, VD.getType());
Devang Patel90a0fe32009-11-10 23:06:00 +00001487 }
1488
1489 // Add variable address.
1490 if (!Scope->isAbstractScope()) {
Devang Patel14da02f2010-03-15 18:33:46 +00001491 // Check if variable is described by DBG_VALUE instruction.
1492 if (const MachineInstr *DbgValueInsn = DV->getDbgValue()) {
1493 if (DbgValueInsn->getNumOperands() == 3) {
1494 // FIXME : Handle getNumOperands != 3
1495 if (DbgValueInsn->getOperand(0).getType()
1496 == MachineOperand::MO_Register
1497 && DbgValueInsn->getOperand(0).getReg()) {
1498 MachineLocation Location;
1499 Location.set(DbgValueInsn->getOperand(0).getReg());
1500 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1501 } else if (DbgValueInsn->getOperand(0).getType() ==
1502 MachineOperand::MO_Immediate) {
1503 DIEBlock *Block = new DIEBlock();
1504 unsigned Imm = DbgValueInsn->getOperand(0).getImm();
1505 addUInt(Block, 0, dwarf::DW_FORM_udata, Imm);
1506 addBlock(VariableDie, dwarf::DW_AT_const_value, 0, Block);
1507 } else {
1508 //FIXME : Handle other operand types.
1509 delete VariableDie;
1510 return NULL;
1511 }
1512 }
1513 } else {
1514 MachineLocation Location;
1515 unsigned FrameReg;
1516 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1517 Location.set(FrameReg, Offset);
1518
1519 if (VD.hasComplexAddress())
1520 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1521 else if (VD.isBlockByrefVariable())
1522 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
1523 else
1524 addAddress(VariableDie, dwarf::DW_AT_location, Location);
1525 }
Devang Patel90a0fe32009-11-10 23:06:00 +00001526 }
Devang Patelc5dc7252010-02-06 01:02:37 +00001527
1528 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1529 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001530 DV->setDIE(VariableDie);
1531 return VariableDie;
1532
1533}
Devang Patelc50078e2009-11-21 02:48:08 +00001534
Devang Patelec13b4f2009-11-24 01:14:22 +00001535void DwarfDebug::addPubTypes(DISubprogram SP) {
1536 DICompositeType SPTy = SP.getType();
1537 unsigned SPTag = SPTy.getTag();
1538 if (SPTag != dwarf::DW_TAG_subroutine_type)
1539 return;
1540
1541 DIArray Args = SPTy.getTypeArray();
Devang Patelec13b4f2009-11-24 01:14:22 +00001542 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1543 DIType ATy(Args.getElement(i).getNode());
Devang Patel9e592492010-03-08 20:52:55 +00001544 if (!ATy.isValid())
Devang Patelec13b4f2009-11-24 01:14:22 +00001545 continue;
1546 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel9e592492010-03-08 20:52:55 +00001547 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001548 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1549 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1550 }
1551 }
1552}
1553
Devang Patelc50078e2009-11-21 02:48:08 +00001554/// constructScopeDIE - Construct a DIE for this scope.
1555DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel9e592492010-03-08 20:52:55 +00001556 if (!Scope || !Scope->getScopeNode())
1557 return NULL;
1558
1559 DIScope DS(Scope->getScopeNode());
1560 DIE *ScopeDIE = NULL;
1561 if (Scope->getInlinedAt())
1562 ScopeDIE = constructInlinedScopeDIE(Scope);
1563 else if (DS.isSubprogram()) {
1564 if (Scope->isAbstractScope())
1565 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1566 else
1567 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1568 }
1569 else {
1570 ScopeDIE = constructLexicalScopeDIE(Scope);
1571 if (!ScopeDIE) return NULL;
1572 }
1573
Devang Patel90a0fe32009-11-10 23:06:00 +00001574 // Add variables to scope.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001575 const SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel90a0fe32009-11-10 23:06:00 +00001576 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patelfe0be132009-12-09 18:24:21 +00001577 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach652b7432009-11-21 23:12:12 +00001578 if (VariableDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001579 ScopeDIE->addChild(VariableDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001580 }
1581
1582 // Add nested scopes.
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001583 const SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel90a0fe32009-11-10 23:06:00 +00001584 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1585 // Define the Scope debug information entry.
Devang Patelc50078e2009-11-21 02:48:08 +00001586 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach652b7432009-11-21 23:12:12 +00001587 if (NestedDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001588 ScopeDIE->addChild(NestedDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001589 }
Devang Patelec13b4f2009-11-24 01:14:22 +00001590
1591 if (DS.isSubprogram())
1592 addPubTypes(DISubprogram(DS.getNode()));
1593
1594 return ScopeDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001595}
1596
Bill Wendlingf5839192009-05-20 23:19:06 +00001597/// GetOrCreateSourceID - Look up the source id with the given directory and
1598/// source file names. If none currently exists, create a new id and insert it
1599/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1600/// maps as well.
Devang Patel7f75bbe2009-11-25 17:36:49 +00001601unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001602 unsigned DId;
1603 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1604 if (DI != DirectoryIdMap.end()) {
1605 DId = DI->getValue();
1606 } else {
1607 DId = DirectoryNames.size() + 1;
1608 DirectoryIdMap[DirName] = DId;
1609 DirectoryNames.push_back(DirName);
1610 }
1611
1612 unsigned FId;
1613 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1614 if (FI != SourceFileIdMap.end()) {
1615 FId = FI->getValue();
1616 } else {
1617 FId = SourceFileNames.size() + 1;
1618 SourceFileIdMap[FileName] = FId;
1619 SourceFileNames.push_back(FileName);
1620 }
1621
1622 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1623 SourceIdMap.find(std::make_pair(DId, FId));
1624 if (SI != SourceIdMap.end())
1625 return SI->second;
1626
1627 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1628 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1629 SourceIds.push_back(std::make_pair(DId, FId));
1630
1631 return SrcId;
1632}
1633
Devang Patel8287d662009-12-15 19:16:48 +00001634/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1635DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1636 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1637 if (NDie)
1638 return NDie;
1639 NDie = new DIE(dwarf::DW_TAG_namespace);
1640 ModuleCU->insertDIE(NS.getNode(), NDie);
1641 if (!NS.getName().empty())
1642 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1643 addSourceLine(NDie, &NS);
1644 addToContextOwner(NDie, NS.getContext());
1645 return NDie;
1646}
1647
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001648void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001649 DICompileUnit DIUnit(N);
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001650 // Use first compile unit marked as isMain as the compile unit for this
1651 // module.
1652 if (ModuleCU || !DIUnit.isMain())
1653 return;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001654 StringRef FN = DIUnit.getFilename();
1655 StringRef Dir = DIUnit.getDirectory();
Devang Patelaaf012e2009-09-29 18:40:58 +00001656 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001657
1658 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patelc50078e2009-11-21 02:48:08 +00001659 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001660 DIUnit.getProducer());
Devang Patelc50078e2009-11-21 02:48:08 +00001661 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf5839192009-05-20 23:19:06 +00001662 DIUnit.getLanguage());
Devang Patelc50078e2009-11-21 02:48:08 +00001663 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Devang Patel7ac39832010-03-22 23:11:36 +00001664 addLabel(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
1665 getTempLabel("text_begin"));
1666 addLabel(Die, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
1667 getTempLabel("text_end"));
1668 // DW_AT_stmt_list is a offset of line number information for this
1669 // compile unit in debug_line section. It is always zero when only one
1670 // compile unit is emitted in one object file.
1671 addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
Bill Wendlingf5839192009-05-20 23:19:06 +00001672
Devang Patel7f75bbe2009-11-25 17:36:49 +00001673 if (!Dir.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001674 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf5839192009-05-20 23:19:06 +00001675 if (DIUnit.isOptimized())
Devang Patelc50078e2009-11-21 02:48:08 +00001676 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf5839192009-05-20 23:19:06 +00001677
Devang Patel7f75bbe2009-11-25 17:36:49 +00001678 StringRef Flags = DIUnit.getFlags();
1679 if (!Flags.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001680 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf5839192009-05-20 23:19:06 +00001681
1682 unsigned RVer = DIUnit.getRunTimeVersion();
1683 if (RVer)
Devang Patelc50078e2009-11-21 02:48:08 +00001684 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf5839192009-05-20 23:19:06 +00001685 dwarf::DW_FORM_data1, RVer);
1686
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001687 assert(!ModuleCU &&
1688 "ModuleCU assigned since the top of constructCompileUnit");
1689 ModuleCU = new CompileUnit(ID, Die);
Bill Wendlingf5839192009-05-20 23:19:06 +00001690}
1691
Devang Patelc50078e2009-11-21 02:48:08 +00001692void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001693 DIGlobalVariable DI_GV(N);
Daniel Dunbar41716322009-09-19 20:40:05 +00001694
Devang Patel0c03f062009-09-04 23:59:07 +00001695 // If debug information is malformed then ignore it.
1696 if (DI_GV.Verify() == false)
1697 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001698
1699 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001700 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel166f8432009-06-26 01:49:18 +00001701 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001702
Devang Patelfe0be132009-12-09 18:24:21 +00001703 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel6d479632009-12-10 23:25:41 +00001704 if (!VariableDie)
1705 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001706
Bill Wendlingf5839192009-05-20 23:19:06 +00001707 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001708 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001709
1710 // Add to context owner.
Devang Pateldcc0dce2010-01-15 01:12:22 +00001711 DIDescriptor GVContext = DI_GV.getContext();
1712 // Do not create specification DIE if context is either compile unit
1713 // or a subprogram.
1714 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
Devang Patel76667012010-03-11 23:44:52 +00001715 && !GVContext.isFile() && !GVContext.isSubprogram()) {
Devang Patel8287d662009-12-15 19:16:48 +00001716 // Create specification DIE.
1717 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1718 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1719 dwarf::DW_FORM_ref4, VariableDie);
1720 DIEBlock *Block = new DIEBlock();
1721 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001722 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner90825792010-03-12 21:09:07 +00001723 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001724 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patela0a98582010-02-09 01:58:33 +00001725 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel8287d662009-12-15 19:16:48 +00001726 ModuleCU->addDie(VariableSpecDIE);
1727 } else {
1728 DIEBlock *Block = new DIEBlock();
1729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001730 addLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner90825792010-03-12 21:09:07 +00001731 Asm->Mang->getSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001732 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1733 }
Devang Pateldcc0dce2010-01-15 01:12:22 +00001734 addToContextOwner(VariableDie, GVContext);
Devang Patel1a8f9a82009-12-10 19:14:49 +00001735
Bill Wendlingf5839192009-05-20 23:19:06 +00001736 // Expose as global. FIXME - need to check external flag.
Devang Patelc50078e2009-11-21 02:48:08 +00001737 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001738
1739 DIType GTy = DI_GV.getType();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001740 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001741 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1742 assert (Entry && "Missing global type!");
1743 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1744 }
Devang Patel166f8432009-06-26 01:49:18 +00001745 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001746}
1747
Devang Patelc50078e2009-11-21 02:48:08 +00001748void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001749 DISubprogram SP(N);
Bill Wendlingf5839192009-05-20 23:19:06 +00001750
1751 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001752 if (ModuleCU->getDIE(N))
Devang Patel166f8432009-06-26 01:49:18 +00001753 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001754
1755 if (!SP.isDefinition())
1756 // This is a method declaration which will be handled while constructing
1757 // class type.
Devang Patel166f8432009-06-26 01:49:18 +00001758 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001759
Devang Patelfe0be132009-12-09 18:24:21 +00001760 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf5839192009-05-20 23:19:06 +00001761
1762 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001763 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001764
1765 // Add to context owner.
Devang Patel8287d662009-12-15 19:16:48 +00001766 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patelde2d3682009-12-08 23:21:45 +00001767
Bill Wendlingf5839192009-05-20 23:19:06 +00001768 // Expose as global.
Devang Patelc50078e2009-11-21 02:48:08 +00001769 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001770
Devang Patel166f8432009-06-26 01:49:18 +00001771 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001772}
1773
Devang Patelc50078e2009-11-21 02:48:08 +00001774/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar19f1d442009-09-19 20:40:14 +00001775/// content. Create global DIEs and emit initial debug info sections.
1776/// This is inovked by the target AsmPrinter.
Devang Patelc50078e2009-11-21 02:48:08 +00001777void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel59a1d422009-06-25 22:36:02 +00001778 this->M = M;
1779
Devang Patel1b4d6832009-11-11 19:55:08 +00001780 if (!MAI->doesSupportDebugInformation())
1781 return;
1782
Chris Lattnerb49c9f82010-03-29 20:38:20 +00001783 TimeRegion Timer(DebugTimer);
1784
Devang Patelfda766d2009-07-30 18:56:46 +00001785 DebugInfoFinder DbgFinder;
1786 DbgFinder.processModule(*M);
Devang Patel166f8432009-06-26 01:49:18 +00001787
Bill Wendlingf5839192009-05-20 23:19:06 +00001788 // Create all the compile unit DIEs.
Devang Patelfda766d2009-07-30 18:56:46 +00001789 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1790 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001791 constructCompileUnit(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001792
Devang Patel5a3d37f2009-06-29 20:45:18 +00001793 if (!ModuleCU)
Devang Patel7f9e0f32010-03-08 22:02:50 +00001794 return;
Devang Patelf97a05a2009-06-29 20:38:13 +00001795
Devang Patel90a0fe32009-11-10 23:06:00 +00001796 // Create DIEs for each subprogram.
Devang Patelfda766d2009-07-30 18:56:46 +00001797 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1798 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001799 constructSubprogramDIE(*I);
Devang Patel166f8432009-06-26 01:49:18 +00001800
Devang Patel1a8f9a82009-12-10 19:14:49 +00001801 // Create DIEs for each global variable.
1802 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1803 E = DbgFinder.global_variable_end(); I != E; ++I)
1804 constructGlobalVariableDIE(*I);
1805
Bill Wendlingf5839192009-05-20 23:19:06 +00001806 MMI = mmi;
1807 shouldEmit = true;
1808 MMI->setDebugInfoAvailability(true);
1809
1810 // Prime section data.
Chris Lattnerc4c40a92009-07-28 03:13:23 +00001811 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001812
1813 // Print out .file directives to specify files for .loc directives. These are
1814 // printed out early so that they precede any .loc directives.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001815 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001816 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1817 // Remember source id starts at 1.
1818 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerad653482010-01-22 22:09:00 +00001819 // FIXME: don't use sys::path for this! This should not depend on the
1820 // host.
Bill Wendlingf5839192009-05-20 23:19:06 +00001821 sys::Path FullPath(getSourceDirectoryName(Id.first));
1822 bool AppendOk =
1823 FullPath.appendComponent(getSourceFileName(Id.second));
1824 assert(AppendOk && "Could not append filename to directory!");
1825 AppendOk = false;
Chris Lattner59be4ea2010-01-25 18:58:59 +00001826 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf5839192009-05-20 23:19:06 +00001827 }
1828 }
1829
1830 // Emit initial sections
Devang Patelc50078e2009-11-21 02:48:08 +00001831 emitInitial();
Bill Wendlingf5839192009-05-20 23:19:06 +00001832}
1833
Devang Patelc50078e2009-11-21 02:48:08 +00001834/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf5839192009-05-20 23:19:06 +00001835///
Devang Patelc50078e2009-11-21 02:48:08 +00001836void DwarfDebug::endModule() {
Devang Patel95d477e2009-10-06 00:03:14 +00001837 if (!ModuleCU)
Bill Wendlingf5839192009-05-20 23:19:06 +00001838 return;
1839
Chris Lattnerb49c9f82010-03-29 20:38:20 +00001840 TimeRegion Timer(DebugTimer);
Bill Wendlingf5839192009-05-20 23:19:06 +00001841
Devang Patel90a0fe32009-11-10 23:06:00 +00001842 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1843 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1844 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1845 DIE *ISP = *AI;
Devang Patelc50078e2009-11-21 02:48:08 +00001846 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel90a0fe32009-11-10 23:06:00 +00001847 }
1848
Devang Patelc1df8792009-12-03 01:25:38 +00001849 // Insert top level DIEs.
1850 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1851 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1852 ModuleCU->getCUDie()->addChild(*TI);
1853
Devang Patel7d707f92010-01-19 06:19:05 +00001854 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel188c85d2009-12-03 19:11:07 +00001855 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1856 DIE *SPDie = CI->first;
1857 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1858 if (!N) continue;
1859 DIE *NDie = ModuleCU->getDIE(N);
1860 if (!NDie) continue;
1861 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel69aae432010-01-15 00:26:31 +00001862 // FIXME - This is not the correct approach.
1863 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel188c85d2009-12-03 19:11:07 +00001864 }
1865
Bill Wendlingf5839192009-05-20 23:19:06 +00001866 // Standard sections final addresses.
Chris Lattner73266f92009-08-19 05:49:37 +00001867 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00001868 Asm->OutStreamer.EmitLabel(getTempLabel("text_end"));
Chris Lattner73266f92009-08-19 05:49:37 +00001869 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00001870 Asm->OutStreamer.EmitLabel(getTempLabel("data_end"));
Bill Wendlingf5839192009-05-20 23:19:06 +00001871
1872 // End text sections.
1873 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner73266f92009-08-19 05:49:37 +00001874 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattner6d213e82010-03-08 22:44:40 +00001875 Asm->OutStreamer.EmitLabel(getDWLabel("section_end", i));
Bill Wendlingf5839192009-05-20 23:19:06 +00001876 }
1877
1878 // Emit common frame information.
Devang Patelc50078e2009-11-21 02:48:08 +00001879 emitCommonDebugFrame();
Bill Wendlingf5839192009-05-20 23:19:06 +00001880
1881 // Emit function debug frame information
1882 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1883 E = DebugFrames.end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001884 emitFunctionDebugFrame(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001885
1886 // Compute DIE offsets and sizes.
Devang Patelc50078e2009-11-21 02:48:08 +00001887 computeSizeAndOffsets();
Bill Wendlingf5839192009-05-20 23:19:06 +00001888
1889 // Emit all the DIEs into a debug info section
Devang Patelc50078e2009-11-21 02:48:08 +00001890 emitDebugInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001891
1892 // Corresponding abbreviations into a abbrev section.
Devang Patelc50078e2009-11-21 02:48:08 +00001893 emitAbbreviations();
Bill Wendlingf5839192009-05-20 23:19:06 +00001894
1895 // Emit source line correspondence into a debug line section.
Devang Patelc50078e2009-11-21 02:48:08 +00001896 emitDebugLines();
Bill Wendlingf5839192009-05-20 23:19:06 +00001897
1898 // Emit info into a debug pubnames section.
Devang Patelc50078e2009-11-21 02:48:08 +00001899 emitDebugPubNames();
Bill Wendlingf5839192009-05-20 23:19:06 +00001900
Devang Patelec13b4f2009-11-24 01:14:22 +00001901 // Emit info into a debug pubtypes section.
1902 emitDebugPubTypes();
1903
Bill Wendlingf5839192009-05-20 23:19:06 +00001904 // Emit info into a debug loc section.
Devang Patelc50078e2009-11-21 02:48:08 +00001905 emitDebugLoc();
Bill Wendlingf5839192009-05-20 23:19:06 +00001906
1907 // Emit info into a debug aranges section.
1908 EmitDebugARanges();
1909
1910 // Emit info into a debug ranges section.
Devang Patelc50078e2009-11-21 02:48:08 +00001911 emitDebugRanges();
Bill Wendlingf5839192009-05-20 23:19:06 +00001912
1913 // Emit info into a debug macinfo section.
Devang Patelc50078e2009-11-21 02:48:08 +00001914 emitDebugMacInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001915
1916 // Emit inline info.
Devang Patelc50078e2009-11-21 02:48:08 +00001917 emitDebugInlineInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001918
Chris Lattner0f093f82010-03-13 02:17:42 +00001919 // Emit info into a debug str section.
1920 emitDebugStr();
1921
Jeffrey Yasskinc3545712010-03-11 18:29:55 +00001922 delete ModuleCU;
1923 ModuleCU = NULL; // Reset for the next Module, if any.
Bill Wendlingf5839192009-05-20 23:19:06 +00001924}
1925
Devang Patel90a0fe32009-11-10 23:06:00 +00001926/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbachb23f2422009-11-22 19:20:36 +00001927DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1928 unsigned FrameIdx,
Devang Patel90a0fe32009-11-10 23:06:00 +00001929 DILocation &ScopeLoc) {
1930
1931 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1932 if (AbsDbgVariable)
1933 return AbsDbgVariable;
1934
1935 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1936 if (!Scope)
1937 return NULL;
1938
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001939 AbsDbgVariable = new DbgVariable(Var, FrameIdx,
1940 NULL /* No more-abstract variable*/);
Devang Patelc50078e2009-11-21 02:48:08 +00001941 Scope->addVariable(AbsDbgVariable);
Devang Patel90a0fe32009-11-10 23:06:00 +00001942 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1943 return AbsDbgVariable;
1944}
1945
Devang Patel14da02f2010-03-15 18:33:46 +00001946/// findAbstractVariable - Find abstract variable, if any, associated with Var.
1947/// FIXME : Refactor findAbstractVariable.
1948DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1949 const MachineInstr *MI,
1950 DILocation &ScopeLoc) {
1951
1952 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1953 if (AbsDbgVariable)
1954 return AbsDbgVariable;
1955
1956 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1957 if (!Scope)
1958 return NULL;
1959
1960 AbsDbgVariable = new DbgVariable(Var, MI,
1961 NULL /* No more-abstract variable*/);
1962 Scope->addVariable(AbsDbgVariable);
1963 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1964 return AbsDbgVariable;
1965}
1966
Devang Patelc50078e2009-11-21 02:48:08 +00001967/// collectVariableInfo - Populate DbgScope entries with variables' info.
1968void DwarfDebug::collectVariableInfo() {
Devang Patel40c80212009-10-09 22:42:28 +00001969 if (!MMI) return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001970
Devang Patel84139992009-10-06 01:26:37 +00001971 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1972 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1973 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel0a0ea052010-01-22 22:52:10 +00001974 MDNode *Var = VI->first;
Devang Patel90a0fe32009-11-10 23:06:00 +00001975 if (!Var) continue;
Devang Patel6882dff2009-10-08 18:48:03 +00001976 DIVariable DV (Var);
Devang Patel90a0fe32009-11-10 23:06:00 +00001977 std::pair< unsigned, MDNode *> VP = VI->second;
1978 DILocation ScopeLoc(VP.second);
1979
1980 DbgScope *Scope =
1981 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1982 if (!Scope)
Jim Grosbach652b7432009-11-21 23:12:12 +00001983 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelbad42262009-11-10 23:20:04 +00001984 // If variable scope is not found then skip this variable.
1985 if (!Scope)
1986 continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00001987
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00001988 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, ScopeLoc);
1989 DbgVariable *RegVar = new DbgVariable(DV, VP.first, AbsDbgVariable);
Devang Patelc50078e2009-11-21 02:48:08 +00001990 Scope->addVariable(RegVar);
Devang Patel84139992009-10-06 01:26:37 +00001991 }
Devang Patel14da02f2010-03-15 18:33:46 +00001992
1993 // Collect variable information from DBG_VALUE machine instructions;
1994 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1995 I != E; ++I) {
1996 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1997 II != IE; ++II) {
1998 const MachineInstr *MInsn = II;
1999 if (MInsn->getOpcode() != TargetOpcode::DBG_VALUE)
2000 continue;
2001 // FIXME : Lift this restriction.
2002 if (MInsn->getNumOperands() != 3)
2003 continue;
2004 DIVariable DV((MDNode*)(MInsn->getOperand(MInsn->getNumOperands() - 1).getMetadata()));
2005 if (DV.getTag() == dwarf::DW_TAG_arg_variable) {
2006 // FIXME Handle inlined subroutine arguments.
2007 DbgVariable *ArgVar = new DbgVariable(DV, MInsn, NULL);
2008 CurrentFnDbgScope->addVariable(ArgVar);
2009 continue;
2010 }
2011
2012 DebugLoc DL = MInsn->getDebugLoc();
2013 if (DL.isUnknown()) continue;
2014 DILocation ScopeLoc = MF->getDILocation(DL);
2015 DbgScope *Scope =
2016 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
2017 if (!Scope)
2018 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
2019 // If variable scope is not found then skip this variable.
2020 if (!Scope)
2021 continue;
2022
2023 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, MInsn,
2024 ScopeLoc);
2025 DbgVariable *RegVar = new DbgVariable(DV, MInsn, AbsDbgVariable);
2026 Scope->addVariable(RegVar);
2027 }
2028 }
Devang Patel84139992009-10-06 01:26:37 +00002029}
2030
Devang Patelabc2b352010-03-29 17:20:31 +00002031/// beginScope - Process beginning of a scope.
2032void DwarfDebug::beginScope(const MachineInstr *MI) {
2033 // Ignore DBG_VALUE instructions.
2034 if (MI->getOpcode() == TargetOpcode::DBG_VALUE)
2035 return;
2036
2037 // Check location.
2038 DebugLoc DL = MI->getDebugLoc();
2039 if (DL.isUnknown())
2040 return;
2041 DILocation DILoc = MF->getDILocation(DL);
2042 if (!DILoc.getScope().Verify())
2043 return;
2044
2045 // Check and update last known location info.
2046 if(DILoc.getNode() == PrevDILoc)
2047 return;
2048 PrevDILoc = DILoc.getNode();
2049
2050 // Emit a label to indicate location change. This is used for line
2051 // table even if this instruction does start a new scope.
2052 MCSymbol *Label = recordSourceLine(DILoc.getLineNumber(),
2053 DILoc.getColumnNumber(),
2054 DILoc.getScope().getNode());
2055
2056 // update DbgScope if this instruction starts a new scope.
Devang Patel393a46d2009-10-06 01:50:42 +00002057 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
2058 if (I == DbgScopeBeginMap.end())
2059 return;
Devang Patelabc2b352010-03-29 17:20:31 +00002060
Dan Gohman8d34f972009-11-23 21:30:55 +00002061 ScopeVector &SD = I->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00002062 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00002063 SDI != SDE; ++SDI)
Chris Lattner597b0fc2010-03-09 04:54:43 +00002064 (*SDI)->setStartLabel(Label);
Devang Patelabc2b352010-03-29 17:20:31 +00002065
Devang Patel393a46d2009-10-06 01:50:42 +00002066}
2067
Devang Patelc50078e2009-11-21 02:48:08 +00002068/// endScope - Process end of a scope.
2069void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patelabc2b352010-03-29 17:20:31 +00002070 // Ignore DBG_VALUE instruction.
2071 if (MI->getOpcode() == TargetOpcode::DBG_VALUE)
2072 return;
2073
2074 // Check location.
2075 DebugLoc DL = MI->getDebugLoc();
2076 if (DL.isUnknown())
2077 return;
2078 DILocation DILoc = MF->getDILocation(DL);
2079 if (!DILoc.getScope().Verify())
2080 return;
2081
2082 // Emit a label and update DbgScope if this instruction ends a scope.
Devang Patel393a46d2009-10-06 01:50:42 +00002083 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patelf4348892009-10-06 03:15:38 +00002084 if (I == DbgScopeEndMap.end())
Devang Patel393a46d2009-10-06 01:50:42 +00002085 return;
Devang Patel90a0fe32009-11-10 23:06:00 +00002086
Chris Lattner54e56f22010-03-14 08:36:50 +00002087 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner855e8f52010-03-09 01:58:53 +00002088 Asm->OutStreamer.EmitLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00002089
Chris Lattner855e8f52010-03-09 01:58:53 +00002090 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel393a46d2009-10-06 01:50:42 +00002091 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00002092 SDI != SDE; ++SDI)
Chris Lattner855e8f52010-03-09 01:58:53 +00002093 (*SDI)->setEndLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00002094 return;
2095}
2096
2097/// createDbgScope - Create DbgScope for the scope.
2098void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
2099
2100 if (!InlinedAt) {
2101 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2102 if (WScope)
2103 return;
2104 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2105 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach652b7432009-11-21 23:12:12 +00002106 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel53addbf2009-11-11 00:18:40 +00002107 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel90a0fe32009-11-10 23:06:00 +00002108 return;
2109 }
2110
2111 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2112 if (WScope)
2113 return;
2114
2115 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2116 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2117 DILocation DL(InlinedAt);
2118 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel393a46d2009-10-06 01:50:42 +00002119}
2120
Devang Patelc50078e2009-11-21 02:48:08 +00002121/// extractScopeInformation - Scan machine instructions in this function
Devang Patel6a260102009-10-01 20:31:14 +00002122/// and collect DbgScopes. Return true, if atleast one scope was found.
Chris Lattner69a76972010-01-26 23:18:02 +00002123bool DwarfDebug::extractScopeInformation() {
Devang Patel6a260102009-10-01 20:31:14 +00002124 // If scope information was extracted using .dbg intrinsics then there is not
2125 // any need to extract these information by scanning each instruction.
2126 if (!DbgScopeMap.empty())
2127 return false;
2128
Devang Patel98e77302010-01-04 20:44:00 +00002129 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2130 unsigned MIIndex = 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00002131 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel6a260102009-10-01 20:31:14 +00002132 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2133 I != E; ++I) {
2134 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2135 II != IE; ++II) {
2136 const MachineInstr *MInsn = II;
Devang Patel14da02f2010-03-15 18:33:46 +00002137 // FIXME : Remove DBG_VALUE check.
2138 if (MInsn->getOpcode() == TargetOpcode::DBG_VALUE) continue;
Devang Patel98e77302010-01-04 20:44:00 +00002139 MIIndexMap[MInsn] = MIIndex++;
Devang Patel6a260102009-10-01 20:31:14 +00002140 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel90a0fe32009-11-10 23:06:00 +00002141 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002142 DILocation DLT = MF->getDILocation(DL);
2143 DIScope DLTScope = DLT.getScope();
Devang Patel6a260102009-10-01 20:31:14 +00002144 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002145 // other scopes, create one DbgScope now. This will be translated
Devang Patel6a260102009-10-01 20:31:14 +00002146 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002147 if (DLTScope.isCompileUnit()) continue;
2148 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002149 }
2150 }
2151
2152
2153 // Build scope hierarchy using working set of scopes.
2154 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2155 I != E; ++I) {
2156 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2157 II != IE; ++II) {
2158 const MachineInstr *MInsn = II;
Devang Patel14da02f2010-03-15 18:33:46 +00002159 // FIXME : Remove DBG_VALUE check.
2160 if (MInsn->getOpcode() == TargetOpcode::DBG_VALUE) continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00002161 DebugLoc DL = MInsn->getDebugLoc();
2162 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002163 DILocation DLT = MF->getDILocation(DL);
2164 DIScope DLTScope = DLT.getScope();
Devang Patel90a0fe32009-11-10 23:06:00 +00002165 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002166 // other scopes, create one DbgScope now. This will be translated
Devang Patel90a0fe32009-11-10 23:06:00 +00002167 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002168 if (DLTScope.isCompileUnit()) continue;
2169 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2170 DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002171 Scope->setLastInsn(MInsn);
Devang Patel6a260102009-10-01 20:31:14 +00002172 }
2173 }
2174
Devang Patel98e77302010-01-04 20:44:00 +00002175 if (!CurrentFnDbgScope)
2176 return false;
2177
2178 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel6a260102009-10-01 20:31:14 +00002179
2180 // Each scope has first instruction and last instruction to mark beginning
2181 // and end of a scope respectively. Create an inverse map that list scopes
2182 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patelfd311df2010-01-20 02:05:23 +00002183 // multiple scopes. Ignore scopes that are not reachable.
2184 SmallVector<DbgScope *, 4> WorkList;
2185 WorkList.push_back(CurrentFnDbgScope);
2186 while (!WorkList.empty()) {
2187 DbgScope *S = WorkList.back(); WorkList.pop_back();
2188
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002189 const SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patelfd311df2010-01-20 02:05:23 +00002190 if (!Children.empty())
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002191 for (SmallVector<DbgScope *, 4>::const_iterator SI = Children.begin(),
Devang Patelfd311df2010-01-20 02:05:23 +00002192 SE = Children.end(); SI != SE; ++SI)
2193 WorkList.push_back(*SI);
2194
Devang Patel90a0fe32009-11-10 23:06:00 +00002195 if (S->isAbstractScope())
2196 continue;
Devang Patel6a260102009-10-01 20:31:14 +00002197 const MachineInstr *MI = S->getFirstInsn();
2198 assert (MI && "DbgScope does not have first instruction!");
2199
2200 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2201 if (IDI != DbgScopeBeginMap.end())
2202 IDI->second.push_back(S);
2203 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002204 DbgScopeBeginMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002205
2206 MI = S->getLastInsn();
2207 assert (MI && "DbgScope does not have last instruction!");
2208 IDI = DbgScopeEndMap.find(MI);
2209 if (IDI != DbgScopeEndMap.end())
2210 IDI->second.push_back(S);
2211 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002212 DbgScopeEndMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002213 }
2214
2215 return !DbgScopeMap.empty();
2216}
2217
Devang Patelc50078e2009-11-21 02:48:08 +00002218/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf5839192009-05-20 23:19:06 +00002219/// emitted immediately after the function entry point.
Chris Lattner69a76972010-01-26 23:18:02 +00002220void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002221 this->MF = MF;
2222
2223 if (!ShouldEmitDwarfDebug()) return;
Chris Lattner69a76972010-01-26 23:18:02 +00002224 if (!extractScopeInformation())
Devang Patel0feae422009-10-06 18:37:31 +00002225 return;
Chris Lattnerb49c9f82010-03-29 20:38:20 +00002226
2227 TimeRegion Timer(DebugTimer);
Devang Patelc50078e2009-11-21 02:48:08 +00002228
2229 collectVariableInfo();
Devang Patel0feae422009-10-06 18:37:31 +00002230
Bill Wendlingf5839192009-05-20 23:19:06 +00002231 // Assumes in correct section after the entry point.
Chris Lattner6d213e82010-03-08 22:44:40 +00002232 Asm->OutStreamer.EmitLabel(getDWLabel("func_begin", ++SubprogramCount));
Bill Wendlingf5839192009-05-20 23:19:06 +00002233
2234 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2235 // function.
Devang Patel40c80212009-10-09 22:42:28 +00002236 DebugLoc FDL = MF->getDefaultDebugLoc();
2237 if (!FDL.isUnknown()) {
Devang Patel042945f2010-01-16 06:09:35 +00002238 DILocation DLT = MF->getDILocation(FDL);
Devang Patel042945f2010-01-16 06:09:35 +00002239 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Chris Lattner855e8f52010-03-09 01:58:53 +00002240 unsigned Line, Col;
2241 if (SP.Verify()) {
2242 Line = SP.getLineNumber();
2243 Col = 0;
2244 } else {
2245 Line = DLT.getLineNumber();
2246 Col = DLT.getColumnNumber();
2247 }
2248
Chris Lattner597b0fc2010-03-09 04:54:43 +00002249 recordSourceLine(Line, Col, DLT.getScope().getNode());
Bill Wendlingf5839192009-05-20 23:19:06 +00002250 }
Bill Wendlingf5839192009-05-20 23:19:06 +00002251}
2252
Devang Patelc50078e2009-11-21 02:48:08 +00002253/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf5839192009-05-20 23:19:06 +00002254///
Chris Lattner69a76972010-01-26 23:18:02 +00002255void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002256 if (!ShouldEmitDwarfDebug()) return;
Chris Lattnerb49c9f82010-03-29 20:38:20 +00002257 if (DbgScopeMap.empty()) return;
2258
2259 TimeRegion Timer(DebugTimer);
Devang Patel4a7ef8d2009-11-12 19:02:56 +00002260
Devang Patel98e77302010-01-04 20:44:00 +00002261 if (CurrentFnDbgScope) {
2262 // Define end label for subprogram.
Chris Lattner6d213e82010-03-08 22:44:40 +00002263 Asm->OutStreamer.EmitLabel(getDWLabel("func_end", SubprogramCount));
Devang Patel98e77302010-01-04 20:44:00 +00002264
2265 // Get function line info.
2266 if (!Lines.empty()) {
2267 // Get section line info.
2268 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2269 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2270 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2271 // Append the function info to section info.
2272 SectionLineInfos.insert(SectionLineInfos.end(),
2273 Lines.begin(), Lines.end());
2274 }
2275
2276 // Construct abstract scopes.
2277 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2278 AE = AbstractScopesList.end(); AI != AE; ++AI)
2279 constructScopeDIE(*AI);
2280
2281 constructScopeDIE(CurrentFnDbgScope);
2282
2283 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2284 MMI->getFrameMoves()));
Bill Wendlingf5839192009-05-20 23:19:06 +00002285 }
2286
Bill Wendlingf5839192009-05-20 23:19:06 +00002287 // Clear debug info
Devang Patel387e9c12010-01-19 01:26:02 +00002288 CurrentFnDbgScope = NULL;
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002289 DeleteContainerSeconds(DbgScopeMap);
Devang Patel387e9c12010-01-19 01:26:02 +00002290 DbgScopeBeginMap.clear();
2291 DbgScopeEndMap.clear();
2292 ConcreteScopes.clear();
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002293 DeleteContainerSeconds(AbstractScopes);
Devang Patel387e9c12010-01-19 01:26:02 +00002294 AbstractScopesList.clear();
Jeffrey Yasskinecca2e62010-03-12 17:45:06 +00002295 AbstractVariables.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002296 Lines.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002297}
2298
Chris Lattner597b0fc2010-03-09 04:54:43 +00002299/// recordSourceLine - Register a source line with debug info. Returns the
2300/// unique label that was emitted and which provides correspondence to
2301/// the source line list.
2302MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patel15e723d2009-08-28 23:24:31 +00002303 if (!MMI)
2304 return 0;
2305
Chris Lattnerb49c9f82010-03-29 20:38:20 +00002306 TimeRegion Timer(DebugTimer);
Bill Wendlingf5839192009-05-20 23:19:06 +00002307
Devang Patel7f75bbe2009-11-25 17:36:49 +00002308 StringRef Dir;
2309 StringRef Fn;
Devang Patel946d0ae2009-10-05 18:03:19 +00002310
2311 DIDescriptor Scope(S);
2312 if (Scope.isCompileUnit()) {
2313 DICompileUnit CU(S);
2314 Dir = CU.getDirectory();
2315 Fn = CU.getFilename();
2316 } else if (Scope.isSubprogram()) {
2317 DISubprogram SP(S);
2318 Dir = SP.getDirectory();
2319 Fn = SP.getFilename();
2320 } else if (Scope.isLexicalBlock()) {
2321 DILexicalBlock DB(S);
2322 Dir = DB.getDirectory();
2323 Fn = DB.getFilename();
2324 } else
Chris Lattnerdd21da82010-03-13 07:26:18 +00002325 assert(0 && "Unexpected scope info");
Devang Patel946d0ae2009-10-05 18:03:19 +00002326
2327 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Chris Lattner54e56f22010-03-14 08:36:50 +00002328 MCSymbol *Label = MMI->getContext().CreateTempSymbol();
Chris Lattner8d9d06a2010-03-14 08:15:55 +00002329 Lines.push_back(SrcLineInfo(Line, Col, Src, Label));
Bill Wendlingf5839192009-05-20 23:19:06 +00002330
Chris Lattner597b0fc2010-03-09 04:54:43 +00002331 Asm->OutStreamer.EmitLabel(Label);
2332 return Label;
Bill Wendlingf5839192009-05-20 23:19:06 +00002333}
2334
2335/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2336/// timed. Look up the source id with the given directory and source file
2337/// names. If none currently exists, create a new id and insert it in the
2338/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2339/// well.
2340unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2341 const std::string &FileName) {
Chris Lattnerb49c9f82010-03-29 20:38:20 +00002342 TimeRegion Timer(DebugTimer);
2343 return GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf5839192009-05-20 23:19:06 +00002344}
2345
Bill Wendlinge1a5bbb2009-05-20 23:22:40 +00002346//===----------------------------------------------------------------------===//
2347// Emit Methods
2348//===----------------------------------------------------------------------===//
2349
Devang Patelc50078e2009-11-21 02:48:08 +00002350/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling55fccda2009-05-20 23:21:38 +00002351///
Jim Grosbachb23f2422009-11-22 19:20:36 +00002352unsigned
2353DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002354 // Get the children.
2355 const std::vector<DIE *> &Children = Die->getChildren();
2356
2357 // If not last sibling and has children then add sibling offset attribute.
Jeffrey Yasskin2944ced2010-03-22 18:47:14 +00002358 if (!Last && !Children.empty())
2359 DIEValues.push_back(Die->addSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002360
2361 // Record the abbreviation.
Devang Patelc50078e2009-11-21 02:48:08 +00002362 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling55fccda2009-05-20 23:21:38 +00002363
2364 // Get the abbreviation for this DIE.
2365 unsigned AbbrevNumber = Die->getAbbrevNumber();
2366 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2367
2368 // Set DIE offset
2369 Die->setOffset(Offset);
2370
2371 // Start the size with the size of abbreviation code.
Chris Lattner621c44d2009-08-22 20:48:53 +00002372 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002373
2374 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2375 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2376
2377 // Size the DIE attribute values.
2378 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2379 // Size attribute value.
2380 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2381
2382 // Size the DIE children if any.
2383 if (!Children.empty()) {
2384 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2385 "Children flag not set");
2386
2387 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002388 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling55fccda2009-05-20 23:21:38 +00002389
2390 // End of children marker.
2391 Offset += sizeof(int8_t);
2392 }
2393
2394 Die->setSize(Offset - Die->getOffset());
2395 return Offset;
2396}
2397
Devang Patelc50078e2009-11-21 02:48:08 +00002398/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling55fccda2009-05-20 23:21:38 +00002399///
Devang Patelc50078e2009-11-21 02:48:08 +00002400void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002401 // Compute size of compile unit header.
2402 static unsigned Offset =
2403 sizeof(int32_t) + // Length of Compilation Unit Info
2404 sizeof(int16_t) + // DWARF version number
2405 sizeof(int32_t) + // Offset Into Abbrev. Section
2406 sizeof(int8_t); // Pointer Size (in bytes)
2407
Devang Patelc50078e2009-11-21 02:48:08 +00002408 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel5a3d37f2009-06-29 20:45:18 +00002409 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling55fccda2009-05-20 23:21:38 +00002410}
2411
Devang Patelc50078e2009-11-21 02:48:08 +00002412/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling55fccda2009-05-20 23:21:38 +00002413/// tools to recognize the object file contains Dwarf information.
Devang Patelc50078e2009-11-21 02:48:08 +00002414void DwarfDebug::emitInitial() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002415 // Check to see if we already emitted intial headers.
2416 if (didInitial) return;
2417 didInitial = true;
2418
Chris Lattner73266f92009-08-19 05:49:37 +00002419 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbar41716322009-09-19 20:40:05 +00002420
Bill Wendling55fccda2009-05-20 23:21:38 +00002421 // Dwarf sections base addresses.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002422 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner73266f92009-08-19 05:49:37 +00002423 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002424 Asm->OutStreamer.EmitLabel(getTempLabel("section_debug_frame"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002425 }
2426
Chris Lattner73266f92009-08-19 05:49:37 +00002427 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002428 Asm->OutStreamer.EmitLabel(getTempLabel("section_info"));
Chris Lattner73266f92009-08-19 05:49:37 +00002429 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002430 Asm->OutStreamer.EmitLabel(getTempLabel("section_abbrev"));
Chris Lattner73266f92009-08-19 05:49:37 +00002431 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002432 Asm->OutStreamer.EmitLabel(getTempLabel("section_aranges"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002433
Chris Lattner73266f92009-08-19 05:49:37 +00002434 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2435 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattner6d213e82010-03-08 22:44:40 +00002436 Asm->OutStreamer.EmitLabel(getTempLabel("section_macinfo"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002437 }
2438
Chris Lattner73266f92009-08-19 05:49:37 +00002439 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002440 Asm->OutStreamer.EmitLabel(getTempLabel("section_line"));
Chris Lattner73266f92009-08-19 05:49:37 +00002441 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002442 Asm->OutStreamer.EmitLabel(getTempLabel("section_loc"));
Chris Lattner73266f92009-08-19 05:49:37 +00002443 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002444 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubnames"));
Devang Patelec13b4f2009-11-24 01:14:22 +00002445 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002446 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubtypes"));
Chris Lattner73266f92009-08-19 05:49:37 +00002447 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002448 Asm->OutStreamer.EmitLabel(getTempLabel("section_str"));
Chris Lattner73266f92009-08-19 05:49:37 +00002449 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002450 Asm->OutStreamer.EmitLabel(getTempLabel("section_ranges"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002451
Chris Lattner73266f92009-08-19 05:49:37 +00002452 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002453 Asm->OutStreamer.EmitLabel(getTempLabel("text_begin"));
Chris Lattner73266f92009-08-19 05:49:37 +00002454 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002455 Asm->OutStreamer.EmitLabel(getTempLabel("data_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002456}
2457
Devang Patelc50078e2009-11-21 02:48:08 +00002458/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling55fccda2009-05-20 23:21:38 +00002459///
Devang Patelc50078e2009-11-21 02:48:08 +00002460void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002461 // Get the abbreviation for this DIE.
2462 unsigned AbbrevNumber = Die->getAbbrevNumber();
2463 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2464
Bill Wendling55fccda2009-05-20 23:21:38 +00002465 // Emit the code (index) for the abbreviation.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002466 if (Asm->VerboseAsm)
2467 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2468 Twine::utohexstr(Die->getOffset()) + ":0x" +
2469 Twine::utohexstr(Die->getSize()) + " " +
2470 dwarf::TagString(Abbrev->getTag()));
2471 EmitULEB128(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002472
Jeffrey Yasskin2944ced2010-03-22 18:47:14 +00002473 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling55fccda2009-05-20 23:21:38 +00002474 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2475
2476 // Emit the DIE attribute values.
2477 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2478 unsigned Attr = AbbrevData[i].getAttribute();
2479 unsigned Form = AbbrevData[i].getForm();
2480 assert(Form && "Too many attributes for DIE (check abbreviation)");
2481
Chris Lattner91e06b42010-01-24 18:54:17 +00002482 if (Asm->VerboseAsm)
2483 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2484
Bill Wendling55fccda2009-05-20 23:21:38 +00002485 switch (Attr) {
2486 case dwarf::DW_AT_sibling:
Devang Patelc50078e2009-11-21 02:48:08 +00002487 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002488 break;
2489 case dwarf::DW_AT_abstract_origin: {
2490 DIEEntry *E = cast<DIEEntry>(Values[i]);
2491 DIE *Origin = E->getEntry();
Devang Patel90a0fe32009-11-10 23:06:00 +00002492 unsigned Addr = Origin->getOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002493 Asm->EmitInt32(Addr);
2494 break;
2495 }
2496 default:
2497 // Emit an attribute using the defined form.
2498 Values[i]->EmitValue(this, Form);
2499 break;
2500 }
Bill Wendling55fccda2009-05-20 23:21:38 +00002501 }
2502
2503 // Emit the DIE children if any.
2504 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2505 const std::vector<DIE *> &Children = Die->getChildren();
2506
2507 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002508 emitDIE(Children[j]);
Bill Wendling55fccda2009-05-20 23:21:38 +00002509
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002510 if (Asm->VerboseAsm)
2511 Asm->OutStreamer.AddComment("End Of Children Mark");
2512 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002513 }
2514}
2515
Devang Patelfe0be132009-12-09 18:24:21 +00002516/// emitDebugInfo - Emit the debug info section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002517///
Devang Patelfe0be132009-12-09 18:24:21 +00002518void DwarfDebug::emitDebugInfo() {
2519 // Start debug info section.
2520 Asm->OutStreamer.SwitchSection(
2521 Asm->getObjFileLowering().getDwarfInfoSection());
2522 DIE *Die = ModuleCU->getCUDie();
Bill Wendling55fccda2009-05-20 23:21:38 +00002523
2524 // Emit the compile units header.
Chris Lattner6d213e82010-03-08 22:44:40 +00002525 Asm->OutStreamer.EmitLabel(getDWLabel("info_begin", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002526
2527 // Emit size of content not including length itself
2528 unsigned ContentSize = Die->getSize() +
2529 sizeof(int16_t) + // DWARF version number
2530 sizeof(int32_t) + // Offset Into Abbrev. Section
2531 sizeof(int8_t) + // Pointer Size (in bytes)
2532 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2533
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002534 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2535 Asm->EmitInt32(ContentSize);
2536 Asm->OutStreamer.AddComment("DWARF version number");
2537 Asm->EmitInt16(dwarf::DWARF_VERSION);
2538 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Devang Patelb912cf32010-03-17 17:29:55 +00002539 EmitSectionOffset(getTempLabel("abbrev_begin"),getTempLabel("section_abbrev"),
2540 true);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002541 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2542 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00002543
Devang Patelc50078e2009-11-21 02:48:08 +00002544 emitDIE(Die);
Bill Wendling55fccda2009-05-20 23:21:38 +00002545 // FIXME - extra padding for gdb bug.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002546 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2547 Asm->EmitInt8(0);
2548 Asm->EmitInt8(0);
2549 Asm->EmitInt8(0);
2550 Asm->EmitInt8(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002551 Asm->OutStreamer.EmitLabel(getDWLabel("info_end", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002552}
2553
Devang Patelc50078e2009-11-21 02:48:08 +00002554/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002555///
Devang Patelc50078e2009-11-21 02:48:08 +00002556void DwarfDebug::emitAbbreviations() const {
Bill Wendling55fccda2009-05-20 23:21:38 +00002557 // Check to see if it is worth the effort.
2558 if (!Abbreviations.empty()) {
2559 // Start the debug abbrev section.
Chris Lattner73266f92009-08-19 05:49:37 +00002560 Asm->OutStreamer.SwitchSection(
2561 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002562
Chris Lattner6d213e82010-03-08 22:44:40 +00002563 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002564
2565 // For each abbrevation.
2566 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2567 // Get abbreviation data
2568 const DIEAbbrev *Abbrev = Abbreviations[i];
2569
2570 // Emit the abbrevations code (base 1 index.)
Chris Lattnerbcc79432010-01-22 23:18:42 +00002571 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling55fccda2009-05-20 23:21:38 +00002572
2573 // Emit the abbreviations data.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002574 Abbrev->Emit(this);
Bill Wendling55fccda2009-05-20 23:21:38 +00002575 }
2576
2577 // Mark end of abbreviations.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002578 EmitULEB128(0, "EOM(3)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002579
Chris Lattner6d213e82010-03-08 22:44:40 +00002580 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002581 }
2582}
2583
Devang Patelc50078e2009-11-21 02:48:08 +00002584/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling55fccda2009-05-20 23:21:38 +00002585/// the line matrix.
2586///
Devang Patelc50078e2009-11-21 02:48:08 +00002587void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002588 // Define last address of section.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002589 Asm->OutStreamer.AddComment("Extended Op");
2590 Asm->EmitInt8(0);
2591
2592 Asm->OutStreamer.AddComment("Op size");
2593 Asm->EmitInt8(TD->getPointerSize() + 1);
2594 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2595 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2596
2597 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnereb159d62010-03-10 01:17:49 +00002598
2599 Asm->OutStreamer.EmitSymbolValue(getDWLabel("section_end", SectionEnd),
2600 TD->getPointerSize(), 0/*AddrSpace*/);
Bill Wendling55fccda2009-05-20 23:21:38 +00002601
2602 // Mark end of matrix.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002603 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2604 Asm->EmitInt8(0);
Chris Lattnerad653482010-01-22 22:09:00 +00002605 Asm->EmitInt8(1);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002606 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002607}
2608
Devang Patelc50078e2009-11-21 02:48:08 +00002609/// emitDebugLines - Emit source line information.
Bill Wendling55fccda2009-05-20 23:21:38 +00002610///
Devang Patelc50078e2009-11-21 02:48:08 +00002611void DwarfDebug::emitDebugLines() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002612 // If the target is using .loc/.file, the assembler will be emitting the
2613 // .debug_line table automatically.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002614 if (MAI->hasDotLocAndDotFile())
Bill Wendling55fccda2009-05-20 23:21:38 +00002615 return;
2616
2617 // Minimum line delta, thus ranging from -10..(255-10).
2618 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2619 // Maximum line delta, thus ranging from -10..(255-10).
2620 const int MaxLineDelta = 255 + MinLineDelta;
2621
2622 // Start the dwarf line section.
Chris Lattner73266f92009-08-19 05:49:37 +00002623 Asm->OutStreamer.SwitchSection(
2624 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002625
2626 // Construct the section header.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002627 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattner6d213e82010-03-08 22:44:40 +00002628 EmitDifference(getTempLabel("line_end"), getTempLabel("line_begin"), true);
Chris Lattner6d213e82010-03-08 22:44:40 +00002629 Asm->OutStreamer.EmitLabel(getTempLabel("line_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002630
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002631 Asm->OutStreamer.AddComment("DWARF version number");
2632 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling55fccda2009-05-20 23:21:38 +00002633
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002634 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattner6d213e82010-03-08 22:44:40 +00002635 EmitDifference(getTempLabel("line_prolog_end"),
2636 getTempLabel("line_prolog_begin"), true);
Chris Lattner6d213e82010-03-08 22:44:40 +00002637 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002638
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002639 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2640 Asm->EmitInt8(1);
2641 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2642 Asm->EmitInt8(1);
2643 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2644 Asm->EmitInt8(MinLineDelta);
2645 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2646 Asm->EmitInt8(MaxLineDelta);
2647 Asm->OutStreamer.AddComment("Special Opcode Base");
2648 Asm->EmitInt8(-MinLineDelta);
Bill Wendling55fccda2009-05-20 23:21:38 +00002649
2650 // Line number standard opcode encodings argument count
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002651 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2652 Asm->EmitInt8(0);
2653 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2654 Asm->EmitInt8(1);
2655 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2656 Asm->EmitInt8(1);
2657 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2658 Asm->EmitInt8(1);
2659 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2660 Asm->EmitInt8(1);
2661 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2662 Asm->EmitInt8(0);
2663 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2664 Asm->EmitInt8(0);
2665 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2666 Asm->EmitInt8(0);
2667 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2668 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002669
2670 // Emit directories.
2671 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnercc564642010-01-23 03:11:46 +00002672 const std::string &Dir = getSourceDirectoryName(DI);
2673 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2674 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002675 }
2676
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002677 Asm->OutStreamer.AddComment("End of directories");
2678 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002679
2680 // Emit files.
2681 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2682 // Remember source id starts at 1.
2683 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnercc564642010-01-23 03:11:46 +00002684 const std::string &FN = getSourceFileName(Id.second);
2685 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2686 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2687
Chris Lattnerbcc79432010-01-22 23:18:42 +00002688 EmitULEB128(Id.first, "Directory #");
2689 EmitULEB128(0, "Mod date");
2690 EmitULEB128(0, "File size");
Bill Wendling55fccda2009-05-20 23:21:38 +00002691 }
2692
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002693 Asm->OutStreamer.AddComment("End of files");
2694 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002695
Chris Lattner6d213e82010-03-08 22:44:40 +00002696 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002697
2698 // A sequence for each text section.
2699 unsigned SecSrcLinesSize = SectionSourceLines.size();
2700
2701 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2702 // Isolate current sections line info.
2703 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2704
Bill Wendling55fccda2009-05-20 23:21:38 +00002705 // Dwarf assumes we start with first line of first source file.
2706 unsigned Source = 1;
2707 unsigned Line = 1;
2708
2709 // Construct rows of the address, source, line, column matrix.
2710 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2711 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner8d9d06a2010-03-14 08:15:55 +00002712 MCSymbol *Label = LineInfo.getLabel();
Chris Lattner31ae74d2010-03-14 02:20:58 +00002713 if (!Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling55fccda2009-05-20 23:21:38 +00002714
Caroline Tice9da96d82009-09-11 18:25:54 +00002715 if (LineInfo.getLine() == 0) continue;
2716
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002717 if (Asm->isVerbose()) {
Chris Lattneree3b40f2010-03-10 01:04:13 +00002718 std::pair<unsigned, unsigned> SrcID =
Bill Wendling55fccda2009-05-20 23:21:38 +00002719 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattneree3b40f2010-03-10 01:04:13 +00002720 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner48fb0b12010-03-10 02:29:31 +00002721 "/" +
2722 Twine(getSourceFileName(SrcID.second)) +
Chris Lattneree3b40f2010-03-10 01:04:13 +00002723 ":" + Twine(LineInfo.getLine()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002724 }
2725
2726 // Define the line address.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002727 Asm->OutStreamer.AddComment("Extended Op");
2728 Asm->EmitInt8(0);
2729 Asm->OutStreamer.AddComment("Op size");
2730 Asm->EmitInt8(TD->getPointerSize() + 1);
2731
2732 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2733 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2734
2735 Asm->OutStreamer.AddComment("Location label");
Chris Lattner31ae74d2010-03-14 02:20:58 +00002736 Asm->OutStreamer.EmitSymbolValue(Label, TD->getPointerSize(),
2737 0/*AddrSpace*/);
Chris Lattnereb159d62010-03-10 01:17:49 +00002738
Bill Wendling55fccda2009-05-20 23:21:38 +00002739 // If change of source, then switch to the new source.
2740 if (Source != LineInfo.getSourceID()) {
2741 Source = LineInfo.getSourceID();
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002742 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2743 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002744 EmitULEB128(Source, "New Source");
Bill Wendling55fccda2009-05-20 23:21:38 +00002745 }
2746
2747 // If change of line.
2748 if (Line != LineInfo.getLine()) {
2749 // Determine offset.
2750 int Offset = LineInfo.getLine() - Line;
2751 int Delta = Offset - MinLineDelta;
2752
2753 // Update line.
2754 Line = LineInfo.getLine();
2755
2756 // If delta is small enough and in range...
2757 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2758 // ... then use fast opcode.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002759 Asm->OutStreamer.AddComment("Line Delta");
2760 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling55fccda2009-05-20 23:21:38 +00002761 } else {
2762 // ... otherwise use long hand.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002763 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling55fccda2009-05-20 23:21:38 +00002764 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner20f334f2010-01-22 22:56:55 +00002765 EmitSLEB128(Offset, "Line Offset");
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002766 Asm->OutStreamer.AddComment("DW_LNS_copy");
2767 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling55fccda2009-05-20 23:21:38 +00002768 }
2769 } else {
2770 // Copy the previous row (different address or source)
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002771 Asm->OutStreamer.AddComment("DW_LNS_copy");
2772 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling55fccda2009-05-20 23:21:38 +00002773 }
2774 }
2775
Devang Patelc50078e2009-11-21 02:48:08 +00002776 emitEndOfLineMatrix(j + 1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002777 }
2778
2779 if (SecSrcLinesSize == 0)
2780 // Because we're emitting a debug_line section, we still need a line
2781 // table. The linker and friends expect it to exist. If there's nothing to
2782 // put into it, emit an empty table.
Devang Patelc50078e2009-11-21 02:48:08 +00002783 emitEndOfLineMatrix(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002784
Chris Lattner6d213e82010-03-08 22:44:40 +00002785 Asm->OutStreamer.EmitLabel(getTempLabel("line_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002786}
2787
Devang Patelc50078e2009-11-21 02:48:08 +00002788/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002789///
Devang Patelc50078e2009-11-21 02:48:08 +00002790void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002791 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002792 return;
2793
2794 int stackGrowth =
2795 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2796 TargetFrameInfo::StackGrowsUp ?
2797 TD->getPointerSize() : -TD->getPointerSize();
2798
2799 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002800 Asm->OutStreamer.SwitchSection(
2801 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002802
Chris Lattner6d213e82010-03-08 22:44:40 +00002803 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common"));
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002804 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002805 EmitDifference(getTempLabel("debug_frame_common_end"),
2806 getTempLabel("debug_frame_common_begin"), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002807
Chris Lattner6d213e82010-03-08 22:44:40 +00002808 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_begin"));
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002809 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling55fccda2009-05-20 23:21:38 +00002810 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002811 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling55fccda2009-05-20 23:21:38 +00002812 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002813 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattnercc564642010-01-23 03:11:46 +00002814 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002815 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattner20f334f2010-01-22 22:56:55 +00002816 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002817 Asm->OutStreamer.AddComment("CIE RA Column");
Bill Wendling55fccda2009-05-20 23:21:38 +00002818 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling55fccda2009-05-20 23:21:38 +00002819
2820 std::vector<MachineMove> Moves;
2821 RI->getInitialFrameState(Moves);
2822
Chris Lattnerdd4f4f82010-03-13 08:05:25 +00002823 EmitFrameMoves(0, Moves, false);
Bill Wendling55fccda2009-05-20 23:21:38 +00002824
2825 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner6d213e82010-03-08 22:44:40 +00002826 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002827}
2828
Devang Patelc50078e2009-11-21 02:48:08 +00002829/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling55fccda2009-05-20 23:21:38 +00002830/// section.
Chris Lattnerdd21da82010-03-13 07:26:18 +00002831void DwarfDebug::
2832emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002833 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002834 return;
2835
2836 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002837 Asm->OutStreamer.SwitchSection(
2838 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002839
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002840 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattnerdd21da82010-03-13 07:26:18 +00002841 MCSymbol *DebugFrameBegin =
2842 getDWLabel("debug_frame_begin", DebugFrameInfo.Number);
2843 MCSymbol *DebugFrameEnd =
2844 getDWLabel("debug_frame_end", DebugFrameInfo.Number);
2845 EmitDifference(DebugFrameEnd, DebugFrameBegin, true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002846
Chris Lattnerdd21da82010-03-13 07:26:18 +00002847 Asm->OutStreamer.EmitLabel(DebugFrameBegin);
Bill Wendling55fccda2009-05-20 23:21:38 +00002848
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002849 Asm->OutStreamer.AddComment("FDE CIE offset");
Devang Patelb912cf32010-03-17 17:29:55 +00002850 EmitSectionOffset(getTempLabel("debug_frame_common"),
2851 getTempLabel("section_debug_frame"), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002852
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002853 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattner314e3362010-03-13 07:40:56 +00002854 MCSymbol *FuncBeginSym = getDWLabel("func_begin", DebugFrameInfo.Number);
2855 Asm->OutStreamer.EmitSymbolValue(FuncBeginSym,
Chris Lattnereb159d62010-03-10 01:17:49 +00002856 TD->getPointerSize(), 0/*AddrSpace*/);
2857
2858
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002859 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattner314e3362010-03-13 07:40:56 +00002860 EmitDifference(getDWLabel("func_end", DebugFrameInfo.Number), FuncBeginSym);
Bill Wendling55fccda2009-05-20 23:21:38 +00002861
Chris Lattnerdd4f4f82010-03-13 08:05:25 +00002862 EmitFrameMoves(FuncBeginSym, DebugFrameInfo.Moves, false);
Bill Wendling55fccda2009-05-20 23:21:38 +00002863
2864 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattnerdd21da82010-03-13 07:26:18 +00002865 Asm->OutStreamer.EmitLabel(DebugFrameEnd);
Bill Wendling55fccda2009-05-20 23:21:38 +00002866}
2867
Devang Patelfe0be132009-12-09 18:24:21 +00002868/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2869///
2870void DwarfDebug::emitDebugPubNames() {
2871 // Start the dwarf pubnames section.
2872 Asm->OutStreamer.SwitchSection(
2873 Asm->getObjFileLowering().getDwarfPubNamesSection());
2874
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002875 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002876 EmitDifference(getDWLabel("pubnames_end", ModuleCU->getID()),
2877 getDWLabel("pubnames_begin", ModuleCU->getID()), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002878
Chris Lattner6d213e82010-03-08 22:44:40 +00002879 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_begin", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002880
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002881 Asm->OutStreamer.AddComment("DWARF Version");
2882 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling55fccda2009-05-20 23:21:38 +00002883
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002884 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002885 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patelb912cf32010-03-17 17:29:55 +00002886 getTempLabel("section_info"), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002887
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002888 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002889 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2890 getDWLabel("info_begin", ModuleCU->getID()),
Bill Wendling55fccda2009-05-20 23:21:38 +00002891 true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002892
Devang Patelfe0be132009-12-09 18:24:21 +00002893 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling55fccda2009-05-20 23:21:38 +00002894 for (StringMap<DIE*>::const_iterator
2895 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2896 const char *Name = GI->getKeyData();
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002897 DIE *Entity = GI->second;
Bill Wendling55fccda2009-05-20 23:21:38 +00002898
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002899 Asm->OutStreamer.AddComment("DIE offset");
2900 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002901
2902 if (Asm->VerboseAsm)
2903 Asm->OutStreamer.AddComment("External Name");
2904 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002905 }
2906
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002907 Asm->OutStreamer.AddComment("End Mark");
2908 Asm->EmitInt32(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002909 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_end", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002910}
2911
Devang Patelec13b4f2009-11-24 01:14:22 +00002912void DwarfDebug::emitDebugPubTypes() {
Devang Patel6f2bdd52009-11-24 19:18:41 +00002913 // Start the dwarf pubnames section.
2914 Asm->OutStreamer.SwitchSection(
2915 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002916 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002917 EmitDifference(getDWLabel("pubtypes_end", ModuleCU->getID()),
2918 getDWLabel("pubtypes_begin", ModuleCU->getID()), true);
Devang Patelec13b4f2009-11-24 01:14:22 +00002919
Chris Lattner6d213e82010-03-08 22:44:40 +00002920 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_begin", ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00002921
Devang Patel40b6cda2010-02-02 03:47:27 +00002922 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2923 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patelec13b4f2009-11-24 01:14:22 +00002924
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002925 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002926 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
Devang Patelb912cf32010-03-17 17:29:55 +00002927 getTempLabel("section_info"), true);
Devang Patelec13b4f2009-11-24 01:14:22 +00002928
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002929 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002930 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2931 getDWLabel("info_begin", ModuleCU->getID()),
Devang Patelec13b4f2009-11-24 01:14:22 +00002932 true);
Devang Patelec13b4f2009-11-24 01:14:22 +00002933
2934 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2935 for (StringMap<DIE*>::const_iterator
2936 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2937 const char *Name = GI->getKeyData();
2938 DIE * Entity = GI->second;
2939
Devang Patel40b6cda2010-02-02 03:47:27 +00002940 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2941 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002942
2943 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel0ceb4892010-02-02 03:37:03 +00002944 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patelec13b4f2009-11-24 01:14:22 +00002945 }
2946
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002947 Asm->OutStreamer.AddComment("End Mark");
2948 Asm->EmitInt32(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002949 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_end", ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00002950}
2951
Devang Patelc50078e2009-11-21 02:48:08 +00002952/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002953///
Devang Patelc50078e2009-11-21 02:48:08 +00002954void DwarfDebug::emitDebugStr() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002955 // Check to see if it is worth the effort.
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002956 if (StringPool.empty()) return;
2957
2958 // Start the dwarf str section.
2959 Asm->OutStreamer.SwitchSection(
Chris Lattner73266f92009-08-19 05:49:37 +00002960 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002961
Chris Lattner0f093f82010-03-13 02:17:42 +00002962 // Get all of the string pool entries and put them in an array by their ID so
2963 // we can sort them.
2964 SmallVector<std::pair<unsigned,
2965 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
2966
2967 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
2968 I = StringPool.begin(), E = StringPool.end(); I != E; ++I)
2969 Entries.push_back(std::make_pair(I->second.second, &*I));
2970
2971 array_pod_sort(Entries.begin(), Entries.end());
2972
2973 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002974 // Emit a label for reference from debug information entries.
Chris Lattner0f093f82010-03-13 02:17:42 +00002975 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002976
2977 // Emit the string itself.
Chris Lattner0f093f82010-03-13 02:17:42 +00002978 Asm->OutStreamer.EmitBytes(Entries[i].second->getKey(), 0/*addrspace*/);
Bill Wendling55fccda2009-05-20 23:21:38 +00002979 }
2980}
2981
Devang Patelc50078e2009-11-21 02:48:08 +00002982/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002983///
Devang Patelc50078e2009-11-21 02:48:08 +00002984void DwarfDebug::emitDebugLoc() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002985 // Start the dwarf loc section.
Chris Lattner73266f92009-08-19 05:49:37 +00002986 Asm->OutStreamer.SwitchSection(
2987 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002988}
2989
2990/// EmitDebugARanges - Emit visible names into a debug aranges section.
2991///
2992void DwarfDebug::EmitDebugARanges() {
2993 // Start the dwarf aranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002994 Asm->OutStreamer.SwitchSection(
2995 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002996}
2997
Devang Patelc50078e2009-11-21 02:48:08 +00002998/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002999///
Devang Patelc50078e2009-11-21 02:48:08 +00003000void DwarfDebug::emitDebugRanges() {
Bill Wendling55fccda2009-05-20 23:21:38 +00003001 // Start the dwarf ranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00003002 Asm->OutStreamer.SwitchSection(
3003 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00003004}
3005
Devang Patelc50078e2009-11-21 02:48:08 +00003006/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling55fccda2009-05-20 23:21:38 +00003007///
Devang Patelc50078e2009-11-21 02:48:08 +00003008void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbar41716322009-09-19 20:40:05 +00003009 if (const MCSection *LineInfo =
Chris Lattner72d228d2009-08-02 07:24:22 +00003010 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling55fccda2009-05-20 23:21:38 +00003011 // Start the dwarf macinfo section.
Chris Lattner73266f92009-08-19 05:49:37 +00003012 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling55fccda2009-05-20 23:21:38 +00003013 }
3014}
3015
Devang Patelc50078e2009-11-21 02:48:08 +00003016/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling55fccda2009-05-20 23:21:38 +00003017/// Section Header:
3018/// 1. length of section
3019/// 2. Dwarf version number
3020/// 3. address size.
3021///
3022/// Entries (one "entry" for each function that was inlined):
3023///
3024/// 1. offset into __debug_str section for MIPS linkage name, if exists;
3025/// otherwise offset into __debug_str for regular function name.
3026/// 2. offset into __debug_str section for regular function name.
3027/// 3. an unsigned LEB128 number indicating the number of distinct inlining
3028/// instances for the function.
3029///
3030/// The rest of the entry consists of a {die_offset, low_pc} pair for each
3031/// inlined instance; the die_offset points to the inlined_subroutine die in the
3032/// __debug_info section, and the low_pc is the starting address for the
3033/// inlining instance.
Devang Patelc50078e2009-11-21 02:48:08 +00003034void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00003035 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00003036 return;
3037
Devang Patel5a3d37f2009-06-29 20:45:18 +00003038 if (!ModuleCU)
Bill Wendling55fccda2009-05-20 23:21:38 +00003039 return;
3040
Chris Lattner73266f92009-08-19 05:49:37 +00003041 Asm->OutStreamer.SwitchSection(
3042 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerad653482010-01-22 22:09:00 +00003043
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003044 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattner2a65fd42010-03-08 23:02:59 +00003045 EmitDifference(getDWLabel("debug_inlined_end", 1),
3046 getDWLabel("debug_inlined_begin", 1), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00003047
Chris Lattner6d213e82010-03-08 22:44:40 +00003048 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_begin", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00003049
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003050 Asm->OutStreamer.AddComment("Dwarf Version");
3051 Asm->EmitInt16(dwarf::DWARF_VERSION);
3052 Asm->OutStreamer.AddComment("Address Size (in bytes)");
3053 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00003054
Devang Patel90a0fe32009-11-10 23:06:00 +00003055 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
3056 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach652b7432009-11-21 23:12:12 +00003057
Devang Patel90a0fe32009-11-10 23:06:00 +00003058 MDNode *Node = *I;
Devang Patel7d707f92010-01-19 06:19:05 +00003059 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbachb23f2422009-11-22 19:20:36 +00003060 = InlineInfo.find(Node);
Devang Patel90a0fe32009-11-10 23:06:00 +00003061 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel15e723d2009-08-28 23:24:31 +00003062 DISubprogram SP(Node);
Devang Patel7f75bbe2009-11-25 17:36:49 +00003063 StringRef LName = SP.getLinkageName();
3064 StringRef Name = SP.getName();
Bill Wendling55fccda2009-05-20 23:21:38 +00003065
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003066 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattnercc564642010-01-23 03:11:46 +00003067 if (LName.empty()) {
3068 Asm->OutStreamer.EmitBytes(Name, 0);
3069 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
3070 } else
Chris Lattner0f093f82010-03-13 02:17:42 +00003071 EmitSectionOffset(getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00003072 getTempLabel("section_str"), true);
Devang Patel90a0fe32009-11-10 23:06:00 +00003073
Chris Lattner9ef8efd2010-03-09 23:52:58 +00003074 Asm->OutStreamer.AddComment("Function name");
Devang Patelb912cf32010-03-17 17:29:55 +00003075 EmitSectionOffset(getStringPoolEntry(Name), getTempLabel("section_str"),
3076 true);
Chris Lattnerbcc79432010-01-22 23:18:42 +00003077 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling55fccda2009-05-20 23:21:38 +00003078
Devang Patel90a0fe32009-11-10 23:06:00 +00003079 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling55fccda2009-05-20 23:21:38 +00003080 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattneread58652010-03-09 00:31:02 +00003081 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
3082 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00003083
Chris Lattnere90630a2010-03-09 00:26:09 +00003084 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner2ab0c442010-03-09 00:39:24 +00003085 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00003086 }
3087 }
3088
Chris Lattner6d213e82010-03-08 22:44:40 +00003089 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_end", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00003090}