blob: 36be5b99b9463186f0e5cb29816945e83af374fa [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"
Chris Lattnerf5377682009-08-24 03:52:50 +000028#include "llvm/ADT/StringExtras.h"
Daniel Dunbarc74255d2009-10-13 06:47:08 +000029#include "llvm/Support/Debug.h"
30#include "llvm/Support/ErrorHandling.h"
Devang Patelae89d3b2010-01-26 21:39:14 +000031#include "llvm/Support/ValueHandle.h"
Chris Lattnerad653482010-01-22 22:09:00 +000032#include "llvm/Support/FormattedStream.h"
Chris Lattnere6ad12f2009-07-31 18:48:30 +000033#include "llvm/Support/Timer.h"
34#include "llvm/System/Path.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000035using namespace llvm;
36
Bill Wendlingb12b3d72009-05-15 09:23:25 +000037//===----------------------------------------------------------------------===//
38
39/// Configuration values for initial hash set sizes (log2).
40///
Bill Wendlingb12b3d72009-05-15 09:23:25 +000041static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendlingb12b3d72009-05-15 09:23:25 +000042
43namespace llvm {
44
45//===----------------------------------------------------------------------===//
46/// CompileUnit - This dwarf writer support class manages information associate
47/// with a source file.
Nick Lewyckyee68f452009-11-17 08:11:44 +000048class CompileUnit {
Bill Wendlingb12b3d72009-05-15 09:23:25 +000049 /// ID - File identifier for source.
50 ///
51 unsigned ID;
52
53 /// Die - Compile unit debug information entry.
54 ///
Douglas Gregordf49dc72010-03-08 02:58:37 +000055 DIE *CUDie;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000056
Douglas Gregordf49dc72010-03-08 02:58:37 +000057 /// IndexTyDie - An anonymous type for index type.
Devang Patel1233f912009-11-21 00:31:03 +000058 DIE *IndexTyDie;
59
Bill Wendlingb12b3d72009-05-15 09:23:25 +000060 /// GVToDieMap - Tracks the mapping of unit level debug informaton
61 /// variables to debug information entries.
Devang Patel15e723d2009-08-28 23:24:31 +000062 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel7d707f92010-01-19 06:19:05 +000063 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000064
65 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
66 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel15e723d2009-08-28 23:24:31 +000067 /// FIXME : Rename
Devang Patel7d707f92010-01-19 06:19:05 +000068 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000069
70 /// Globals - A map of globally visible named entities for this unit.
71 ///
72 StringMap<DIE*> Globals;
73
Devang Patelec13b4f2009-11-24 01:14:22 +000074 /// GlobalTypes - A map of globally visible types for this unit.
75 ///
76 StringMap<DIE*> GlobalTypes;
77
Bill Wendlingb12b3d72009-05-15 09:23:25 +000078public:
79 CompileUnit(unsigned I, DIE *D)
Devang Patelc50078e2009-11-21 02:48:08 +000080 : ID(I), CUDie(D), IndexTyDie(0) {}
Douglas Gregordf49dc72010-03-08 02:58:37 +000081 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000082
83 // Accessors.
Devang Patelec13b4f2009-11-24 01:14:22 +000084 unsigned getID() const { return ID; }
Douglas Gregordf49dc72010-03-08 02:58:37 +000085 DIE* getCUDie() const { return CUDie; }
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 Patel90a0fe32009-11-10 23:06:00 +0000151 DbgVariable *AbstractVar; // Abstract variable for this variable.
152 DIE *TheDIE;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000153public:
Devang Patel90a0fe32009-11-10 23:06:00 +0000154 DbgVariable(DIVariable V, unsigned I)
155 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000156
157 // Accessors.
Devang Patel90a0fe32009-11-10 23:06:00 +0000158 DIVariable getVariable() const { return Var; }
159 unsigned getFrameIndex() const { return FrameIndex; }
160 void setAbstractVariable(DbgVariable *V) { AbstractVar = V; }
161 DbgVariable *getAbstractVariable() const { return AbstractVar; }
162 void setDIE(DIE *D) { TheDIE = D; }
163 DIE *getDIE() const { return TheDIE; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000164};
165
166//===----------------------------------------------------------------------===//
167/// DbgScope - This class is used to track scope information.
168///
Devang Patel4cb32c32009-11-16 21:53:40 +0000169class DbgScope {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000170 DbgScope *Parent; // Parent to this scope.
Jim Grosbach652b7432009-11-21 23:12:12 +0000171 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patelae89d3b2010-01-26 21:39:14 +0000172 // Location at which this scope is inlined.
173 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel90a0fe32009-11-10 23:06:00 +0000174 bool AbstractScope; // Abstract Scope
Chris Lattner855e8f52010-03-09 01:58:53 +0000175 MCSymbol *StartLabel; // Label ID of the beginning of scope.
176 MCSymbol *EndLabel; // Label ID of the end of scope.
Devang Patel90ecd192009-10-01 18:25:23 +0000177 const MachineInstr *LastInsn; // Last instruction of this scope.
178 const MachineInstr *FirstInsn; // First instruction of this scope.
Douglas Gregordf49dc72010-03-08 02:58:37 +0000179 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
180 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbar41716322009-09-19 20:40:05 +0000181
Owen Anderson696d4862009-06-24 22:53:20 +0000182 // Private state for dump()
183 mutable unsigned IndentLevel;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000184public:
Devang Pateldd7bb432009-10-14 21:08:09 +0000185 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel90a0fe32009-11-10 23:06:00 +0000186 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Chris Lattner855e8f52010-03-09 01:58:53 +0000187 StartLabel(0), EndLabel(0),
Devang Pateldd7bb432009-10-14 21:08:09 +0000188 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000189 virtual ~DbgScope();
190
191 // Accessors.
192 DbgScope *getParent() const { return Parent; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000193 void setParent(DbgScope *P) { Parent = P; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000194 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach652b7432009-11-21 23:12:12 +0000195 MDNode *getInlinedAt() const {
Devang Patelae89d3b2010-01-26 21:39:14 +0000196 return InlinedAtLocation;
Devang Pateldd7bb432009-10-14 21:08:09 +0000197 }
Devang Patel90a0fe32009-11-10 23:06:00 +0000198 MDNode *getScopeNode() const { return Desc.getNode(); }
Chris Lattner855e8f52010-03-09 01:58:53 +0000199 MCSymbol *getStartLabel() const { return StartLabel; }
200 MCSymbol *getEndLabel() const { return EndLabel; }
Douglas Gregordf49dc72010-03-08 02:58:37 +0000201 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
202 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Chris Lattner855e8f52010-03-09 01:58:53 +0000203 void setStartLabel(MCSymbol *S) { StartLabel = S; }
204 void setEndLabel(MCSymbol *E) { EndLabel = E; }
Devang Patel90ecd192009-10-01 18:25:23 +0000205 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
206 const MachineInstr *getLastInsn() { return LastInsn; }
207 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000208 void setAbstractScope() { AbstractScope = true; }
209 bool isAbstractScope() const { return AbstractScope; }
Devang Patel90ecd192009-10-01 18:25:23 +0000210 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000211
Devang Patelc50078e2009-11-21 02:48:08 +0000212 /// addScope - Add a scope to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000213 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000214 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000215
Devang Patelc50078e2009-11-21 02:48:08 +0000216 /// addVariable - Add a variable to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000217 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000218 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000219
Devang Patel98e77302010-01-04 20:44:00 +0000220 void fixInstructionMarkers(DenseMap<const MachineInstr *,
221 unsigned> &MIIndexMap) {
Devang Patel6a260102009-10-01 20:31:14 +0000222 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel98e77302010-01-04 20:44:00 +0000223
224 // Use the end of last child scope as end of this scope.
Douglas Gregordf49dc72010-03-08 02:58:37 +0000225 SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patel3b620bf2010-01-05 16:59:17 +0000226 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel98e77302010-01-04 20:44:00 +0000227 unsigned LIndex = 0;
228 if (Scopes.empty()) {
229 assert (getLastInsn() && "Inner most scope does not have last insn!");
230 return;
231 }
Douglas Gregordf49dc72010-03-08 02:58:37 +0000232 for (SmallVector<DbgScope *, 4>::iterator SI = Scopes.begin(),
Devang Patel98e77302010-01-04 20:44:00 +0000233 SE = Scopes.end(); SI != SE; ++SI) {
234 DbgScope *DS = *SI;
235 DS->fixInstructionMarkers(MIIndexMap);
236 const MachineInstr *DSLastInsn = DS->getLastInsn();
237 unsigned DSI = MIIndexMap[DSLastInsn];
238 if (DSI > LIndex) {
239 LastInsn = DSLastInsn;
240 LIndex = DSI;
241 }
242 }
Devang Patel067e6d92010-02-17 02:20:34 +0000243
244 unsigned CurrentLastInsnIndex = 0;
245 if (const MachineInstr *CL = getLastInsn())
246 CurrentLastInsnIndex = MIIndexMap[CL];
247 unsigned FIndex = MIIndexMap[getFirstInsn()];
248
249 // Set LastInsn as the last instruction for this scope only if
250 // it follows
251 // 1) this scope's first instruction and
252 // 2) current last instruction for this scope, if any.
253 if (LIndex >= CurrentLastInsnIndex && LIndex >= FIndex)
254 setLastInsn(LastInsn);
Devang Patel6a260102009-10-01 20:31:14 +0000255 }
256
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000257#ifndef NDEBUG
258 void dump() const;
259#endif
260};
261
262#ifndef NDEBUG
263void DbgScope::dump() const {
David Greenedbc06132009-12-24 00:31:35 +0000264 raw_ostream &err = dbgs();
Chris Lattnerebb8c082009-08-23 00:51:00 +0000265 err.indent(IndentLevel);
Devang Patel90a0fe32009-11-10 23:06:00 +0000266 MDNode *N = Desc.getNode();
267 N->dump();
Chris Lattner855e8f52010-03-09 01:58:53 +0000268 err << " [" << StartLabel << ", " << EndLabel << "]\n";
Devang Patel90a0fe32009-11-10 23:06:00 +0000269 if (AbstractScope)
270 err << "Abstract Scope\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000271
272 IndentLevel += 2;
Devang Patel90a0fe32009-11-10 23:06:00 +0000273 if (!Scopes.empty())
274 err << "Children ...\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000275 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
276 if (Scopes[i] != this)
277 Scopes[i]->dump();
278
279 IndentLevel -= 2;
280}
281#endif
282
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000283DbgScope::~DbgScope() {
Douglas Gregordf49dc72010-03-08 02:58:37 +0000284 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
285 delete Scopes[i];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000286 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
287 delete Variables[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000288}
289
290} // end llvm namespace
291
Chris Lattner621c44d2009-08-22 20:48:53 +0000292DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattner819669a2010-03-09 00:00:15 +0000293 : DwarfPrinter(OS, A, T), ModuleCU(0),
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000294 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patelc50078e2009-11-21 02:48:08 +0000295 DIEValues(), StringPool(),
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000296 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel90a0fe32009-11-10 23:06:00 +0000297 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000298 if (TimePassesIsEnabled)
Chris Lattner13bf2e52009-12-28 07:41:18 +0000299 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000300}
301DwarfDebug::~DwarfDebug() {
Devang Patelc50078e2009-11-21 02:48:08 +0000302 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
303 delete DIEValues[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000304
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000305 delete DebugTimer;
306}
307
Devang Patelc50078e2009-11-21 02:48:08 +0000308/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000309///
Devang Patelc50078e2009-11-21 02:48:08 +0000310void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000311 // Profile the node so that we can make it unique.
312 FoldingSetNodeID ID;
313 Abbrev.Profile(ID);
314
315 // Check the set for priors.
316 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
317
318 // If it's newly added.
319 if (InSet == &Abbrev) {
320 // Add to abbreviation list.
321 Abbreviations.push_back(&Abbrev);
322
323 // Assign the vector position + 1 as its number.
324 Abbrev.setNumber(Abbreviations.size());
325 } else {
326 // Assign existing abbreviation number.
327 Abbrev.setNumber(InSet->getNumber());
328 }
329}
330
Devang Patelc50078e2009-11-21 02:48:08 +0000331/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling0d3db8b2009-05-20 23:24:48 +0000332/// information entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000333DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel1233f912009-11-21 00:31:03 +0000334 DIEEntry *Value = new DIEEntry(Entry);
Devang Patelc50078e2009-11-21 02:48:08 +0000335 DIEValues.push_back(Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000336 return Value;
337}
338
Devang Patelc50078e2009-11-21 02:48:08 +0000339/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000340///
Devang Patelc50078e2009-11-21 02:48:08 +0000341void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000342 unsigned Form, uint64_t Integer) {
343 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel1233f912009-11-21 00:31:03 +0000344 DIEValue *Value = new DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000345 DIEValues.push_back(Value);
346 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000347}
348
Devang Patelc50078e2009-11-21 02:48:08 +0000349/// addSInt - Add an signed integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000350///
Devang Patelc50078e2009-11-21 02:48:08 +0000351void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000352 unsigned Form, int64_t Integer) {
353 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel1233f912009-11-21 00:31:03 +0000354 DIEValue *Value = new DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000355 DIEValues.push_back(Value);
356 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000357}
358
Devang Pateldf0f2152009-12-02 15:25:16 +0000359/// addString - Add a string attribute data and value. DIEString only
360/// keeps string reference.
Devang Patelc50078e2009-11-21 02:48:08 +0000361void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnercc564642010-01-23 03:11:46 +0000362 StringRef String) {
Devang Patel1233f912009-11-21 00:31:03 +0000363 DIEValue *Value = new DIEString(String);
Devang Patelc50078e2009-11-21 02:48:08 +0000364 DIEValues.push_back(Value);
365 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000366}
367
Devang Patelc50078e2009-11-21 02:48:08 +0000368/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000369///
Devang Patelc50078e2009-11-21 02:48:08 +0000370void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +0000371 const MCSymbol *Label) {
Chris Lattner703d12e2010-03-08 22:31:46 +0000372 DIEValue *Value = new DIELabel(Label);
Devang Patelc50078e2009-11-21 02:48:08 +0000373 DIEValues.push_back(Value);
374 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000375}
376
Devang Patelc50078e2009-11-21 02:48:08 +0000377/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000378///
Devang Patelc50078e2009-11-21 02:48:08 +0000379void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +0000380 const MCSymbol *Label,const MCSymbol *Section,
Chris Lattnerf8bfa882010-03-08 23:23:25 +0000381 bool isEH) {
382 DIEValue *Value = new DIESectionOffset(Label, Section, isEH);
Devang Patelc50078e2009-11-21 02:48:08 +0000383 DIEValues.push_back(Value);
384 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000385}
386
Devang Patelc50078e2009-11-21 02:48:08 +0000387/// addDelta - Add a label delta attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000388///
Devang Patelc50078e2009-11-21 02:48:08 +0000389void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +0000390 const MCSymbol *Hi, const MCSymbol *Lo) {
Devang Patel1233f912009-11-21 00:31:03 +0000391 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patelc50078e2009-11-21 02:48:08 +0000392 DIEValues.push_back(Value);
393 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000394}
395
Devang Patelc50078e2009-11-21 02:48:08 +0000396/// addBlock - Add block data.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000397///
Devang Patelc50078e2009-11-21 02:48:08 +0000398void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000399 DIEBlock *Block) {
400 Block->ComputeSize(TD);
Devang Patelc50078e2009-11-21 02:48:08 +0000401 DIEValues.push_back(Block);
402 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000403}
404
Devang Patelc50078e2009-11-21 02:48:08 +0000405/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000406/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000407void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000408 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000409 if (!V->getCompileUnit().Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000410 return;
411
412 unsigned Line = V->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000413 unsigned FileID = GetOrCreateSourceID(V->getContext().getDirectory(),
414 V->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000415 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000416 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
417 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000418}
419
Devang Patelc50078e2009-11-21 02:48:08 +0000420/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000421/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000422void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000423 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000424 if (!G->getCompileUnit().Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000425 return;
426
427 unsigned Line = G->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000428 unsigned FileID = GetOrCreateSourceID(G->getContext().getDirectory(),
429 G->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000430 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000431 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
432 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000433}
Devang Patel318d70d2009-08-31 22:47:13 +0000434
Devang Patelc50078e2009-11-21 02:48:08 +0000435/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000436/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000437void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel318d70d2009-08-31 22:47:13 +0000438 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000439 if (!SP->getCompileUnit().Verify())
Devang Patel318d70d2009-08-31 22:47:13 +0000440 return;
Caroline Tice9da96d82009-09-11 18:25:54 +0000441 // If the line number is 0, don't add it.
442 if (SP->getLineNumber() == 0)
443 return;
444
Devang Patel318d70d2009-08-31 22:47:13 +0000445 unsigned Line = SP->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000446 if (!SP->getContext().Verify())
447 return;
448 unsigned FileID = GetOrCreateSourceID(SP->getContext().getDirectory(),
449 SP->getContext().getFilename());
Devang Patel318d70d2009-08-31 22:47:13 +0000450 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000451 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
452 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel318d70d2009-08-31 22:47:13 +0000453}
454
Devang Patelc50078e2009-11-21 02:48:08 +0000455/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000456/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000457void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000458 // If there is no compile unit specified, don't add a line #.
459 DICompileUnit CU = Ty->getCompileUnit();
Devang Patel9e592492010-03-08 20:52:55 +0000460 if (!CU.Verify())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000461 return;
462
463 unsigned Line = Ty->getLineNumber();
Devang Patel7f9e0f32010-03-08 22:02:50 +0000464 if (!Ty->getContext().Verify())
465 return;
466 unsigned FileID = GetOrCreateSourceID(Ty->getContext().getDirectory(),
467 Ty->getContext().getFilename());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000468 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000469 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
470 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000471}
472
Devang Patel8287d662009-12-15 19:16:48 +0000473/// addSourceLine - Add location information to specified debug information
474/// entry.
475void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
476 // If there is no compile unit specified, don't add a line #.
Devang Patel9e592492010-03-08 20:52:55 +0000477 if (!NS->getCompileUnit().Verify())
Devang Patel8287d662009-12-15 19:16:48 +0000478 return;
479
480 unsigned Line = NS->getLineNumber();
481 StringRef FN = NS->getFilename();
482 StringRef Dir = NS->getDirectory();
483
484 unsigned FileID = GetOrCreateSourceID(Dir, FN);
485 assert(FileID && "Invalid file id");
486 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
487 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
488}
489
Caroline Tice248d5572009-08-31 21:19:37 +0000490/* Byref variables, in Blocks, are declared by the programmer as
491 "SomeType VarName;", but the compiler creates a
492 __Block_byref_x_VarName struct, and gives the variable VarName
493 either the struct, or a pointer to the struct, as its type. This
494 is necessary for various behind-the-scenes things the compiler
495 needs to do with by-reference variables in blocks.
496
497 However, as far as the original *programmer* is concerned, the
498 variable should still have type 'SomeType', as originally declared.
499
500 The following function dives into the __Block_byref_x_VarName
501 struct to find the original type of the variable. This will be
502 passed back to the code generating the type for the Debug
503 Information Entry for the variable 'VarName'. 'VarName' will then
504 have the original type 'SomeType' in its debug information.
505
506 The original type 'SomeType' will be the type of the field named
507 'VarName' inside the __Block_byref_x_VarName struct.
508
509 NOTE: In order for this to not completely fail on the debugger
510 side, the Debug Information Entry for the variable VarName needs to
511 have a DW_AT_location that tells the debugger how to unwind through
512 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patelc50078e2009-11-21 02:48:08 +0000513 value of the variable. The function addBlockByrefType does this. */
Caroline Tice248d5572009-08-31 21:19:37 +0000514
515/// Find the type the programmer originally declared the variable to be
516/// and return that type.
517///
Devang Patelc50078e2009-11-21 02:48:08 +0000518DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Tice248d5572009-08-31 21:19:37 +0000519
520 DIType subType = Ty;
521 unsigned tag = Ty.getTag();
522
523 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000524 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000525 subType = DTy.getTypeDerivedFrom();
526 }
527
528 DICompositeType blockStruct = DICompositeType(subType.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000529 DIArray Elements = blockStruct.getTypeArray();
530
Caroline Tice248d5572009-08-31 21:19:37 +0000531 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
532 DIDescriptor Element = Elements.getElement(i);
533 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000534 if (Name == DT.getName())
Caroline Tice248d5572009-08-31 21:19:37 +0000535 return (DT.getTypeDerivedFrom());
536 }
537
538 return Ty;
539}
540
Devang Patelc50078e2009-11-21 02:48:08 +0000541/// addComplexAddress - Start with the address based on the location provided,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000542/// and generate the DWARF information necessary to find the actual variable
543/// given the extra address information encoded in the DIVariable, starting from
544/// the starting location. Add the DWARF information to the die.
545///
Devang Patelc50078e2009-11-21 02:48:08 +0000546void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000547 unsigned Attribute,
548 const MachineLocation &Location) {
549 const DIVariable &VD = DV->getVariable();
550 DIType Ty = VD.getType();
551
552 // Decode the original location, and use that as the start of the byref
553 // variable's location.
554 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
555 DIEBlock *Block = new DIEBlock();
556
557 if (Location.isReg()) {
558 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000559 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000560 } else {
561 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000562 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
563 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000564 }
565 } else {
566 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000567 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000568 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000569 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
570 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000571 }
572
Devang Patelc50078e2009-11-21 02:48:08 +0000573 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000574 }
575
576 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
577 uint64_t Element = VD.getAddrElement(i);
578
579 if (Element == DIFactory::OpPlus) {
Devang Patelc50078e2009-11-21 02:48:08 +0000580 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
581 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000582 } else if (Element == DIFactory::OpDeref) {
Devang Patelc50078e2009-11-21 02:48:08 +0000583 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000584 } else llvm_unreachable("unknown DIFactory Opcode");
585 }
586
587 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000588 addBlock(Die, Attribute, 0, Block);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000589}
590
Caroline Tice248d5572009-08-31 21:19:37 +0000591/* Byref variables, in Blocks, are declared by the programmer as "SomeType
592 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
593 gives the variable VarName either the struct, or a pointer to the struct, as
594 its type. This is necessary for various behind-the-scenes things the
595 compiler needs to do with by-reference variables in Blocks.
596
597 However, as far as the original *programmer* is concerned, the variable
598 should still have type 'SomeType', as originally declared.
599
Devang Patelc50078e2009-11-21 02:48:08 +0000600 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000601 struct to find the original type of the variable, which is then assigned to
602 the variable's Debug Information Entry as its real type. So far, so good.
603 However now the debugger will expect the variable VarName to have the type
604 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbar41716322009-09-19 20:40:05 +0000605 expression that explains to the debugger how to navigate through the
Caroline Tice248d5572009-08-31 21:19:37 +0000606 pointers and struct to find the actual variable of type SomeType.
607
608 The following function does just that. We start by getting
609 the "normal" location for the variable. This will be the location
610 of either the struct __Block_byref_x_VarName or the pointer to the
611 struct __Block_byref_x_VarName.
612
613 The struct will look something like:
614
615 struct __Block_byref_x_VarName {
616 ... <various fields>
617 struct __Block_byref_x_VarName *forwarding;
618 ... <various other fields>
619 SomeType VarName;
620 ... <maybe more fields>
621 };
622
623 If we are given the struct directly (as our starting point) we
624 need to tell the debugger to:
625
626 1). Add the offset of the forwarding field.
627
Dan Gohmandf1a7ff2010-02-10 16:03:48 +0000628 2). Follow that pointer to get the real __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000629 struct to use (the real one may have been copied onto the heap).
630
631 3). Add the offset for the field VarName, to find the actual variable.
632
633 If we started with a pointer to the struct, then we need to
634 dereference that pointer first, before the other steps.
635 Translating this into DWARF ops, we will need to append the following
636 to the current location description for the variable:
637
638 DW_OP_deref -- optional, if we start with a pointer
639 DW_OP_plus_uconst <forward_fld_offset>
640 DW_OP_deref
641 DW_OP_plus_uconst <varName_fld_offset>
642
643 That is what this function does. */
644
Devang Patelc50078e2009-11-21 02:48:08 +0000645/// addBlockByrefAddress - Start with the address based on the location
Caroline Tice248d5572009-08-31 21:19:37 +0000646/// provided, and generate the DWARF information necessary to find the
647/// actual Block variable (navigating the Block struct) based on the
648/// starting location. Add the DWARF information to the die. For
649/// more information, read large comment just above here.
650///
Devang Patelc50078e2009-11-21 02:48:08 +0000651void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000652 unsigned Attribute,
653 const MachineLocation &Location) {
Caroline Tice248d5572009-08-31 21:19:37 +0000654 const DIVariable &VD = DV->getVariable();
655 DIType Ty = VD.getType();
656 DIType TmpTy = Ty;
657 unsigned Tag = Ty.getTag();
658 bool isPointer = false;
659
Devang Patel7f75bbe2009-11-25 17:36:49 +0000660 StringRef varName = VD.getName();
Caroline Tice248d5572009-08-31 21:19:37 +0000661
662 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000663 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000664 TmpTy = DTy.getTypeDerivedFrom();
665 isPointer = true;
666 }
667
668 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
669
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000670 // Find the __forwarding field and the variable field in the __Block_byref
671 // struct.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000672 DIArray Fields = blockStruct.getTypeArray();
673 DIDescriptor varField = DIDescriptor();
674 DIDescriptor forwardingField = DIDescriptor();
Caroline Tice248d5572009-08-31 21:19:37 +0000675
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000676 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
677 DIDescriptor Element = Fields.getElement(i);
678 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000679 StringRef fieldName = DT.getName();
680 if (fieldName == "__forwarding")
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000681 forwardingField = Element;
Devang Patel7f75bbe2009-11-25 17:36:49 +0000682 else if (fieldName == varName)
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000683 varField = Element;
684 }
Daniel Dunbar41716322009-09-19 20:40:05 +0000685
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000686 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000687 unsigned int forwardingFieldOffset =
688 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
689 unsigned int varFieldOffset =
690 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Tice248d5572009-08-31 21:19:37 +0000691
Mike Stump2fd84e22009-09-24 23:21:26 +0000692 // Decode the original location, and use that as the start of the byref
693 // variable's location.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000694 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
695 DIEBlock *Block = new DIEBlock();
Caroline Tice248d5572009-08-31 21:19:37 +0000696
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000697 if (Location.isReg()) {
698 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000699 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000700 else {
701 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000702 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
703 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000704 }
705 } else {
706 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000707 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000708 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000709 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
710 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000711 }
Caroline Tice248d5572009-08-31 21:19:37 +0000712
Devang Patelc50078e2009-11-21 02:48:08 +0000713 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000714 }
Caroline Tice248d5572009-08-31 21:19:37 +0000715
Mike Stump2fd84e22009-09-24 23:21:26 +0000716 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000717 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000718 if (isPointer)
Devang Patelc50078e2009-11-21 02:48:08 +0000719 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000720
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000721 // Next add the offset for the '__forwarding' field:
722 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
723 // adding the offset if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000724 if (forwardingFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000725 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
726 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000727 }
Caroline Tice248d5572009-08-31 21:19:37 +0000728
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000729 // Now dereference the __forwarding field to get to the real __Block_byref
730 // struct: DW_OP_deref.
Devang Patelc50078e2009-11-21 02:48:08 +0000731 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000732
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000733 // Now that we've got the real __Block_byref... struct, add the offset
734 // for the variable's field to get to the location of the actual variable:
735 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000736 if (varFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000737 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
738 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000739 }
Caroline Tice248d5572009-08-31 21:19:37 +0000740
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000741 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000742 addBlock(Die, Attribute, 0, Block);
Caroline Tice248d5572009-08-31 21:19:37 +0000743}
744
Devang Patelc50078e2009-11-21 02:48:08 +0000745/// addAddress - Add an address attribute to a die based on the location
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000746/// provided.
Devang Patelc50078e2009-11-21 02:48:08 +0000747void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000748 const MachineLocation &Location) {
749 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
750 DIEBlock *Block = new DIEBlock();
751
752 if (Location.isReg()) {
753 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000754 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000755 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000756 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
757 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000758 }
759 } else {
760 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000761 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000762 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000763 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
764 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000765 }
766
Devang Patelc50078e2009-11-21 02:48:08 +0000767 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000768 }
769
Devang Patelc50078e2009-11-21 02:48:08 +0000770 addBlock(Die, Attribute, 0, Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000771}
772
Devang Patel1a8f9a82009-12-10 19:14:49 +0000773/// addToContextOwner - Add Die into the list of its context owner's children.
774void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
Devang Patel9e592492010-03-08 20:52:55 +0000775 if (Context.isType()) {
Devang Patel1a8f9a82009-12-10 19:14:49 +0000776 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
777 ContextDIE->addChild(Die);
Devang Patel8287d662009-12-15 19:16:48 +0000778 } else if (Context.isNameSpace()) {
779 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
780 ContextDIE->addChild(Die);
Devang Patel1a8f9a82009-12-10 19:14:49 +0000781 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
782 ContextDIE->addChild(Die);
783 else
784 ModuleCU->addDie(Die);
785}
786
Devang Patel7f139c12009-12-10 18:05:33 +0000787/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
788/// given DIType.
789DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
790 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
791 if (TyDIE)
792 return TyDIE;
793
794 // Create new type.
795 TyDIE = new DIE(dwarf::DW_TAG_base_type);
796 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
797 if (Ty.isBasicType())
798 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
799 else if (Ty.isCompositeType())
800 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
801 else {
802 assert(Ty.isDerivedType() && "Unknown kind of DIType");
803 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
804 }
805
Devang Patel1a8f9a82009-12-10 19:14:49 +0000806 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel7f139c12009-12-10 18:05:33 +0000807 return TyDIE;
808}
809
Devang Patelc50078e2009-11-21 02:48:08 +0000810/// addType - Add a new type attribute to the specified entity.
Devang Patelfe0be132009-12-09 18:24:21 +0000811void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Devang Patel9e592492010-03-08 20:52:55 +0000812 if (!Ty.isValid())
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000813 return;
814
815 // Check for pre-existence.
Devang Patelfe0be132009-12-09 18:24:21 +0000816 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000817 // If it exists then use the existing value.
Devang Patelc50078e2009-11-21 02:48:08 +0000818 if (Entry) {
819 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000820 return;
821 }
822
823 // Set up proxy.
Devang Patelc50078e2009-11-21 02:48:08 +0000824 Entry = createDIEEntry();
Devang Patelfe0be132009-12-09 18:24:21 +0000825 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000826
827 // Construct type.
Devang Patel7f139c12009-12-10 18:05:33 +0000828 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000829
Devang Patelc50078e2009-11-21 02:48:08 +0000830 Entry->setEntry(Buffer);
831 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000832}
833
Devang Patelc50078e2009-11-21 02:48:08 +0000834/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patelfe0be132009-12-09 18:24:21 +0000835void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000836 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000837 StringRef Name = BTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000838 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +0000839 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000840 BTy.getEncoding());
841
842 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000843 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000844 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000845 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patelc50078e2009-11-21 02:48:08 +0000846 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000847}
848
Devang Patelc50078e2009-11-21 02:48:08 +0000849/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patelfe0be132009-12-09 18:24:21 +0000850void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000851 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000852 StringRef Name = DTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000853 uint64_t Size = DTy.getSizeInBits() >> 3;
854 unsigned Tag = DTy.getTag();
855
856 // FIXME - Workaround for templates.
857 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
858
859 Buffer.setTag(Tag);
860
861 // Map to main type, void will not have a type.
862 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patelfe0be132009-12-09 18:24:21 +0000863 addType(&Buffer, FromTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000864
865 // Add name if not anonymous or intermediate type.
Devang Patel76b80672009-11-30 23:56:56 +0000866 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000867 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000868
869 // Add size if non-zero (derived types might be zero-sized.)
870 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000871 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000872
873 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb125c6e2009-11-23 18:43:37 +0000874 if (!DTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000875 addSourceLine(&Buffer, &DTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000876}
877
Devang Patelc50078e2009-11-21 02:48:08 +0000878/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +0000879void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000880 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000881 StringRef Name = CTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000882
883 uint64_t Size = CTy.getSizeInBits() >> 3;
884 unsigned Tag = CTy.getTag();
885 Buffer.setTag(Tag);
886
887 switch (Tag) {
888 case dwarf::DW_TAG_vector_type:
889 case dwarf::DW_TAG_array_type:
Devang Patelfe0be132009-12-09 18:24:21 +0000890 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000891 break;
892 case dwarf::DW_TAG_enumeration_type: {
893 DIArray Elements = CTy.getTypeArray();
894
895 // Add enumerators to enumeration type.
896 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
897 DIE *ElemDie = NULL;
Devang Patel9e592492010-03-08 20:52:55 +0000898 DIDescriptor Enum(Elements.getElement(i).getNode());
899 if (Enum.isEnumerator()) {
900 ElemDie = constructEnumTypeDIE(DIEnumerator(Enum.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000901 Buffer.addChild(ElemDie);
Devang Patelfb812752009-10-09 17:51:49 +0000902 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000903 }
904 }
905 break;
906 case dwarf::DW_TAG_subroutine_type: {
907 // Add return type.
908 DIArray Elements = CTy.getTypeArray();
909 DIDescriptor RTy = Elements.getElement(0);
Devang Patelfe0be132009-12-09 18:24:21 +0000910 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000911
912 // Add prototype flag.
Devang Patelc50078e2009-11-21 02:48:08 +0000913 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000914
915 // Add arguments.
916 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
917 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
918 DIDescriptor Ty = Elements.getElement(i);
Devang Patelfe0be132009-12-09 18:24:21 +0000919 addType(Arg, DIType(Ty.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000920 Buffer.addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000921 }
922 }
923 break;
924 case dwarf::DW_TAG_structure_type:
925 case dwarf::DW_TAG_union_type:
926 case dwarf::DW_TAG_class_type: {
927 // Add elements to structure type.
928 DIArray Elements = CTy.getTypeArray();
929
930 // A forward struct declared type may not have elements available.
Devang Patel9e592492010-03-08 20:52:55 +0000931 unsigned N = Elements.getNumElements();
932 if (N == 0)
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000933 break;
934
935 // Add elements to structure type.
Devang Patel9e592492010-03-08 20:52:55 +0000936 for (unsigned i = 0; i < N; ++i) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000937 DIDescriptor Element = Elements.getElement(i);
938 DIE *ElemDie = NULL;
Devang Patel9e592492010-03-08 20:52:55 +0000939 if (Element.isSubprogram())
Devang Patel814a12c2009-12-14 16:18:45 +0000940 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel9e592492010-03-08 20:52:55 +0000941 else if (Element.isVariable()) {
Devang Patel423dfa02010-01-30 01:08:30 +0000942 DIVariable DV(Element.getNode());
943 ElemDie = new DIE(dwarf::DW_TAG_variable);
944 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
945 DV.getName());
946 addType(ElemDie, DV.getType());
947 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
948 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
949 addSourceLine(ElemDie, &DV);
Devang Patel9e592492010-03-08 20:52:55 +0000950 } else if (Element.isDerivedType())
Devang Patelfe0be132009-12-09 18:24:21 +0000951 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patel9e592492010-03-08 20:52:55 +0000952 else
953 continue;
Devang Patelc50078e2009-11-21 02:48:08 +0000954 Buffer.addChild(ElemDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000955 }
956
Devang Patel20b32102009-08-27 23:51:51 +0000957 if (CTy.isAppleBlockExtension())
Devang Patelc50078e2009-11-21 02:48:08 +0000958 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000959
960 unsigned RLang = CTy.getRunTimeLang();
961 if (RLang)
Devang Patelc50078e2009-11-21 02:48:08 +0000962 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000963 dwarf::DW_FORM_data1, RLang);
Devang Patel5ae52402010-01-26 21:16:06 +0000964
965 DICompositeType ContainingType = CTy.getContainingType();
Devang Patel9e592492010-03-08 20:52:55 +0000966 if (DIDescriptor(ContainingType.getNode()).isCompositeType())
Devang Patel5ae52402010-01-26 21:16:06 +0000967 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
968 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000969 break;
970 }
971 default:
972 break;
973 }
974
975 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000976 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000977 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000978
Devang Pateldc73c372010-01-29 18:34:58 +0000979 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000980 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
981 // Add size if non-zero (derived types might be zero-sized.)
982 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000983 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000984 else {
985 // Add zero size if it is not a forward declaration.
986 if (CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000987 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000988 else
Devang Patelc50078e2009-11-21 02:48:08 +0000989 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000990 }
991
992 // Add source line info if available.
993 if (!CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000994 addSourceLine(&Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000995 }
996}
997
Devang Patelc50078e2009-11-21 02:48:08 +0000998/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
999void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001000 int64_t L = SR.getLo();
1001 int64_t H = SR.getHi();
1002 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1003
Devang Patelc50078e2009-11-21 02:48:08 +00001004 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patele7ff5092009-08-14 20:59:16 +00001005 if (L)
Devang Patelc50078e2009-11-21 02:48:08 +00001006 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld3df6972009-12-04 23:10:24 +00001007 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001008
Devang Patelc50078e2009-11-21 02:48:08 +00001009 Buffer.addChild(DW_Subrange);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001010}
1011
Devang Patelc50078e2009-11-21 02:48:08 +00001012/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +00001013void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001014 DICompositeType *CTy) {
1015 Buffer.setTag(dwarf::DW_TAG_array_type);
1016 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001017 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001018
1019 // Emit derived type.
Devang Patelfe0be132009-12-09 18:24:21 +00001020 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001021 DIArray Elements = CTy->getTypeArray();
1022
Devang Patel1233f912009-11-21 00:31:03 +00001023 // Get an anonymous type for index type.
Devang Patelfe0be132009-12-09 18:24:21 +00001024 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel1233f912009-11-21 00:31:03 +00001025 if (!IdxTy) {
1026 // Construct an anonymous type for index type.
1027 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +00001028 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1029 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel1233f912009-11-21 00:31:03 +00001030 dwarf::DW_ATE_signed);
Devang Patelfe0be132009-12-09 18:24:21 +00001031 ModuleCU->addDie(IdxTy);
1032 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel1233f912009-11-21 00:31:03 +00001033 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001034
1035 // Add subranges to array type.
1036 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1037 DIDescriptor Element = Elements.getElement(i);
1038 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001039 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001040 }
1041}
1042
Devang Patelc50078e2009-11-21 02:48:08 +00001043/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patel9e592492010-03-08 20:52:55 +00001044DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator ETy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001045 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel9e592492010-03-08 20:52:55 +00001046 StringRef Name = ETy.getName();
Devang Patelc50078e2009-11-21 02:48:08 +00001047 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel9e592492010-03-08 20:52:55 +00001048 int64_t Value = ETy.getEnumValue();
Devang Patelc50078e2009-11-21 02:48:08 +00001049 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001050 return Enumerator;
1051}
1052
Devang Patel141e1c42010-01-05 01:46:14 +00001053/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1054/// printer to not emit usual symbol prefix before the symbol name is used then
1055/// return linkage name after skipping this special LLVM prefix.
1056static StringRef getRealLinkageName(StringRef LinkageName) {
1057 char One = '\1';
1058 if (LinkageName.startswith(StringRef(&One, 1)))
1059 return LinkageName.substr(1);
1060 return LinkageName;
1061}
1062
Devang Patelc50078e2009-11-21 02:48:08 +00001063/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patelfe0be132009-12-09 18:24:21 +00001064DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbachb23f2422009-11-22 19:20:36 +00001065 // If the global variable was optmized out then no need to create debug info
1066 // entry.
Devang Patel83e42c72009-11-06 17:58:12 +00001067 if (!GV.getGlobal()) return NULL;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001068 if (GV.getDisplayName().empty()) return NULL;
Devang Patelfabc47c2009-11-06 01:30:04 +00001069
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001070 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach652b7432009-11-21 23:12:12 +00001071 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001072 GV.getDisplayName());
1073
Devang Patel7f75bbe2009-11-25 17:36:49 +00001074 StringRef LinkageName = GV.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001075 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001076 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001077 getRealLinkageName(LinkageName));
1078
Devang Patelfe0be132009-12-09 18:24:21 +00001079 addType(GVDie, GV.getType());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001080 if (!GV.isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001081 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1082 addSourceLine(GVDie, &GV);
Devang Patel6bd5cc82009-10-05 23:22:08 +00001083
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001084 return GVDie;
1085}
1086
Devang Patelc50078e2009-11-21 02:48:08 +00001087/// createMemberDIE - Create new member DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001088DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001089 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel7f75bbe2009-11-25 17:36:49 +00001090 StringRef Name = DT.getName();
1091 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001092 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001093
Devang Patelfe0be132009-12-09 18:24:21 +00001094 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001095
Devang Patelc50078e2009-11-21 02:48:08 +00001096 addSourceLine(MemberDie, &DT);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001097
Devang Patel7d9fe582009-11-04 22:06:12 +00001098 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patelc50078e2009-11-21 02:48:08 +00001099 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel7d9fe582009-11-04 22:06:12 +00001100
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001101 uint64_t Size = DT.getSizeInBits();
Devang Patel71842a92009-11-04 23:48:00 +00001102 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001103
1104 if (Size != FieldSize) {
1105 // Handle bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001106 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1107 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001108
1109 uint64_t Offset = DT.getOffsetInBits();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001110 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1111 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer631e3e32010-01-07 17:50:57 +00001112 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001113 Offset -= FieldOffset;
1114
1115 // Maybe we need to work from the other end.
1116 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patelc50078e2009-11-21 02:48:08 +00001117 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001118
Devang Patel7d9fe582009-11-04 22:06:12 +00001119 // Here WD_AT_data_member_location points to the anonymous
1120 // field that includes this bit field.
Devang Patelc50078e2009-11-21 02:48:08 +00001121 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001122
1123 } else
1124 // This is not a bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001125 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001126
Devang Patel84aba942010-02-03 20:08:48 +00001127 if (DT.getTag() == dwarf::DW_TAG_inheritance
1128 && DT.isVirtual()) {
1129
1130 // For C++, virtual base classes are not at fixed offset. Use following
1131 // expression to extract appropriate offset from vtable.
1132 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1133
1134 DIEBlock *VBaseLocationDie = new DIEBlock();
1135 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1136 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1137 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1138 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1139 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1140 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1141 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1142
1143 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1144 VBaseLocationDie);
1145 } else
1146 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001147
1148 if (DT.isProtected())
Devang Patel188c85d2009-12-03 19:11:07 +00001149 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001150 dwarf::DW_ACCESS_protected);
1151 else if (DT.isPrivate())
Devang Patel188c85d2009-12-03 19:11:07 +00001152 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001153 dwarf::DW_ACCESS_private);
Devang Patel188c85d2009-12-03 19:11:07 +00001154 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1155 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1156 dwarf::DW_ACCESS_public);
1157 if (DT.isVirtual())
1158 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1159 dwarf::DW_VIRTUALITY_virtual);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001160 return MemberDie;
1161}
1162
Devang Patel814a12c2009-12-14 16:18:45 +00001163/// createSubprogramDIE - Create new DIE using SP.
1164DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1165 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1166 if (SPDie)
1167 return SPDie;
1168
1169 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel36cd9f82010-03-02 17:58:15 +00001170 // Constructors and operators for anonymous aggregates do not have names.
Devang Patel0ab194f2010-03-02 01:26:20 +00001171 if (!SP.getName().empty())
1172 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001173
Devang Patel7f75bbe2009-11-25 17:36:49 +00001174 StringRef LinkageName = SP.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001175 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001176 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001177 getRealLinkageName(LinkageName));
1178
Devang Patelc50078e2009-11-21 02:48:08 +00001179 addSourceLine(SPDie, &SP);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001180
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001181 // Add prototyped tag, if C or ObjC.
1182 unsigned Lang = SP.getCompileUnit().getLanguage();
1183 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1184 Lang == dwarf::DW_LANG_ObjC)
Devang Patelc50078e2009-11-21 02:48:08 +00001185 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001186
1187 // Add Return Type.
Devang Patelc1df8792009-12-03 01:25:38 +00001188 DICompositeType SPTy = SP.getType();
1189 DIArray Args = SPTy.getTypeArray();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001190 unsigned SPTag = SPTy.getTag();
Devang Patel188c85d2009-12-03 19:11:07 +00001191
Devang Patel9e592492010-03-08 20:52:55 +00001192 if (Args.getNumElements() == 0 || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patelfe0be132009-12-09 18:24:21 +00001193 addType(SPDie, SPTy);
Devang Patelc1df8792009-12-03 01:25:38 +00001194 else
Devang Patelfe0be132009-12-09 18:24:21 +00001195 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patelc1df8792009-12-03 01:25:38 +00001196
Devang Patel188c85d2009-12-03 19:11:07 +00001197 unsigned VK = SP.getVirtuality();
1198 if (VK) {
1199 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1200 DIEBlock *Block = new DIEBlock();
1201 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1202 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1203 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel7d707f92010-01-19 06:19:05 +00001204 ContainingTypeMap.insert(std::make_pair(SPDie,
1205 SP.getContainingType().getNode()));
Devang Patel188c85d2009-12-03 19:11:07 +00001206 }
1207
Devang Patel814a12c2009-12-14 16:18:45 +00001208 if (MakeDecl || !SP.isDefinition()) {
Devang Patelc50078e2009-11-21 02:48:08 +00001209 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001210
1211 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patelc1df8792009-12-03 01:25:38 +00001212 // be handled while processing variables.
1213 DICompositeType SPTy = SP.getType();
1214 DIArray Args = SPTy.getTypeArray();
1215 unsigned SPTag = SPTy.getTag();
1216
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001217 if (SPTag == dwarf::DW_TAG_subroutine_type)
1218 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1219 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelc5dc7252010-02-06 01:02:37 +00001220 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1221 addType(Arg, ATy);
1222 if (ATy.isArtificial())
1223 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patelc50078e2009-11-21 02:48:08 +00001224 SPDie->addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001225 }
1226 }
1227
Devang Patelbf7d00a2010-02-03 19:57:19 +00001228 if (SP.isArtificial())
1229 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1230
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001231 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001232 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001233 return SPDie;
1234}
1235
Devang Patel90a0fe32009-11-10 23:06:00 +00001236/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1237/// Initialize scope and update scope hierarchy.
1238DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1239 MDNode *InlinedAt) {
1240 assert (N && "Invalid Scope encoding!");
1241 assert (MI && "Missing machine instruction!");
1242 bool GetConcreteScope = (MI && InlinedAt);
1243
1244 DbgScope *NScope = NULL;
1245
1246 if (InlinedAt)
1247 NScope = DbgScopeMap.lookup(InlinedAt);
1248 else
1249 NScope = DbgScopeMap.lookup(N);
1250 assert (NScope && "Unable to find working scope!");
1251
1252 if (NScope->getFirstInsn())
1253 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001254
1255 DbgScope *Parent = NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001256 if (GetConcreteScope) {
Devang Pateldd7bb432009-10-14 21:08:09 +00001257 DILocation IL(InlinedAt);
Jim Grosbach652b7432009-11-21 23:12:12 +00001258 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel90a0fe32009-11-10 23:06:00 +00001259 IL.getOrigLocation().getNode());
1260 assert (Parent && "Unable to find Parent scope!");
1261 NScope->setParent(Parent);
Devang Patelc50078e2009-11-21 02:48:08 +00001262 Parent->addScope(NScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001263 } else if (DIDescriptor(N).isLexicalBlock()) {
1264 DILexicalBlock DB(N);
Devang Patel9e592492010-03-08 20:52:55 +00001265 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1266 NScope->setParent(Parent);
1267 Parent->addScope(NScope);
Devang Pateldd7bb432009-10-14 21:08:09 +00001268 }
Devang Patel6a260102009-10-01 20:31:14 +00001269
Devang Patelf5278f22009-10-27 20:47:17 +00001270 NScope->setFirstInsn(MI);
Devang Patel6a260102009-10-01 20:31:14 +00001271
Devang Patel90a0fe32009-11-10 23:06:00 +00001272 if (!Parent && !InlinedAt) {
Devang Patelce8986f2009-11-11 00:31:36 +00001273 StringRef SPName = DISubprogram(N).getLinkageName();
1274 if (SPName == MF->getFunction()->getName())
1275 CurrentFnDbgScope = NScope;
Devang Patel90a0fe32009-11-10 23:06:00 +00001276 }
Devang Patel6a260102009-10-01 20:31:14 +00001277
Devang Patel90a0fe32009-11-10 23:06:00 +00001278 if (GetConcreteScope) {
1279 ConcreteScopes[InlinedAt] = NScope;
1280 getOrCreateAbstractScope(N);
1281 }
1282
Devang Patelf5278f22009-10-27 20:47:17 +00001283 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001284}
1285
Devang Patel90a0fe32009-11-10 23:06:00 +00001286DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1287 assert (N && "Invalid Scope encoding!");
1288
1289 DbgScope *AScope = AbstractScopes.lookup(N);
1290 if (AScope)
1291 return AScope;
Jim Grosbach652b7432009-11-21 23:12:12 +00001292
Devang Patel90a0fe32009-11-10 23:06:00 +00001293 DbgScope *Parent = NULL;
1294
1295 DIDescriptor Scope(N);
1296 if (Scope.isLexicalBlock()) {
1297 DILexicalBlock DB(N);
1298 DIDescriptor ParentDesc = DB.getContext();
Devang Patel9e592492010-03-08 20:52:55 +00001299 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001300 }
1301
1302 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1303
1304 if (Parent)
Devang Patelc50078e2009-11-21 02:48:08 +00001305 Parent->addScope(AScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001306 AScope->setAbstractScope();
1307 AbstractScopes[N] = AScope;
1308 if (DIDescriptor(N).isSubprogram())
1309 AbstractScopesList.push_back(AScope);
1310 return AScope;
1311}
Devang Patel6a260102009-10-01 20:31:14 +00001312
Jim Grosbach652b7432009-11-21 23:12:12 +00001313/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patelc50078e2009-11-21 02:48:08 +00001314/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1315/// If there are global variables in this scope then create and insert
1316/// DIEs for these variables.
1317DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001318
Devang Pateld90672c2009-11-20 21:37:22 +00001319 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel90a0fe32009-11-10 23:06:00 +00001320 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patel814a12c2009-12-14 16:18:45 +00001321 DISubprogram SP(SPNode);
Devang Patel530a81e2010-02-05 23:09:20 +00001322 // There is not any need to generate specification DIE for a function
1323 // defined at compile unit level. If a function is defined inside another
1324 // function then gdb prefers the definition at top level and but does not
1325 // expect specification DIE in parent function. So avoid creating
1326 // specification DIE for a function defined inside a function.
1327 if (SP.isDefinition() && !SP.getContext().isCompileUnit()
1328 && !SP.getContext().isSubprogram()) {
Devang Patel814a12c2009-12-14 16:18:45 +00001329 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1330 // Add arguments.
1331 DICompositeType SPTy = SP.getType();
1332 DIArray Args = SPTy.getTypeArray();
1333 unsigned SPTag = SPTy.getTag();
1334 if (SPTag == dwarf::DW_TAG_subroutine_type)
1335 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1336 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelc5dc7252010-02-06 01:02:37 +00001337 DIType ATy = DIType(DIType(Args.getElement(i).getNode()));
1338 addType(Arg, ATy);
1339 if (ATy.isArtificial())
1340 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel814a12c2009-12-14 16:18:45 +00001341 SPDie->addChild(Arg);
1342 }
1343 DIE *SPDeclDie = SPDie;
1344 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1345 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1346 SPDeclDie);
Devang Patel814a12c2009-12-14 16:18:45 +00001347 ModuleCU->addDie(SPDie);
1348 }
Devang Patelc5dc7252010-02-06 01:02:37 +00001349
Devang Patelc50078e2009-11-21 02:48:08 +00001350 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001351 getDWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001352 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001353 getDWLabel("func_end", SubprogramCount));
Devang Patel90a0fe32009-11-10 23:06:00 +00001354 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patelc50078e2009-11-21 02:48:08 +00001355 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach652b7432009-11-21 23:12:12 +00001356
Devang Patel90a0fe32009-11-10 23:06:00 +00001357 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001358 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001359
Devang Patel90a0fe32009-11-10 23:06:00 +00001360 return SPDie;
1361}
1362
Jim Grosbach652b7432009-11-21 23:12:12 +00001363/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patelc50078e2009-11-21 02:48:08 +00001364/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1365DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001366 MCSymbol *Start = Scope->getStartLabel();
1367 MCSymbol *End = Scope->getEndLabel();
Chris Lattner4ba1da92010-03-09 04:48:35 +00001368 if (Start == 0) return 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00001369
Chris Lattner855e8f52010-03-09 01:58:53 +00001370 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1371 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattner5e423432010-03-09 01:51:43 +00001372
Devang Patel90a0fe32009-11-10 23:06:00 +00001373 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1374 if (Scope->isAbstractScope())
1375 return ScopeDIE;
1376
Devang Patelc50078e2009-11-21 02:48:08 +00001377 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattner855e8f52010-03-09 01:58:53 +00001378 Start ? Start : getDWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001379 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattner855e8f52010-03-09 01:58:53 +00001380 End ? End : getDWLabel("func_end", SubprogramCount));
Devang Patel90a0fe32009-11-10 23:06:00 +00001381
1382 return ScopeDIE;
1383}
1384
Devang Patelc50078e2009-11-21 02:48:08 +00001385/// constructInlinedScopeDIE - This scope represents inlined body of
1386/// a function. Construct DIE to represent this concrete inlined copy
1387/// of the function.
1388DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001389 MCSymbol *StartLabel = Scope->getStartLabel();
1390 MCSymbol *EndLabel = Scope->getEndLabel();
Chris Lattner4ba1da92010-03-09 04:48:35 +00001391 if (StartLabel == 0) return 0;
1392
Chris Lattner855e8f52010-03-09 01:58:53 +00001393 assert(StartLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001394 "Invalid starting label for an inlined scope!");
Chris Lattner855e8f52010-03-09 01:58:53 +00001395 assert(EndLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001396 "Invalid end label for an inlined scope!");
Devang Patel9e592492010-03-08 20:52:55 +00001397 if (!Scope->getScopeNode())
Devang Patelbe149872010-03-08 19:20:38 +00001398 return NULL;
Devang Patel9e592492010-03-08 20:52:55 +00001399 DIScope DS(Scope->getScopeNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001400 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1401
1402 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001403 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001404 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patelc50078e2009-11-21 02:48:08 +00001405 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001406 dwarf::DW_FORM_ref4, OriginDIE);
1407
Chris Lattneread58652010-03-09 00:31:02 +00001408 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattner855e8f52010-03-09 01:58:53 +00001409 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel90a0fe32009-11-10 23:06:00 +00001410
1411 InlinedSubprogramDIEs.insert(OriginDIE);
1412
1413 // Track the start label for this inlined function.
Devang Patel7d707f92010-01-19 06:19:05 +00001414 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel90a0fe32009-11-10 23:06:00 +00001415 I = InlineInfo.find(InlinedSP.getNode());
1416
1417 if (I == InlineInfo.end()) {
Chris Lattneread58652010-03-09 00:31:02 +00001418 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbachb23f2422009-11-22 19:20:36 +00001419 ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001420 InlinedSPNodes.push_back(InlinedSP.getNode());
1421 } else
Chris Lattneread58652010-03-09 00:31:02 +00001422 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001423
1424 StringPool.insert(InlinedSP.getName());
Devang Patel141e1c42010-01-05 01:46:14 +00001425 StringPool.insert(getRealLinkageName(InlinedSP.getLinkageName()));
1426
Devang Patel90a0fe32009-11-10 23:06:00 +00001427 DILocation DL(Scope->getInlinedAt());
Devang Patelc50078e2009-11-21 02:48:08 +00001428 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1429 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel90a0fe32009-11-10 23:06:00 +00001430
1431 return ScopeDIE;
1432}
1433
Devang Patelc50078e2009-11-21 02:48:08 +00001434
1435/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patelfe0be132009-12-09 18:24:21 +00001436DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001437 // Get the descriptor.
1438 const DIVariable &VD = DV->getVariable();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001439 StringRef Name = VD.getName();
1440 if (Name.empty())
Devang Patelab9a0682009-11-13 02:25:26 +00001441 return NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001442
1443 // Translate tag to proper Dwarf tag. The result variable is dropped for
1444 // now.
1445 unsigned Tag;
1446 switch (VD.getTag()) {
1447 case dwarf::DW_TAG_return_variable:
1448 return NULL;
1449 case dwarf::DW_TAG_arg_variable:
1450 Tag = dwarf::DW_TAG_formal_parameter;
1451 break;
1452 case dwarf::DW_TAG_auto_variable: // fall thru
1453 default:
1454 Tag = dwarf::DW_TAG_variable;
1455 break;
1456 }
1457
1458 // Define variable debug information entry.
1459 DIE *VariableDie = new DIE(Tag);
1460
1461
1462 DIE *AbsDIE = NULL;
1463 if (DbgVariable *AV = DV->getAbstractVariable())
1464 AbsDIE = AV->getDIE();
Jim Grosbach652b7432009-11-21 23:12:12 +00001465
Devang Patel90a0fe32009-11-10 23:06:00 +00001466 if (AbsDIE) {
1467 DIScope DS(Scope->getScopeNode());
1468 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001469 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc9f2d242009-11-11 03:09:50 +00001470 (void) OriginSPDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001471 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1472 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1473 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patelc50078e2009-11-21 02:48:08 +00001474 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001475 dwarf::DW_FORM_ref4, AbsDIE);
1476 }
1477 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001478 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1479 addSourceLine(VariableDie, &VD);
Devang Patel90a0fe32009-11-10 23:06:00 +00001480
1481 // Add variable type.
Jim Grosbach652b7432009-11-21 23:12:12 +00001482 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel90a0fe32009-11-10 23:06:00 +00001483 // addresses instead.
1484 if (VD.isBlockByrefVariable())
Devang Patelfe0be132009-12-09 18:24:21 +00001485 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel90a0fe32009-11-10 23:06:00 +00001486 else
Devang Patelfe0be132009-12-09 18:24:21 +00001487 addType(VariableDie, VD.getType());
Devang Patel90a0fe32009-11-10 23:06:00 +00001488 }
1489
1490 // Add variable address.
1491 if (!Scope->isAbstractScope()) {
1492 MachineLocation Location;
Jim Grosbach587d4882009-11-22 20:14:00 +00001493 unsigned FrameReg;
1494 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1495 Location.set(FrameReg, Offset);
Jim Grosbach652b7432009-11-21 23:12:12 +00001496
Devang Patel90a0fe32009-11-10 23:06:00 +00001497 if (VD.hasComplexAddress())
Devang Patelc50078e2009-11-21 02:48:08 +00001498 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001499 else if (VD.isBlockByrefVariable())
Devang Patelc50078e2009-11-21 02:48:08 +00001500 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001501 else
Devang Patelc50078e2009-11-21 02:48:08 +00001502 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001503 }
Devang Patelc5dc7252010-02-06 01:02:37 +00001504
1505 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1506 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001507 DV->setDIE(VariableDie);
1508 return VariableDie;
1509
1510}
Devang Patelc50078e2009-11-21 02:48:08 +00001511
Devang Patelec13b4f2009-11-24 01:14:22 +00001512void DwarfDebug::addPubTypes(DISubprogram SP) {
1513 DICompositeType SPTy = SP.getType();
1514 unsigned SPTag = SPTy.getTag();
1515 if (SPTag != dwarf::DW_TAG_subroutine_type)
1516 return;
1517
1518 DIArray Args = SPTy.getTypeArray();
Devang Patelec13b4f2009-11-24 01:14:22 +00001519 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1520 DIType ATy(Args.getElement(i).getNode());
Devang Patel9e592492010-03-08 20:52:55 +00001521 if (!ATy.isValid())
Devang Patelec13b4f2009-11-24 01:14:22 +00001522 continue;
1523 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel9e592492010-03-08 20:52:55 +00001524 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001525 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1526 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1527 }
1528 }
1529}
1530
Devang Patelc50078e2009-11-21 02:48:08 +00001531/// constructScopeDIE - Construct a DIE for this scope.
1532DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel9e592492010-03-08 20:52:55 +00001533 if (!Scope || !Scope->getScopeNode())
1534 return NULL;
1535
1536 DIScope DS(Scope->getScopeNode());
1537 DIE *ScopeDIE = NULL;
1538 if (Scope->getInlinedAt())
1539 ScopeDIE = constructInlinedScopeDIE(Scope);
1540 else if (DS.isSubprogram()) {
1541 if (Scope->isAbstractScope())
1542 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1543 else
1544 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1545 }
1546 else {
1547 ScopeDIE = constructLexicalScopeDIE(Scope);
1548 if (!ScopeDIE) return NULL;
1549 }
1550
Devang Patel90a0fe32009-11-10 23:06:00 +00001551 // Add variables to scope.
Douglas Gregordf49dc72010-03-08 02:58:37 +00001552 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel90a0fe32009-11-10 23:06:00 +00001553 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patelfe0be132009-12-09 18:24:21 +00001554 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach652b7432009-11-21 23:12:12 +00001555 if (VariableDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001556 ScopeDIE->addChild(VariableDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001557 }
1558
1559 // Add nested scopes.
Douglas Gregordf49dc72010-03-08 02:58:37 +00001560 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel90a0fe32009-11-10 23:06:00 +00001561 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1562 // Define the Scope debug information entry.
Devang Patelc50078e2009-11-21 02:48:08 +00001563 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach652b7432009-11-21 23:12:12 +00001564 if (NestedDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001565 ScopeDIE->addChild(NestedDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001566 }
Devang Patelec13b4f2009-11-24 01:14:22 +00001567
1568 if (DS.isSubprogram())
1569 addPubTypes(DISubprogram(DS.getNode()));
1570
1571 return ScopeDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001572}
1573
Bill Wendlingf5839192009-05-20 23:19:06 +00001574/// GetOrCreateSourceID - Look up the source id with the given directory and
1575/// source file names. If none currently exists, create a new id and insert it
1576/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1577/// maps as well.
Devang Patel7f75bbe2009-11-25 17:36:49 +00001578unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001579 unsigned DId;
1580 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1581 if (DI != DirectoryIdMap.end()) {
1582 DId = DI->getValue();
1583 } else {
1584 DId = DirectoryNames.size() + 1;
1585 DirectoryIdMap[DirName] = DId;
1586 DirectoryNames.push_back(DirName);
1587 }
1588
1589 unsigned FId;
1590 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1591 if (FI != SourceFileIdMap.end()) {
1592 FId = FI->getValue();
1593 } else {
1594 FId = SourceFileNames.size() + 1;
1595 SourceFileIdMap[FileName] = FId;
1596 SourceFileNames.push_back(FileName);
1597 }
1598
1599 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1600 SourceIdMap.find(std::make_pair(DId, FId));
1601 if (SI != SourceIdMap.end())
1602 return SI->second;
1603
1604 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1605 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1606 SourceIds.push_back(std::make_pair(DId, FId));
1607
1608 return SrcId;
1609}
1610
Devang Patel8287d662009-12-15 19:16:48 +00001611/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1612DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1613 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1614 if (NDie)
1615 return NDie;
1616 NDie = new DIE(dwarf::DW_TAG_namespace);
1617 ModuleCU->insertDIE(NS.getNode(), NDie);
1618 if (!NS.getName().empty())
1619 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1620 addSourceLine(NDie, &NS);
1621 addToContextOwner(NDie, NS.getContext());
1622 return NDie;
1623}
1624
Devang Patelb9f2c6b2009-12-11 21:37:07 +00001625CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001626 DICompileUnit DIUnit(N);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001627 StringRef FN = DIUnit.getFilename();
1628 StringRef Dir = DIUnit.getDirectory();
Devang Patelaaf012e2009-09-29 18:40:58 +00001629 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001630
1631 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001632 // FIXME: Why getting the delta between two identical labels??
Devang Patelc50078e2009-11-21 02:48:08 +00001633 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001634 getTempLabel("section_line"), getTempLabel("section_line"),
Bill Wendlingf5839192009-05-20 23:19:06 +00001635 false);
Devang Patelc50078e2009-11-21 02:48:08 +00001636 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001637 DIUnit.getProducer());
Devang Patelc50078e2009-11-21 02:48:08 +00001638 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf5839192009-05-20 23:19:06 +00001639 DIUnit.getLanguage());
Devang Patelc50078e2009-11-21 02:48:08 +00001640 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001641
Devang Patel7f75bbe2009-11-25 17:36:49 +00001642 if (!Dir.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001643 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf5839192009-05-20 23:19:06 +00001644 if (DIUnit.isOptimized())
Devang Patelc50078e2009-11-21 02:48:08 +00001645 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf5839192009-05-20 23:19:06 +00001646
Devang Patel7f75bbe2009-11-25 17:36:49 +00001647 StringRef Flags = DIUnit.getFlags();
1648 if (!Flags.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001649 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf5839192009-05-20 23:19:06 +00001650
1651 unsigned RVer = DIUnit.getRunTimeVersion();
1652 if (RVer)
Devang Patelc50078e2009-11-21 02:48:08 +00001653 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf5839192009-05-20 23:19:06 +00001654 dwarf::DW_FORM_data1, RVer);
1655
1656 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel5a3d37f2009-06-29 20:45:18 +00001657 if (!ModuleCU && DIUnit.isMain()) {
Devang Patelf97a05a2009-06-29 20:38:13 +00001658 // Use first compile unit marked as isMain as the compile unit
1659 // for this module.
Devang Patel5a3d37f2009-06-29 20:45:18 +00001660 ModuleCU = Unit;
Devang Patelf97a05a2009-06-29 20:38:13 +00001661 }
Bill Wendlingf5839192009-05-20 23:19:06 +00001662
Devang Patelb9f2c6b2009-12-11 21:37:07 +00001663 return Unit;
Bill Wendlingf5839192009-05-20 23:19:06 +00001664}
1665
Devang Patelc50078e2009-11-21 02:48:08 +00001666void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001667 DIGlobalVariable DI_GV(N);
Daniel Dunbar41716322009-09-19 20:40:05 +00001668
Devang Patel0c03f062009-09-04 23:59:07 +00001669 // If debug information is malformed then ignore it.
1670 if (DI_GV.Verify() == false)
1671 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001672
1673 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001674 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel166f8432009-06-26 01:49:18 +00001675 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001676
Devang Patelfe0be132009-12-09 18:24:21 +00001677 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel6d479632009-12-10 23:25:41 +00001678 if (!VariableDie)
1679 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001680
Bill Wendlingf5839192009-05-20 23:19:06 +00001681 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001682 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001683
1684 // Add to context owner.
Devang Pateldcc0dce2010-01-15 01:12:22 +00001685 DIDescriptor GVContext = DI_GV.getContext();
1686 // Do not create specification DIE if context is either compile unit
1687 // or a subprogram.
1688 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
1689 && !GVContext.isSubprogram()) {
Devang Patel8287d662009-12-15 19:16:48 +00001690 // Create specification DIE.
1691 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1692 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1693 dwarf::DW_FORM_ref4, VariableDie);
1694 DIEBlock *Block = new DIEBlock();
1695 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001696 addLabel(Block, 0, dwarf::DW_FORM_udata,
1697 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001698 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patela0a98582010-02-09 01:58:33 +00001699 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel8287d662009-12-15 19:16:48 +00001700 ModuleCU->addDie(VariableSpecDIE);
1701 } else {
1702 DIEBlock *Block = new DIEBlock();
1703 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001704 addLabel(Block, 0, dwarf::DW_FORM_udata,
1705 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001706 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1707 }
Devang Pateldcc0dce2010-01-15 01:12:22 +00001708 addToContextOwner(VariableDie, GVContext);
Devang Patel1a8f9a82009-12-10 19:14:49 +00001709
Bill Wendlingf5839192009-05-20 23:19:06 +00001710 // Expose as global. FIXME - need to check external flag.
Devang Patelc50078e2009-11-21 02:48:08 +00001711 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001712
1713 DIType GTy = DI_GV.getType();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001714 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001715 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1716 assert (Entry && "Missing global type!");
1717 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1718 }
Devang Patel166f8432009-06-26 01:49:18 +00001719 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001720}
1721
Devang Patelc50078e2009-11-21 02:48:08 +00001722void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001723 DISubprogram SP(N);
Bill Wendlingf5839192009-05-20 23:19:06 +00001724
1725 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001726 if (ModuleCU->getDIE(N))
Devang Patel166f8432009-06-26 01:49:18 +00001727 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001728
1729 if (!SP.isDefinition())
1730 // This is a method declaration which will be handled while constructing
1731 // class type.
Devang Patel166f8432009-06-26 01:49:18 +00001732 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001733
Devang Patelfe0be132009-12-09 18:24:21 +00001734 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf5839192009-05-20 23:19:06 +00001735
1736 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001737 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001738
1739 // Add to context owner.
Devang Patel8287d662009-12-15 19:16:48 +00001740 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patelde2d3682009-12-08 23:21:45 +00001741
Bill Wendlingf5839192009-05-20 23:19:06 +00001742 // Expose as global.
Devang Patelc50078e2009-11-21 02:48:08 +00001743 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001744
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 +00001748/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar19f1d442009-09-19 20:40:14 +00001749/// content. Create global DIEs and emit initial debug info sections.
1750/// This is inovked by the target AsmPrinter.
Devang Patelc50078e2009-11-21 02:48:08 +00001751void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel59a1d422009-06-25 22:36:02 +00001752 this->M = M;
1753
Bill Wendlingf5839192009-05-20 23:19:06 +00001754 if (TimePassesIsEnabled)
1755 DebugTimer->startTimer();
1756
Devang Patel1b4d6832009-11-11 19:55:08 +00001757 if (!MAI->doesSupportDebugInformation())
1758 return;
1759
Devang Patelfda766d2009-07-30 18:56:46 +00001760 DebugInfoFinder DbgFinder;
1761 DbgFinder.processModule(*M);
Devang Patel166f8432009-06-26 01:49:18 +00001762
Bill Wendlingf5839192009-05-20 23:19:06 +00001763 // Create all the compile unit DIEs.
Devang Patelfda766d2009-07-30 18:56:46 +00001764 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1765 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001766 constructCompileUnit(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001767
Devang Patel5a3d37f2009-06-29 20:45:18 +00001768 if (!ModuleCU)
Devang Patel7f9e0f32010-03-08 22:02:50 +00001769 return;
Devang Patelf97a05a2009-06-29 20:38:13 +00001770
Devang Patel90a0fe32009-11-10 23:06:00 +00001771 // Create DIEs for each subprogram.
Devang Patelfda766d2009-07-30 18:56:46 +00001772 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1773 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001774 constructSubprogramDIE(*I);
Devang Patel166f8432009-06-26 01:49:18 +00001775
Devang Patel1a8f9a82009-12-10 19:14:49 +00001776 // Create DIEs for each global variable.
1777 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1778 E = DbgFinder.global_variable_end(); I != E; ++I)
1779 constructGlobalVariableDIE(*I);
1780
Bill Wendlingf5839192009-05-20 23:19:06 +00001781 MMI = mmi;
1782 shouldEmit = true;
1783 MMI->setDebugInfoAvailability(true);
1784
1785 // Prime section data.
Chris Lattnerc4c40a92009-07-28 03:13:23 +00001786 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001787
1788 // Print out .file directives to specify files for .loc directives. These are
1789 // printed out early so that they precede any .loc directives.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001790 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001791 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1792 // Remember source id starts at 1.
1793 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerad653482010-01-22 22:09:00 +00001794 // FIXME: don't use sys::path for this! This should not depend on the
1795 // host.
Bill Wendlingf5839192009-05-20 23:19:06 +00001796 sys::Path FullPath(getSourceDirectoryName(Id.first));
1797 bool AppendOk =
1798 FullPath.appendComponent(getSourceFileName(Id.second));
1799 assert(AppendOk && "Could not append filename to directory!");
1800 AppendOk = false;
Chris Lattner59be4ea2010-01-25 18:58:59 +00001801 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf5839192009-05-20 23:19:06 +00001802 }
1803 }
1804
1805 // Emit initial sections
Devang Patelc50078e2009-11-21 02:48:08 +00001806 emitInitial();
Bill Wendlingf5839192009-05-20 23:19:06 +00001807
1808 if (TimePassesIsEnabled)
1809 DebugTimer->stopTimer();
1810}
1811
Devang Patelc50078e2009-11-21 02:48:08 +00001812/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf5839192009-05-20 23:19:06 +00001813///
Devang Patelc50078e2009-11-21 02:48:08 +00001814void DwarfDebug::endModule() {
Devang Patel95d477e2009-10-06 00:03:14 +00001815 if (!ModuleCU)
Bill Wendlingf5839192009-05-20 23:19:06 +00001816 return;
1817
1818 if (TimePassesIsEnabled)
1819 DebugTimer->startTimer();
1820
Devang Patel90a0fe32009-11-10 23:06:00 +00001821 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1822 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1823 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1824 DIE *ISP = *AI;
Devang Patelc50078e2009-11-21 02:48:08 +00001825 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel90a0fe32009-11-10 23:06:00 +00001826 }
1827
Devang Patelc1df8792009-12-03 01:25:38 +00001828 // Insert top level DIEs.
1829 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1830 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1831 ModuleCU->getCUDie()->addChild(*TI);
1832
Devang Patel7d707f92010-01-19 06:19:05 +00001833 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel188c85d2009-12-03 19:11:07 +00001834 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1835 DIE *SPDie = CI->first;
1836 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1837 if (!N) continue;
1838 DIE *NDie = ModuleCU->getDIE(N);
1839 if (!NDie) continue;
1840 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel69aae432010-01-15 00:26:31 +00001841 // FIXME - This is not the correct approach.
1842 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel188c85d2009-12-03 19:11:07 +00001843 }
1844
Bill Wendlingf5839192009-05-20 23:19:06 +00001845 // Standard sections final addresses.
Chris Lattner73266f92009-08-19 05:49:37 +00001846 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00001847 Asm->OutStreamer.EmitLabel(getTempLabel("text_end"));
Chris Lattner73266f92009-08-19 05:49:37 +00001848 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00001849 Asm->OutStreamer.EmitLabel(getTempLabel("data_end"));
Bill Wendlingf5839192009-05-20 23:19:06 +00001850
1851 // End text sections.
1852 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner73266f92009-08-19 05:49:37 +00001853 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattner6d213e82010-03-08 22:44:40 +00001854 Asm->OutStreamer.EmitLabel(getDWLabel("section_end", i));
Bill Wendlingf5839192009-05-20 23:19:06 +00001855 }
1856
1857 // Emit common frame information.
Devang Patelc50078e2009-11-21 02:48:08 +00001858 emitCommonDebugFrame();
Bill Wendlingf5839192009-05-20 23:19:06 +00001859
1860 // Emit function debug frame information
1861 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1862 E = DebugFrames.end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001863 emitFunctionDebugFrame(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001864
1865 // Compute DIE offsets and sizes.
Devang Patelc50078e2009-11-21 02:48:08 +00001866 computeSizeAndOffsets();
Bill Wendlingf5839192009-05-20 23:19:06 +00001867
1868 // Emit all the DIEs into a debug info section
Devang Patelc50078e2009-11-21 02:48:08 +00001869 emitDebugInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001870
1871 // Corresponding abbreviations into a abbrev section.
Devang Patelc50078e2009-11-21 02:48:08 +00001872 emitAbbreviations();
Bill Wendlingf5839192009-05-20 23:19:06 +00001873
1874 // Emit source line correspondence into a debug line section.
Devang Patelc50078e2009-11-21 02:48:08 +00001875 emitDebugLines();
Bill Wendlingf5839192009-05-20 23:19:06 +00001876
1877 // Emit info into a debug pubnames section.
Devang Patelc50078e2009-11-21 02:48:08 +00001878 emitDebugPubNames();
Bill Wendlingf5839192009-05-20 23:19:06 +00001879
Devang Patelec13b4f2009-11-24 01:14:22 +00001880 // Emit info into a debug pubtypes section.
1881 emitDebugPubTypes();
1882
Bill Wendlingf5839192009-05-20 23:19:06 +00001883 // Emit info into a debug str section.
Devang Patelc50078e2009-11-21 02:48:08 +00001884 emitDebugStr();
Bill Wendlingf5839192009-05-20 23:19:06 +00001885
1886 // Emit info into a debug loc section.
Devang Patelc50078e2009-11-21 02:48:08 +00001887 emitDebugLoc();
Bill Wendlingf5839192009-05-20 23:19:06 +00001888
1889 // Emit info into a debug aranges section.
1890 EmitDebugARanges();
1891
1892 // Emit info into a debug ranges section.
Devang Patelc50078e2009-11-21 02:48:08 +00001893 emitDebugRanges();
Bill Wendlingf5839192009-05-20 23:19:06 +00001894
1895 // Emit info into a debug macinfo section.
Devang Patelc50078e2009-11-21 02:48:08 +00001896 emitDebugMacInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001897
1898 // Emit inline info.
Devang Patelc50078e2009-11-21 02:48:08 +00001899 emitDebugInlineInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001900
1901 if (TimePassesIsEnabled)
1902 DebugTimer->stopTimer();
1903}
1904
Devang Patel90a0fe32009-11-10 23:06:00 +00001905/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbachb23f2422009-11-22 19:20:36 +00001906DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1907 unsigned FrameIdx,
Devang Patel90a0fe32009-11-10 23:06:00 +00001908 DILocation &ScopeLoc) {
1909
1910 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1911 if (AbsDbgVariable)
1912 return AbsDbgVariable;
1913
1914 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1915 if (!Scope)
1916 return NULL;
1917
1918 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patelc50078e2009-11-21 02:48:08 +00001919 Scope->addVariable(AbsDbgVariable);
Devang Patel90a0fe32009-11-10 23:06:00 +00001920 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1921 return AbsDbgVariable;
1922}
1923
Devang Patelc50078e2009-11-21 02:48:08 +00001924/// collectVariableInfo - Populate DbgScope entries with variables' info.
1925void DwarfDebug::collectVariableInfo() {
Devang Patel40c80212009-10-09 22:42:28 +00001926 if (!MMI) return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001927
Devang Patel84139992009-10-06 01:26:37 +00001928 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1929 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1930 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel0a0ea052010-01-22 22:52:10 +00001931 MDNode *Var = VI->first;
Devang Patel90a0fe32009-11-10 23:06:00 +00001932 if (!Var) continue;
Devang Patel6882dff2009-10-08 18:48:03 +00001933 DIVariable DV (Var);
Devang Patel90a0fe32009-11-10 23:06:00 +00001934 std::pair< unsigned, MDNode *> VP = VI->second;
1935 DILocation ScopeLoc(VP.second);
1936
1937 DbgScope *Scope =
1938 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1939 if (!Scope)
Jim Grosbach652b7432009-11-21 23:12:12 +00001940 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelbad42262009-11-10 23:20:04 +00001941 // If variable scope is not found then skip this variable.
1942 if (!Scope)
1943 continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00001944
1945 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patelc50078e2009-11-21 02:48:08 +00001946 Scope->addVariable(RegVar);
Jim Grosbachb23f2422009-11-22 19:20:36 +00001947 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1948 ScopeLoc))
Devang Patel90a0fe32009-11-10 23:06:00 +00001949 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patel84139992009-10-06 01:26:37 +00001950 }
1951}
1952
Devang Patelc50078e2009-11-21 02:48:08 +00001953/// beginScope - Process beginning of a scope starting at Label.
Chris Lattner597b0fc2010-03-09 04:54:43 +00001954void DwarfDebug::beginScope(const MachineInstr *MI, MCSymbol *Label) {
Devang Patel393a46d2009-10-06 01:50:42 +00001955 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1956 if (I == DbgScopeBeginMap.end())
1957 return;
Dan Gohman8d34f972009-11-23 21:30:55 +00001958 ScopeVector &SD = I->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00001959 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00001960 SDI != SDE; ++SDI)
Chris Lattner597b0fc2010-03-09 04:54:43 +00001961 (*SDI)->setStartLabel(Label);
Devang Patel393a46d2009-10-06 01:50:42 +00001962}
1963
Devang Patelc50078e2009-11-21 02:48:08 +00001964/// endScope - Process end of a scope.
1965void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel393a46d2009-10-06 01:50:42 +00001966 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patelf4348892009-10-06 03:15:38 +00001967 if (I == DbgScopeEndMap.end())
Devang Patel393a46d2009-10-06 01:50:42 +00001968 return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001969
Chris Lattner855e8f52010-03-09 01:58:53 +00001970 MCSymbol *Label = getDWLabel("label", MMI->NextLabelID());
1971 Asm->OutStreamer.EmitLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00001972
Chris Lattner855e8f52010-03-09 01:58:53 +00001973 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel393a46d2009-10-06 01:50:42 +00001974 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00001975 SDI != SDE; ++SDI)
Chris Lattner855e8f52010-03-09 01:58:53 +00001976 (*SDI)->setEndLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00001977 return;
1978}
1979
1980/// createDbgScope - Create DbgScope for the scope.
1981void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1982
1983 if (!InlinedAt) {
1984 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1985 if (WScope)
1986 return;
1987 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1988 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach652b7432009-11-21 23:12:12 +00001989 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel53addbf2009-11-11 00:18:40 +00001990 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel90a0fe32009-11-10 23:06:00 +00001991 return;
1992 }
1993
1994 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1995 if (WScope)
1996 return;
1997
1998 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1999 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2000 DILocation DL(InlinedAt);
2001 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel393a46d2009-10-06 01:50:42 +00002002}
2003
Devang Patelc50078e2009-11-21 02:48:08 +00002004/// extractScopeInformation - Scan machine instructions in this function
Devang Patel6a260102009-10-01 20:31:14 +00002005/// and collect DbgScopes. Return true, if atleast one scope was found.
Chris Lattner69a76972010-01-26 23:18:02 +00002006bool DwarfDebug::extractScopeInformation() {
Devang Patel6a260102009-10-01 20:31:14 +00002007 // If scope information was extracted using .dbg intrinsics then there is not
2008 // any need to extract these information by scanning each instruction.
2009 if (!DbgScopeMap.empty())
2010 return false;
2011
Devang Patel98e77302010-01-04 20:44:00 +00002012 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2013 unsigned MIIndex = 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00002014 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel6a260102009-10-01 20:31:14 +00002015 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2016 I != E; ++I) {
2017 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2018 II != IE; ++II) {
2019 const MachineInstr *MInsn = II;
Devang Patel98e77302010-01-04 20:44:00 +00002020 MIIndexMap[MInsn] = MIIndex++;
Devang Patel6a260102009-10-01 20:31:14 +00002021 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel90a0fe32009-11-10 23:06:00 +00002022 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002023 DILocation DLT = MF->getDILocation(DL);
2024 DIScope DLTScope = DLT.getScope();
Devang Patel6a260102009-10-01 20:31:14 +00002025 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002026 // other scopes, create one DbgScope now. This will be translated
Devang Patel6a260102009-10-01 20:31:14 +00002027 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002028 if (DLTScope.isCompileUnit()) continue;
2029 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002030 }
2031 }
2032
2033
2034 // Build scope hierarchy using working set of scopes.
2035 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2036 I != E; ++I) {
2037 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2038 II != IE; ++II) {
2039 const MachineInstr *MInsn = II;
2040 DebugLoc DL = MInsn->getDebugLoc();
2041 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002042 DILocation DLT = MF->getDILocation(DL);
2043 DIScope DLTScope = DLT.getScope();
Devang Patel90a0fe32009-11-10 23:06:00 +00002044 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002045 // other scopes, create one DbgScope now. This will be translated
Devang Patel90a0fe32009-11-10 23:06:00 +00002046 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002047 if (DLTScope.isCompileUnit()) continue;
2048 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2049 DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002050 Scope->setLastInsn(MInsn);
Devang Patel6a260102009-10-01 20:31:14 +00002051 }
2052 }
2053
Devang Patel98e77302010-01-04 20:44:00 +00002054 if (!CurrentFnDbgScope)
2055 return false;
2056
2057 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel6a260102009-10-01 20:31:14 +00002058
2059 // Each scope has first instruction and last instruction to mark beginning
2060 // and end of a scope respectively. Create an inverse map that list scopes
2061 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patelfd311df2010-01-20 02:05:23 +00002062 // multiple scopes. Ignore scopes that are not reachable.
2063 SmallVector<DbgScope *, 4> WorkList;
2064 WorkList.push_back(CurrentFnDbgScope);
2065 while (!WorkList.empty()) {
2066 DbgScope *S = WorkList.back(); WorkList.pop_back();
2067
Douglas Gregordf49dc72010-03-08 02:58:37 +00002068 SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patelfd311df2010-01-20 02:05:23 +00002069 if (!Children.empty())
Douglas Gregordf49dc72010-03-08 02:58:37 +00002070 for (SmallVector<DbgScope *, 4>::iterator SI = Children.begin(),
Devang Patelfd311df2010-01-20 02:05:23 +00002071 SE = Children.end(); SI != SE; ++SI)
2072 WorkList.push_back(*SI);
2073
Devang Patel90a0fe32009-11-10 23:06:00 +00002074 if (S->isAbstractScope())
2075 continue;
Devang Patel6a260102009-10-01 20:31:14 +00002076 const MachineInstr *MI = S->getFirstInsn();
2077 assert (MI && "DbgScope does not have first instruction!");
2078
2079 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2080 if (IDI != DbgScopeBeginMap.end())
2081 IDI->second.push_back(S);
2082 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002083 DbgScopeBeginMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002084
2085 MI = S->getLastInsn();
2086 assert (MI && "DbgScope does not have last instruction!");
2087 IDI = DbgScopeEndMap.find(MI);
2088 if (IDI != DbgScopeEndMap.end())
2089 IDI->second.push_back(S);
2090 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002091 DbgScopeEndMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002092 }
2093
2094 return !DbgScopeMap.empty();
2095}
2096
Devang Patelc50078e2009-11-21 02:48:08 +00002097/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf5839192009-05-20 23:19:06 +00002098/// emitted immediately after the function entry point.
Chris Lattner69a76972010-01-26 23:18:02 +00002099void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002100 this->MF = MF;
2101
2102 if (!ShouldEmitDwarfDebug()) return;
2103
2104 if (TimePassesIsEnabled)
2105 DebugTimer->startTimer();
2106
Chris Lattner69a76972010-01-26 23:18:02 +00002107 if (!extractScopeInformation())
Devang Patel0feae422009-10-06 18:37:31 +00002108 return;
Devang Patelc50078e2009-11-21 02:48:08 +00002109
2110 collectVariableInfo();
Devang Patel0feae422009-10-06 18:37:31 +00002111
Bill Wendlingf5839192009-05-20 23:19:06 +00002112 // Assumes in correct section after the entry point.
Chris Lattner6d213e82010-03-08 22:44:40 +00002113 Asm->OutStreamer.EmitLabel(getDWLabel("func_begin", ++SubprogramCount));
Bill Wendlingf5839192009-05-20 23:19:06 +00002114
2115 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2116 // function.
Devang Patel40c80212009-10-09 22:42:28 +00002117 DebugLoc FDL = MF->getDefaultDebugLoc();
2118 if (!FDL.isUnknown()) {
Devang Patel042945f2010-01-16 06:09:35 +00002119 DILocation DLT = MF->getDILocation(FDL);
Devang Patel042945f2010-01-16 06:09:35 +00002120 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Chris Lattner855e8f52010-03-09 01:58:53 +00002121 unsigned Line, Col;
2122 if (SP.Verify()) {
2123 Line = SP.getLineNumber();
2124 Col = 0;
2125 } else {
2126 Line = DLT.getLineNumber();
2127 Col = DLT.getColumnNumber();
2128 }
2129
Chris Lattner597b0fc2010-03-09 04:54:43 +00002130 recordSourceLine(Line, Col, DLT.getScope().getNode());
Bill Wendlingf5839192009-05-20 23:19:06 +00002131 }
Bill Wendlingf5839192009-05-20 23:19:06 +00002132 if (TimePassesIsEnabled)
2133 DebugTimer->stopTimer();
2134}
2135
Devang Patelc50078e2009-11-21 02:48:08 +00002136/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf5839192009-05-20 23:19:06 +00002137///
Chris Lattner69a76972010-01-26 23:18:02 +00002138void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002139 if (!ShouldEmitDwarfDebug()) return;
2140
2141 if (TimePassesIsEnabled)
2142 DebugTimer->startTimer();
2143
Devang Patel40c80212009-10-09 22:42:28 +00002144 if (DbgScopeMap.empty())
2145 return;
Devang Patel4a7ef8d2009-11-12 19:02:56 +00002146
Devang Patel98e77302010-01-04 20:44:00 +00002147 if (CurrentFnDbgScope) {
2148 // Define end label for subprogram.
Chris Lattner6d213e82010-03-08 22:44:40 +00002149 Asm->OutStreamer.EmitLabel(getDWLabel("func_end", SubprogramCount));
Devang Patel98e77302010-01-04 20:44:00 +00002150
2151 // Get function line info.
2152 if (!Lines.empty()) {
2153 // Get section line info.
2154 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2155 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2156 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2157 // Append the function info to section info.
2158 SectionLineInfos.insert(SectionLineInfos.end(),
2159 Lines.begin(), Lines.end());
2160 }
2161
2162 // Construct abstract scopes.
2163 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2164 AE = AbstractScopesList.end(); AI != AE; ++AI)
2165 constructScopeDIE(*AI);
2166
2167 constructScopeDIE(CurrentFnDbgScope);
2168
2169 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2170 MMI->getFrameMoves()));
Bill Wendlingf5839192009-05-20 23:19:06 +00002171 }
2172
Bill Wendlingf5839192009-05-20 23:19:06 +00002173 // Clear debug info
Devang Patel387e9c12010-01-19 01:26:02 +00002174 CurrentFnDbgScope = NULL;
Douglas Gregordf49dc72010-03-08 02:58:37 +00002175 DbgScopeMap.clear();
Devang Patel387e9c12010-01-19 01:26:02 +00002176 DbgScopeBeginMap.clear();
2177 DbgScopeEndMap.clear();
2178 ConcreteScopes.clear();
2179 AbstractScopesList.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002180 Lines.clear();
Devang Patel67533ab2009-12-01 18:13:48 +00002181
Bill Wendlingf5839192009-05-20 23:19:06 +00002182 if (TimePassesIsEnabled)
2183 DebugTimer->stopTimer();
2184}
2185
Chris Lattner597b0fc2010-03-09 04:54:43 +00002186/// recordSourceLine - Register a source line with debug info. Returns the
2187/// unique label that was emitted and which provides correspondence to
2188/// the source line list.
2189MCSymbol *DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, MDNode *S) {
Devang Patel15e723d2009-08-28 23:24:31 +00002190 if (!MMI)
2191 return 0;
2192
Bill Wendlingf5839192009-05-20 23:19:06 +00002193 if (TimePassesIsEnabled)
2194 DebugTimer->startTimer();
2195
Devang Patel7f75bbe2009-11-25 17:36:49 +00002196 StringRef Dir;
2197 StringRef Fn;
Devang Patel946d0ae2009-10-05 18:03:19 +00002198
2199 DIDescriptor Scope(S);
2200 if (Scope.isCompileUnit()) {
2201 DICompileUnit CU(S);
2202 Dir = CU.getDirectory();
2203 Fn = CU.getFilename();
2204 } else if (Scope.isSubprogram()) {
2205 DISubprogram SP(S);
2206 Dir = SP.getDirectory();
2207 Fn = SP.getFilename();
2208 } else if (Scope.isLexicalBlock()) {
2209 DILexicalBlock DB(S);
2210 Dir = DB.getDirectory();
2211 Fn = DB.getFilename();
2212 } else
2213 assert (0 && "Unexpected scope info");
2214
2215 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf5839192009-05-20 23:19:06 +00002216 unsigned ID = MMI->NextLabelID();
2217 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2218
2219 if (TimePassesIsEnabled)
2220 DebugTimer->stopTimer();
2221
Chris Lattner597b0fc2010-03-09 04:54:43 +00002222 MCSymbol *Label = getDWLabel("label", ID);
2223 Asm->OutStreamer.EmitLabel(Label);
2224 return Label;
Bill Wendlingf5839192009-05-20 23:19:06 +00002225}
2226
2227/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2228/// timed. Look up the source id with the given directory and source file
2229/// names. If none currently exists, create a new id and insert it in the
2230/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2231/// well.
2232unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2233 const std::string &FileName) {
2234 if (TimePassesIsEnabled)
2235 DebugTimer->startTimer();
2236
Devang Patelaaf012e2009-09-29 18:40:58 +00002237 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf5839192009-05-20 23:19:06 +00002238
2239 if (TimePassesIsEnabled)
2240 DebugTimer->stopTimer();
2241
2242 return SrcId;
2243}
2244
Bill Wendlinge1a5bbb2009-05-20 23:22:40 +00002245//===----------------------------------------------------------------------===//
2246// Emit Methods
2247//===----------------------------------------------------------------------===//
2248
Devang Patelc50078e2009-11-21 02:48:08 +00002249/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling55fccda2009-05-20 23:21:38 +00002250///
Jim Grosbachb23f2422009-11-22 19:20:36 +00002251unsigned
2252DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002253 // Get the children.
2254 const std::vector<DIE *> &Children = Die->getChildren();
2255
2256 // If not last sibling and has children then add sibling offset attribute.
Devang Patelc50078e2009-11-21 02:48:08 +00002257 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002258
2259 // Record the abbreviation.
Devang Patelc50078e2009-11-21 02:48:08 +00002260 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling55fccda2009-05-20 23:21:38 +00002261
2262 // Get the abbreviation for this DIE.
2263 unsigned AbbrevNumber = Die->getAbbrevNumber();
2264 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2265
2266 // Set DIE offset
2267 Die->setOffset(Offset);
2268
2269 // Start the size with the size of abbreviation code.
Chris Lattner621c44d2009-08-22 20:48:53 +00002270 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002271
2272 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2273 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2274
2275 // Size the DIE attribute values.
2276 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2277 // Size attribute value.
2278 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2279
2280 // Size the DIE children if any.
2281 if (!Children.empty()) {
2282 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2283 "Children flag not set");
2284
2285 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002286 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling55fccda2009-05-20 23:21:38 +00002287
2288 // End of children marker.
2289 Offset += sizeof(int8_t);
2290 }
2291
2292 Die->setSize(Offset - Die->getOffset());
2293 return Offset;
2294}
2295
Devang Patelc50078e2009-11-21 02:48:08 +00002296/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling55fccda2009-05-20 23:21:38 +00002297///
Devang Patelc50078e2009-11-21 02:48:08 +00002298void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002299 // Compute size of compile unit header.
2300 static unsigned Offset =
2301 sizeof(int32_t) + // Length of Compilation Unit Info
2302 sizeof(int16_t) + // DWARF version number
2303 sizeof(int32_t) + // Offset Into Abbrev. Section
2304 sizeof(int8_t); // Pointer Size (in bytes)
2305
Devang Patelc50078e2009-11-21 02:48:08 +00002306 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel5a3d37f2009-06-29 20:45:18 +00002307 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling55fccda2009-05-20 23:21:38 +00002308}
2309
Devang Patelc50078e2009-11-21 02:48:08 +00002310/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling55fccda2009-05-20 23:21:38 +00002311/// tools to recognize the object file contains Dwarf information.
Devang Patelc50078e2009-11-21 02:48:08 +00002312void DwarfDebug::emitInitial() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002313 // Check to see if we already emitted intial headers.
2314 if (didInitial) return;
2315 didInitial = true;
2316
Chris Lattner73266f92009-08-19 05:49:37 +00002317 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbar41716322009-09-19 20:40:05 +00002318
Bill Wendling55fccda2009-05-20 23:21:38 +00002319 // Dwarf sections base addresses.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002320 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner73266f92009-08-19 05:49:37 +00002321 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002322 Asm->OutStreamer.EmitLabel(getTempLabel("section_debug_frame"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002323 }
2324
Chris Lattner73266f92009-08-19 05:49:37 +00002325 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002326 Asm->OutStreamer.EmitLabel(getTempLabel("section_info"));
Chris Lattner73266f92009-08-19 05:49:37 +00002327 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002328 Asm->OutStreamer.EmitLabel(getTempLabel("section_abbrev"));
Chris Lattner73266f92009-08-19 05:49:37 +00002329 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002330 Asm->OutStreamer.EmitLabel(getTempLabel("section_aranges"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002331
Chris Lattner73266f92009-08-19 05:49:37 +00002332 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2333 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattner6d213e82010-03-08 22:44:40 +00002334 Asm->OutStreamer.EmitLabel(getTempLabel("section_macinfo"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002335 }
2336
Chris Lattner73266f92009-08-19 05:49:37 +00002337 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002338 Asm->OutStreamer.EmitLabel(getTempLabel("section_line"));
Chris Lattner73266f92009-08-19 05:49:37 +00002339 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002340 Asm->OutStreamer.EmitLabel(getTempLabel("section_loc"));
Chris Lattner73266f92009-08-19 05:49:37 +00002341 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002342 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubnames"));
Devang Patelec13b4f2009-11-24 01:14:22 +00002343 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002344 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubtypes"));
Chris Lattner73266f92009-08-19 05:49:37 +00002345 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002346 Asm->OutStreamer.EmitLabel(getTempLabel("section_str"));
Chris Lattner73266f92009-08-19 05:49:37 +00002347 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002348 Asm->OutStreamer.EmitLabel(getTempLabel("section_ranges"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002349
Chris Lattner73266f92009-08-19 05:49:37 +00002350 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002351 Asm->OutStreamer.EmitLabel(getTempLabel("text_begin"));
Chris Lattner73266f92009-08-19 05:49:37 +00002352 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002353 Asm->OutStreamer.EmitLabel(getTempLabel("data_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002354}
2355
Devang Patelc50078e2009-11-21 02:48:08 +00002356/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling55fccda2009-05-20 23:21:38 +00002357///
Devang Patelc50078e2009-11-21 02:48:08 +00002358void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002359 // Get the abbreviation for this DIE.
2360 unsigned AbbrevNumber = Die->getAbbrevNumber();
2361 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2362
Bill Wendling55fccda2009-05-20 23:21:38 +00002363 // Emit the code (index) for the abbreviation.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002364 if (Asm->VerboseAsm)
2365 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2366 Twine::utohexstr(Die->getOffset()) + ":0x" +
2367 Twine::utohexstr(Die->getSize()) + " " +
2368 dwarf::TagString(Abbrev->getTag()));
2369 EmitULEB128(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002370
2371 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2372 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2373
2374 // Emit the DIE attribute values.
2375 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2376 unsigned Attr = AbbrevData[i].getAttribute();
2377 unsigned Form = AbbrevData[i].getForm();
2378 assert(Form && "Too many attributes for DIE (check abbreviation)");
2379
Chris Lattner91e06b42010-01-24 18:54:17 +00002380 if (Asm->VerboseAsm)
2381 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2382
Bill Wendling55fccda2009-05-20 23:21:38 +00002383 switch (Attr) {
2384 case dwarf::DW_AT_sibling:
Devang Patelc50078e2009-11-21 02:48:08 +00002385 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002386 break;
2387 case dwarf::DW_AT_abstract_origin: {
2388 DIEEntry *E = cast<DIEEntry>(Values[i]);
2389 DIE *Origin = E->getEntry();
Devang Patel90a0fe32009-11-10 23:06:00 +00002390 unsigned Addr = Origin->getOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002391 Asm->EmitInt32(Addr);
2392 break;
2393 }
2394 default:
2395 // Emit an attribute using the defined form.
2396 Values[i]->EmitValue(this, Form);
2397 break;
2398 }
Bill Wendling55fccda2009-05-20 23:21:38 +00002399 }
2400
2401 // Emit the DIE children if any.
2402 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2403 const std::vector<DIE *> &Children = Die->getChildren();
2404
2405 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002406 emitDIE(Children[j]);
Bill Wendling55fccda2009-05-20 23:21:38 +00002407
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002408 if (Asm->VerboseAsm)
2409 Asm->OutStreamer.AddComment("End Of Children Mark");
2410 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002411 }
2412}
2413
Devang Patelfe0be132009-12-09 18:24:21 +00002414/// emitDebugInfo - Emit the debug info section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002415///
Devang Patelfe0be132009-12-09 18:24:21 +00002416void DwarfDebug::emitDebugInfo() {
2417 // Start debug info section.
2418 Asm->OutStreamer.SwitchSection(
2419 Asm->getObjFileLowering().getDwarfInfoSection());
2420 DIE *Die = ModuleCU->getCUDie();
Bill Wendling55fccda2009-05-20 23:21:38 +00002421
2422 // Emit the compile units header.
Chris Lattner6d213e82010-03-08 22:44:40 +00002423 Asm->OutStreamer.EmitLabel(getDWLabel("info_begin", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002424
2425 // Emit size of content not including length itself
2426 unsigned ContentSize = Die->getSize() +
2427 sizeof(int16_t) + // DWARF version number
2428 sizeof(int32_t) + // Offset Into Abbrev. Section
2429 sizeof(int8_t) + // Pointer Size (in bytes)
2430 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2431
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002432 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2433 Asm->EmitInt32(ContentSize);
2434 Asm->OutStreamer.AddComment("DWARF version number");
2435 Asm->EmitInt16(dwarf::DWARF_VERSION);
2436 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002437 EmitSectionOffset(getTempLabel("abbrev_begin"),getTempLabel("section_abbrev"),
2438 true, false);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002439 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2440 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00002441
Devang Patelc50078e2009-11-21 02:48:08 +00002442 emitDIE(Die);
Bill Wendling55fccda2009-05-20 23:21:38 +00002443 // FIXME - extra padding for gdb bug.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002444 Asm->OutStreamer.AddComment("4 extra padding bytes for GDB");
2445 Asm->EmitInt8(0);
2446 Asm->EmitInt8(0);
2447 Asm->EmitInt8(0);
2448 Asm->EmitInt8(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002449 Asm->OutStreamer.EmitLabel(getDWLabel("info_end", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002450}
2451
Devang Patelc50078e2009-11-21 02:48:08 +00002452/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002453///
Devang Patelc50078e2009-11-21 02:48:08 +00002454void DwarfDebug::emitAbbreviations() const {
Bill Wendling55fccda2009-05-20 23:21:38 +00002455 // Check to see if it is worth the effort.
2456 if (!Abbreviations.empty()) {
2457 // Start the debug abbrev section.
Chris Lattner73266f92009-08-19 05:49:37 +00002458 Asm->OutStreamer.SwitchSection(
2459 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002460
Chris Lattner6d213e82010-03-08 22:44:40 +00002461 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002462
2463 // For each abbrevation.
2464 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2465 // Get abbreviation data
2466 const DIEAbbrev *Abbrev = Abbreviations[i];
2467
2468 // Emit the abbrevations code (base 1 index.)
Chris Lattnerbcc79432010-01-22 23:18:42 +00002469 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling55fccda2009-05-20 23:21:38 +00002470
2471 // Emit the abbreviations data.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002472 Abbrev->Emit(this);
Bill Wendling55fccda2009-05-20 23:21:38 +00002473 }
2474
2475 // Mark end of abbreviations.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002476 EmitULEB128(0, "EOM(3)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002477
Chris Lattner6d213e82010-03-08 22:44:40 +00002478 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002479 }
2480}
2481
Devang Patelc50078e2009-11-21 02:48:08 +00002482/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling55fccda2009-05-20 23:21:38 +00002483/// the line matrix.
2484///
Devang Patelc50078e2009-11-21 02:48:08 +00002485void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002486 // Define last address of section.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002487 Asm->OutStreamer.AddComment("Extended Op");
2488 Asm->EmitInt8(0);
2489
2490 Asm->OutStreamer.AddComment("Op size");
2491 Asm->EmitInt8(TD->getPointerSize() + 1);
2492 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2493 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2494
2495 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnereb159d62010-03-10 01:17:49 +00002496
2497 Asm->OutStreamer.EmitSymbolValue(getDWLabel("section_end", SectionEnd),
2498 TD->getPointerSize(), 0/*AddrSpace*/);
Bill Wendling55fccda2009-05-20 23:21:38 +00002499
2500 // Mark end of matrix.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002501 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2502 Asm->EmitInt8(0);
Chris Lattnerad653482010-01-22 22:09:00 +00002503 Asm->EmitInt8(1);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002504 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002505}
2506
Devang Patelc50078e2009-11-21 02:48:08 +00002507/// emitDebugLines - Emit source line information.
Bill Wendling55fccda2009-05-20 23:21:38 +00002508///
Devang Patelc50078e2009-11-21 02:48:08 +00002509void DwarfDebug::emitDebugLines() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002510 // If the target is using .loc/.file, the assembler will be emitting the
2511 // .debug_line table automatically.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002512 if (MAI->hasDotLocAndDotFile())
Bill Wendling55fccda2009-05-20 23:21:38 +00002513 return;
2514
2515 // Minimum line delta, thus ranging from -10..(255-10).
2516 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2517 // Maximum line delta, thus ranging from -10..(255-10).
2518 const int MaxLineDelta = 255 + MinLineDelta;
2519
2520 // Start the dwarf line section.
Chris Lattner73266f92009-08-19 05:49:37 +00002521 Asm->OutStreamer.SwitchSection(
2522 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002523
2524 // Construct the section header.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002525 Asm->OutStreamer.AddComment("Length of Source Line Info");
Chris Lattner6d213e82010-03-08 22:44:40 +00002526 EmitDifference(getTempLabel("line_end"), getTempLabel("line_begin"), true);
Chris Lattner6d213e82010-03-08 22:44:40 +00002527 Asm->OutStreamer.EmitLabel(getTempLabel("line_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002528
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002529 Asm->OutStreamer.AddComment("DWARF version number");
2530 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling55fccda2009-05-20 23:21:38 +00002531
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002532 Asm->OutStreamer.AddComment("Prolog Length");
Chris Lattner6d213e82010-03-08 22:44:40 +00002533 EmitDifference(getTempLabel("line_prolog_end"),
2534 getTempLabel("line_prolog_begin"), true);
Chris Lattner6d213e82010-03-08 22:44:40 +00002535 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002536
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002537 Asm->OutStreamer.AddComment("Minimum Instruction Length");
2538 Asm->EmitInt8(1);
2539 Asm->OutStreamer.AddComment("Default is_stmt_start flag");
2540 Asm->EmitInt8(1);
2541 Asm->OutStreamer.AddComment("Line Base Value (Special Opcodes)");
2542 Asm->EmitInt8(MinLineDelta);
2543 Asm->OutStreamer.AddComment("Line Range Value (Special Opcodes)");
2544 Asm->EmitInt8(MaxLineDelta);
2545 Asm->OutStreamer.AddComment("Special Opcode Base");
2546 Asm->EmitInt8(-MinLineDelta);
Bill Wendling55fccda2009-05-20 23:21:38 +00002547
2548 // Line number standard opcode encodings argument count
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002549 Asm->OutStreamer.AddComment("DW_LNS_copy arg count");
2550 Asm->EmitInt8(0);
2551 Asm->OutStreamer.AddComment("DW_LNS_advance_pc arg count");
2552 Asm->EmitInt8(1);
2553 Asm->OutStreamer.AddComment("DW_LNS_advance_line arg count");
2554 Asm->EmitInt8(1);
2555 Asm->OutStreamer.AddComment("DW_LNS_set_file arg count");
2556 Asm->EmitInt8(1);
2557 Asm->OutStreamer.AddComment("DW_LNS_set_column arg count");
2558 Asm->EmitInt8(1);
2559 Asm->OutStreamer.AddComment("DW_LNS_negate_stmt arg count");
2560 Asm->EmitInt8(0);
2561 Asm->OutStreamer.AddComment("DW_LNS_set_basic_block arg count");
2562 Asm->EmitInt8(0);
2563 Asm->OutStreamer.AddComment("DW_LNS_const_add_pc arg count");
2564 Asm->EmitInt8(0);
2565 Asm->OutStreamer.AddComment("DW_LNS_fixed_advance_pc arg count");
2566 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002567
2568 // Emit directories.
2569 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnercc564642010-01-23 03:11:46 +00002570 const std::string &Dir = getSourceDirectoryName(DI);
2571 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2572 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002573 }
2574
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002575 Asm->OutStreamer.AddComment("End of directories");
2576 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002577
2578 // Emit files.
2579 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2580 // Remember source id starts at 1.
2581 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnercc564642010-01-23 03:11:46 +00002582 const std::string &FN = getSourceFileName(Id.second);
2583 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2584 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2585
Chris Lattnerbcc79432010-01-22 23:18:42 +00002586 EmitULEB128(Id.first, "Directory #");
2587 EmitULEB128(0, "Mod date");
2588 EmitULEB128(0, "File size");
Bill Wendling55fccda2009-05-20 23:21:38 +00002589 }
2590
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002591 Asm->OutStreamer.AddComment("End of files");
2592 Asm->EmitInt8(0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002593
Chris Lattner6d213e82010-03-08 22:44:40 +00002594 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002595
2596 // A sequence for each text section.
2597 unsigned SecSrcLinesSize = SectionSourceLines.size();
2598
2599 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2600 // Isolate current sections line info.
2601 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2602
Bill Wendling55fccda2009-05-20 23:21:38 +00002603 // Dwarf assumes we start with first line of first source file.
2604 unsigned Source = 1;
2605 unsigned Line = 1;
2606
2607 // Construct rows of the address, source, line, column matrix.
2608 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2609 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner5e423432010-03-09 01:51:43 +00002610 unsigned LabelID = LineInfo.getLabelID();
2611 if (MMI->isLabelDeleted(LabelID)) continue;
Bill Wendling55fccda2009-05-20 23:21:38 +00002612
Caroline Tice9da96d82009-09-11 18:25:54 +00002613 if (LineInfo.getLine() == 0) continue;
2614
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002615 if (Asm->isVerbose()) {
Chris Lattneree3b40f2010-03-10 01:04:13 +00002616 std::pair<unsigned, unsigned> SrcID =
Bill Wendling55fccda2009-05-20 23:21:38 +00002617 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattneree3b40f2010-03-10 01:04:13 +00002618 Asm->OutStreamer.AddComment(Twine(getSourceDirectoryName(SrcID.first)) +
Chris Lattner48fb0b12010-03-10 02:29:31 +00002619 "/" +
2620 Twine(getSourceFileName(SrcID.second)) +
Chris Lattneree3b40f2010-03-10 01:04:13 +00002621 ":" + Twine(LineInfo.getLine()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002622 }
2623
2624 // Define the line address.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002625 Asm->OutStreamer.AddComment("Extended Op");
2626 Asm->EmitInt8(0);
2627 Asm->OutStreamer.AddComment("Op size");
2628 Asm->EmitInt8(TD->getPointerSize() + 1);
2629
2630 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2631 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2632
2633 Asm->OutStreamer.AddComment("Location label");
Chris Lattnereb159d62010-03-10 01:17:49 +00002634 Asm->OutStreamer.EmitSymbolValue(getDWLabel("label", LabelID),
2635 TD->getPointerSize(), 0/*AddrSpace*/);
2636
Bill Wendling55fccda2009-05-20 23:21:38 +00002637 // If change of source, then switch to the new source.
2638 if (Source != LineInfo.getSourceID()) {
2639 Source = LineInfo.getSourceID();
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002640 Asm->OutStreamer.AddComment("DW_LNS_set_file");
2641 Asm->EmitInt8(dwarf::DW_LNS_set_file);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002642 EmitULEB128(Source, "New Source");
Bill Wendling55fccda2009-05-20 23:21:38 +00002643 }
2644
2645 // If change of line.
2646 if (Line != LineInfo.getLine()) {
2647 // Determine offset.
2648 int Offset = LineInfo.getLine() - Line;
2649 int Delta = Offset - MinLineDelta;
2650
2651 // Update line.
2652 Line = LineInfo.getLine();
2653
2654 // If delta is small enough and in range...
2655 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2656 // ... then use fast opcode.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002657 Asm->OutStreamer.AddComment("Line Delta");
2658 Asm->EmitInt8(Delta - MinLineDelta);
Bill Wendling55fccda2009-05-20 23:21:38 +00002659 } else {
2660 // ... otherwise use long hand.
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002661 Asm->OutStreamer.AddComment("DW_LNS_advance_line");
Bill Wendling55fccda2009-05-20 23:21:38 +00002662 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner20f334f2010-01-22 22:56:55 +00002663 EmitSLEB128(Offset, "Line Offset");
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002664 Asm->OutStreamer.AddComment("DW_LNS_copy");
2665 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling55fccda2009-05-20 23:21:38 +00002666 }
2667 } else {
2668 // Copy the previous row (different address or source)
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002669 Asm->OutStreamer.AddComment("DW_LNS_copy");
2670 Asm->EmitInt8(dwarf::DW_LNS_copy);
Bill Wendling55fccda2009-05-20 23:21:38 +00002671 }
2672 }
2673
Devang Patelc50078e2009-11-21 02:48:08 +00002674 emitEndOfLineMatrix(j + 1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002675 }
2676
2677 if (SecSrcLinesSize == 0)
2678 // Because we're emitting a debug_line section, we still need a line
2679 // table. The linker and friends expect it to exist. If there's nothing to
2680 // put into it, emit an empty table.
Devang Patelc50078e2009-11-21 02:48:08 +00002681 emitEndOfLineMatrix(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002682
Chris Lattner6d213e82010-03-08 22:44:40 +00002683 Asm->OutStreamer.EmitLabel(getTempLabel("line_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002684}
2685
Devang Patelc50078e2009-11-21 02:48:08 +00002686/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002687///
Devang Patelc50078e2009-11-21 02:48:08 +00002688void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002689 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002690 return;
2691
2692 int stackGrowth =
2693 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2694 TargetFrameInfo::StackGrowsUp ?
2695 TD->getPointerSize() : -TD->getPointerSize();
2696
2697 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002698 Asm->OutStreamer.SwitchSection(
2699 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002700
Chris Lattner6d213e82010-03-08 22:44:40 +00002701 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common"));
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002702 Asm->OutStreamer.AddComment("Length of Common Information Entry");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002703 EmitDifference(getTempLabel("debug_frame_common_end"),
2704 getTempLabel("debug_frame_common_begin"), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002705
Chris Lattner6d213e82010-03-08 22:44:40 +00002706 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_begin"));
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002707 Asm->OutStreamer.AddComment("CIE Identifier Tag");
Bill Wendling55fccda2009-05-20 23:21:38 +00002708 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002709 Asm->OutStreamer.AddComment("CIE Version");
Bill Wendling55fccda2009-05-20 23:21:38 +00002710 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002711 Asm->OutStreamer.AddComment("CIE Augmentation");
Chris Lattnercc564642010-01-23 03:11:46 +00002712 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002713 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattner20f334f2010-01-22 22:56:55 +00002714 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002715 Asm->OutStreamer.AddComment("CIE RA Column");
Bill Wendling55fccda2009-05-20 23:21:38 +00002716 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Bill Wendling55fccda2009-05-20 23:21:38 +00002717
2718 std::vector<MachineMove> Moves;
2719 RI->getInitialFrameState(Moves);
2720
2721 EmitFrameMoves(NULL, 0, Moves, false);
2722
2723 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner6d213e82010-03-08 22:44:40 +00002724 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002725}
2726
Devang Patelc50078e2009-11-21 02:48:08 +00002727/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling55fccda2009-05-20 23:21:38 +00002728/// section.
2729void
Devang Patelc50078e2009-11-21 02:48:08 +00002730DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002731 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002732 return;
2733
2734 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002735 Asm->OutStreamer.SwitchSection(
2736 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002737
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002738 Asm->OutStreamer.AddComment("Length of Frame Information Entry");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002739 EmitDifference(getDWLabel("debug_frame_end", DebugFrameInfo.Number),
2740 getDWLabel("debug_frame_begin", DebugFrameInfo.Number), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002741
Chris Lattner6d213e82010-03-08 22:44:40 +00002742 Asm->OutStreamer.EmitLabel(getDWLabel("debug_frame_begin",
2743 DebugFrameInfo.Number));
Bill Wendling55fccda2009-05-20 23:21:38 +00002744
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002745 Asm->OutStreamer.AddComment("FDE CIE offset");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002746 EmitSectionOffset(getTempLabel("debug_frame_common"),
2747 getTempLabel("section_debug_frame"), true, false);
Bill Wendling55fccda2009-05-20 23:21:38 +00002748
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002749 Asm->OutStreamer.AddComment("FDE initial location");
Chris Lattnereb159d62010-03-10 01:17:49 +00002750 Asm->OutStreamer.EmitSymbolValue(getDWLabel("func_begin",
2751 DebugFrameInfo.Number),
2752 TD->getPointerSize(), 0/*AddrSpace*/);
2753
2754
2755
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002756 Asm->OutStreamer.AddComment("FDE address range");
Chris Lattner7bc33552010-03-08 22:47:57 +00002757 EmitDifference(getDWLabel("func_end", DebugFrameInfo.Number),
2758 getDWLabel("func_begin", DebugFrameInfo.Number));
Bill Wendling55fccda2009-05-20 23:21:38 +00002759
2760 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2761 false);
2762
2763 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner6d213e82010-03-08 22:44:40 +00002764 Asm->OutStreamer.EmitLabel(getDWLabel("debug_frame_end",
2765 DebugFrameInfo.Number));
Bill Wendling55fccda2009-05-20 23:21:38 +00002766}
2767
Devang Patelfe0be132009-12-09 18:24:21 +00002768/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2769///
2770void DwarfDebug::emitDebugPubNames() {
2771 // Start the dwarf pubnames section.
2772 Asm->OutStreamer.SwitchSection(
2773 Asm->getObjFileLowering().getDwarfPubNamesSection());
2774
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002775 Asm->OutStreamer.AddComment("Length of Public Names Info");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002776 EmitDifference(getDWLabel("pubnames_end", ModuleCU->getID()),
2777 getDWLabel("pubnames_begin", ModuleCU->getID()), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002778
Chris Lattner6d213e82010-03-08 22:44:40 +00002779 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_begin", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002780
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002781 Asm->OutStreamer.AddComment("DWARF Version");
2782 Asm->EmitInt16(dwarf::DWARF_VERSION);
Bill Wendling55fccda2009-05-20 23:21:38 +00002783
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002784 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002785 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
2786 getTempLabel("section_info"),
2787 true, false);
Bill Wendling55fccda2009-05-20 23:21:38 +00002788
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002789 Asm->OutStreamer.AddComment("Compilation Unit Length");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002790 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2791 getDWLabel("info_begin", ModuleCU->getID()),
Bill Wendling55fccda2009-05-20 23:21:38 +00002792 true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002793
Devang Patelfe0be132009-12-09 18:24:21 +00002794 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling55fccda2009-05-20 23:21:38 +00002795 for (StringMap<DIE*>::const_iterator
2796 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2797 const char *Name = GI->getKeyData();
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002798 DIE *Entity = GI->second;
Bill Wendling55fccda2009-05-20 23:21:38 +00002799
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002800 Asm->OutStreamer.AddComment("DIE offset");
2801 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002802
2803 if (Asm->VerboseAsm)
2804 Asm->OutStreamer.AddComment("External Name");
2805 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002806 }
2807
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002808 Asm->OutStreamer.AddComment("End Mark");
2809 Asm->EmitInt32(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002810 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_end", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002811}
2812
Devang Patelec13b4f2009-11-24 01:14:22 +00002813void DwarfDebug::emitDebugPubTypes() {
Devang Patel6f2bdd52009-11-24 19:18:41 +00002814 // Start the dwarf pubnames section.
2815 Asm->OutStreamer.SwitchSection(
2816 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002817 Asm->OutStreamer.AddComment("Length of Public Types Info");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002818 EmitDifference(getDWLabel("pubtypes_end", ModuleCU->getID()),
2819 getDWLabel("pubtypes_begin", ModuleCU->getID()), true);
Devang Patelec13b4f2009-11-24 01:14:22 +00002820
Chris Lattner6d213e82010-03-08 22:44:40 +00002821 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_begin", ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00002822
Devang Patel40b6cda2010-02-02 03:47:27 +00002823 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2824 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patelec13b4f2009-11-24 01:14:22 +00002825
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002826 Asm->OutStreamer.AddComment("Offset of Compilation ModuleCU Info");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002827 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
2828 getTempLabel("section_info"), true, false);
Devang Patelec13b4f2009-11-24 01:14:22 +00002829
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002830 Asm->OutStreamer.AddComment("Compilation ModuleCU Length");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002831 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2832 getDWLabel("info_begin", ModuleCU->getID()),
Devang Patelec13b4f2009-11-24 01:14:22 +00002833 true);
Devang Patelec13b4f2009-11-24 01:14:22 +00002834
2835 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2836 for (StringMap<DIE*>::const_iterator
2837 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2838 const char *Name = GI->getKeyData();
2839 DIE * Entity = GI->second;
2840
Devang Patel40b6cda2010-02-02 03:47:27 +00002841 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2842 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002843
2844 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel0ceb4892010-02-02 03:37:03 +00002845 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patelec13b4f2009-11-24 01:14:22 +00002846 }
2847
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002848 Asm->OutStreamer.AddComment("End Mark");
2849 Asm->EmitInt32(0);
Chris Lattner6d213e82010-03-08 22:44:40 +00002850 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_end", ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00002851}
2852
Devang Patelc50078e2009-11-21 02:48:08 +00002853/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002854///
Devang Patelc50078e2009-11-21 02:48:08 +00002855void DwarfDebug::emitDebugStr() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002856 // Check to see if it is worth the effort.
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002857 if (StringPool.empty()) return;
2858
2859 // Start the dwarf str section.
2860 Asm->OutStreamer.SwitchSection(
Chris Lattner73266f92009-08-19 05:49:37 +00002861 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002862
Chris Lattner8bd2f8f2010-03-09 23:38:23 +00002863 // For each of strings in the string pool.
2864 for (unsigned StringID = 1, N = StringPool.size(); StringID <= N; ++StringID){
2865 // Emit a label for reference from debug information entries.
2866 Asm->OutStreamer.EmitLabel(getDWLabel("string", StringID));
2867
2868 // Emit the string itself.
2869 const std::string &String = StringPool[StringID];
2870 Asm->OutStreamer.EmitBytes(StringRef(String.c_str(), String.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002871 }
2872}
2873
Devang Patelc50078e2009-11-21 02:48:08 +00002874/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002875///
Devang Patelc50078e2009-11-21 02:48:08 +00002876void DwarfDebug::emitDebugLoc() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002877 // Start the dwarf loc section.
Chris Lattner73266f92009-08-19 05:49:37 +00002878 Asm->OutStreamer.SwitchSection(
2879 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002880}
2881
2882/// EmitDebugARanges - Emit visible names into a debug aranges section.
2883///
2884void DwarfDebug::EmitDebugARanges() {
2885 // Start the dwarf aranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002886 Asm->OutStreamer.SwitchSection(
2887 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002888}
2889
Devang Patelc50078e2009-11-21 02:48:08 +00002890/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002891///
Devang Patelc50078e2009-11-21 02:48:08 +00002892void DwarfDebug::emitDebugRanges() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002893 // Start the dwarf ranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002894 Asm->OutStreamer.SwitchSection(
2895 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002896}
2897
Devang Patelc50078e2009-11-21 02:48:08 +00002898/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002899///
Devang Patelc50078e2009-11-21 02:48:08 +00002900void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbar41716322009-09-19 20:40:05 +00002901 if (const MCSection *LineInfo =
Chris Lattner72d228d2009-08-02 07:24:22 +00002902 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002903 // Start the dwarf macinfo section.
Chris Lattner73266f92009-08-19 05:49:37 +00002904 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling55fccda2009-05-20 23:21:38 +00002905 }
2906}
2907
Devang Patelc50078e2009-11-21 02:48:08 +00002908/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling55fccda2009-05-20 23:21:38 +00002909/// Section Header:
2910/// 1. length of section
2911/// 2. Dwarf version number
2912/// 3. address size.
2913///
2914/// Entries (one "entry" for each function that was inlined):
2915///
2916/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2917/// otherwise offset into __debug_str for regular function name.
2918/// 2. offset into __debug_str section for regular function name.
2919/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2920/// instances for the function.
2921///
2922/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2923/// inlined instance; the die_offset points to the inlined_subroutine die in the
2924/// __debug_info section, and the low_pc is the starting address for the
2925/// inlining instance.
Devang Patelc50078e2009-11-21 02:48:08 +00002926void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002927 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002928 return;
2929
Devang Patel5a3d37f2009-06-29 20:45:18 +00002930 if (!ModuleCU)
Bill Wendling55fccda2009-05-20 23:21:38 +00002931 return;
2932
Chris Lattner73266f92009-08-19 05:49:37 +00002933 Asm->OutStreamer.SwitchSection(
2934 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerad653482010-01-22 22:09:00 +00002935
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002936 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002937 EmitDifference(getDWLabel("debug_inlined_end", 1),
2938 getDWLabel("debug_inlined_begin", 1), true);
Bill Wendling55fccda2009-05-20 23:21:38 +00002939
Chris Lattner6d213e82010-03-08 22:44:40 +00002940 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_begin", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00002941
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002942 Asm->OutStreamer.AddComment("Dwarf Version");
2943 Asm->EmitInt16(dwarf::DWARF_VERSION);
2944 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2945 Asm->EmitInt8(TD->getPointerSize());
Bill Wendling55fccda2009-05-20 23:21:38 +00002946
Devang Patel90a0fe32009-11-10 23:06:00 +00002947 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2948 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach652b7432009-11-21 23:12:12 +00002949
Devang Patel90a0fe32009-11-10 23:06:00 +00002950 MDNode *Node = *I;
Devang Patel7d707f92010-01-19 06:19:05 +00002951 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbachb23f2422009-11-22 19:20:36 +00002952 = InlineInfo.find(Node);
Devang Patel90a0fe32009-11-10 23:06:00 +00002953 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel15e723d2009-08-28 23:24:31 +00002954 DISubprogram SP(Node);
Devang Patel7f75bbe2009-11-25 17:36:49 +00002955 StringRef LName = SP.getLinkageName();
2956 StringRef Name = SP.getName();
Bill Wendling55fccda2009-05-20 23:21:38 +00002957
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002958 Asm->OutStreamer.AddComment("MIPS linkage name");
Chris Lattnercc564642010-01-23 03:11:46 +00002959 if (LName.empty()) {
2960 Asm->OutStreamer.EmitBytes(Name, 0);
2961 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
2962 } else
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002963 EmitSectionOffset(getDWLabel("string",
2964 StringPool.idFor(getRealLinkageName(LName))),
2965 getTempLabel("section_str"), true);
Devang Patel90a0fe32009-11-10 23:06:00 +00002966
Chris Lattner9ef8efd2010-03-09 23:52:58 +00002967 Asm->OutStreamer.AddComment("Function name");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002968 EmitSectionOffset(getDWLabel("string", StringPool.idFor(Name)),
2969 getTempLabel("section_str"), false, true);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002970 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling55fccda2009-05-20 23:21:38 +00002971
Devang Patel90a0fe32009-11-10 23:06:00 +00002972 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling55fccda2009-05-20 23:21:38 +00002973 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattneread58652010-03-09 00:31:02 +00002974 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2975 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002976
Chris Lattnere90630a2010-03-09 00:26:09 +00002977 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner2ab0c442010-03-09 00:39:24 +00002978 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002979 }
2980 }
2981
Chris Lattner6d213e82010-03-08 22:44:40 +00002982 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_end", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00002983}