blob: af651a71d9839c874d0a0eeedf118787774cf188 [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();
Devang Patel90a0fe32009-11-10 23:06:00 +00001368
Chris Lattner855e8f52010-03-09 01:58:53 +00001369 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
1370 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Chris Lattner5e423432010-03-09 01:51:43 +00001371
Devang Patel90a0fe32009-11-10 23:06:00 +00001372 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1373 if (Scope->isAbstractScope())
1374 return ScopeDIE;
1375
Devang Patelc50078e2009-11-21 02:48:08 +00001376 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Chris Lattner855e8f52010-03-09 01:58:53 +00001377 Start ? Start : getDWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001378 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Chris Lattner855e8f52010-03-09 01:58:53 +00001379 End ? End : getDWLabel("func_end", SubprogramCount));
Devang Patel90a0fe32009-11-10 23:06:00 +00001380
1381 return ScopeDIE;
1382}
1383
Devang Patelc50078e2009-11-21 02:48:08 +00001384/// constructInlinedScopeDIE - This scope represents inlined body of
1385/// a function. Construct DIE to represent this concrete inlined copy
1386/// of the function.
1387DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Chris Lattner855e8f52010-03-09 01:58:53 +00001388 MCSymbol *StartLabel = Scope->getStartLabel();
1389 MCSymbol *EndLabel = Scope->getEndLabel();
1390 assert(StartLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001391 "Invalid starting label for an inlined scope!");
Chris Lattner855e8f52010-03-09 01:58:53 +00001392 assert(EndLabel->isDefined() &&
Chris Lattner5e423432010-03-09 01:51:43 +00001393 "Invalid end label for an inlined scope!");
Devang Patel9e592492010-03-08 20:52:55 +00001394 if (!Scope->getScopeNode())
Devang Patelbe149872010-03-08 19:20:38 +00001395 return NULL;
Devang Patel9e592492010-03-08 20:52:55 +00001396 DIScope DS(Scope->getScopeNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001397 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1398
1399 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001400 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001401 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patelc50078e2009-11-21 02:48:08 +00001402 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001403 dwarf::DW_FORM_ref4, OriginDIE);
1404
Chris Lattneread58652010-03-09 00:31:02 +00001405 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, StartLabel);
Chris Lattner855e8f52010-03-09 01:58:53 +00001406 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, EndLabel);
Devang Patel90a0fe32009-11-10 23:06:00 +00001407
1408 InlinedSubprogramDIEs.insert(OriginDIE);
1409
1410 // Track the start label for this inlined function.
Devang Patel7d707f92010-01-19 06:19:05 +00001411 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel90a0fe32009-11-10 23:06:00 +00001412 I = InlineInfo.find(InlinedSP.getNode());
1413
1414 if (I == InlineInfo.end()) {
Chris Lattneread58652010-03-09 00:31:02 +00001415 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartLabel,
Jim Grosbachb23f2422009-11-22 19:20:36 +00001416 ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001417 InlinedSPNodes.push_back(InlinedSP.getNode());
1418 } else
Chris Lattneread58652010-03-09 00:31:02 +00001419 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001420
1421 StringPool.insert(InlinedSP.getName());
Devang Patel141e1c42010-01-05 01:46:14 +00001422 StringPool.insert(getRealLinkageName(InlinedSP.getLinkageName()));
1423
Devang Patel90a0fe32009-11-10 23:06:00 +00001424 DILocation DL(Scope->getInlinedAt());
Devang Patelc50078e2009-11-21 02:48:08 +00001425 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1426 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel90a0fe32009-11-10 23:06:00 +00001427
1428 return ScopeDIE;
1429}
1430
Devang Patelc50078e2009-11-21 02:48:08 +00001431
1432/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patelfe0be132009-12-09 18:24:21 +00001433DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001434 // Get the descriptor.
1435 const DIVariable &VD = DV->getVariable();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001436 StringRef Name = VD.getName();
1437 if (Name.empty())
Devang Patelab9a0682009-11-13 02:25:26 +00001438 return NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001439
1440 // Translate tag to proper Dwarf tag. The result variable is dropped for
1441 // now.
1442 unsigned Tag;
1443 switch (VD.getTag()) {
1444 case dwarf::DW_TAG_return_variable:
1445 return NULL;
1446 case dwarf::DW_TAG_arg_variable:
1447 Tag = dwarf::DW_TAG_formal_parameter;
1448 break;
1449 case dwarf::DW_TAG_auto_variable: // fall thru
1450 default:
1451 Tag = dwarf::DW_TAG_variable;
1452 break;
1453 }
1454
1455 // Define variable debug information entry.
1456 DIE *VariableDie = new DIE(Tag);
1457
1458
1459 DIE *AbsDIE = NULL;
1460 if (DbgVariable *AV = DV->getAbstractVariable())
1461 AbsDIE = AV->getDIE();
Jim Grosbach652b7432009-11-21 23:12:12 +00001462
Devang Patel90a0fe32009-11-10 23:06:00 +00001463 if (AbsDIE) {
1464 DIScope DS(Scope->getScopeNode());
1465 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001466 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc9f2d242009-11-11 03:09:50 +00001467 (void) OriginSPDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001468 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1469 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1470 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patelc50078e2009-11-21 02:48:08 +00001471 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001472 dwarf::DW_FORM_ref4, AbsDIE);
1473 }
1474 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001475 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1476 addSourceLine(VariableDie, &VD);
Devang Patel90a0fe32009-11-10 23:06:00 +00001477
1478 // Add variable type.
Jim Grosbach652b7432009-11-21 23:12:12 +00001479 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel90a0fe32009-11-10 23:06:00 +00001480 // addresses instead.
1481 if (VD.isBlockByrefVariable())
Devang Patelfe0be132009-12-09 18:24:21 +00001482 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel90a0fe32009-11-10 23:06:00 +00001483 else
Devang Patelfe0be132009-12-09 18:24:21 +00001484 addType(VariableDie, VD.getType());
Devang Patel90a0fe32009-11-10 23:06:00 +00001485 }
1486
1487 // Add variable address.
1488 if (!Scope->isAbstractScope()) {
1489 MachineLocation Location;
Jim Grosbach587d4882009-11-22 20:14:00 +00001490 unsigned FrameReg;
1491 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1492 Location.set(FrameReg, Offset);
Jim Grosbach652b7432009-11-21 23:12:12 +00001493
Devang Patel90a0fe32009-11-10 23:06:00 +00001494 if (VD.hasComplexAddress())
Devang Patelc50078e2009-11-21 02:48:08 +00001495 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001496 else if (VD.isBlockByrefVariable())
Devang Patelc50078e2009-11-21 02:48:08 +00001497 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001498 else
Devang Patelc50078e2009-11-21 02:48:08 +00001499 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001500 }
Devang Patelc5dc7252010-02-06 01:02:37 +00001501
1502 if (Tag == dwarf::DW_TAG_formal_parameter && VD.getType().isArtificial())
1503 addUInt(VariableDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001504 DV->setDIE(VariableDie);
1505 return VariableDie;
1506
1507}
Devang Patelc50078e2009-11-21 02:48:08 +00001508
Devang Patelec13b4f2009-11-24 01:14:22 +00001509void DwarfDebug::addPubTypes(DISubprogram SP) {
1510 DICompositeType SPTy = SP.getType();
1511 unsigned SPTag = SPTy.getTag();
1512 if (SPTag != dwarf::DW_TAG_subroutine_type)
1513 return;
1514
1515 DIArray Args = SPTy.getTypeArray();
Devang Patelec13b4f2009-11-24 01:14:22 +00001516 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1517 DIType ATy(Args.getElement(i).getNode());
Devang Patel9e592492010-03-08 20:52:55 +00001518 if (!ATy.isValid())
Devang Patelec13b4f2009-11-24 01:14:22 +00001519 continue;
1520 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel9e592492010-03-08 20:52:55 +00001521 if (DIDescriptor(CATy.getNode()).Verify() && !CATy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001522 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1523 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1524 }
1525 }
1526}
1527
Devang Patelc50078e2009-11-21 02:48:08 +00001528/// constructScopeDIE - Construct a DIE for this scope.
1529DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel9e592492010-03-08 20:52:55 +00001530 if (!Scope || !Scope->getScopeNode())
1531 return NULL;
1532
1533 DIScope DS(Scope->getScopeNode());
1534 DIE *ScopeDIE = NULL;
1535 if (Scope->getInlinedAt())
1536 ScopeDIE = constructInlinedScopeDIE(Scope);
1537 else if (DS.isSubprogram()) {
1538 if (Scope->isAbstractScope())
1539 ScopeDIE = ModuleCU->getDIE(DS.getNode());
1540 else
1541 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
1542 }
1543 else {
1544 ScopeDIE = constructLexicalScopeDIE(Scope);
1545 if (!ScopeDIE) return NULL;
1546 }
1547
Devang Patel90a0fe32009-11-10 23:06:00 +00001548 // Add variables to scope.
Douglas Gregordf49dc72010-03-08 02:58:37 +00001549 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
Devang Patel90a0fe32009-11-10 23:06:00 +00001550 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patelfe0be132009-12-09 18:24:21 +00001551 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach652b7432009-11-21 23:12:12 +00001552 if (VariableDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001553 ScopeDIE->addChild(VariableDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001554 }
1555
1556 // Add nested scopes.
Douglas Gregordf49dc72010-03-08 02:58:37 +00001557 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
Devang Patel90a0fe32009-11-10 23:06:00 +00001558 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1559 // Define the Scope debug information entry.
Devang Patelc50078e2009-11-21 02:48:08 +00001560 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach652b7432009-11-21 23:12:12 +00001561 if (NestedDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001562 ScopeDIE->addChild(NestedDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001563 }
Devang Patelec13b4f2009-11-24 01:14:22 +00001564
1565 if (DS.isSubprogram())
1566 addPubTypes(DISubprogram(DS.getNode()));
1567
1568 return ScopeDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001569}
1570
Bill Wendlingf5839192009-05-20 23:19:06 +00001571/// GetOrCreateSourceID - Look up the source id with the given directory and
1572/// source file names. If none currently exists, create a new id and insert it
1573/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1574/// maps as well.
Devang Patel7f75bbe2009-11-25 17:36:49 +00001575unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001576 unsigned DId;
1577 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1578 if (DI != DirectoryIdMap.end()) {
1579 DId = DI->getValue();
1580 } else {
1581 DId = DirectoryNames.size() + 1;
1582 DirectoryIdMap[DirName] = DId;
1583 DirectoryNames.push_back(DirName);
1584 }
1585
1586 unsigned FId;
1587 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1588 if (FI != SourceFileIdMap.end()) {
1589 FId = FI->getValue();
1590 } else {
1591 FId = SourceFileNames.size() + 1;
1592 SourceFileIdMap[FileName] = FId;
1593 SourceFileNames.push_back(FileName);
1594 }
1595
1596 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1597 SourceIdMap.find(std::make_pair(DId, FId));
1598 if (SI != SourceIdMap.end())
1599 return SI->second;
1600
1601 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1602 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1603 SourceIds.push_back(std::make_pair(DId, FId));
1604
1605 return SrcId;
1606}
1607
Devang Patel8287d662009-12-15 19:16:48 +00001608/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1609DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1610 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1611 if (NDie)
1612 return NDie;
1613 NDie = new DIE(dwarf::DW_TAG_namespace);
1614 ModuleCU->insertDIE(NS.getNode(), NDie);
1615 if (!NS.getName().empty())
1616 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1617 addSourceLine(NDie, &NS);
1618 addToContextOwner(NDie, NS.getContext());
1619 return NDie;
1620}
1621
Devang Patelb9f2c6b2009-12-11 21:37:07 +00001622CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001623 DICompileUnit DIUnit(N);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001624 StringRef FN = DIUnit.getFilename();
1625 StringRef Dir = DIUnit.getDirectory();
Devang Patelaaf012e2009-09-29 18:40:58 +00001626 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001627
1628 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001629 // FIXME: Why getting the delta between two identical labels??
Devang Patelc50078e2009-11-21 02:48:08 +00001630 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00001631 getTempLabel("section_line"), getTempLabel("section_line"),
Bill Wendlingf5839192009-05-20 23:19:06 +00001632 false);
Devang Patelc50078e2009-11-21 02:48:08 +00001633 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001634 DIUnit.getProducer());
Devang Patelc50078e2009-11-21 02:48:08 +00001635 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf5839192009-05-20 23:19:06 +00001636 DIUnit.getLanguage());
Devang Patelc50078e2009-11-21 02:48:08 +00001637 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001638
Devang Patel7f75bbe2009-11-25 17:36:49 +00001639 if (!Dir.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001640 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf5839192009-05-20 23:19:06 +00001641 if (DIUnit.isOptimized())
Devang Patelc50078e2009-11-21 02:48:08 +00001642 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf5839192009-05-20 23:19:06 +00001643
Devang Patel7f75bbe2009-11-25 17:36:49 +00001644 StringRef Flags = DIUnit.getFlags();
1645 if (!Flags.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001646 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf5839192009-05-20 23:19:06 +00001647
1648 unsigned RVer = DIUnit.getRunTimeVersion();
1649 if (RVer)
Devang Patelc50078e2009-11-21 02:48:08 +00001650 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf5839192009-05-20 23:19:06 +00001651 dwarf::DW_FORM_data1, RVer);
1652
1653 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel5a3d37f2009-06-29 20:45:18 +00001654 if (!ModuleCU && DIUnit.isMain()) {
Devang Patelf97a05a2009-06-29 20:38:13 +00001655 // Use first compile unit marked as isMain as the compile unit
1656 // for this module.
Devang Patel5a3d37f2009-06-29 20:45:18 +00001657 ModuleCU = Unit;
Devang Patelf97a05a2009-06-29 20:38:13 +00001658 }
Bill Wendlingf5839192009-05-20 23:19:06 +00001659
Devang Patelb9f2c6b2009-12-11 21:37:07 +00001660 return Unit;
Bill Wendlingf5839192009-05-20 23:19:06 +00001661}
1662
Devang Patelc50078e2009-11-21 02:48:08 +00001663void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001664 DIGlobalVariable DI_GV(N);
Daniel Dunbar41716322009-09-19 20:40:05 +00001665
Devang Patel0c03f062009-09-04 23:59:07 +00001666 // If debug information is malformed then ignore it.
1667 if (DI_GV.Verify() == false)
1668 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001669
1670 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001671 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel166f8432009-06-26 01:49:18 +00001672 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001673
Devang Patelfe0be132009-12-09 18:24:21 +00001674 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel6d479632009-12-10 23:25:41 +00001675 if (!VariableDie)
1676 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001677
Bill Wendlingf5839192009-05-20 23:19:06 +00001678 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001679 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001680
1681 // Add to context owner.
Devang Pateldcc0dce2010-01-15 01:12:22 +00001682 DIDescriptor GVContext = DI_GV.getContext();
1683 // Do not create specification DIE if context is either compile unit
1684 // or a subprogram.
1685 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
1686 && !GVContext.isSubprogram()) {
Devang Patel8287d662009-12-15 19:16:48 +00001687 // Create specification DIE.
1688 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1689 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1690 dwarf::DW_FORM_ref4, VariableDie);
1691 DIEBlock *Block = new DIEBlock();
1692 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001693 addLabel(Block, 0, dwarf::DW_FORM_udata,
1694 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001695 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
Devang Patela0a98582010-02-09 01:58:33 +00001696 addUInt(VariableDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Devang Patel8287d662009-12-15 19:16:48 +00001697 ModuleCU->addDie(VariableSpecDIE);
1698 } else {
1699 DIEBlock *Block = new DIEBlock();
1700 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
Chris Lattner703d12e2010-03-08 22:31:46 +00001701 addLabel(Block, 0, dwarf::DW_FORM_udata,
1702 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001703 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1704 }
Devang Pateldcc0dce2010-01-15 01:12:22 +00001705 addToContextOwner(VariableDie, GVContext);
Devang Patel1a8f9a82009-12-10 19:14:49 +00001706
Bill Wendlingf5839192009-05-20 23:19:06 +00001707 // Expose as global. FIXME - need to check external flag.
Devang Patelc50078e2009-11-21 02:48:08 +00001708 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001709
1710 DIType GTy = DI_GV.getType();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001711 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001712 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1713 assert (Entry && "Missing global type!");
1714 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1715 }
Devang Patel166f8432009-06-26 01:49:18 +00001716 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001717}
1718
Devang Patelc50078e2009-11-21 02:48:08 +00001719void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001720 DISubprogram SP(N);
Bill Wendlingf5839192009-05-20 23:19:06 +00001721
1722 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001723 if (ModuleCU->getDIE(N))
Devang Patel166f8432009-06-26 01:49:18 +00001724 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001725
1726 if (!SP.isDefinition())
1727 // This is a method declaration which will be handled while constructing
1728 // class type.
Devang Patel166f8432009-06-26 01:49:18 +00001729 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001730
Devang Patelfe0be132009-12-09 18:24:21 +00001731 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf5839192009-05-20 23:19:06 +00001732
1733 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001734 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001735
1736 // Add to context owner.
Devang Patel8287d662009-12-15 19:16:48 +00001737 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patelde2d3682009-12-08 23:21:45 +00001738
Bill Wendlingf5839192009-05-20 23:19:06 +00001739 // Expose as global.
Devang Patelc50078e2009-11-21 02:48:08 +00001740 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001741
Devang Patel166f8432009-06-26 01:49:18 +00001742 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001743}
1744
Devang Patelc50078e2009-11-21 02:48:08 +00001745/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar19f1d442009-09-19 20:40:14 +00001746/// content. Create global DIEs and emit initial debug info sections.
1747/// This is inovked by the target AsmPrinter.
Devang Patelc50078e2009-11-21 02:48:08 +00001748void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel59a1d422009-06-25 22:36:02 +00001749 this->M = M;
1750
Bill Wendlingf5839192009-05-20 23:19:06 +00001751 if (TimePassesIsEnabled)
1752 DebugTimer->startTimer();
1753
Devang Patel1b4d6832009-11-11 19:55:08 +00001754 if (!MAI->doesSupportDebugInformation())
1755 return;
1756
Devang Patelfda766d2009-07-30 18:56:46 +00001757 DebugInfoFinder DbgFinder;
1758 DbgFinder.processModule(*M);
Devang Patel166f8432009-06-26 01:49:18 +00001759
Bill Wendlingf5839192009-05-20 23:19:06 +00001760 // Create all the compile unit DIEs.
Devang Patelfda766d2009-07-30 18:56:46 +00001761 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1762 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001763 constructCompileUnit(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001764
Devang Patel5a3d37f2009-06-29 20:45:18 +00001765 if (!ModuleCU)
Devang Patel7f9e0f32010-03-08 22:02:50 +00001766 return;
Devang Patelf97a05a2009-06-29 20:38:13 +00001767
Devang Patel90a0fe32009-11-10 23:06:00 +00001768 // Create DIEs for each subprogram.
Devang Patelfda766d2009-07-30 18:56:46 +00001769 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1770 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001771 constructSubprogramDIE(*I);
Devang Patel166f8432009-06-26 01:49:18 +00001772
Devang Patel1a8f9a82009-12-10 19:14:49 +00001773 // Create DIEs for each global variable.
1774 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1775 E = DbgFinder.global_variable_end(); I != E; ++I)
1776 constructGlobalVariableDIE(*I);
1777
Bill Wendlingf5839192009-05-20 23:19:06 +00001778 MMI = mmi;
1779 shouldEmit = true;
1780 MMI->setDebugInfoAvailability(true);
1781
1782 // Prime section data.
Chris Lattnerc4c40a92009-07-28 03:13:23 +00001783 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001784
1785 // Print out .file directives to specify files for .loc directives. These are
1786 // printed out early so that they precede any .loc directives.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001787 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001788 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1789 // Remember source id starts at 1.
1790 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerad653482010-01-22 22:09:00 +00001791 // FIXME: don't use sys::path for this! This should not depend on the
1792 // host.
Bill Wendlingf5839192009-05-20 23:19:06 +00001793 sys::Path FullPath(getSourceDirectoryName(Id.first));
1794 bool AppendOk =
1795 FullPath.appendComponent(getSourceFileName(Id.second));
1796 assert(AppendOk && "Could not append filename to directory!");
1797 AppendOk = false;
Chris Lattner59be4ea2010-01-25 18:58:59 +00001798 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf5839192009-05-20 23:19:06 +00001799 }
1800 }
1801
1802 // Emit initial sections
Devang Patelc50078e2009-11-21 02:48:08 +00001803 emitInitial();
Bill Wendlingf5839192009-05-20 23:19:06 +00001804
1805 if (TimePassesIsEnabled)
1806 DebugTimer->stopTimer();
1807}
1808
Devang Patelc50078e2009-11-21 02:48:08 +00001809/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf5839192009-05-20 23:19:06 +00001810///
Devang Patelc50078e2009-11-21 02:48:08 +00001811void DwarfDebug::endModule() {
Devang Patel95d477e2009-10-06 00:03:14 +00001812 if (!ModuleCU)
Bill Wendlingf5839192009-05-20 23:19:06 +00001813 return;
1814
1815 if (TimePassesIsEnabled)
1816 DebugTimer->startTimer();
1817
Devang Patel90a0fe32009-11-10 23:06:00 +00001818 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1819 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1820 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1821 DIE *ISP = *AI;
Devang Patelc50078e2009-11-21 02:48:08 +00001822 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel90a0fe32009-11-10 23:06:00 +00001823 }
1824
Devang Patelc1df8792009-12-03 01:25:38 +00001825 // Insert top level DIEs.
1826 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1827 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1828 ModuleCU->getCUDie()->addChild(*TI);
1829
Devang Patel7d707f92010-01-19 06:19:05 +00001830 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel188c85d2009-12-03 19:11:07 +00001831 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1832 DIE *SPDie = CI->first;
1833 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1834 if (!N) continue;
1835 DIE *NDie = ModuleCU->getDIE(N);
1836 if (!NDie) continue;
1837 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel69aae432010-01-15 00:26:31 +00001838 // FIXME - This is not the correct approach.
1839 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel188c85d2009-12-03 19:11:07 +00001840 }
1841
Bill Wendlingf5839192009-05-20 23:19:06 +00001842 // Standard sections final addresses.
Chris Lattner73266f92009-08-19 05:49:37 +00001843 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00001844 Asm->OutStreamer.EmitLabel(getTempLabel("text_end"));
Chris Lattner73266f92009-08-19 05:49:37 +00001845 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00001846 Asm->OutStreamer.EmitLabel(getTempLabel("data_end"));
Bill Wendlingf5839192009-05-20 23:19:06 +00001847
1848 // End text sections.
1849 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner73266f92009-08-19 05:49:37 +00001850 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Chris Lattner6d213e82010-03-08 22:44:40 +00001851 Asm->OutStreamer.EmitLabel(getDWLabel("section_end", i));
Bill Wendlingf5839192009-05-20 23:19:06 +00001852 }
1853
1854 // Emit common frame information.
Devang Patelc50078e2009-11-21 02:48:08 +00001855 emitCommonDebugFrame();
Bill Wendlingf5839192009-05-20 23:19:06 +00001856
1857 // Emit function debug frame information
1858 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1859 E = DebugFrames.end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001860 emitFunctionDebugFrame(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001861
1862 // Compute DIE offsets and sizes.
Devang Patelc50078e2009-11-21 02:48:08 +00001863 computeSizeAndOffsets();
Bill Wendlingf5839192009-05-20 23:19:06 +00001864
1865 // Emit all the DIEs into a debug info section
Devang Patelc50078e2009-11-21 02:48:08 +00001866 emitDebugInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001867
1868 // Corresponding abbreviations into a abbrev section.
Devang Patelc50078e2009-11-21 02:48:08 +00001869 emitAbbreviations();
Bill Wendlingf5839192009-05-20 23:19:06 +00001870
1871 // Emit source line correspondence into a debug line section.
Devang Patelc50078e2009-11-21 02:48:08 +00001872 emitDebugLines();
Bill Wendlingf5839192009-05-20 23:19:06 +00001873
1874 // Emit info into a debug pubnames section.
Devang Patelc50078e2009-11-21 02:48:08 +00001875 emitDebugPubNames();
Bill Wendlingf5839192009-05-20 23:19:06 +00001876
Devang Patelec13b4f2009-11-24 01:14:22 +00001877 // Emit info into a debug pubtypes section.
1878 emitDebugPubTypes();
1879
Bill Wendlingf5839192009-05-20 23:19:06 +00001880 // Emit info into a debug str section.
Devang Patelc50078e2009-11-21 02:48:08 +00001881 emitDebugStr();
Bill Wendlingf5839192009-05-20 23:19:06 +00001882
1883 // Emit info into a debug loc section.
Devang Patelc50078e2009-11-21 02:48:08 +00001884 emitDebugLoc();
Bill Wendlingf5839192009-05-20 23:19:06 +00001885
1886 // Emit info into a debug aranges section.
1887 EmitDebugARanges();
1888
1889 // Emit info into a debug ranges section.
Devang Patelc50078e2009-11-21 02:48:08 +00001890 emitDebugRanges();
Bill Wendlingf5839192009-05-20 23:19:06 +00001891
1892 // Emit info into a debug macinfo section.
Devang Patelc50078e2009-11-21 02:48:08 +00001893 emitDebugMacInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001894
1895 // Emit inline info.
Devang Patelc50078e2009-11-21 02:48:08 +00001896 emitDebugInlineInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001897
1898 if (TimePassesIsEnabled)
1899 DebugTimer->stopTimer();
1900}
1901
Devang Patel90a0fe32009-11-10 23:06:00 +00001902/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbachb23f2422009-11-22 19:20:36 +00001903DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1904 unsigned FrameIdx,
Devang Patel90a0fe32009-11-10 23:06:00 +00001905 DILocation &ScopeLoc) {
1906
1907 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1908 if (AbsDbgVariable)
1909 return AbsDbgVariable;
1910
1911 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1912 if (!Scope)
1913 return NULL;
1914
1915 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patelc50078e2009-11-21 02:48:08 +00001916 Scope->addVariable(AbsDbgVariable);
Devang Patel90a0fe32009-11-10 23:06:00 +00001917 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1918 return AbsDbgVariable;
1919}
1920
Devang Patelc50078e2009-11-21 02:48:08 +00001921/// collectVariableInfo - Populate DbgScope entries with variables' info.
1922void DwarfDebug::collectVariableInfo() {
Devang Patel40c80212009-10-09 22:42:28 +00001923 if (!MMI) return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001924
Devang Patel84139992009-10-06 01:26:37 +00001925 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1926 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1927 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel0a0ea052010-01-22 22:52:10 +00001928 MDNode *Var = VI->first;
Devang Patel90a0fe32009-11-10 23:06:00 +00001929 if (!Var) continue;
Devang Patel6882dff2009-10-08 18:48:03 +00001930 DIVariable DV (Var);
Devang Patel90a0fe32009-11-10 23:06:00 +00001931 std::pair< unsigned, MDNode *> VP = VI->second;
1932 DILocation ScopeLoc(VP.second);
1933
1934 DbgScope *Scope =
1935 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1936 if (!Scope)
Jim Grosbach652b7432009-11-21 23:12:12 +00001937 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelbad42262009-11-10 23:20:04 +00001938 // If variable scope is not found then skip this variable.
1939 if (!Scope)
1940 continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00001941
1942 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patelc50078e2009-11-21 02:48:08 +00001943 Scope->addVariable(RegVar);
Jim Grosbachb23f2422009-11-22 19:20:36 +00001944 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1945 ScopeLoc))
Devang Patel90a0fe32009-11-10 23:06:00 +00001946 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patel84139992009-10-06 01:26:37 +00001947 }
1948}
1949
Devang Patelc50078e2009-11-21 02:48:08 +00001950/// beginScope - Process beginning of a scope starting at Label.
1951void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel393a46d2009-10-06 01:50:42 +00001952 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1953 if (I == DbgScopeBeginMap.end())
1954 return;
Dan Gohman8d34f972009-11-23 21:30:55 +00001955 ScopeVector &SD = I->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00001956 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00001957 SDI != SDE; ++SDI)
Chris Lattner855e8f52010-03-09 01:58:53 +00001958 (*SDI)->setStartLabel(getDWLabel("label", Label));
Devang Patel393a46d2009-10-06 01:50:42 +00001959}
1960
Devang Patelc50078e2009-11-21 02:48:08 +00001961/// endScope - Process end of a scope.
1962void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel393a46d2009-10-06 01:50:42 +00001963 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patelf4348892009-10-06 03:15:38 +00001964 if (I == DbgScopeEndMap.end())
Devang Patel393a46d2009-10-06 01:50:42 +00001965 return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001966
Chris Lattner855e8f52010-03-09 01:58:53 +00001967 MCSymbol *Label = getDWLabel("label", MMI->NextLabelID());
1968 Asm->OutStreamer.EmitLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00001969
Chris Lattner855e8f52010-03-09 01:58:53 +00001970 SmallVector<DbgScope*, 2> &SD = I->second;
Devang Patel393a46d2009-10-06 01:50:42 +00001971 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00001972 SDI != SDE; ++SDI)
Chris Lattner855e8f52010-03-09 01:58:53 +00001973 (*SDI)->setEndLabel(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00001974 return;
1975}
1976
1977/// createDbgScope - Create DbgScope for the scope.
1978void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1979
1980 if (!InlinedAt) {
1981 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1982 if (WScope)
1983 return;
1984 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1985 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach652b7432009-11-21 23:12:12 +00001986 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel53addbf2009-11-11 00:18:40 +00001987 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel90a0fe32009-11-10 23:06:00 +00001988 return;
1989 }
1990
1991 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1992 if (WScope)
1993 return;
1994
1995 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1996 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1997 DILocation DL(InlinedAt);
1998 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel393a46d2009-10-06 01:50:42 +00001999}
2000
Devang Patelc50078e2009-11-21 02:48:08 +00002001/// extractScopeInformation - Scan machine instructions in this function
Devang Patel6a260102009-10-01 20:31:14 +00002002/// and collect DbgScopes. Return true, if atleast one scope was found.
Chris Lattner69a76972010-01-26 23:18:02 +00002003bool DwarfDebug::extractScopeInformation() {
Devang Patel6a260102009-10-01 20:31:14 +00002004 // If scope information was extracted using .dbg intrinsics then there is not
2005 // any need to extract these information by scanning each instruction.
2006 if (!DbgScopeMap.empty())
2007 return false;
2008
Devang Patel98e77302010-01-04 20:44:00 +00002009 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2010 unsigned MIIndex = 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00002011 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel6a260102009-10-01 20:31:14 +00002012 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2013 I != E; ++I) {
2014 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2015 II != IE; ++II) {
2016 const MachineInstr *MInsn = II;
Devang Patel98e77302010-01-04 20:44:00 +00002017 MIIndexMap[MInsn] = MIIndex++;
Devang Patel6a260102009-10-01 20:31:14 +00002018 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel90a0fe32009-11-10 23:06:00 +00002019 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002020 DILocation DLT = MF->getDILocation(DL);
2021 DIScope DLTScope = DLT.getScope();
Devang Patel6a260102009-10-01 20:31:14 +00002022 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002023 // other scopes, create one DbgScope now. This will be translated
Devang Patel6a260102009-10-01 20:31:14 +00002024 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002025 if (DLTScope.isCompileUnit()) continue;
2026 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002027 }
2028 }
2029
2030
2031 // Build scope hierarchy using working set of scopes.
2032 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2033 I != E; ++I) {
2034 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2035 II != IE; ++II) {
2036 const MachineInstr *MInsn = II;
2037 DebugLoc DL = MInsn->getDebugLoc();
2038 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002039 DILocation DLT = MF->getDILocation(DL);
2040 DIScope DLTScope = DLT.getScope();
Devang Patel90a0fe32009-11-10 23:06:00 +00002041 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002042 // other scopes, create one DbgScope now. This will be translated
Devang Patel90a0fe32009-11-10 23:06:00 +00002043 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002044 if (DLTScope.isCompileUnit()) continue;
2045 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2046 DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002047 Scope->setLastInsn(MInsn);
Devang Patel6a260102009-10-01 20:31:14 +00002048 }
2049 }
2050
Devang Patel98e77302010-01-04 20:44:00 +00002051 if (!CurrentFnDbgScope)
2052 return false;
2053
2054 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel6a260102009-10-01 20:31:14 +00002055
2056 // Each scope has first instruction and last instruction to mark beginning
2057 // and end of a scope respectively. Create an inverse map that list scopes
2058 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patelfd311df2010-01-20 02:05:23 +00002059 // multiple scopes. Ignore scopes that are not reachable.
2060 SmallVector<DbgScope *, 4> WorkList;
2061 WorkList.push_back(CurrentFnDbgScope);
2062 while (!WorkList.empty()) {
2063 DbgScope *S = WorkList.back(); WorkList.pop_back();
2064
Douglas Gregordf49dc72010-03-08 02:58:37 +00002065 SmallVector<DbgScope *, 4> &Children = S->getScopes();
Devang Patelfd311df2010-01-20 02:05:23 +00002066 if (!Children.empty())
Douglas Gregordf49dc72010-03-08 02:58:37 +00002067 for (SmallVector<DbgScope *, 4>::iterator SI = Children.begin(),
Devang Patelfd311df2010-01-20 02:05:23 +00002068 SE = Children.end(); SI != SE; ++SI)
2069 WorkList.push_back(*SI);
2070
Devang Patel90a0fe32009-11-10 23:06:00 +00002071 if (S->isAbstractScope())
2072 continue;
Devang Patel6a260102009-10-01 20:31:14 +00002073 const MachineInstr *MI = S->getFirstInsn();
2074 assert (MI && "DbgScope does not have first instruction!");
2075
2076 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2077 if (IDI != DbgScopeBeginMap.end())
2078 IDI->second.push_back(S);
2079 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002080 DbgScopeBeginMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002081
2082 MI = S->getLastInsn();
2083 assert (MI && "DbgScope does not have last instruction!");
2084 IDI = DbgScopeEndMap.find(MI);
2085 if (IDI != DbgScopeEndMap.end())
2086 IDI->second.push_back(S);
2087 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002088 DbgScopeEndMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002089 }
2090
2091 return !DbgScopeMap.empty();
2092}
2093
Devang Patelc50078e2009-11-21 02:48:08 +00002094/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf5839192009-05-20 23:19:06 +00002095/// emitted immediately after the function entry point.
Chris Lattner69a76972010-01-26 23:18:02 +00002096void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002097 this->MF = MF;
2098
2099 if (!ShouldEmitDwarfDebug()) return;
2100
2101 if (TimePassesIsEnabled)
2102 DebugTimer->startTimer();
2103
Chris Lattner69a76972010-01-26 23:18:02 +00002104 if (!extractScopeInformation())
Devang Patel0feae422009-10-06 18:37:31 +00002105 return;
Devang Patelc50078e2009-11-21 02:48:08 +00002106
2107 collectVariableInfo();
Devang Patel0feae422009-10-06 18:37:31 +00002108
Bill Wendlingf5839192009-05-20 23:19:06 +00002109 // Assumes in correct section after the entry point.
Chris Lattner6d213e82010-03-08 22:44:40 +00002110 Asm->OutStreamer.EmitLabel(getDWLabel("func_begin", ++SubprogramCount));
Bill Wendlingf5839192009-05-20 23:19:06 +00002111
2112 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2113 // function.
Devang Patel40c80212009-10-09 22:42:28 +00002114 DebugLoc FDL = MF->getDefaultDebugLoc();
2115 if (!FDL.isUnknown()) {
Devang Patel042945f2010-01-16 06:09:35 +00002116 DILocation DLT = MF->getDILocation(FDL);
Devang Patel042945f2010-01-16 06:09:35 +00002117 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Chris Lattner855e8f52010-03-09 01:58:53 +00002118 unsigned Line, Col;
2119 if (SP.Verify()) {
2120 Line = SP.getLineNumber();
2121 Col = 0;
2122 } else {
2123 Line = DLT.getLineNumber();
2124 Col = DLT.getColumnNumber();
2125 }
2126
2127 Asm->printLabel(recordSourceLine(Line, Col, DLT.getScope().getNode()));
Bill Wendlingf5839192009-05-20 23:19:06 +00002128 }
Bill Wendlingf5839192009-05-20 23:19:06 +00002129 if (TimePassesIsEnabled)
2130 DebugTimer->stopTimer();
2131}
2132
Devang Patelc50078e2009-11-21 02:48:08 +00002133/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf5839192009-05-20 23:19:06 +00002134///
Chris Lattner69a76972010-01-26 23:18:02 +00002135void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002136 if (!ShouldEmitDwarfDebug()) return;
2137
2138 if (TimePassesIsEnabled)
2139 DebugTimer->startTimer();
2140
Devang Patel40c80212009-10-09 22:42:28 +00002141 if (DbgScopeMap.empty())
2142 return;
Devang Patel4a7ef8d2009-11-12 19:02:56 +00002143
Devang Patel98e77302010-01-04 20:44:00 +00002144 if (CurrentFnDbgScope) {
2145 // Define end label for subprogram.
Chris Lattner6d213e82010-03-08 22:44:40 +00002146 Asm->OutStreamer.EmitLabel(getDWLabel("func_end", SubprogramCount));
Devang Patel98e77302010-01-04 20:44:00 +00002147
2148 // Get function line info.
2149 if (!Lines.empty()) {
2150 // Get section line info.
2151 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2152 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2153 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2154 // Append the function info to section info.
2155 SectionLineInfos.insert(SectionLineInfos.end(),
2156 Lines.begin(), Lines.end());
2157 }
2158
2159 // Construct abstract scopes.
2160 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2161 AE = AbstractScopesList.end(); AI != AE; ++AI)
2162 constructScopeDIE(*AI);
2163
2164 constructScopeDIE(CurrentFnDbgScope);
2165
2166 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2167 MMI->getFrameMoves()));
Bill Wendlingf5839192009-05-20 23:19:06 +00002168 }
2169
Bill Wendlingf5839192009-05-20 23:19:06 +00002170 // Clear debug info
Devang Patel387e9c12010-01-19 01:26:02 +00002171 CurrentFnDbgScope = NULL;
Douglas Gregordf49dc72010-03-08 02:58:37 +00002172 DbgScopeMap.clear();
Devang Patel387e9c12010-01-19 01:26:02 +00002173 DbgScopeBeginMap.clear();
2174 DbgScopeEndMap.clear();
2175 ConcreteScopes.clear();
2176 AbstractScopesList.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002177 Lines.clear();
Devang Patel67533ab2009-12-01 18:13:48 +00002178
Bill Wendlingf5839192009-05-20 23:19:06 +00002179 if (TimePassesIsEnabled)
2180 DebugTimer->stopTimer();
2181}
2182
Devang Patelc50078e2009-11-21 02:48:08 +00002183/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf5839192009-05-20 23:19:06 +00002184/// label. Returns a unique label ID used to generate a label and provide
2185/// correspondence to the source line list.
Jim Grosbach652b7432009-11-21 23:12:12 +00002186unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patel946d0ae2009-10-05 18:03:19 +00002187 MDNode *S) {
Devang Patel15e723d2009-08-28 23:24:31 +00002188 if (!MMI)
2189 return 0;
2190
Bill Wendlingf5839192009-05-20 23:19:06 +00002191 if (TimePassesIsEnabled)
2192 DebugTimer->startTimer();
2193
Devang Patel7f75bbe2009-11-25 17:36:49 +00002194 StringRef Dir;
2195 StringRef Fn;
Devang Patel946d0ae2009-10-05 18:03:19 +00002196
2197 DIDescriptor Scope(S);
2198 if (Scope.isCompileUnit()) {
2199 DICompileUnit CU(S);
2200 Dir = CU.getDirectory();
2201 Fn = CU.getFilename();
2202 } else if (Scope.isSubprogram()) {
2203 DISubprogram SP(S);
2204 Dir = SP.getDirectory();
2205 Fn = SP.getFilename();
2206 } else if (Scope.isLexicalBlock()) {
2207 DILexicalBlock DB(S);
2208 Dir = DB.getDirectory();
2209 Fn = DB.getFilename();
2210 } else
2211 assert (0 && "Unexpected scope info");
2212
2213 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf5839192009-05-20 23:19:06 +00002214 unsigned ID = MMI->NextLabelID();
2215 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2216
2217 if (TimePassesIsEnabled)
2218 DebugTimer->stopTimer();
2219
2220 return ID;
2221}
2222
2223/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2224/// timed. Look up the source id with the given directory and source file
2225/// names. If none currently exists, create a new id and insert it in the
2226/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2227/// well.
2228unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2229 const std::string &FileName) {
2230 if (TimePassesIsEnabled)
2231 DebugTimer->startTimer();
2232
Devang Patelaaf012e2009-09-29 18:40:58 +00002233 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf5839192009-05-20 23:19:06 +00002234
2235 if (TimePassesIsEnabled)
2236 DebugTimer->stopTimer();
2237
2238 return SrcId;
2239}
2240
Bill Wendlinge1a5bbb2009-05-20 23:22:40 +00002241//===----------------------------------------------------------------------===//
2242// Emit Methods
2243//===----------------------------------------------------------------------===//
2244
Devang Patelc50078e2009-11-21 02:48:08 +00002245/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling55fccda2009-05-20 23:21:38 +00002246///
Jim Grosbachb23f2422009-11-22 19:20:36 +00002247unsigned
2248DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002249 // Get the children.
2250 const std::vector<DIE *> &Children = Die->getChildren();
2251
2252 // If not last sibling and has children then add sibling offset attribute.
Devang Patelc50078e2009-11-21 02:48:08 +00002253 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002254
2255 // Record the abbreviation.
Devang Patelc50078e2009-11-21 02:48:08 +00002256 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling55fccda2009-05-20 23:21:38 +00002257
2258 // Get the abbreviation for this DIE.
2259 unsigned AbbrevNumber = Die->getAbbrevNumber();
2260 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2261
2262 // Set DIE offset
2263 Die->setOffset(Offset);
2264
2265 // Start the size with the size of abbreviation code.
Chris Lattner621c44d2009-08-22 20:48:53 +00002266 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002267
2268 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2269 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2270
2271 // Size the DIE attribute values.
2272 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2273 // Size attribute value.
2274 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2275
2276 // Size the DIE children if any.
2277 if (!Children.empty()) {
2278 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2279 "Children flag not set");
2280
2281 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002282 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling55fccda2009-05-20 23:21:38 +00002283
2284 // End of children marker.
2285 Offset += sizeof(int8_t);
2286 }
2287
2288 Die->setSize(Offset - Die->getOffset());
2289 return Offset;
2290}
2291
Devang Patelc50078e2009-11-21 02:48:08 +00002292/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling55fccda2009-05-20 23:21:38 +00002293///
Devang Patelc50078e2009-11-21 02:48:08 +00002294void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002295 // Compute size of compile unit header.
2296 static unsigned Offset =
2297 sizeof(int32_t) + // Length of Compilation Unit Info
2298 sizeof(int16_t) + // DWARF version number
2299 sizeof(int32_t) + // Offset Into Abbrev. Section
2300 sizeof(int8_t); // Pointer Size (in bytes)
2301
Devang Patelc50078e2009-11-21 02:48:08 +00002302 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel5a3d37f2009-06-29 20:45:18 +00002303 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling55fccda2009-05-20 23:21:38 +00002304}
2305
Devang Patelc50078e2009-11-21 02:48:08 +00002306/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling55fccda2009-05-20 23:21:38 +00002307/// tools to recognize the object file contains Dwarf information.
Devang Patelc50078e2009-11-21 02:48:08 +00002308void DwarfDebug::emitInitial() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002309 // Check to see if we already emitted intial headers.
2310 if (didInitial) return;
2311 didInitial = true;
2312
Chris Lattner73266f92009-08-19 05:49:37 +00002313 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbar41716322009-09-19 20:40:05 +00002314
Bill Wendling55fccda2009-05-20 23:21:38 +00002315 // Dwarf sections base addresses.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002316 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner73266f92009-08-19 05:49:37 +00002317 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002318 Asm->OutStreamer.EmitLabel(getTempLabel("section_debug_frame"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002319 }
2320
Chris Lattner73266f92009-08-19 05:49:37 +00002321 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002322 Asm->OutStreamer.EmitLabel(getTempLabel("section_info"));
Chris Lattner73266f92009-08-19 05:49:37 +00002323 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002324 Asm->OutStreamer.EmitLabel(getTempLabel("section_abbrev"));
Chris Lattner73266f92009-08-19 05:49:37 +00002325 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002326 Asm->OutStreamer.EmitLabel(getTempLabel("section_aranges"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002327
Chris Lattner73266f92009-08-19 05:49:37 +00002328 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2329 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Chris Lattner6d213e82010-03-08 22:44:40 +00002330 Asm->OutStreamer.EmitLabel(getTempLabel("section_macinfo"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002331 }
2332
Chris Lattner73266f92009-08-19 05:49:37 +00002333 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002334 Asm->OutStreamer.EmitLabel(getTempLabel("section_line"));
Chris Lattner73266f92009-08-19 05:49:37 +00002335 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002336 Asm->OutStreamer.EmitLabel(getTempLabel("section_loc"));
Chris Lattner73266f92009-08-19 05:49:37 +00002337 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002338 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubnames"));
Devang Patelec13b4f2009-11-24 01:14:22 +00002339 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002340 Asm->OutStreamer.EmitLabel(getTempLabel("section_pubtypes"));
Chris Lattner73266f92009-08-19 05:49:37 +00002341 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002342 Asm->OutStreamer.EmitLabel(getTempLabel("section_str"));
Chris Lattner73266f92009-08-19 05:49:37 +00002343 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002344 Asm->OutStreamer.EmitLabel(getTempLabel("section_ranges"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002345
Chris Lattner73266f92009-08-19 05:49:37 +00002346 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002347 Asm->OutStreamer.EmitLabel(getTempLabel("text_begin"));
Chris Lattner73266f92009-08-19 05:49:37 +00002348 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Chris Lattner6d213e82010-03-08 22:44:40 +00002349 Asm->OutStreamer.EmitLabel(getTempLabel("data_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002350}
2351
Devang Patelc50078e2009-11-21 02:48:08 +00002352/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling55fccda2009-05-20 23:21:38 +00002353///
Devang Patelc50078e2009-11-21 02:48:08 +00002354void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002355 // Get the abbreviation for this DIE.
2356 unsigned AbbrevNumber = Die->getAbbrevNumber();
2357 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2358
Chris Lattnerad653482010-01-22 22:09:00 +00002359 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002360
2361 // Emit the code (index) for the abbreviation.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002362 if (Asm->VerboseAsm)
2363 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2364 Twine::utohexstr(Die->getOffset()) + ":0x" +
2365 Twine::utohexstr(Die->getSize()) + " " +
2366 dwarf::TagString(Abbrev->getTag()));
2367 EmitULEB128(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002368
2369 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2370 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2371
2372 // Emit the DIE attribute values.
2373 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2374 unsigned Attr = AbbrevData[i].getAttribute();
2375 unsigned Form = AbbrevData[i].getForm();
2376 assert(Form && "Too many attributes for DIE (check abbreviation)");
2377
Chris Lattner91e06b42010-01-24 18:54:17 +00002378 if (Asm->VerboseAsm)
2379 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2380
Bill Wendling55fccda2009-05-20 23:21:38 +00002381 switch (Attr) {
2382 case dwarf::DW_AT_sibling:
Devang Patelc50078e2009-11-21 02:48:08 +00002383 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002384 break;
2385 case dwarf::DW_AT_abstract_origin: {
2386 DIEEntry *E = cast<DIEEntry>(Values[i]);
2387 DIE *Origin = E->getEntry();
Devang Patel90a0fe32009-11-10 23:06:00 +00002388 unsigned Addr = Origin->getOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002389 Asm->EmitInt32(Addr);
2390 break;
2391 }
2392 default:
2393 // Emit an attribute using the defined form.
2394 Values[i]->EmitValue(this, Form);
Chris Lattner2d2f1002010-01-24 19:01:06 +00002395 O << "\n"; // REMOVE This once all EmitValue impls emit their own newline.
Bill Wendling55fccda2009-05-20 23:21:38 +00002396 break;
2397 }
Bill Wendling55fccda2009-05-20 23:21:38 +00002398 }
2399
2400 // Emit the DIE children if any.
2401 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2402 const std::vector<DIE *> &Children = Die->getChildren();
2403
2404 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002405 emitDIE(Children[j]);
Bill Wendling55fccda2009-05-20 23:21:38 +00002406
Chris Lattner05ae1d22010-01-22 23:47:11 +00002407 Asm->EmitInt8(0); EOL("End Of Children Mark");
Bill Wendling55fccda2009-05-20 23:21:38 +00002408 }
2409}
2410
Devang Patelfe0be132009-12-09 18:24:21 +00002411/// emitDebugInfo - Emit the debug info section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002412///
Devang Patelfe0be132009-12-09 18:24:21 +00002413void DwarfDebug::emitDebugInfo() {
2414 // Start debug info section.
2415 Asm->OutStreamer.SwitchSection(
2416 Asm->getObjFileLowering().getDwarfInfoSection());
2417 DIE *Die = ModuleCU->getCUDie();
Bill Wendling55fccda2009-05-20 23:21:38 +00002418
2419 // Emit the compile units header.
Chris Lattner6d213e82010-03-08 22:44:40 +00002420 Asm->OutStreamer.EmitLabel(getDWLabel("info_begin", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002421
2422 // Emit size of content not including length itself
2423 unsigned ContentSize = Die->getSize() +
2424 sizeof(int16_t) + // DWARF version number
2425 sizeof(int32_t) + // Offset Into Abbrev. Section
2426 sizeof(int8_t) + // Pointer Size (in bytes)
2427 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2428
Chris Lattner05ae1d22010-01-22 23:47:11 +00002429 Asm->EmitInt32(ContentSize); EOL("Length of Compilation Unit Info");
2430 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002431 EmitSectionOffset(getTempLabel("abbrev_begin"),getTempLabel("section_abbrev"),
2432 true, false);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002433 EOL("Offset Into Abbrev. Section");
2434 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002435
Devang Patelc50078e2009-11-21 02:48:08 +00002436 emitDIE(Die);
Bill Wendling55fccda2009-05-20 23:21:38 +00002437 // FIXME - extra padding for gdb bug.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002438 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2439 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2440 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2441 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
Chris Lattner6d213e82010-03-08 22:44:40 +00002442 Asm->OutStreamer.EmitLabel(getDWLabel("info_end", ModuleCU->getID()));
Chris Lattnerad653482010-01-22 22:09:00 +00002443 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002444}
2445
Devang Patelc50078e2009-11-21 02:48:08 +00002446/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002447///
Devang Patelc50078e2009-11-21 02:48:08 +00002448void DwarfDebug::emitAbbreviations() const {
Bill Wendling55fccda2009-05-20 23:21:38 +00002449 // Check to see if it is worth the effort.
2450 if (!Abbreviations.empty()) {
2451 // Start the debug abbrev section.
Chris Lattner73266f92009-08-19 05:49:37 +00002452 Asm->OutStreamer.SwitchSection(
2453 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002454
Chris Lattner6d213e82010-03-08 22:44:40 +00002455 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002456
2457 // For each abbrevation.
2458 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2459 // Get abbreviation data
2460 const DIEAbbrev *Abbrev = Abbreviations[i];
2461
2462 // Emit the abbrevations code (base 1 index.)
Chris Lattnerbcc79432010-01-22 23:18:42 +00002463 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling55fccda2009-05-20 23:21:38 +00002464
2465 // Emit the abbreviations data.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002466 Abbrev->Emit(this);
Chris Lattnerad653482010-01-22 22:09:00 +00002467 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002468 }
2469
2470 // Mark end of abbreviations.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002471 EmitULEB128(0, "EOM(3)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002472
Chris Lattner6d213e82010-03-08 22:44:40 +00002473 Asm->OutStreamer.EmitLabel(getTempLabel("abbrev_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002474 }
2475}
2476
Devang Patelc50078e2009-11-21 02:48:08 +00002477/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling55fccda2009-05-20 23:21:38 +00002478/// the line matrix.
2479///
Devang Patelc50078e2009-11-21 02:48:08 +00002480void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002481 // Define last address of section.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002482 Asm->EmitInt8(0); EOL("Extended Op");
2483 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2484 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
Chris Lattner7bc33552010-03-08 22:47:57 +00002485 EmitReference(getDWLabel("section_end", SectionEnd));
2486 EOL("Section end label");
Bill Wendling55fccda2009-05-20 23:21:38 +00002487
2488 // Mark end of matrix.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002489 Asm->EmitInt8(0); EOL("DW_LNE_end_sequence");
Chris Lattnerad653482010-01-22 22:09:00 +00002490 Asm->EmitInt8(1);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002491 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002492}
2493
Devang Patelc50078e2009-11-21 02:48:08 +00002494/// emitDebugLines - Emit source line information.
Bill Wendling55fccda2009-05-20 23:21:38 +00002495///
Devang Patelc50078e2009-11-21 02:48:08 +00002496void DwarfDebug::emitDebugLines() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002497 // If the target is using .loc/.file, the assembler will be emitting the
2498 // .debug_line table automatically.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002499 if (MAI->hasDotLocAndDotFile())
Bill Wendling55fccda2009-05-20 23:21:38 +00002500 return;
2501
2502 // Minimum line delta, thus ranging from -10..(255-10).
2503 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2504 // Maximum line delta, thus ranging from -10..(255-10).
2505 const int MaxLineDelta = 255 + MinLineDelta;
2506
2507 // Start the dwarf line section.
Chris Lattner73266f92009-08-19 05:49:37 +00002508 Asm->OutStreamer.SwitchSection(
2509 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002510
2511 // Construct the section header.
Chris Lattner6d213e82010-03-08 22:44:40 +00002512 EmitDifference(getTempLabel("line_end"), getTempLabel("line_begin"), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002513 EOL("Length of Source Line Info");
Chris Lattner6d213e82010-03-08 22:44:40 +00002514 Asm->OutStreamer.EmitLabel(getTempLabel("line_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002515
Chris Lattner05ae1d22010-01-22 23:47:11 +00002516 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling55fccda2009-05-20 23:21:38 +00002517
Chris Lattner6d213e82010-03-08 22:44:40 +00002518 EmitDifference(getTempLabel("line_prolog_end"),
2519 getTempLabel("line_prolog_begin"), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002520 EOL("Prolog Length");
Chris Lattner6d213e82010-03-08 22:44:40 +00002521 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002522
Chris Lattner05ae1d22010-01-22 23:47:11 +00002523 Asm->EmitInt8(1); EOL("Minimum Instruction Length");
2524 Asm->EmitInt8(1); EOL("Default is_stmt_start flag");
2525 Asm->EmitInt8(MinLineDelta); EOL("Line Base Value (Special Opcodes)");
2526 Asm->EmitInt8(MaxLineDelta); EOL("Line Range Value (Special Opcodes)");
2527 Asm->EmitInt8(-MinLineDelta); EOL("Special Opcode Base");
Bill Wendling55fccda2009-05-20 23:21:38 +00002528
2529 // Line number standard opcode encodings argument count
Chris Lattner05ae1d22010-01-22 23:47:11 +00002530 Asm->EmitInt8(0); EOL("DW_LNS_copy arg count");
2531 Asm->EmitInt8(1); EOL("DW_LNS_advance_pc arg count");
2532 Asm->EmitInt8(1); EOL("DW_LNS_advance_line arg count");
2533 Asm->EmitInt8(1); EOL("DW_LNS_set_file arg count");
2534 Asm->EmitInt8(1); EOL("DW_LNS_set_column arg count");
2535 Asm->EmitInt8(0); EOL("DW_LNS_negate_stmt arg count");
2536 Asm->EmitInt8(0); EOL("DW_LNS_set_basic_block arg count");
2537 Asm->EmitInt8(0); EOL("DW_LNS_const_add_pc arg count");
2538 Asm->EmitInt8(1); EOL("DW_LNS_fixed_advance_pc arg count");
Bill Wendling55fccda2009-05-20 23:21:38 +00002539
2540 // Emit directories.
2541 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnercc564642010-01-23 03:11:46 +00002542 const std::string &Dir = getSourceDirectoryName(DI);
2543 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2544 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002545 }
2546
Chris Lattner05ae1d22010-01-22 23:47:11 +00002547 Asm->EmitInt8(0); EOL("End of directories");
Bill Wendling55fccda2009-05-20 23:21:38 +00002548
2549 // Emit files.
2550 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2551 // Remember source id starts at 1.
2552 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnercc564642010-01-23 03:11:46 +00002553 const std::string &FN = getSourceFileName(Id.second);
2554 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2555 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2556
Chris Lattnerbcc79432010-01-22 23:18:42 +00002557 EmitULEB128(Id.first, "Directory #");
2558 EmitULEB128(0, "Mod date");
2559 EmitULEB128(0, "File size");
Bill Wendling55fccda2009-05-20 23:21:38 +00002560 }
2561
Chris Lattner05ae1d22010-01-22 23:47:11 +00002562 Asm->EmitInt8(0); EOL("End of files");
Bill Wendling55fccda2009-05-20 23:21:38 +00002563
Chris Lattner6d213e82010-03-08 22:44:40 +00002564 Asm->OutStreamer.EmitLabel(getTempLabel("line_prolog_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002565
2566 // A sequence for each text section.
2567 unsigned SecSrcLinesSize = SectionSourceLines.size();
2568
2569 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2570 // Isolate current sections line info.
2571 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2572
Chris Lattner26aabb92009-08-08 23:39:42 +00002573 /*if (Asm->isVerbose()) {
Chris Lattnere6ad12f2009-07-31 18:48:30 +00002574 const MCSection *S = SectionMap[j + 1];
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002575 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling55fccda2009-05-20 23:21:38 +00002576 << S->getName() << '\n';
Chris Lattner26aabb92009-08-08 23:39:42 +00002577 }*/
Chris Lattnerad653482010-01-22 22:09:00 +00002578 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002579
2580 // Dwarf assumes we start with first line of first source file.
2581 unsigned Source = 1;
2582 unsigned Line = 1;
2583
2584 // Construct rows of the address, source, line, column matrix.
2585 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2586 const SrcLineInfo &LineInfo = LineInfos[i];
Chris Lattner5e423432010-03-09 01:51:43 +00002587 unsigned LabelID = LineInfo.getLabelID();
2588 if (MMI->isLabelDeleted(LabelID)) continue;
Bill Wendling55fccda2009-05-20 23:21:38 +00002589
Caroline Tice9da96d82009-09-11 18:25:54 +00002590 if (LineInfo.getLine() == 0) continue;
2591
Bill Wendling55fccda2009-05-20 23:21:38 +00002592 if (!Asm->isVerbose())
Chris Lattnerad653482010-01-22 22:09:00 +00002593 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002594 else {
2595 std::pair<unsigned, unsigned> SourceID =
2596 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002597 O << '\t' << MAI->getCommentString() << ' '
Dan Gohman1792bc62009-12-05 02:00:34 +00002598 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling55fccda2009-05-20 23:21:38 +00002599 << getSourceFileName(SourceID.second)
Dan Gohman1792bc62009-12-05 02:00:34 +00002600 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002601 }
2602
2603 // Define the line address.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002604 Asm->EmitInt8(0); EOL("Extended Op");
2605 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2606 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
Chris Lattner7bc33552010-03-08 22:47:57 +00002607 EmitReference(getDWLabel("label", LabelID)); EOL("Location label");
Bill Wendling55fccda2009-05-20 23:21:38 +00002608
2609 // If change of source, then switch to the new source.
2610 if (Source != LineInfo.getSourceID()) {
2611 Source = LineInfo.getSourceID();
Chris Lattner05ae1d22010-01-22 23:47:11 +00002612 Asm->EmitInt8(dwarf::DW_LNS_set_file); EOL("DW_LNS_set_file");
Chris Lattnerbcc79432010-01-22 23:18:42 +00002613 EmitULEB128(Source, "New Source");
Bill Wendling55fccda2009-05-20 23:21:38 +00002614 }
2615
2616 // If change of line.
2617 if (Line != LineInfo.getLine()) {
2618 // Determine offset.
2619 int Offset = LineInfo.getLine() - Line;
2620 int Delta = Offset - MinLineDelta;
2621
2622 // Update line.
2623 Line = LineInfo.getLine();
2624
2625 // If delta is small enough and in range...
2626 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2627 // ... then use fast opcode.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002628 Asm->EmitInt8(Delta - MinLineDelta); EOL("Line Delta");
Bill Wendling55fccda2009-05-20 23:21:38 +00002629 } else {
2630 // ... otherwise use long hand.
2631 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002632 EOL("DW_LNS_advance_line");
Chris Lattner20f334f2010-01-22 22:56:55 +00002633 EmitSLEB128(Offset, "Line Offset");
Chris Lattner05ae1d22010-01-22 23:47:11 +00002634 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling55fccda2009-05-20 23:21:38 +00002635 }
2636 } else {
2637 // Copy the previous row (different address or source)
Chris Lattner05ae1d22010-01-22 23:47:11 +00002638 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling55fccda2009-05-20 23:21:38 +00002639 }
2640 }
2641
Devang Patelc50078e2009-11-21 02:48:08 +00002642 emitEndOfLineMatrix(j + 1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002643 }
2644
2645 if (SecSrcLinesSize == 0)
2646 // Because we're emitting a debug_line section, we still need a line
2647 // table. The linker and friends expect it to exist. If there's nothing to
2648 // put into it, emit an empty table.
Devang Patelc50078e2009-11-21 02:48:08 +00002649 emitEndOfLineMatrix(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002650
Chris Lattner6d213e82010-03-08 22:44:40 +00002651 Asm->OutStreamer.EmitLabel(getTempLabel("line_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002652}
2653
Devang Patelc50078e2009-11-21 02:48:08 +00002654/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002655///
Devang Patelc50078e2009-11-21 02:48:08 +00002656void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002657 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002658 return;
2659
2660 int stackGrowth =
2661 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2662 TargetFrameInfo::StackGrowsUp ?
2663 TD->getPointerSize() : -TD->getPointerSize();
2664
2665 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002666 Asm->OutStreamer.SwitchSection(
2667 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002668
Chris Lattner6d213e82010-03-08 22:44:40 +00002669 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common"));
Chris Lattner2a65fd42010-03-08 23:02:59 +00002670 EmitDifference(getTempLabel("debug_frame_common_end"),
2671 getTempLabel("debug_frame_common_begin"), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002672 EOL("Length of Common Information Entry");
Bill Wendling55fccda2009-05-20 23:21:38 +00002673
Chris Lattner6d213e82010-03-08 22:44:40 +00002674 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_begin"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002675 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002676 EOL("CIE Identifier Tag");
Bill Wendling55fccda2009-05-20 23:21:38 +00002677 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002678 EOL("CIE Version");
Chris Lattnercc564642010-01-23 03:11:46 +00002679 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002680 EOL("CIE Augmentation");
Chris Lattnerbcc79432010-01-22 23:18:42 +00002681 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattner20f334f2010-01-22 22:56:55 +00002682 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Bill Wendling55fccda2009-05-20 23:21:38 +00002683 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Chris Lattner05ae1d22010-01-22 23:47:11 +00002684 EOL("CIE RA Column");
Bill Wendling55fccda2009-05-20 23:21:38 +00002685
2686 std::vector<MachineMove> Moves;
2687 RI->getInitialFrameState(Moves);
2688
2689 EmitFrameMoves(NULL, 0, Moves, false);
2690
2691 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner6d213e82010-03-08 22:44:40 +00002692 Asm->OutStreamer.EmitLabel(getTempLabel("debug_frame_common_end"));
Bill Wendling55fccda2009-05-20 23:21:38 +00002693}
2694
Devang Patelc50078e2009-11-21 02:48:08 +00002695/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling55fccda2009-05-20 23:21:38 +00002696/// section.
2697void
Devang Patelc50078e2009-11-21 02:48:08 +00002698DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002699 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002700 return;
2701
2702 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002703 Asm->OutStreamer.SwitchSection(
2704 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002705
Chris Lattner2a65fd42010-03-08 23:02:59 +00002706 EmitDifference(getDWLabel("debug_frame_end", DebugFrameInfo.Number),
2707 getDWLabel("debug_frame_begin", DebugFrameInfo.Number), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002708 EOL("Length of Frame Information Entry");
Bill Wendling55fccda2009-05-20 23:21:38 +00002709
Chris Lattner6d213e82010-03-08 22:44:40 +00002710 Asm->OutStreamer.EmitLabel(getDWLabel("debug_frame_begin",
2711 DebugFrameInfo.Number));
Bill Wendling55fccda2009-05-20 23:21:38 +00002712
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002713 EmitSectionOffset(getTempLabel("debug_frame_common"),
2714 getTempLabel("section_debug_frame"), true, false);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002715 EOL("FDE CIE offset");
Bill Wendling55fccda2009-05-20 23:21:38 +00002716
Chris Lattner7bc33552010-03-08 22:47:57 +00002717 EmitReference(getDWLabel("func_begin", DebugFrameInfo.Number));
Chris Lattner05ae1d22010-01-22 23:47:11 +00002718 EOL("FDE initial location");
Chris Lattner7bc33552010-03-08 22:47:57 +00002719 EmitDifference(getDWLabel("func_end", DebugFrameInfo.Number),
2720 getDWLabel("func_begin", DebugFrameInfo.Number));
Chris Lattner05ae1d22010-01-22 23:47:11 +00002721 EOL("FDE address range");
Bill Wendling55fccda2009-05-20 23:21:38 +00002722
2723 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2724 false);
2725
2726 Asm->EmitAlignment(2, 0, 0, false);
Chris Lattner6d213e82010-03-08 22:44:40 +00002727 Asm->OutStreamer.EmitLabel(getDWLabel("debug_frame_end",
2728 DebugFrameInfo.Number));
Bill Wendling55fccda2009-05-20 23:21:38 +00002729}
2730
Devang Patelfe0be132009-12-09 18:24:21 +00002731/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2732///
2733void DwarfDebug::emitDebugPubNames() {
2734 // Start the dwarf pubnames section.
2735 Asm->OutStreamer.SwitchSection(
2736 Asm->getObjFileLowering().getDwarfPubNamesSection());
2737
Chris Lattner2a65fd42010-03-08 23:02:59 +00002738 EmitDifference(getDWLabel("pubnames_end", ModuleCU->getID()),
2739 getDWLabel("pubnames_begin", ModuleCU->getID()), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002740 EOL("Length of Public Names Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002741
Chris Lattner6d213e82010-03-08 22:44:40 +00002742 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_begin", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002743
Chris Lattner05ae1d22010-01-22 23:47:11 +00002744 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF Version");
Bill Wendling55fccda2009-05-20 23:21:38 +00002745
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002746 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
2747 getTempLabel("section_info"),
2748 true, false);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002749 EOL("Offset of Compilation Unit Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002750
Chris Lattner2a65fd42010-03-08 23:02:59 +00002751 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2752 getDWLabel("info_begin", ModuleCU->getID()),
Bill Wendling55fccda2009-05-20 23:21:38 +00002753 true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002754 EOL("Compilation Unit Length");
Bill Wendling55fccda2009-05-20 23:21:38 +00002755
Devang Patelfe0be132009-12-09 18:24:21 +00002756 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling55fccda2009-05-20 23:21:38 +00002757 for (StringMap<DIE*>::const_iterator
2758 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2759 const char *Name = GI->getKeyData();
2760 DIE * Entity = GI->second;
2761
Chris Lattner05ae1d22010-01-22 23:47:11 +00002762 Asm->EmitInt32(Entity->getOffset()); EOL("DIE offset");
Chris Lattnercc564642010-01-23 03:11:46 +00002763
2764 if (Asm->VerboseAsm)
2765 Asm->OutStreamer.AddComment("External Name");
2766 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002767 }
2768
Chris Lattner05ae1d22010-01-22 23:47:11 +00002769 Asm->EmitInt32(0); EOL("End Mark");
Chris Lattner6d213e82010-03-08 22:44:40 +00002770 Asm->OutStreamer.EmitLabel(getDWLabel("pubnames_end", ModuleCU->getID()));
Bill Wendling55fccda2009-05-20 23:21:38 +00002771}
2772
Devang Patelec13b4f2009-11-24 01:14:22 +00002773void DwarfDebug::emitDebugPubTypes() {
Devang Patel6f2bdd52009-11-24 19:18:41 +00002774 // Start the dwarf pubnames section.
2775 Asm->OutStreamer.SwitchSection(
2776 Asm->getObjFileLowering().getDwarfPubTypesSection());
Chris Lattner2a65fd42010-03-08 23:02:59 +00002777 EmitDifference(getDWLabel("pubtypes_end", ModuleCU->getID()),
2778 getDWLabel("pubtypes_begin", ModuleCU->getID()), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002779 EOL("Length of Public Types Info");
Devang Patelec13b4f2009-11-24 01:14:22 +00002780
Chris Lattner6d213e82010-03-08 22:44:40 +00002781 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_begin", ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00002782
Devang Patel40b6cda2010-02-02 03:47:27 +00002783 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2784 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patelec13b4f2009-11-24 01:14:22 +00002785
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002786 EmitSectionOffset(getDWLabel("info_begin", ModuleCU->getID()),
2787 getTempLabel("section_info"), true, false);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002788 EOL("Offset of Compilation ModuleCU Info");
Devang Patelec13b4f2009-11-24 01:14:22 +00002789
Chris Lattner2a65fd42010-03-08 23:02:59 +00002790 EmitDifference(getDWLabel("info_end", ModuleCU->getID()),
2791 getDWLabel("info_begin", ModuleCU->getID()),
Devang Patelec13b4f2009-11-24 01:14:22 +00002792 true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002793 EOL("Compilation ModuleCU Length");
Devang Patelec13b4f2009-11-24 01:14:22 +00002794
2795 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2796 for (StringMap<DIE*>::const_iterator
2797 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2798 const char *Name = GI->getKeyData();
2799 DIE * Entity = GI->second;
2800
Devang Patel40b6cda2010-02-02 03:47:27 +00002801 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2802 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002803
2804 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel0ceb4892010-02-02 03:37:03 +00002805 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patelec13b4f2009-11-24 01:14:22 +00002806 }
2807
Chris Lattner05ae1d22010-01-22 23:47:11 +00002808 Asm->EmitInt32(0); EOL("End Mark");
Chris Lattner6d213e82010-03-08 22:44:40 +00002809 Asm->OutStreamer.EmitLabel(getDWLabel("pubtypes_end", ModuleCU->getID()));
Devang Patelec13b4f2009-11-24 01:14:22 +00002810}
2811
Devang Patelc50078e2009-11-21 02:48:08 +00002812/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002813///
Devang Patelc50078e2009-11-21 02:48:08 +00002814void DwarfDebug::emitDebugStr() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002815 // Check to see if it is worth the effort.
2816 if (!StringPool.empty()) {
2817 // Start the dwarf str section.
Chris Lattner73266f92009-08-19 05:49:37 +00002818 Asm->OutStreamer.SwitchSection(
2819 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002820
2821 // For each of strings in the string pool.
2822 for (unsigned StringID = 1, N = StringPool.size();
2823 StringID <= N; ++StringID) {
2824 // Emit a label for reference from debug information entries.
Chris Lattner6d213e82010-03-08 22:44:40 +00002825 Asm->OutStreamer.EmitLabel(getDWLabel("string", StringID));
Bill Wendling55fccda2009-05-20 23:21:38 +00002826
2827 // Emit the string itself.
2828 const std::string &String = StringPool[StringID];
Chris Lattnercc564642010-01-23 03:11:46 +00002829 Asm->OutStreamer.EmitBytes(StringRef(String.c_str(), String.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002830 }
2831
Chris Lattnerad653482010-01-22 22:09:00 +00002832 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002833 }
2834}
2835
Devang Patelc50078e2009-11-21 02:48:08 +00002836/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002837///
Devang Patelc50078e2009-11-21 02:48:08 +00002838void DwarfDebug::emitDebugLoc() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002839 // Start the dwarf loc section.
Chris Lattner73266f92009-08-19 05:49:37 +00002840 Asm->OutStreamer.SwitchSection(
2841 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002842}
2843
2844/// EmitDebugARanges - Emit visible names into a debug aranges section.
2845///
2846void DwarfDebug::EmitDebugARanges() {
2847 // Start the dwarf aranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002848 Asm->OutStreamer.SwitchSection(
2849 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002850
2851 // FIXME - Mock up
2852#if 0
2853 CompileUnit *Unit = GetBaseCompileUnit();
2854
2855 // Don't include size of length
Chris Lattner05ae1d22010-01-22 23:47:11 +00002856 Asm->EmitInt32(0x1c); EOL("Length of Address Ranges Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002857
Chris Lattner05ae1d22010-01-22 23:47:11 +00002858 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
Bill Wendling55fccda2009-05-20 23:21:38 +00002859
2860 EmitReference("info_begin", Unit->getID());
Chris Lattner05ae1d22010-01-22 23:47:11 +00002861 EOL("Offset of Compilation Unit Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002862
Chris Lattner05ae1d22010-01-22 23:47:11 +00002863 Asm->EmitInt8(TD->getPointerSize()); EOL("Size of Address");
Bill Wendling55fccda2009-05-20 23:21:38 +00002864
Chris Lattner05ae1d22010-01-22 23:47:11 +00002865 Asm->EmitInt8(0); EOL("Size of Segment Descriptor");
Bill Wendling55fccda2009-05-20 23:21:38 +00002866
Chris Lattner05ae1d22010-01-22 23:47:11 +00002867 Asm->EmitInt16(0); EOL("Pad (1)");
2868 Asm->EmitInt16(0); EOL("Pad (2)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002869
2870 // Range 1
Chris Lattner05ae1d22010-01-22 23:47:11 +00002871 EmitReference("text_begin", 0); EOL("Address");
Chris Lattner2a65fd42010-03-08 23:02:59 +00002872 EmitDifference(getTempLabel("text_end"), getTempLabel("text_begin"),
2873 true); EOL("Length");
Bill Wendling55fccda2009-05-20 23:21:38 +00002874
Chris Lattner05ae1d22010-01-22 23:47:11 +00002875 Asm->EmitInt32(0); EOL("EOM (1)");
2876 Asm->EmitInt32(0); EOL("EOM (2)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002877#endif
Bill Wendling55fccda2009-05-20 23:21:38 +00002878}
2879
Devang Patelc50078e2009-11-21 02:48:08 +00002880/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002881///
Devang Patelc50078e2009-11-21 02:48:08 +00002882void DwarfDebug::emitDebugRanges() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002883 // Start the dwarf ranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002884 Asm->OutStreamer.SwitchSection(
2885 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002886}
2887
Devang Patelc50078e2009-11-21 02:48:08 +00002888/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002889///
Devang Patelc50078e2009-11-21 02:48:08 +00002890void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbar41716322009-09-19 20:40:05 +00002891 if (const MCSection *LineInfo =
Chris Lattner72d228d2009-08-02 07:24:22 +00002892 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002893 // Start the dwarf macinfo section.
Chris Lattner73266f92009-08-19 05:49:37 +00002894 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling55fccda2009-05-20 23:21:38 +00002895 }
2896}
2897
Devang Patelc50078e2009-11-21 02:48:08 +00002898/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling55fccda2009-05-20 23:21:38 +00002899/// Section Header:
2900/// 1. length of section
2901/// 2. Dwarf version number
2902/// 3. address size.
2903///
2904/// Entries (one "entry" for each function that was inlined):
2905///
2906/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2907/// otherwise offset into __debug_str for regular function name.
2908/// 2. offset into __debug_str section for regular function name.
2909/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2910/// instances for the function.
2911///
2912/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2913/// inlined instance; the die_offset points to the inlined_subroutine die in the
2914/// __debug_info section, and the low_pc is the starting address for the
2915/// inlining instance.
Devang Patelc50078e2009-11-21 02:48:08 +00002916void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002917 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002918 return;
2919
Devang Patel5a3d37f2009-06-29 20:45:18 +00002920 if (!ModuleCU)
Bill Wendling55fccda2009-05-20 23:21:38 +00002921 return;
2922
Chris Lattner73266f92009-08-19 05:49:37 +00002923 Asm->OutStreamer.SwitchSection(
2924 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerad653482010-01-22 22:09:00 +00002925
Chris Lattner2a65fd42010-03-08 23:02:59 +00002926 EmitDifference(getDWLabel("debug_inlined_end", 1),
2927 getDWLabel("debug_inlined_begin", 1), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002928 EOL("Length of Debug Inlined Information Entry");
Bill Wendling55fccda2009-05-20 23:21:38 +00002929
Chris Lattner6d213e82010-03-08 22:44:40 +00002930 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_begin", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00002931
Chris Lattner05ae1d22010-01-22 23:47:11 +00002932 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
2933 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002934
Devang Patel90a0fe32009-11-10 23:06:00 +00002935 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2936 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach652b7432009-11-21 23:12:12 +00002937
Devang Patel90a0fe32009-11-10 23:06:00 +00002938 MDNode *Node = *I;
Devang Patel7d707f92010-01-19 06:19:05 +00002939 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbachb23f2422009-11-22 19:20:36 +00002940 = InlineInfo.find(Node);
Devang Patel90a0fe32009-11-10 23:06:00 +00002941 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel15e723d2009-08-28 23:24:31 +00002942 DISubprogram SP(Node);
Devang Patel7f75bbe2009-11-25 17:36:49 +00002943 StringRef LName = SP.getLinkageName();
2944 StringRef Name = SP.getName();
Bill Wendling55fccda2009-05-20 23:21:38 +00002945
Chris Lattnercc564642010-01-23 03:11:46 +00002946 if (LName.empty()) {
2947 Asm->OutStreamer.EmitBytes(Name, 0);
2948 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
2949 } else
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002950 EmitSectionOffset(getDWLabel("string",
2951 StringPool.idFor(getRealLinkageName(LName))),
2952 getTempLabel("section_str"), true);
Devang Patel90a0fe32009-11-10 23:06:00 +00002953
Chris Lattner05ae1d22010-01-22 23:47:11 +00002954 EOL("MIPS linkage name");
Chris Lattnerbe4c2fc2010-03-08 22:23:36 +00002955 EmitSectionOffset(getDWLabel("string", StringPool.idFor(Name)),
2956 getTempLabel("section_str"), false, true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002957 EOL("Function name");
Chris Lattnerbcc79432010-01-22 23:18:42 +00002958 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling55fccda2009-05-20 23:21:38 +00002959
Devang Patel90a0fe32009-11-10 23:06:00 +00002960 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling55fccda2009-05-20 23:21:38 +00002961 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattneread58652010-03-09 00:31:02 +00002962 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2963 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002964
Chris Lattnere90630a2010-03-09 00:26:09 +00002965 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner2ab0c442010-03-09 00:39:24 +00002966 Asm->OutStreamer.EmitSymbolValue(LI->first, TD->getPointerSize(), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002967 }
2968 }
2969
Chris Lattner6d213e82010-03-08 22:44:40 +00002970 Asm->OutStreamer.EmitLabel(getDWLabel("debug_inlined_end", 1));
Bill Wendling55fccda2009-05-20 23:21:38 +00002971}