blob: c2e1e0503a884fee61d09eb7324727b76c8e32f3 [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//===----------------------------------------------------------------------===//
Devang Patel15e723d2009-08-28 23:24:31 +000013#define DEBUG_TYPE "dwarfdebug"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000014#include "DwarfDebug.h"
15#include "llvm/Module.h"
David Greened87baff2009-08-19 21:52:55 +000016#include "llvm/CodeGen/MachineFunction.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000017#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattnere6ad12f2009-07-31 18:48:30 +000018#include "llvm/MC/MCSection.h"
Chris Lattner73266f92009-08-19 05:49:37 +000019#include "llvm/MC/MCStreamer.h"
Chris Lattner621c44d2009-08-22 20:48:53 +000020#include "llvm/MC/MCAsmInfo.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000021#include "llvm/Target/TargetData.h"
22#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000023#include "llvm/Target/TargetLoweringObjectFile.h"
24#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattnerf5377682009-08-24 03:52:50 +000025#include "llvm/ADT/StringExtras.h"
Daniel Dunbarc74255d2009-10-13 06:47:08 +000026#include "llvm/Support/Debug.h"
27#include "llvm/Support/ErrorHandling.h"
Chris Lattner5632fab2009-09-16 00:08:41 +000028#include "llvm/Support/Mangler.h"
Chris Lattnere6ad12f2009-07-31 18:48:30 +000029#include "llvm/Support/Timer.h"
30#include "llvm/System/Path.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000031using namespace llvm;
32
33static TimerGroup &getDwarfTimerGroup() {
34 static TimerGroup DwarfTimerGroup("Dwarf Debugging");
35 return DwarfTimerGroup;
36}
37
38//===----------------------------------------------------------------------===//
39
40/// Configuration values for initial hash set sizes (log2).
41///
Bill Wendlingb12b3d72009-05-15 09:23:25 +000042static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendlingb12b3d72009-05-15 09:23:25 +000043
44namespace llvm {
45
46//===----------------------------------------------------------------------===//
47/// CompileUnit - This dwarf writer support class manages information associate
48/// with a source file.
Nick Lewyckyee68f452009-11-17 08:11:44 +000049class CompileUnit {
Bill Wendlingb12b3d72009-05-15 09:23:25 +000050 /// ID - File identifier for source.
51 ///
52 unsigned ID;
53
54 /// Die - Compile unit debug information entry.
55 ///
Devang Patelc50078e2009-11-21 02:48:08 +000056 DIE *CUDie;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000057
Devang Patel1233f912009-11-21 00:31:03 +000058 /// IndexTyDie - An anonymous type for index type.
59 DIE *IndexTyDie;
60
Bill Wendlingb12b3d72009-05-15 09:23:25 +000061 /// GVToDieMap - Tracks the mapping of unit level debug informaton
62 /// variables to debug information entries.
Devang Patel15e723d2009-08-28 23:24:31 +000063 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Pateld90672c2009-11-20 21:37:22 +000064 ValueMap<MDNode *, DIE *> GVToDieMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000065
66 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
67 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel15e723d2009-08-28 23:24:31 +000068 /// FIXME : Rename
Devang Pateld90672c2009-11-20 21:37:22 +000069 ValueMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000070
71 /// Globals - A map of globally visible named entities for this unit.
72 ///
73 StringMap<DIE*> Globals;
74
Devang Patelec13b4f2009-11-24 01:14:22 +000075 /// GlobalTypes - A map of globally visible types for this unit.
76 ///
77 StringMap<DIE*> GlobalTypes;
78
Bill Wendlingb12b3d72009-05-15 09:23:25 +000079public:
80 CompileUnit(unsigned I, DIE *D)
Devang Patelc50078e2009-11-21 02:48:08 +000081 : ID(I), CUDie(D), IndexTyDie(0) {}
82 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000083
84 // Accessors.
Devang Patelec13b4f2009-11-24 01:14:22 +000085 unsigned getID() const { return ID; }
86 DIE* getCUDie() const { return CUDie; }
87 const StringMap<DIE*> &getGlobals() const { return Globals; }
88 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000089
90 /// hasContent - Return true if this compile unit has something to write out.
91 ///
Devang Patelc50078e2009-11-21 02:48:08 +000092 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000093
Devang Patelc50078e2009-11-21 02:48:08 +000094 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendlingb12b3d72009-05-15 09:23:25 +000095 ///
Devang Patelc50078e2009-11-21 02:48:08 +000096 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000097
Devang Patelec13b4f2009-11-24 01:14:22 +000098 /// addGlobalType - Add a new global type to the compile unit.
99 ///
100 void addGlobalType(const std::string &Name, DIE *Die) {
101 GlobalTypes[Name] = Die;
102 }
103
Devang Pateld90672c2009-11-20 21:37:22 +0000104 /// getDIE - Returns the debug information entry map slot for the
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000105 /// specified debug variable.
Devang Pateld90672c2009-11-20 21:37:22 +0000106 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach652b7432009-11-21 23:12:12 +0000107
Devang Pateld90672c2009-11-20 21:37:22 +0000108 /// insertDIE - Insert DIE into the map.
109 void insertDIE(MDNode *N, DIE *D) {
110 GVToDieMap.insert(std::make_pair(N, D));
111 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000112
Devang Pateld90672c2009-11-20 21:37:22 +0000113 /// getDIEEntry - Returns the debug information entry for the speciefied
114 /// debug variable.
115 DIEEntry *getDIEEntry(MDNode *N) { return GVToDIEEntryMap.lookup(N); }
116
117 /// insertDIEEntry - Insert debug information entry into the map.
118 void insertDIEEntry(MDNode *N, DIEEntry *E) {
119 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000120 }
121
Devang Patelc50078e2009-11-21 02:48:08 +0000122 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000123 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000124 void addDie(DIE *Buffer) {
125 this->CUDie->addChild(Buffer);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000126 }
Devang Patel1233f912009-11-21 00:31:03 +0000127
128 // getIndexTyDie - Get an anonymous type for index type.
129 DIE *getIndexTyDie() {
130 return IndexTyDie;
131 }
132
Jim Grosbachb23f2422009-11-22 19:20:36 +0000133 // setIndexTyDie - Set D as anonymous type for index which can be reused
134 // later.
Devang Patel1233f912009-11-21 00:31:03 +0000135 void setIndexTyDie(DIE *D) {
136 IndexTyDie = D;
137 }
138
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000139};
140
141//===----------------------------------------------------------------------===//
142/// DbgVariable - This class is used to track local variable information.
143///
Devang Patel4cb32c32009-11-16 21:53:40 +0000144class DbgVariable {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000145 DIVariable Var; // Variable Descriptor.
146 unsigned FrameIndex; // Variable frame index.
Devang Patel90a0fe32009-11-10 23:06:00 +0000147 DbgVariable *AbstractVar; // Abstract variable for this variable.
148 DIE *TheDIE;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000149public:
Devang Patel90a0fe32009-11-10 23:06:00 +0000150 DbgVariable(DIVariable V, unsigned I)
151 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000152
153 // Accessors.
Devang Patel90a0fe32009-11-10 23:06:00 +0000154 DIVariable getVariable() const { return Var; }
155 unsigned getFrameIndex() const { return FrameIndex; }
156 void setAbstractVariable(DbgVariable *V) { AbstractVar = V; }
157 DbgVariable *getAbstractVariable() const { return AbstractVar; }
158 void setDIE(DIE *D) { TheDIE = D; }
159 DIE *getDIE() const { return TheDIE; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000160};
161
162//===----------------------------------------------------------------------===//
163/// DbgScope - This class is used to track scope information.
164///
Devang Patel4cb32c32009-11-16 21:53:40 +0000165class DbgScope {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000166 DbgScope *Parent; // Parent to this scope.
Jim Grosbach652b7432009-11-21 23:12:12 +0000167 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patel90a0fe32009-11-10 23:06:00 +0000168 WeakVH InlinedAtLocation; // Location at which scope is inlined.
169 bool AbstractScope; // Abstract Scope
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000170 unsigned StartLabelID; // Label ID of the beginning of scope.
171 unsigned EndLabelID; // Label ID of the end of scope.
Devang Patel90ecd192009-10-01 18:25:23 +0000172 const MachineInstr *LastInsn; // Last instruction of this scope.
173 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000174 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
175 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbar41716322009-09-19 20:40:05 +0000176
Owen Anderson696d4862009-06-24 22:53:20 +0000177 // Private state for dump()
178 mutable unsigned IndentLevel;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000179public:
Devang Pateldd7bb432009-10-14 21:08:09 +0000180 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel90a0fe32009-11-10 23:06:00 +0000181 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach652b7432009-11-21 23:12:12 +0000182 StartLabelID(0), EndLabelID(0),
Devang Pateldd7bb432009-10-14 21:08:09 +0000183 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000184 virtual ~DbgScope();
185
186 // Accessors.
187 DbgScope *getParent() const { return Parent; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000188 void setParent(DbgScope *P) { Parent = P; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000189 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach652b7432009-11-21 23:12:12 +0000190 MDNode *getInlinedAt() const {
Devang Patel90a0fe32009-11-10 23:06:00 +0000191 return dyn_cast_or_null<MDNode>(InlinedAtLocation);
Devang Pateldd7bb432009-10-14 21:08:09 +0000192 }
Devang Patel90a0fe32009-11-10 23:06:00 +0000193 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000194 unsigned getStartLabelID() const { return StartLabelID; }
195 unsigned getEndLabelID() const { return EndLabelID; }
196 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
197 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000198 void setStartLabelID(unsigned S) { StartLabelID = S; }
199 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Patel90ecd192009-10-01 18:25:23 +0000200 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
201 const MachineInstr *getLastInsn() { return LastInsn; }
202 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000203 void setAbstractScope() { AbstractScope = true; }
204 bool isAbstractScope() const { return AbstractScope; }
Devang Patel90ecd192009-10-01 18:25:23 +0000205 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000206
Devang Patelc50078e2009-11-21 02:48:08 +0000207 /// addScope - Add a scope to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000208 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000209 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000210
Devang Patelc50078e2009-11-21 02:48:08 +0000211 /// addVariable - Add a variable to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000212 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000213 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000214
Devang Patelc50078e2009-11-21 02:48:08 +0000215 void fixInstructionMarkers() {
Devang Patel6a260102009-10-01 20:31:14 +0000216 assert (getFirstInsn() && "First instruction is missing!");
217 if (getLastInsn())
218 return;
Jim Grosbach652b7432009-11-21 23:12:12 +0000219
Devang Patel6a260102009-10-01 20:31:14 +0000220 // If a scope does not have an instruction to mark an end then use
221 // the end of last child scope.
222 SmallVector<DbgScope *, 4> &Scopes = getScopes();
223 assert (!Scopes.empty() && "Inner most scope does not have last insn!");
224 DbgScope *L = Scopes.back();
225 if (!L->getLastInsn())
Devang Patelc50078e2009-11-21 02:48:08 +0000226 L->fixInstructionMarkers();
Devang Patel6a260102009-10-01 20:31:14 +0000227 setLastInsn(L->getLastInsn());
228 }
229
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000230#ifndef NDEBUG
231 void dump() const;
232#endif
233};
234
235#ifndef NDEBUG
236void DbgScope::dump() const {
Chris Lattnerebb8c082009-08-23 00:51:00 +0000237 raw_ostream &err = errs();
238 err.indent(IndentLevel);
Devang Patel90a0fe32009-11-10 23:06:00 +0000239 MDNode *N = Desc.getNode();
240 N->dump();
Chris Lattnerebb8c082009-08-23 00:51:00 +0000241 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patel90a0fe32009-11-10 23:06:00 +0000242 if (AbstractScope)
243 err << "Abstract Scope\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000244
245 IndentLevel += 2;
Devang Patel90a0fe32009-11-10 23:06:00 +0000246 if (!Scopes.empty())
247 err << "Children ...\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000248 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
249 if (Scopes[i] != this)
250 Scopes[i]->dump();
251
252 IndentLevel -= 2;
253}
254#endif
255
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000256DbgScope::~DbgScope() {
257 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
258 delete Scopes[i];
259 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
260 delete Variables[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000261}
262
263} // end llvm namespace
264
Chris Lattner621c44d2009-08-22 20:48:53 +0000265DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Devang Patel5a3d37f2009-06-29 20:45:18 +0000266 : Dwarf(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000267 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patelc50078e2009-11-21 02:48:08 +0000268 DIEValues(), StringPool(),
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000269 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel90a0fe32009-11-10 23:06:00 +0000270 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000271 if (TimePassesIsEnabled)
272 DebugTimer = new Timer("Dwarf Debug Writer",
273 getDwarfTimerGroup());
274}
275DwarfDebug::~DwarfDebug() {
Devang Patelc50078e2009-11-21 02:48:08 +0000276 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
277 delete DIEValues[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000278
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000279 delete DebugTimer;
280}
281
Devang Patelc50078e2009-11-21 02:48:08 +0000282/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000283///
Devang Patelc50078e2009-11-21 02:48:08 +0000284void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000285 // Profile the node so that we can make it unique.
286 FoldingSetNodeID ID;
287 Abbrev.Profile(ID);
288
289 // Check the set for priors.
290 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
291
292 // If it's newly added.
293 if (InSet == &Abbrev) {
294 // Add to abbreviation list.
295 Abbreviations.push_back(&Abbrev);
296
297 // Assign the vector position + 1 as its number.
298 Abbrev.setNumber(Abbreviations.size());
299 } else {
300 // Assign existing abbreviation number.
301 Abbrev.setNumber(InSet->getNumber());
302 }
303}
304
Devang Patelc50078e2009-11-21 02:48:08 +0000305/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling0d3db8b2009-05-20 23:24:48 +0000306/// information entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000307DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel1233f912009-11-21 00:31:03 +0000308 DIEEntry *Value = new DIEEntry(Entry);
Devang Patelc50078e2009-11-21 02:48:08 +0000309 DIEValues.push_back(Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000310 return Value;
311}
312
Devang Patelc50078e2009-11-21 02:48:08 +0000313/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000314///
Devang Patelc50078e2009-11-21 02:48:08 +0000315void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000316 unsigned Form, uint64_t Integer) {
317 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel1233f912009-11-21 00:31:03 +0000318 DIEValue *Value = new DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000319 DIEValues.push_back(Value);
320 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000321}
322
Devang Patelc50078e2009-11-21 02:48:08 +0000323/// addSInt - Add an signed integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000324///
Devang Patelc50078e2009-11-21 02:48:08 +0000325void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000326 unsigned Form, int64_t Integer) {
327 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel1233f912009-11-21 00:31:03 +0000328 DIEValue *Value = new DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000329 DIEValues.push_back(Value);
330 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000331}
332
Devang Patelc50078e2009-11-21 02:48:08 +0000333/// addString - Add a string attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000334///
Devang Patelc50078e2009-11-21 02:48:08 +0000335void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Devang Patelc10337d2009-11-24 19:42:17 +0000336 const StringRef String) {
Devang Patel1233f912009-11-21 00:31:03 +0000337 DIEValue *Value = new DIEString(String);
Devang Patelc50078e2009-11-21 02:48:08 +0000338 DIEValues.push_back(Value);
339 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000340}
341
Devang Patelc50078e2009-11-21 02:48:08 +0000342/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000343///
Devang Patelc50078e2009-11-21 02:48:08 +0000344void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000345 const DWLabel &Label) {
Devang Patel1233f912009-11-21 00:31:03 +0000346 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patelc50078e2009-11-21 02:48:08 +0000347 DIEValues.push_back(Value);
348 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000349}
350
Devang Patelc50078e2009-11-21 02:48:08 +0000351/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000352///
Devang Patelc50078e2009-11-21 02:48:08 +0000353void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000354 const std::string &Label) {
Devang Patel1233f912009-11-21 00:31:03 +0000355 DIEValue *Value = new DIEObjectLabel(Label);
Devang Patelc50078e2009-11-21 02:48:08 +0000356 DIEValues.push_back(Value);
357 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000358}
359
Devang Patelc50078e2009-11-21 02:48:08 +0000360/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000361///
Devang Patelc50078e2009-11-21 02:48:08 +0000362void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000363 const DWLabel &Label, const DWLabel &Section,
364 bool isEH, bool useSet) {
Devang Patel1233f912009-11-21 00:31:03 +0000365 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patelc50078e2009-11-21 02:48:08 +0000366 DIEValues.push_back(Value);
367 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000368}
369
Devang Patelc50078e2009-11-21 02:48:08 +0000370/// addDelta - Add a label delta attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000371///
Devang Patelc50078e2009-11-21 02:48:08 +0000372void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000373 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel1233f912009-11-21 00:31:03 +0000374 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patelc50078e2009-11-21 02:48:08 +0000375 DIEValues.push_back(Value);
376 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000377}
378
Devang Patelc50078e2009-11-21 02:48:08 +0000379/// addBlock - Add block data.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000380///
Devang Patelc50078e2009-11-21 02:48:08 +0000381void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000382 DIEBlock *Block) {
383 Block->ComputeSize(TD);
Devang Patelc50078e2009-11-21 02:48:08 +0000384 DIEValues.push_back(Block);
385 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000386}
387
Devang Patelc50078e2009-11-21 02:48:08 +0000388/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000389/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000390void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000391 // If there is no compile unit specified, don't add a line #.
392 if (V->getCompileUnit().isNull())
393 return;
394
395 unsigned Line = V->getLineNumber();
Devang Patelc50078e2009-11-21 02:48:08 +0000396 unsigned FileID = findCompileUnit(V->getCompileUnit()).getID();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000397 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000398 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
399 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000400}
401
Devang Patelc50078e2009-11-21 02:48:08 +0000402/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000403/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000404void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000405 // If there is no compile unit specified, don't add a line #.
406 if (G->getCompileUnit().isNull())
407 return;
408
409 unsigned Line = G->getLineNumber();
Devang Patelc50078e2009-11-21 02:48:08 +0000410 unsigned FileID = findCompileUnit(G->getCompileUnit()).getID();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000411 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000412 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
413 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000414}
Devang Patel318d70d2009-08-31 22:47:13 +0000415
Devang Patelc50078e2009-11-21 02:48:08 +0000416/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000417/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000418void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel318d70d2009-08-31 22:47:13 +0000419 // If there is no compile unit specified, don't add a line #.
420 if (SP->getCompileUnit().isNull())
421 return;
Caroline Tice9da96d82009-09-11 18:25:54 +0000422 // If the line number is 0, don't add it.
423 if (SP->getLineNumber() == 0)
424 return;
425
Devang Patel318d70d2009-08-31 22:47:13 +0000426
427 unsigned Line = SP->getLineNumber();
Devang Patelc50078e2009-11-21 02:48:08 +0000428 unsigned FileID = findCompileUnit(SP->getCompileUnit()).getID();
Devang Patel318d70d2009-08-31 22:47:13 +0000429 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000430 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
431 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel318d70d2009-08-31 22:47:13 +0000432}
433
Devang Patelc50078e2009-11-21 02:48:08 +0000434/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000435/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000436void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000437 // If there is no compile unit specified, don't add a line #.
438 DICompileUnit CU = Ty->getCompileUnit();
439 if (CU.isNull())
440 return;
441
442 unsigned Line = Ty->getLineNumber();
Devang Patelc50078e2009-11-21 02:48:08 +0000443 unsigned FileID = findCompileUnit(CU).getID();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000444 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000445 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
446 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000447}
448
Caroline Tice248d5572009-08-31 21:19:37 +0000449/* Byref variables, in Blocks, are declared by the programmer as
450 "SomeType VarName;", but the compiler creates a
451 __Block_byref_x_VarName struct, and gives the variable VarName
452 either the struct, or a pointer to the struct, as its type. This
453 is necessary for various behind-the-scenes things the compiler
454 needs to do with by-reference variables in blocks.
455
456 However, as far as the original *programmer* is concerned, the
457 variable should still have type 'SomeType', as originally declared.
458
459 The following function dives into the __Block_byref_x_VarName
460 struct to find the original type of the variable. This will be
461 passed back to the code generating the type for the Debug
462 Information Entry for the variable 'VarName'. 'VarName' will then
463 have the original type 'SomeType' in its debug information.
464
465 The original type 'SomeType' will be the type of the field named
466 'VarName' inside the __Block_byref_x_VarName struct.
467
468 NOTE: In order for this to not completely fail on the debugger
469 side, the Debug Information Entry for the variable VarName needs to
470 have a DW_AT_location that tells the debugger how to unwind through
471 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patelc50078e2009-11-21 02:48:08 +0000472 value of the variable. The function addBlockByrefType does this. */
Caroline Tice248d5572009-08-31 21:19:37 +0000473
474/// Find the type the programmer originally declared the variable to be
475/// and return that type.
476///
Devang Patelc50078e2009-11-21 02:48:08 +0000477DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Tice248d5572009-08-31 21:19:37 +0000478
479 DIType subType = Ty;
480 unsigned tag = Ty.getTag();
481
482 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000483 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000484 subType = DTy.getTypeDerivedFrom();
485 }
486
487 DICompositeType blockStruct = DICompositeType(subType.getNode());
488
489 DIArray Elements = blockStruct.getTypeArray();
490
491 if (Elements.isNull())
492 return Ty;
493
494 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
495 DIDescriptor Element = Elements.getElement(i);
496 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000497 if (Name == DT.getName())
Caroline Tice248d5572009-08-31 21:19:37 +0000498 return (DT.getTypeDerivedFrom());
499 }
500
501 return Ty;
502}
503
Devang Patelc50078e2009-11-21 02:48:08 +0000504/// addComplexAddress - Start with the address based on the location provided,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000505/// and generate the DWARF information necessary to find the actual variable
506/// given the extra address information encoded in the DIVariable, starting from
507/// the starting location. Add the DWARF information to the die.
508///
Devang Patelc50078e2009-11-21 02:48:08 +0000509void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000510 unsigned Attribute,
511 const MachineLocation &Location) {
512 const DIVariable &VD = DV->getVariable();
513 DIType Ty = VD.getType();
514
515 // Decode the original location, and use that as the start of the byref
516 // variable's location.
517 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
518 DIEBlock *Block = new DIEBlock();
519
520 if (Location.isReg()) {
521 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000522 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000523 } else {
524 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000525 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
526 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000527 }
528 } else {
529 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000530 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000531 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000532 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
533 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000534 }
535
Devang Patelc50078e2009-11-21 02:48:08 +0000536 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000537 }
538
539 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
540 uint64_t Element = VD.getAddrElement(i);
541
542 if (Element == DIFactory::OpPlus) {
Devang Patelc50078e2009-11-21 02:48:08 +0000543 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
544 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000545 } else if (Element == DIFactory::OpDeref) {
Devang Patelc50078e2009-11-21 02:48:08 +0000546 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000547 } else llvm_unreachable("unknown DIFactory Opcode");
548 }
549
550 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000551 addBlock(Die, Attribute, 0, Block);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000552}
553
Caroline Tice248d5572009-08-31 21:19:37 +0000554/* Byref variables, in Blocks, are declared by the programmer as "SomeType
555 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
556 gives the variable VarName either the struct, or a pointer to the struct, as
557 its type. This is necessary for various behind-the-scenes things the
558 compiler needs to do with by-reference variables in Blocks.
559
560 However, as far as the original *programmer* is concerned, the variable
561 should still have type 'SomeType', as originally declared.
562
Devang Patelc50078e2009-11-21 02:48:08 +0000563 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000564 struct to find the original type of the variable, which is then assigned to
565 the variable's Debug Information Entry as its real type. So far, so good.
566 However now the debugger will expect the variable VarName to have the type
567 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbar41716322009-09-19 20:40:05 +0000568 expression that explains to the debugger how to navigate through the
Caroline Tice248d5572009-08-31 21:19:37 +0000569 pointers and struct to find the actual variable of type SomeType.
570
571 The following function does just that. We start by getting
572 the "normal" location for the variable. This will be the location
573 of either the struct __Block_byref_x_VarName or the pointer to the
574 struct __Block_byref_x_VarName.
575
576 The struct will look something like:
577
578 struct __Block_byref_x_VarName {
579 ... <various fields>
580 struct __Block_byref_x_VarName *forwarding;
581 ... <various other fields>
582 SomeType VarName;
583 ... <maybe more fields>
584 };
585
586 If we are given the struct directly (as our starting point) we
587 need to tell the debugger to:
588
589 1). Add the offset of the forwarding field.
590
591 2). Follow that pointer to get the the real __Block_byref_x_VarName
592 struct to use (the real one may have been copied onto the heap).
593
594 3). Add the offset for the field VarName, to find the actual variable.
595
596 If we started with a pointer to the struct, then we need to
597 dereference that pointer first, before the other steps.
598 Translating this into DWARF ops, we will need to append the following
599 to the current location description for the variable:
600
601 DW_OP_deref -- optional, if we start with a pointer
602 DW_OP_plus_uconst <forward_fld_offset>
603 DW_OP_deref
604 DW_OP_plus_uconst <varName_fld_offset>
605
606 That is what this function does. */
607
Devang Patelc50078e2009-11-21 02:48:08 +0000608/// addBlockByrefAddress - Start with the address based on the location
Caroline Tice248d5572009-08-31 21:19:37 +0000609/// provided, and generate the DWARF information necessary to find the
610/// actual Block variable (navigating the Block struct) based on the
611/// starting location. Add the DWARF information to the die. For
612/// more information, read large comment just above here.
613///
Devang Patelc50078e2009-11-21 02:48:08 +0000614void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000615 unsigned Attribute,
616 const MachineLocation &Location) {
Caroline Tice248d5572009-08-31 21:19:37 +0000617 const DIVariable &VD = DV->getVariable();
618 DIType Ty = VD.getType();
619 DIType TmpTy = Ty;
620 unsigned Tag = Ty.getTag();
621 bool isPointer = false;
622
Devang Patel7f75bbe2009-11-25 17:36:49 +0000623 StringRef varName = VD.getName();
Caroline Tice248d5572009-08-31 21:19:37 +0000624
625 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000626 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000627 TmpTy = DTy.getTypeDerivedFrom();
628 isPointer = true;
629 }
630
631 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
632
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000633 // Find the __forwarding field and the variable field in the __Block_byref
634 // struct.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000635 DIArray Fields = blockStruct.getTypeArray();
636 DIDescriptor varField = DIDescriptor();
637 DIDescriptor forwardingField = DIDescriptor();
Caroline Tice248d5572009-08-31 21:19:37 +0000638
639
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000640 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
641 DIDescriptor Element = Fields.getElement(i);
642 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000643 StringRef fieldName = DT.getName();
644 if (fieldName == "__forwarding")
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000645 forwardingField = Element;
Devang Patel7f75bbe2009-11-25 17:36:49 +0000646 else if (fieldName == varName)
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000647 varField = Element;
648 }
Daniel Dunbar41716322009-09-19 20:40:05 +0000649
Mike Stump2fd84e22009-09-24 23:21:26 +0000650 assert(!varField.isNull() && "Can't find byref variable in Block struct");
651 assert(!forwardingField.isNull()
652 && "Can't find forwarding field in Block struct");
Caroline Tice248d5572009-08-31 21:19:37 +0000653
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000654 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000655 unsigned int forwardingFieldOffset =
656 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
657 unsigned int varFieldOffset =
658 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Tice248d5572009-08-31 21:19:37 +0000659
Mike Stump2fd84e22009-09-24 23:21:26 +0000660 // Decode the original location, and use that as the start of the byref
661 // variable's location.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000662 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
663 DIEBlock *Block = new DIEBlock();
Caroline Tice248d5572009-08-31 21:19:37 +0000664
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000665 if (Location.isReg()) {
666 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000667 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000668 else {
669 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000670 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
671 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000672 }
673 } else {
674 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000675 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000676 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000677 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
678 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000679 }
Caroline Tice248d5572009-08-31 21:19:37 +0000680
Devang Patelc50078e2009-11-21 02:48:08 +0000681 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000682 }
Caroline Tice248d5572009-08-31 21:19:37 +0000683
Mike Stump2fd84e22009-09-24 23:21:26 +0000684 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000685 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000686 if (isPointer)
Devang Patelc50078e2009-11-21 02:48:08 +0000687 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000688
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000689 // Next add the offset for the '__forwarding' field:
690 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
691 // adding the offset if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000692 if (forwardingFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000693 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
694 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000695 }
Caroline Tice248d5572009-08-31 21:19:37 +0000696
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000697 // Now dereference the __forwarding field to get to the real __Block_byref
698 // struct: DW_OP_deref.
Devang Patelc50078e2009-11-21 02:48:08 +0000699 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000700
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000701 // Now that we've got the real __Block_byref... struct, add the offset
702 // for the variable's field to get to the location of the actual variable:
703 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000704 if (varFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
706 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000707 }
Caroline Tice248d5572009-08-31 21:19:37 +0000708
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000709 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000710 addBlock(Die, Attribute, 0, Block);
Caroline Tice248d5572009-08-31 21:19:37 +0000711}
712
Devang Patelc50078e2009-11-21 02:48:08 +0000713/// addAddress - Add an address attribute to a die based on the location
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000714/// provided.
Devang Patelc50078e2009-11-21 02:48:08 +0000715void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000716 const MachineLocation &Location) {
717 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
718 DIEBlock *Block = new DIEBlock();
719
720 if (Location.isReg()) {
721 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000722 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000723 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000724 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
725 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000726 }
727 } else {
728 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000730 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000731 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
732 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000733 }
734
Devang Patelc50078e2009-11-21 02:48:08 +0000735 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000736 }
737
Devang Patelc50078e2009-11-21 02:48:08 +0000738 addBlock(Die, Attribute, 0, Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000739}
740
Devang Patelc50078e2009-11-21 02:48:08 +0000741/// addType - Add a new type attribute to the specified entity.
742void DwarfDebug::addType(CompileUnit *DW_Unit, DIE *Entity, DIType Ty) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000743 if (Ty.isNull())
744 return;
745
746 // Check for pre-existence.
Devang Patelc50078e2009-11-21 02:48:08 +0000747 DIEEntry *Entry = DW_Unit->getDIEEntry(Ty.getNode());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000748
749 // If it exists then use the existing value.
Devang Patelc50078e2009-11-21 02:48:08 +0000750 if (Entry) {
751 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000752 return;
753 }
754
755 // Set up proxy.
Devang Patelc50078e2009-11-21 02:48:08 +0000756 Entry = createDIEEntry();
757 DW_Unit->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000758
759 // Construct type.
Devang Patel1233f912009-11-21 00:31:03 +0000760 DIE *Buffer = new DIE(dwarf::DW_TAG_base_type);
Devang Patel56843af2009-08-31 18:49:10 +0000761 if (Ty.isBasicType())
Devang Patelc50078e2009-11-21 02:48:08 +0000762 constructTypeDIE(DW_Unit, *Buffer, DIBasicType(Ty.getNode()));
Devang Patel56843af2009-08-31 18:49:10 +0000763 else if (Ty.isCompositeType())
Devang Patelc50078e2009-11-21 02:48:08 +0000764 constructTypeDIE(DW_Unit, *Buffer, DICompositeType(Ty.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000765 else {
Devang Patel56843af2009-08-31 18:49:10 +0000766 assert(Ty.isDerivedType() && "Unknown kind of DIType");
Devang Patelc50078e2009-11-21 02:48:08 +0000767 constructTypeDIE(DW_Unit, *Buffer, DIDerivedType(Ty.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000768 }
769
770 // Add debug information entry to entity and appropriate context.
771 DIE *Die = NULL;
772 DIDescriptor Context = Ty.getContext();
773 if (!Context.isNull())
Devang Pateld90672c2009-11-20 21:37:22 +0000774 Die = DW_Unit->getDIE(Context.getNode());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000775
Jim Grosbach652b7432009-11-21 23:12:12 +0000776 if (Die)
Devang Patelc50078e2009-11-21 02:48:08 +0000777 Die->addChild(Buffer);
Jim Grosbach652b7432009-11-21 23:12:12 +0000778 else
Devang Patelc50078e2009-11-21 02:48:08 +0000779 DW_Unit->addDie(Buffer);
780 Entry->setEntry(Buffer);
781 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000782}
783
Devang Patelc50078e2009-11-21 02:48:08 +0000784/// constructTypeDIE - Construct basic type die from DIBasicType.
785void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000786 DIBasicType BTy) {
787 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000788 StringRef Name = BTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000789 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +0000790 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000791 BTy.getEncoding());
792
793 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000794 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000795 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000796 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patelc50078e2009-11-21 02:48:08 +0000797 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000798}
799
Devang Patelc50078e2009-11-21 02:48:08 +0000800/// constructTypeDIE - Construct derived type die from DIDerivedType.
801void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000802 DIDerivedType DTy) {
803 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000804 StringRef Name = DTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000805 uint64_t Size = DTy.getSizeInBits() >> 3;
806 unsigned Tag = DTy.getTag();
807
808 // FIXME - Workaround for templates.
809 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
810
811 Buffer.setTag(Tag);
812
813 // Map to main type, void will not have a type.
814 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patelc50078e2009-11-21 02:48:08 +0000815 addType(DW_Unit, &Buffer, FromTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000816
817 // Add name if not anonymous or intermediate type.
Devang Patel76b80672009-11-30 23:56:56 +0000818 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000819 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000820
821 // Add size if non-zero (derived types might be zero-sized.)
822 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000823 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000824
825 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb125c6e2009-11-23 18:43:37 +0000826 if (!DTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000827 addSourceLine(&Buffer, &DTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000828}
829
Devang Patelc50078e2009-11-21 02:48:08 +0000830/// constructTypeDIE - Construct type DIE from DICompositeType.
831void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000832 DICompositeType CTy) {
833 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000834 StringRef Name = CTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000835
836 uint64_t Size = CTy.getSizeInBits() >> 3;
837 unsigned Tag = CTy.getTag();
838 Buffer.setTag(Tag);
839
840 switch (Tag) {
841 case dwarf::DW_TAG_vector_type:
842 case dwarf::DW_TAG_array_type:
Devang Patelc50078e2009-11-21 02:48:08 +0000843 constructArrayTypeDIE(DW_Unit, Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000844 break;
845 case dwarf::DW_TAG_enumeration_type: {
846 DIArray Elements = CTy.getTypeArray();
847
848 // Add enumerators to enumeration type.
849 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
850 DIE *ElemDie = NULL;
Devang Patel15e723d2009-08-28 23:24:31 +0000851 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelfb812752009-10-09 17:51:49 +0000852 if (!Enum.isNull()) {
Devang Patelc50078e2009-11-21 02:48:08 +0000853 ElemDie = constructEnumTypeDIE(DW_Unit, &Enum);
854 Buffer.addChild(ElemDie);
Devang Patelfb812752009-10-09 17:51:49 +0000855 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000856 }
857 }
858 break;
859 case dwarf::DW_TAG_subroutine_type: {
860 // Add return type.
861 DIArray Elements = CTy.getTypeArray();
862 DIDescriptor RTy = Elements.getElement(0);
Devang Patelc50078e2009-11-21 02:48:08 +0000863 addType(DW_Unit, &Buffer, DIType(RTy.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000864
865 // Add prototype flag.
Devang Patelc50078e2009-11-21 02:48:08 +0000866 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000867
868 // Add arguments.
869 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
870 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
871 DIDescriptor Ty = Elements.getElement(i);
Devang Patelc50078e2009-11-21 02:48:08 +0000872 addType(DW_Unit, Arg, DIType(Ty.getNode()));
873 Buffer.addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000874 }
875 }
876 break;
877 case dwarf::DW_TAG_structure_type:
878 case dwarf::DW_TAG_union_type:
879 case dwarf::DW_TAG_class_type: {
880 // Add elements to structure type.
881 DIArray Elements = CTy.getTypeArray();
882
883 // A forward struct declared type may not have elements available.
884 if (Elements.isNull())
885 break;
886
887 // Add elements to structure type.
888 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
889 DIDescriptor Element = Elements.getElement(i);
Devang Patel15e723d2009-08-28 23:24:31 +0000890 if (Element.isNull())
891 continue;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000892 DIE *ElemDie = NULL;
893 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patelc50078e2009-11-21 02:48:08 +0000894 ElemDie = createSubprogramDIE(DW_Unit,
Devang Patel15e723d2009-08-28 23:24:31 +0000895 DISubprogram(Element.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000896 else
Devang Patelc50078e2009-11-21 02:48:08 +0000897 ElemDie = createMemberDIE(DW_Unit,
Devang Patel15e723d2009-08-28 23:24:31 +0000898 DIDerivedType(Element.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000899 Buffer.addChild(ElemDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000900 }
901
Devang Patel20b32102009-08-27 23:51:51 +0000902 if (CTy.isAppleBlockExtension())
Devang Patelc50078e2009-11-21 02:48:08 +0000903 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000904
905 unsigned RLang = CTy.getRunTimeLang();
906 if (RLang)
Devang Patelc50078e2009-11-21 02:48:08 +0000907 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000908 dwarf::DW_FORM_data1, RLang);
909 break;
910 }
911 default:
912 break;
913 }
914
915 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000916 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000917 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000918
919 if (Tag == dwarf::DW_TAG_enumeration_type ||
920 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
921 // Add size if non-zero (derived types might be zero-sized.)
922 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000923 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000924 else {
925 // Add zero size if it is not a forward declaration.
926 if (CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000927 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000928 else
Devang Patelc50078e2009-11-21 02:48:08 +0000929 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000930 }
931
932 // Add source line info if available.
933 if (!CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000934 addSourceLine(&Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000935 }
936}
937
Devang Patelc50078e2009-11-21 02:48:08 +0000938/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
939void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000940 int64_t L = SR.getLo();
941 int64_t H = SR.getHi();
942 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
943
Devang Patelc50078e2009-11-21 02:48:08 +0000944 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patele7ff5092009-08-14 20:59:16 +0000945 if (L)
Devang Patelc50078e2009-11-21 02:48:08 +0000946 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Patele7ff5092009-08-14 20:59:16 +0000947 if (H)
Devang Patelc50078e2009-11-21 02:48:08 +0000948 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000949
Devang Patelc50078e2009-11-21 02:48:08 +0000950 Buffer.addChild(DW_Subrange);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000951}
952
Devang Patelc50078e2009-11-21 02:48:08 +0000953/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
954void DwarfDebug::constructArrayTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000955 DICompositeType *CTy) {
956 Buffer.setTag(dwarf::DW_TAG_array_type);
957 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patelc50078e2009-11-21 02:48:08 +0000958 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000959
960 // Emit derived type.
Devang Patelc50078e2009-11-21 02:48:08 +0000961 addType(DW_Unit, &Buffer, CTy->getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000962 DIArray Elements = CTy->getTypeArray();
963
Devang Patel1233f912009-11-21 00:31:03 +0000964 // Get an anonymous type for index type.
965 DIE *IdxTy = DW_Unit->getIndexTyDie();
966 if (!IdxTy) {
967 // Construct an anonymous type for index type.
968 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +0000969 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
970 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel1233f912009-11-21 00:31:03 +0000971 dwarf::DW_ATE_signed);
Devang Patelc50078e2009-11-21 02:48:08 +0000972 DW_Unit->addDie(IdxTy);
Devang Patel1233f912009-11-21 00:31:03 +0000973 DW_Unit->setIndexTyDie(IdxTy);
974 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000975
976 // Add subranges to array type.
977 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
978 DIDescriptor Element = Elements.getElement(i);
979 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patelc50078e2009-11-21 02:48:08 +0000980 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000981 }
982}
983
Devang Patelc50078e2009-11-21 02:48:08 +0000984/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
985DIE *DwarfDebug::constructEnumTypeDIE(CompileUnit *DW_Unit, DIEnumerator *ETy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000986 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel7f75bbe2009-11-25 17:36:49 +0000987 StringRef Name = ETy->getName();
Devang Patelc50078e2009-11-21 02:48:08 +0000988 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000989 int64_t Value = ETy->getEnumValue();
Devang Patelc50078e2009-11-21 02:48:08 +0000990 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000991 return Enumerator;
992}
993
Devang Patelc50078e2009-11-21 02:48:08 +0000994/// createGlobalVariableDIE - Create new DIE using GV.
995DIE *DwarfDebug::createGlobalVariableDIE(CompileUnit *DW_Unit,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000996 const DIGlobalVariable &GV) {
Jim Grosbachb23f2422009-11-22 19:20:36 +0000997 // If the global variable was optmized out then no need to create debug info
998 // entry.
Devang Patel83e42c72009-11-06 17:58:12 +0000999 if (!GV.getGlobal()) return NULL;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001000 if (GV.getDisplayName().empty()) return NULL;
Devang Patelfabc47c2009-11-06 01:30:04 +00001001
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001002 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach652b7432009-11-21 23:12:12 +00001003 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001004 GV.getDisplayName());
1005
Devang Patel7f75bbe2009-11-25 17:36:49 +00001006 StringRef LinkageName = GV.getLinkageName();
1007 if (!LinkageName.empty()) {
Chris Lattner73266f92009-08-19 05:49:37 +00001008 // Skip special LLVM prefix that is used to inform the asm printer to not
1009 // emit usual symbol prefix before the symbol name. This happens for
1010 // Objective-C symbol names and symbol whose name is replaced using GCC's
1011 // __asm__ attribute.
Devang Patel76031e82009-07-16 01:01:22 +00001012 if (LinkageName[0] == 1)
Benjamin Kramer62b81882009-11-25 18:26:09 +00001013 LinkageName = LinkageName.substr(1);
Devang Patelc50078e2009-11-21 02:48:08 +00001014 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patelbd760a52009-07-14 00:55:28 +00001015 LinkageName);
Devang Patel76031e82009-07-16 01:01:22 +00001016 }
Devang Patelc50078e2009-11-21 02:48:08 +00001017 addType(DW_Unit, GVDie, GV.getType());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001018 if (!GV.isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001019 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1020 addSourceLine(GVDie, &GV);
Devang Patel6bd5cc82009-10-05 23:22:08 +00001021
1022 // Add address.
1023 DIEBlock *Block = new DIEBlock();
Devang Patelc50078e2009-11-21 02:48:08 +00001024 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1025 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Devang Patel6bd5cc82009-10-05 23:22:08 +00001026 Asm->Mang->getMangledName(GV.getGlobal()));
Devang Patelc50078e2009-11-21 02:48:08 +00001027 addBlock(GVDie, dwarf::DW_AT_location, 0, Block);
Devang Patel6bd5cc82009-10-05 23:22:08 +00001028
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001029 return GVDie;
1030}
1031
Devang Patelc50078e2009-11-21 02:48:08 +00001032/// createMemberDIE - Create new member DIE.
1033DIE *DwarfDebug::createMemberDIE(CompileUnit *DW_Unit, const DIDerivedType &DT){
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001034 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel7f75bbe2009-11-25 17:36:49 +00001035 StringRef Name = DT.getName();
1036 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001037 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001038
Devang Patelc50078e2009-11-21 02:48:08 +00001039 addType(DW_Unit, MemberDie, DT.getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001040
Devang Patelc50078e2009-11-21 02:48:08 +00001041 addSourceLine(MemberDie, &DT);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001042
Devang Patel7d9fe582009-11-04 22:06:12 +00001043 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patelc50078e2009-11-21 02:48:08 +00001044 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel7d9fe582009-11-04 22:06:12 +00001045
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001046 uint64_t Size = DT.getSizeInBits();
Devang Patel71842a92009-11-04 23:48:00 +00001047 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001048
1049 if (Size != FieldSize) {
1050 // Handle bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001051 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1052 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001053
1054 uint64_t Offset = DT.getOffsetInBits();
1055 uint64_t FieldOffset = Offset;
1056 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1057 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
1058 FieldOffset = (HiMark - FieldSize);
1059 Offset -= FieldOffset;
1060
1061 // Maybe we need to work from the other end.
1062 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patelc50078e2009-11-21 02:48:08 +00001063 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001064
Devang Patel7d9fe582009-11-04 22:06:12 +00001065 // Here WD_AT_data_member_location points to the anonymous
1066 // field that includes this bit field.
Devang Patelc50078e2009-11-21 02:48:08 +00001067 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001068
1069 } else
1070 // This is not a bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001071 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001072
Devang Patelc50078e2009-11-21 02:48:08 +00001073 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001074
1075 if (DT.isProtected())
Devang Patelc50078e2009-11-21 02:48:08 +00001076 addUInt(MemberDie, dwarf::DW_AT_accessibility, 0,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001077 dwarf::DW_ACCESS_protected);
1078 else if (DT.isPrivate())
Devang Patelc50078e2009-11-21 02:48:08 +00001079 addUInt(MemberDie, dwarf::DW_AT_accessibility, 0,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001080 dwarf::DW_ACCESS_private);
1081
1082 return MemberDie;
1083}
1084
Devang Patelc50078e2009-11-21 02:48:08 +00001085/// createSubprogramDIE - Create new DIE using SP.
1086DIE *DwarfDebug::createSubprogramDIE(CompileUnit *DW_Unit,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001087 const DISubprogram &SP,
Bill Wendling87307862009-05-18 22:02:36 +00001088 bool IsConstructor,
1089 bool IsInlined) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001090 DIE *SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001091 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001092
Devang Patel7f75bbe2009-11-25 17:36:49 +00001093 StringRef LinkageName = SP.getLinkageName();
1094 if (!LinkageName.empty()) {
Jim Grosbachb23f2422009-11-22 19:20:36 +00001095 // Skip special LLVM prefix that is used to inform the asm printer to not
1096 // emit usual symbol prefix before the symbol name. This happens for
1097 // Objective-C symbol names and symbol whose name is replaced using GCC's
1098 // __asm__ attribute.
Devang Patel76031e82009-07-16 01:01:22 +00001099 if (LinkageName[0] == 1)
Benjamin Kramer62b81882009-11-25 18:26:09 +00001100 LinkageName = LinkageName.substr(1);
Devang Patelc50078e2009-11-21 02:48:08 +00001101 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patelbd760a52009-07-14 00:55:28 +00001102 LinkageName);
Devang Patel76031e82009-07-16 01:01:22 +00001103 }
Devang Patelc50078e2009-11-21 02:48:08 +00001104 addSourceLine(SPDie, &SP);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001105
1106 DICompositeType SPTy = SP.getType();
1107 DIArray Args = SPTy.getTypeArray();
1108
1109 // Add prototyped tag, if C or ObjC.
1110 unsigned Lang = SP.getCompileUnit().getLanguage();
1111 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1112 Lang == dwarf::DW_LANG_ObjC)
Devang Patelc50078e2009-11-21 02:48:08 +00001113 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001114
1115 // Add Return Type.
1116 unsigned SPTag = SPTy.getTag();
1117 if (!IsConstructor) {
1118 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001119 addType(DW_Unit, SPDie, SPTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001120 else
Devang Patelc50078e2009-11-21 02:48:08 +00001121 addType(DW_Unit, SPDie, DIType(Args.getElement(0).getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001122 }
1123
1124 if (!SP.isDefinition()) {
Devang Patelc50078e2009-11-21 02:48:08 +00001125 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001126
1127 // Add arguments. Do not add arguments for subprogram definition. They will
1128 // be handled through RecordVariable.
1129 if (SPTag == dwarf::DW_TAG_subroutine_type)
1130 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1131 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelc50078e2009-11-21 02:48:08 +00001132 addType(DW_Unit, Arg, DIType(Args.getElement(i).getNode()));
1133 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1134 SPDie->addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001135 }
1136 }
1137
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001138 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Pateld90672c2009-11-20 21:37:22 +00001139 DW_Unit->insertDIE(SP.getNode(), SPDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001140 return SPDie;
1141}
1142
Devang Patelc50078e2009-11-21 02:48:08 +00001143/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001144///
Devang Patelc50078e2009-11-21 02:48:08 +00001145CompileUnit &DwarfDebug::findCompileUnit(DICompileUnit Unit) const {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001146 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patel15e723d2009-08-28 23:24:31 +00001147 CompileUnitMap.find(Unit.getNode());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001148 assert(I != CompileUnitMap.end() && "Missing compile unit.");
1149 return *I->second;
1150}
1151
Devang Patelc50078e2009-11-21 02:48:08 +00001152/// createDbgScopeVariable - Create a new scope variable.
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001153///
Devang Patelc50078e2009-11-21 02:48:08 +00001154DIE *DwarfDebug::createDbgScopeVariable(DbgVariable *DV, CompileUnit *Unit) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001155 // Get the descriptor.
1156 const DIVariable &VD = DV->getVariable();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001157 StringRef Name = VD.getName();
1158 if (Name.empty())
Devang Patel11ac7e72009-11-03 18:30:27 +00001159 return NULL;
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001160
1161 // Translate tag to proper Dwarf tag. The result variable is dropped for
1162 // now.
1163 unsigned Tag;
1164 switch (VD.getTag()) {
1165 case dwarf::DW_TAG_return_variable:
1166 return NULL;
1167 case dwarf::DW_TAG_arg_variable:
1168 Tag = dwarf::DW_TAG_formal_parameter;
1169 break;
1170 case dwarf::DW_TAG_auto_variable: // fall thru
1171 default:
1172 Tag = dwarf::DW_TAG_variable;
1173 break;
1174 }
1175
1176 // Define variable debug information entry.
1177 DIE *VariableDie = new DIE(Tag);
Devang Patelc50078e2009-11-21 02:48:08 +00001178 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001179
1180 // Add source line info if available.
Devang Patelc50078e2009-11-21 02:48:08 +00001181 addSourceLine(VariableDie, &VD);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001182
1183 // Add variable type.
Jim Grosbach652b7432009-11-21 23:12:12 +00001184 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel90a0fe32009-11-10 23:06:00 +00001185 // addresses instead.
Caroline Tice248d5572009-08-31 21:19:37 +00001186 if (VD.isBlockByrefVariable())
Devang Patelc50078e2009-11-21 02:48:08 +00001187 addType(Unit, VariableDie, getBlockByrefType(VD.getType(), Name));
Caroline Tice248d5572009-08-31 21:19:37 +00001188 else
Devang Patelc50078e2009-11-21 02:48:08 +00001189 addType(Unit, VariableDie, VD.getType());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001190
1191 // Add variable address.
Devang Patel90a0fe32009-11-10 23:06:00 +00001192 // Variables for abstract instances of inlined functions don't get a
1193 // location.
1194 MachineLocation Location;
Jim Grosbach587d4882009-11-22 20:14:00 +00001195 unsigned FrameReg;
1196 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1197 Location.set(FrameReg, Offset);
Jim Grosbach652b7432009-11-21 23:12:12 +00001198
1199
Devang Patel90a0fe32009-11-10 23:06:00 +00001200 if (VD.hasComplexAddress())
Devang Patelc50078e2009-11-21 02:48:08 +00001201 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001202 else if (VD.isBlockByrefVariable())
Devang Patelc50078e2009-11-21 02:48:08 +00001203 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001204 else
Devang Patelc50078e2009-11-21 02:48:08 +00001205 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001206
1207 return VariableDie;
1208}
1209
Devang Patel90a0fe32009-11-10 23:06:00 +00001210/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1211/// Initialize scope and update scope hierarchy.
1212DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1213 MDNode *InlinedAt) {
1214 assert (N && "Invalid Scope encoding!");
1215 assert (MI && "Missing machine instruction!");
1216 bool GetConcreteScope = (MI && InlinedAt);
1217
1218 DbgScope *NScope = NULL;
1219
1220 if (InlinedAt)
1221 NScope = DbgScopeMap.lookup(InlinedAt);
1222 else
1223 NScope = DbgScopeMap.lookup(N);
1224 assert (NScope && "Unable to find working scope!");
1225
1226 if (NScope->getFirstInsn())
1227 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001228
1229 DbgScope *Parent = NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001230 if (GetConcreteScope) {
Devang Pateldd7bb432009-10-14 21:08:09 +00001231 DILocation IL(InlinedAt);
Jim Grosbach652b7432009-11-21 23:12:12 +00001232 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel90a0fe32009-11-10 23:06:00 +00001233 IL.getOrigLocation().getNode());
1234 assert (Parent && "Unable to find Parent scope!");
1235 NScope->setParent(Parent);
Devang Patelc50078e2009-11-21 02:48:08 +00001236 Parent->addScope(NScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001237 } else if (DIDescriptor(N).isLexicalBlock()) {
1238 DILexicalBlock DB(N);
1239 if (!DB.getContext().isNull()) {
1240 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1241 NScope->setParent(Parent);
Devang Patelc50078e2009-11-21 02:48:08 +00001242 Parent->addScope(NScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001243 }
Devang Pateldd7bb432009-10-14 21:08:09 +00001244 }
Devang Patel6a260102009-10-01 20:31:14 +00001245
Devang Patelf5278f22009-10-27 20:47:17 +00001246 NScope->setFirstInsn(MI);
Devang Patel6a260102009-10-01 20:31:14 +00001247
Devang Patel90a0fe32009-11-10 23:06:00 +00001248 if (!Parent && !InlinedAt) {
Devang Patelce8986f2009-11-11 00:31:36 +00001249 StringRef SPName = DISubprogram(N).getLinkageName();
1250 if (SPName == MF->getFunction()->getName())
1251 CurrentFnDbgScope = NScope;
Devang Patel90a0fe32009-11-10 23:06:00 +00001252 }
Devang Patel6a260102009-10-01 20:31:14 +00001253
Devang Patel90a0fe32009-11-10 23:06:00 +00001254 if (GetConcreteScope) {
1255 ConcreteScopes[InlinedAt] = NScope;
1256 getOrCreateAbstractScope(N);
1257 }
1258
Devang Patelf5278f22009-10-27 20:47:17 +00001259 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001260}
1261
Devang Patel90a0fe32009-11-10 23:06:00 +00001262DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1263 assert (N && "Invalid Scope encoding!");
1264
1265 DbgScope *AScope = AbstractScopes.lookup(N);
1266 if (AScope)
1267 return AScope;
Jim Grosbach652b7432009-11-21 23:12:12 +00001268
Devang Patel90a0fe32009-11-10 23:06:00 +00001269 DbgScope *Parent = NULL;
1270
1271 DIDescriptor Scope(N);
1272 if (Scope.isLexicalBlock()) {
1273 DILexicalBlock DB(N);
1274 DIDescriptor ParentDesc = DB.getContext();
1275 if (!ParentDesc.isNull())
1276 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1277 }
1278
1279 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1280
1281 if (Parent)
Devang Patelc50078e2009-11-21 02:48:08 +00001282 Parent->addScope(AScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001283 AScope->setAbstractScope();
1284 AbstractScopes[N] = AScope;
1285 if (DIDescriptor(N).isSubprogram())
1286 AbstractScopesList.push_back(AScope);
1287 return AScope;
1288}
Devang Patel6a260102009-10-01 20:31:14 +00001289
Jim Grosbach652b7432009-11-21 23:12:12 +00001290/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patelc50078e2009-11-21 02:48:08 +00001291/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1292/// If there are global variables in this scope then create and insert
1293/// DIEs for these variables.
1294DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001295
Devang Pateld90672c2009-11-20 21:37:22 +00001296 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel90a0fe32009-11-10 23:06:00 +00001297 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patelc50078e2009-11-21 02:48:08 +00001298 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel90a0fe32009-11-10 23:06:00 +00001299 DWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001300 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel90a0fe32009-11-10 23:06:00 +00001301 DWLabel("func_end", SubprogramCount));
1302 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patelc50078e2009-11-21 02:48:08 +00001303 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach652b7432009-11-21 23:12:12 +00001304
Devang Patel90a0fe32009-11-10 23:06:00 +00001305 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001306 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001307
1308 // If there are global variables at this scope then add their dies.
Jim Grosbach652b7432009-11-21 23:12:12 +00001309 for (SmallVector<WeakVH, 4>::iterator SGI = ScopedGVs.begin(),
Devang Patel90a0fe32009-11-10 23:06:00 +00001310 SGE = ScopedGVs.end(); SGI != SGE; ++SGI) {
1311 MDNode *N = dyn_cast_or_null<MDNode>(*SGI);
1312 if (!N) continue;
1313 DIGlobalVariable GV(N);
1314 if (GV.getContext().getNode() == SPNode) {
Devang Patelc50078e2009-11-21 02:48:08 +00001315 DIE *ScopedGVDie = createGlobalVariableDIE(ModuleCU, GV);
Devang Patelbad42262009-11-10 23:20:04 +00001316 if (ScopedGVDie)
Devang Patelc50078e2009-11-21 02:48:08 +00001317 SPDie->addChild(ScopedGVDie);
Devang Patel90a0fe32009-11-10 23:06:00 +00001318 }
1319 }
Devang Patelec13b4f2009-11-24 01:14:22 +00001320
Devang Patel90a0fe32009-11-10 23:06:00 +00001321 return SPDie;
1322}
1323
Jim Grosbach652b7432009-11-21 23:12:12 +00001324/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patelc50078e2009-11-21 02:48:08 +00001325/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1326DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001327 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1328 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1329
1330 // Ignore empty scopes.
1331 if (StartID == EndID && StartID != 0)
1332 return NULL;
1333
1334 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1335 if (Scope->isAbstractScope())
1336 return ScopeDIE;
1337
Devang Patelc50078e2009-11-21 02:48:08 +00001338 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach652b7432009-11-21 23:12:12 +00001339 StartID ?
1340 DWLabel("label", StartID)
Devang Patel90a0fe32009-11-10 23:06:00 +00001341 : DWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001342 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach652b7432009-11-21 23:12:12 +00001343 EndID ?
1344 DWLabel("label", EndID)
Devang Patel90a0fe32009-11-10 23:06:00 +00001345 : DWLabel("func_end", SubprogramCount));
1346
1347
1348
1349 return ScopeDIE;
1350}
1351
Devang Patelc50078e2009-11-21 02:48:08 +00001352/// constructInlinedScopeDIE - This scope represents inlined body of
1353/// a function. Construct DIE to represent this concrete inlined copy
1354/// of the function.
1355DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001356 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1357 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1358 assert (StartID && "Invalid starting label for an inlined scope!");
1359 assert (EndID && "Invalid end label for an inlined scope!");
1360 // Ignore empty scopes.
1361 if (StartID == EndID && StartID != 0)
1362 return NULL;
1363
1364 DIScope DS(Scope->getScopeNode());
1365 if (DS.isNull())
1366 return NULL;
1367 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1368
1369 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001370 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001371 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patelc50078e2009-11-21 02:48:08 +00001372 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001373 dwarf::DW_FORM_ref4, OriginDIE);
1374
Devang Patelc50078e2009-11-21 02:48:08 +00001375 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel90a0fe32009-11-10 23:06:00 +00001376 DWLabel("label", StartID));
Devang Patelc50078e2009-11-21 02:48:08 +00001377 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel90a0fe32009-11-10 23:06:00 +00001378 DWLabel("label", EndID));
1379
1380 InlinedSubprogramDIEs.insert(OriginDIE);
1381
1382 // Track the start label for this inlined function.
1383 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
1384 I = InlineInfo.find(InlinedSP.getNode());
1385
1386 if (I == InlineInfo.end()) {
Jim Grosbachb23f2422009-11-22 19:20:36 +00001387 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1388 ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001389 InlinedSPNodes.push_back(InlinedSP.getNode());
1390 } else
1391 I->second.push_back(std::make_pair(StartID, ScopeDIE));
1392
1393 StringPool.insert(InlinedSP.getName());
1394 StringPool.insert(InlinedSP.getLinkageName());
1395 DILocation DL(Scope->getInlinedAt());
Devang Patelc50078e2009-11-21 02:48:08 +00001396 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1397 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel90a0fe32009-11-10 23:06:00 +00001398
1399 return ScopeDIE;
1400}
1401
Devang Patelc50078e2009-11-21 02:48:08 +00001402
1403/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Jim Grosbach652b7432009-11-21 23:12:12 +00001404DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV,
Devang Patel90a0fe32009-11-10 23:06:00 +00001405 DbgScope *Scope, CompileUnit *Unit) {
1406 // Get the descriptor.
1407 const DIVariable &VD = DV->getVariable();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001408 StringRef Name = VD.getName();
1409 if (Name.empty())
Devang Patelab9a0682009-11-13 02:25:26 +00001410 return NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001411
1412 // Translate tag to proper Dwarf tag. The result variable is dropped for
1413 // now.
1414 unsigned Tag;
1415 switch (VD.getTag()) {
1416 case dwarf::DW_TAG_return_variable:
1417 return NULL;
1418 case dwarf::DW_TAG_arg_variable:
1419 Tag = dwarf::DW_TAG_formal_parameter;
1420 break;
1421 case dwarf::DW_TAG_auto_variable: // fall thru
1422 default:
1423 Tag = dwarf::DW_TAG_variable;
1424 break;
1425 }
1426
1427 // Define variable debug information entry.
1428 DIE *VariableDie = new DIE(Tag);
1429
1430
1431 DIE *AbsDIE = NULL;
1432 if (DbgVariable *AV = DV->getAbstractVariable())
1433 AbsDIE = AV->getDIE();
Jim Grosbach652b7432009-11-21 23:12:12 +00001434
Devang Patel90a0fe32009-11-10 23:06:00 +00001435 if (AbsDIE) {
1436 DIScope DS(Scope->getScopeNode());
1437 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001438 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc9f2d242009-11-11 03:09:50 +00001439 (void) OriginSPDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001440 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1441 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1442 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patelc50078e2009-11-21 02:48:08 +00001443 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001444 dwarf::DW_FORM_ref4, AbsDIE);
1445 }
1446 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001447 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1448 addSourceLine(VariableDie, &VD);
Devang Patel90a0fe32009-11-10 23:06:00 +00001449
1450 // Add variable type.
Jim Grosbach652b7432009-11-21 23:12:12 +00001451 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel90a0fe32009-11-10 23:06:00 +00001452 // addresses instead.
1453 if (VD.isBlockByrefVariable())
Devang Patelc50078e2009-11-21 02:48:08 +00001454 addType(Unit, VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel90a0fe32009-11-10 23:06:00 +00001455 else
Devang Patelc50078e2009-11-21 02:48:08 +00001456 addType(Unit, VariableDie, VD.getType());
Devang Patel90a0fe32009-11-10 23:06:00 +00001457 }
1458
1459 // Add variable address.
1460 if (!Scope->isAbstractScope()) {
1461 MachineLocation Location;
Jim Grosbach587d4882009-11-22 20:14:00 +00001462 unsigned FrameReg;
1463 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1464 Location.set(FrameReg, Offset);
Jim Grosbach652b7432009-11-21 23:12:12 +00001465
Devang Patel90a0fe32009-11-10 23:06:00 +00001466 if (VD.hasComplexAddress())
Devang Patelc50078e2009-11-21 02:48:08 +00001467 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001468 else if (VD.isBlockByrefVariable())
Devang Patelc50078e2009-11-21 02:48:08 +00001469 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001470 else
Devang Patelc50078e2009-11-21 02:48:08 +00001471 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001472 }
1473 DV->setDIE(VariableDie);
1474 return VariableDie;
1475
1476}
Devang Patelc50078e2009-11-21 02:48:08 +00001477
Devang Patelec13b4f2009-11-24 01:14:22 +00001478void DwarfDebug::addPubTypes(DISubprogram SP) {
1479 DICompositeType SPTy = SP.getType();
1480 unsigned SPTag = SPTy.getTag();
1481 if (SPTag != dwarf::DW_TAG_subroutine_type)
1482 return;
1483
1484 DIArray Args = SPTy.getTypeArray();
1485 if (Args.isNull())
1486 return;
1487
1488 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1489 DIType ATy(Args.getElement(i).getNode());
1490 if (ATy.isNull())
1491 continue;
1492 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001493 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001494 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1495 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1496 }
1497 }
1498}
1499
Devang Patelc50078e2009-11-21 02:48:08 +00001500/// constructScopeDIE - Construct a DIE for this scope.
1501DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001502 if (!Scope)
1503 return NULL;
1504 DIScope DS(Scope->getScopeNode());
1505 if (DS.isNull())
1506 return NULL;
1507
1508 DIE *ScopeDIE = NULL;
1509 if (Scope->getInlinedAt())
Devang Patelc50078e2009-11-21 02:48:08 +00001510 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001511 else if (DS.isSubprogram()) {
1512 if (Scope->isAbstractScope())
Devang Pateld90672c2009-11-20 21:37:22 +00001513 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001514 else
Devang Patelc50078e2009-11-21 02:48:08 +00001515 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001516 }
1517 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001518 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001519 if (!ScopeDIE) return NULL;
1520 }
1521
1522 // Add variables to scope.
1523 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1524 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patelc50078e2009-11-21 02:48:08 +00001525 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope, ModuleCU);
Jim Grosbach652b7432009-11-21 23:12:12 +00001526 if (VariableDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001527 ScopeDIE->addChild(VariableDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001528 }
1529
1530 // Add nested scopes.
1531 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1532 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1533 // Define the Scope debug information entry.
Devang Patelc50078e2009-11-21 02:48:08 +00001534 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach652b7432009-11-21 23:12:12 +00001535 if (NestedDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001536 ScopeDIE->addChild(NestedDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001537 }
Devang Patelec13b4f2009-11-24 01:14:22 +00001538
1539 if (DS.isSubprogram())
1540 addPubTypes(DISubprogram(DS.getNode()));
1541
1542 return ScopeDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001543}
1544
Bill Wendlingf5839192009-05-20 23:19:06 +00001545/// GetOrCreateSourceID - Look up the source id with the given directory and
1546/// source file names. If none currently exists, create a new id and insert it
1547/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1548/// maps as well.
Devang Patel7f75bbe2009-11-25 17:36:49 +00001549unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001550 unsigned DId;
1551 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1552 if (DI != DirectoryIdMap.end()) {
1553 DId = DI->getValue();
1554 } else {
1555 DId = DirectoryNames.size() + 1;
1556 DirectoryIdMap[DirName] = DId;
1557 DirectoryNames.push_back(DirName);
1558 }
1559
1560 unsigned FId;
1561 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1562 if (FI != SourceFileIdMap.end()) {
1563 FId = FI->getValue();
1564 } else {
1565 FId = SourceFileNames.size() + 1;
1566 SourceFileIdMap[FileName] = FId;
1567 SourceFileNames.push_back(FileName);
1568 }
1569
1570 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1571 SourceIdMap.find(std::make_pair(DId, FId));
1572 if (SI != SourceIdMap.end())
1573 return SI->second;
1574
1575 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1576 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1577 SourceIds.push_back(std::make_pair(DId, FId));
1578
1579 return SrcId;
1580}
1581
Devang Patelc50078e2009-11-21 02:48:08 +00001582void DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001583 DICompileUnit DIUnit(N);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001584 StringRef FN = DIUnit.getFilename();
1585 StringRef Dir = DIUnit.getDirectory();
Devang Patelaaf012e2009-09-29 18:40:58 +00001586 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001587
1588 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patelc50078e2009-11-21 02:48:08 +00001589 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendlingf5839192009-05-20 23:19:06 +00001590 DWLabel("section_line", 0), DWLabel("section_line", 0),
1591 false);
Devang Patelc50078e2009-11-21 02:48:08 +00001592 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001593 DIUnit.getProducer());
Devang Patelc50078e2009-11-21 02:48:08 +00001594 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf5839192009-05-20 23:19:06 +00001595 DIUnit.getLanguage());
Devang Patelc50078e2009-11-21 02:48:08 +00001596 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001597
Devang Patel7f75bbe2009-11-25 17:36:49 +00001598 if (!Dir.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001599 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf5839192009-05-20 23:19:06 +00001600 if (DIUnit.isOptimized())
Devang Patelc50078e2009-11-21 02:48:08 +00001601 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf5839192009-05-20 23:19:06 +00001602
Devang Patel7f75bbe2009-11-25 17:36:49 +00001603 StringRef Flags = DIUnit.getFlags();
1604 if (!Flags.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001605 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf5839192009-05-20 23:19:06 +00001606
1607 unsigned RVer = DIUnit.getRunTimeVersion();
1608 if (RVer)
Devang Patelc50078e2009-11-21 02:48:08 +00001609 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf5839192009-05-20 23:19:06 +00001610 dwarf::DW_FORM_data1, RVer);
1611
1612 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel5a3d37f2009-06-29 20:45:18 +00001613 if (!ModuleCU && DIUnit.isMain()) {
Devang Patelf97a05a2009-06-29 20:38:13 +00001614 // Use first compile unit marked as isMain as the compile unit
1615 // for this module.
Devang Patel5a3d37f2009-06-29 20:45:18 +00001616 ModuleCU = Unit;
Devang Patelf97a05a2009-06-29 20:38:13 +00001617 }
Bill Wendlingf5839192009-05-20 23:19:06 +00001618
Devang Patel15e723d2009-08-28 23:24:31 +00001619 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf5839192009-05-20 23:19:06 +00001620 CompileUnits.push_back(Unit);
1621}
1622
Devang Patelc50078e2009-11-21 02:48:08 +00001623void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001624 DIGlobalVariable DI_GV(N);
Daniel Dunbar41716322009-09-19 20:40:05 +00001625
Devang Patel0c03f062009-09-04 23:59:07 +00001626 // If debug information is malformed then ignore it.
1627 if (DI_GV.Verify() == false)
1628 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001629
1630 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001631 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel166f8432009-06-26 01:49:18 +00001632 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001633
Devang Patelc50078e2009-11-21 02:48:08 +00001634 DIE *VariableDie = createGlobalVariableDIE(ModuleCU, DI_GV);
Bill Wendlingf5839192009-05-20 23:19:06 +00001635
Bill Wendlingf5839192009-05-20 23:19:06 +00001636 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001637 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001638
1639 // Add to context owner.
Devang Patelc50078e2009-11-21 02:48:08 +00001640 ModuleCU->getCUDie()->addChild(VariableDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001641
1642 // Expose as global. FIXME - need to check external flag.
Devang Patelc50078e2009-11-21 02:48:08 +00001643 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001644
1645 DIType GTy = DI_GV.getType();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001646 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001647 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1648 assert (Entry && "Missing global type!");
1649 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1650 }
Devang Patel166f8432009-06-26 01:49:18 +00001651 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001652}
1653
Devang Patelc50078e2009-11-21 02:48:08 +00001654void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001655 DISubprogram SP(N);
Bill Wendlingf5839192009-05-20 23:19:06 +00001656
1657 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001658 if (ModuleCU->getDIE(N))
Devang Patel166f8432009-06-26 01:49:18 +00001659 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001660
1661 if (!SP.isDefinition())
1662 // This is a method declaration which will be handled while constructing
1663 // class type.
Devang Patel166f8432009-06-26 01:49:18 +00001664 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001665
Devang Patelc50078e2009-11-21 02:48:08 +00001666 DIE *SubprogramDie = createSubprogramDIE(ModuleCU, SP);
Bill Wendlingf5839192009-05-20 23:19:06 +00001667
1668 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001669 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001670
1671 // Add to context owner.
Devang Patelc50078e2009-11-21 02:48:08 +00001672 ModuleCU->getCUDie()->addChild(SubprogramDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001673
1674 // Expose as global.
Devang Patelc50078e2009-11-21 02:48:08 +00001675 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001676
Devang Patel166f8432009-06-26 01:49:18 +00001677 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001678}
1679
Devang Patelc50078e2009-11-21 02:48:08 +00001680/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar19f1d442009-09-19 20:40:14 +00001681/// content. Create global DIEs and emit initial debug info sections.
1682/// This is inovked by the target AsmPrinter.
Devang Patelc50078e2009-11-21 02:48:08 +00001683void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel59a1d422009-06-25 22:36:02 +00001684 this->M = M;
1685
Bill Wendlingf5839192009-05-20 23:19:06 +00001686 if (TimePassesIsEnabled)
1687 DebugTimer->startTimer();
1688
Devang Patel1b4d6832009-11-11 19:55:08 +00001689 if (!MAI->doesSupportDebugInformation())
1690 return;
1691
Devang Patelfda766d2009-07-30 18:56:46 +00001692 DebugInfoFinder DbgFinder;
1693 DbgFinder.processModule(*M);
Devang Patel166f8432009-06-26 01:49:18 +00001694
Bill Wendlingf5839192009-05-20 23:19:06 +00001695 // Create all the compile unit DIEs.
Devang Patelfda766d2009-07-30 18:56:46 +00001696 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1697 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001698 constructCompileUnit(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001699
1700 if (CompileUnits.empty()) {
1701 if (TimePassesIsEnabled)
1702 DebugTimer->stopTimer();
1703
1704 return;
1705 }
1706
Devang Patelf97a05a2009-06-29 20:38:13 +00001707 // If main compile unit for this module is not seen than randomly
1708 // select first compile unit.
Devang Patel5a3d37f2009-06-29 20:45:18 +00001709 if (!ModuleCU)
1710 ModuleCU = CompileUnits[0];
Devang Patelf97a05a2009-06-29 20:38:13 +00001711
Devang Patel166f8432009-06-26 01:49:18 +00001712 // Create DIEs for each of the externally visible global variables.
Devang Patelfda766d2009-07-30 18:56:46 +00001713 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
Devang Patel695c8b02009-10-05 23:40:42 +00001714 E = DbgFinder.global_variable_end(); I != E; ++I) {
1715 DIGlobalVariable GV(*I);
1716 if (GV.getContext().getNode() != GV.getCompileUnit().getNode())
1717 ScopedGVs.push_back(*I);
1718 else
Devang Patelc50078e2009-11-21 02:48:08 +00001719 constructGlobalVariableDIE(*I);
Devang Patel695c8b02009-10-05 23:40:42 +00001720 }
Devang Patel166f8432009-06-26 01:49:18 +00001721
Devang Patel90a0fe32009-11-10 23:06:00 +00001722 // Create DIEs for each subprogram.
Devang Patelfda766d2009-07-30 18:56:46 +00001723 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1724 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001725 constructSubprogramDIE(*I);
Devang Patel166f8432009-06-26 01:49:18 +00001726
Bill Wendlingf5839192009-05-20 23:19:06 +00001727 MMI = mmi;
1728 shouldEmit = true;
1729 MMI->setDebugInfoAvailability(true);
1730
1731 // Prime section data.
Chris Lattnerc4c40a92009-07-28 03:13:23 +00001732 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001733
1734 // Print out .file directives to specify files for .loc directives. These are
1735 // printed out early so that they precede any .loc directives.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001736 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001737 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1738 // Remember source id starts at 1.
1739 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
1740 sys::Path FullPath(getSourceDirectoryName(Id.first));
1741 bool AppendOk =
1742 FullPath.appendComponent(getSourceFileName(Id.second));
1743 assert(AppendOk && "Could not append filename to directory!");
1744 AppendOk = false;
Chris Lattnerb1aa85b2009-08-23 22:45:37 +00001745 Asm->EmitFile(i, FullPath.str());
Bill Wendlingf5839192009-05-20 23:19:06 +00001746 Asm->EOL();
1747 }
1748 }
1749
1750 // Emit initial sections
Devang Patelc50078e2009-11-21 02:48:08 +00001751 emitInitial();
Bill Wendlingf5839192009-05-20 23:19:06 +00001752
1753 if (TimePassesIsEnabled)
1754 DebugTimer->stopTimer();
1755}
1756
Devang Patelc50078e2009-11-21 02:48:08 +00001757/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf5839192009-05-20 23:19:06 +00001758///
Devang Patelc50078e2009-11-21 02:48:08 +00001759void DwarfDebug::endModule() {
Devang Patel95d477e2009-10-06 00:03:14 +00001760 if (!ModuleCU)
Bill Wendlingf5839192009-05-20 23:19:06 +00001761 return;
1762
1763 if (TimePassesIsEnabled)
1764 DebugTimer->startTimer();
1765
Devang Patel90a0fe32009-11-10 23:06:00 +00001766 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1767 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1768 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1769 DIE *ISP = *AI;
Devang Patelc50078e2009-11-21 02:48:08 +00001770 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel90a0fe32009-11-10 23:06:00 +00001771 }
1772
Bill Wendlingf5839192009-05-20 23:19:06 +00001773 // Standard sections final addresses.
Chris Lattner73266f92009-08-19 05:49:37 +00001774 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001775 EmitLabel("text_end", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00001776 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001777 EmitLabel("data_end", 0);
1778
1779 // End text sections.
1780 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner73266f92009-08-19 05:49:37 +00001781 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf5839192009-05-20 23:19:06 +00001782 EmitLabel("section_end", i);
1783 }
1784
1785 // Emit common frame information.
Devang Patelc50078e2009-11-21 02:48:08 +00001786 emitCommonDebugFrame();
Bill Wendlingf5839192009-05-20 23:19:06 +00001787
1788 // Emit function debug frame information
1789 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1790 E = DebugFrames.end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001791 emitFunctionDebugFrame(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001792
1793 // Compute DIE offsets and sizes.
Devang Patelc50078e2009-11-21 02:48:08 +00001794 computeSizeAndOffsets();
Bill Wendlingf5839192009-05-20 23:19:06 +00001795
1796 // Emit all the DIEs into a debug info section
Devang Patelc50078e2009-11-21 02:48:08 +00001797 emitDebugInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001798
1799 // Corresponding abbreviations into a abbrev section.
Devang Patelc50078e2009-11-21 02:48:08 +00001800 emitAbbreviations();
Bill Wendlingf5839192009-05-20 23:19:06 +00001801
1802 // Emit source line correspondence into a debug line section.
Devang Patelc50078e2009-11-21 02:48:08 +00001803 emitDebugLines();
Bill Wendlingf5839192009-05-20 23:19:06 +00001804
1805 // Emit info into a debug pubnames section.
Devang Patelc50078e2009-11-21 02:48:08 +00001806 emitDebugPubNames();
Bill Wendlingf5839192009-05-20 23:19:06 +00001807
Devang Patelec13b4f2009-11-24 01:14:22 +00001808 // Emit info into a debug pubtypes section.
1809 emitDebugPubTypes();
1810
Bill Wendlingf5839192009-05-20 23:19:06 +00001811 // Emit info into a debug str section.
Devang Patelc50078e2009-11-21 02:48:08 +00001812 emitDebugStr();
Bill Wendlingf5839192009-05-20 23:19:06 +00001813
1814 // Emit info into a debug loc section.
Devang Patelc50078e2009-11-21 02:48:08 +00001815 emitDebugLoc();
Bill Wendlingf5839192009-05-20 23:19:06 +00001816
1817 // Emit info into a debug aranges section.
1818 EmitDebugARanges();
1819
1820 // Emit info into a debug ranges section.
Devang Patelc50078e2009-11-21 02:48:08 +00001821 emitDebugRanges();
Bill Wendlingf5839192009-05-20 23:19:06 +00001822
1823 // Emit info into a debug macinfo section.
Devang Patelc50078e2009-11-21 02:48:08 +00001824 emitDebugMacInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001825
1826 // Emit inline info.
Devang Patelc50078e2009-11-21 02:48:08 +00001827 emitDebugInlineInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001828
1829 if (TimePassesIsEnabled)
1830 DebugTimer->stopTimer();
1831}
1832
Devang Patel90a0fe32009-11-10 23:06:00 +00001833/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbachb23f2422009-11-22 19:20:36 +00001834DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1835 unsigned FrameIdx,
Devang Patel90a0fe32009-11-10 23:06:00 +00001836 DILocation &ScopeLoc) {
1837
1838 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1839 if (AbsDbgVariable)
1840 return AbsDbgVariable;
1841
1842 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1843 if (!Scope)
1844 return NULL;
1845
1846 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patelc50078e2009-11-21 02:48:08 +00001847 Scope->addVariable(AbsDbgVariable);
Devang Patel90a0fe32009-11-10 23:06:00 +00001848 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1849 return AbsDbgVariable;
1850}
1851
Devang Patelc50078e2009-11-21 02:48:08 +00001852/// collectVariableInfo - Populate DbgScope entries with variables' info.
1853void DwarfDebug::collectVariableInfo() {
Devang Patel40c80212009-10-09 22:42:28 +00001854 if (!MMI) return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001855
Devang Patel84139992009-10-06 01:26:37 +00001856 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1857 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1858 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel40c80212009-10-09 22:42:28 +00001859 MetadataBase *MB = VI->first;
1860 MDNode *Var = dyn_cast_or_null<MDNode>(MB);
Devang Patel90a0fe32009-11-10 23:06:00 +00001861 if (!Var) continue;
Devang Patel6882dff2009-10-08 18:48:03 +00001862 DIVariable DV (Var);
Devang Patel90a0fe32009-11-10 23:06:00 +00001863 std::pair< unsigned, MDNode *> VP = VI->second;
1864 DILocation ScopeLoc(VP.second);
1865
1866 DbgScope *Scope =
1867 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1868 if (!Scope)
Jim Grosbach652b7432009-11-21 23:12:12 +00001869 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelbad42262009-11-10 23:20:04 +00001870 // If variable scope is not found then skip this variable.
1871 if (!Scope)
1872 continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00001873
1874 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patelc50078e2009-11-21 02:48:08 +00001875 Scope->addVariable(RegVar);
Jim Grosbachb23f2422009-11-22 19:20:36 +00001876 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1877 ScopeLoc))
Devang Patel90a0fe32009-11-10 23:06:00 +00001878 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patel84139992009-10-06 01:26:37 +00001879 }
1880}
1881
Devang Patelc50078e2009-11-21 02:48:08 +00001882/// beginScope - Process beginning of a scope starting at Label.
1883void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel393a46d2009-10-06 01:50:42 +00001884 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1885 if (I == DbgScopeBeginMap.end())
1886 return;
Dan Gohman8d34f972009-11-23 21:30:55 +00001887 ScopeVector &SD = I->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00001888 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00001889 SDI != SDE; ++SDI)
Devang Patel393a46d2009-10-06 01:50:42 +00001890 (*SDI)->setStartLabelID(Label);
1891}
1892
Devang Patelc50078e2009-11-21 02:48:08 +00001893/// endScope - Process end of a scope.
1894void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel393a46d2009-10-06 01:50:42 +00001895 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patelf4348892009-10-06 03:15:38 +00001896 if (I == DbgScopeEndMap.end())
Devang Patel393a46d2009-10-06 01:50:42 +00001897 return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001898
1899 unsigned Label = MMI->NextLabelID();
1900 Asm->printLabel(Label);
1901
Devang Patel393a46d2009-10-06 01:50:42 +00001902 SmallVector<DbgScope *, 2> &SD = I->second;
1903 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00001904 SDI != SDE; ++SDI)
Devang Patel393a46d2009-10-06 01:50:42 +00001905 (*SDI)->setEndLabelID(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00001906 return;
1907}
1908
1909/// createDbgScope - Create DbgScope for the scope.
1910void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
1911
1912 if (!InlinedAt) {
1913 DbgScope *WScope = DbgScopeMap.lookup(Scope);
1914 if (WScope)
1915 return;
1916 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
1917 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach652b7432009-11-21 23:12:12 +00001918 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel53addbf2009-11-11 00:18:40 +00001919 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel90a0fe32009-11-10 23:06:00 +00001920 return;
1921 }
1922
1923 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
1924 if (WScope)
1925 return;
1926
1927 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
1928 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
1929 DILocation DL(InlinedAt);
1930 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel393a46d2009-10-06 01:50:42 +00001931}
1932
Devang Patelc50078e2009-11-21 02:48:08 +00001933/// extractScopeInformation - Scan machine instructions in this function
Devang Patel6a260102009-10-01 20:31:14 +00001934/// and collect DbgScopes. Return true, if atleast one scope was found.
Devang Patelc50078e2009-11-21 02:48:08 +00001935bool DwarfDebug::extractScopeInformation(MachineFunction *MF) {
Devang Patel6a260102009-10-01 20:31:14 +00001936 // If scope information was extracted using .dbg intrinsics then there is not
1937 // any need to extract these information by scanning each instruction.
1938 if (!DbgScopeMap.empty())
1939 return false;
1940
Devang Patel90a0fe32009-11-10 23:06:00 +00001941 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel6a260102009-10-01 20:31:14 +00001942 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1943 I != E; ++I) {
1944 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1945 II != IE; ++II) {
1946 const MachineInstr *MInsn = II;
1947 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel90a0fe32009-11-10 23:06:00 +00001948 if (DL.isUnknown()) continue;
Devang Patel6a260102009-10-01 20:31:14 +00001949 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
Devang Patel90a0fe32009-11-10 23:06:00 +00001950 if (!DLT.Scope) continue;
Devang Patel6a260102009-10-01 20:31:14 +00001951 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00001952 // other scopes, create one DbgScope now. This will be translated
Devang Patel6a260102009-10-01 20:31:14 +00001953 // into a scope DIE at the end.
Devang Patel90a0fe32009-11-10 23:06:00 +00001954 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
1955 createDbgScope(DLT.Scope, DLT.InlinedAtLoc);
1956 }
1957 }
1958
1959
1960 // Build scope hierarchy using working set of scopes.
1961 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
1962 I != E; ++I) {
1963 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1964 II != IE; ++II) {
1965 const MachineInstr *MInsn = II;
1966 DebugLoc DL = MInsn->getDebugLoc();
1967 if (DL.isUnknown()) continue;
1968 DebugLocTuple DLT = MF->getDebugLocTuple(DL);
1969 if (!DLT.Scope) continue;
1970 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00001971 // other scopes, create one DbgScope now. This will be translated
Devang Patel90a0fe32009-11-10 23:06:00 +00001972 // into a scope DIE at the end.
1973 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue;
1974 DbgScope *Scope = getUpdatedDbgScope(DLT.Scope, MInsn, DLT.InlinedAtLoc);
1975 Scope->setLastInsn(MInsn);
Devang Patel6a260102009-10-01 20:31:14 +00001976 }
1977 }
1978
1979 // If a scope's last instruction is not set then use its child scope's
1980 // last instruction as this scope's last instrunction.
Devang Patelf5278f22009-10-27 20:47:17 +00001981 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patel6a260102009-10-01 20:31:14 +00001982 DE = DbgScopeMap.end(); DI != DE; ++DI) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001983 if (DI->second->isAbstractScope())
1984 continue;
Devang Patel6a260102009-10-01 20:31:14 +00001985 assert (DI->second->getFirstInsn() && "Invalid first instruction!");
Devang Patelc50078e2009-11-21 02:48:08 +00001986 DI->second->fixInstructionMarkers();
Devang Patel6a260102009-10-01 20:31:14 +00001987 assert (DI->second->getLastInsn() && "Invalid last instruction!");
1988 }
1989
1990 // Each scope has first instruction and last instruction to mark beginning
1991 // and end of a scope respectively. Create an inverse map that list scopes
1992 // starts (and ends) with an instruction. One instruction may start (or end)
1993 // multiple scopes.
Devang Patelf5278f22009-10-27 20:47:17 +00001994 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(),
Devang Patel6a260102009-10-01 20:31:14 +00001995 DE = DbgScopeMap.end(); DI != DE; ++DI) {
1996 DbgScope *S = DI->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00001997 if (S->isAbstractScope())
1998 continue;
Devang Patel6a260102009-10-01 20:31:14 +00001999 const MachineInstr *MI = S->getFirstInsn();
2000 assert (MI && "DbgScope does not have first instruction!");
2001
2002 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2003 if (IDI != DbgScopeBeginMap.end())
2004 IDI->second.push_back(S);
2005 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002006 DbgScopeBeginMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002007
2008 MI = S->getLastInsn();
2009 assert (MI && "DbgScope does not have last instruction!");
2010 IDI = DbgScopeEndMap.find(MI);
2011 if (IDI != DbgScopeEndMap.end())
2012 IDI->second.push_back(S);
2013 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002014 DbgScopeEndMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002015 }
2016
2017 return !DbgScopeMap.empty();
2018}
2019
Devang Patelc50078e2009-11-21 02:48:08 +00002020/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf5839192009-05-20 23:19:06 +00002021/// emitted immediately after the function entry point.
Devang Patelc50078e2009-11-21 02:48:08 +00002022void DwarfDebug::beginFunction(MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002023 this->MF = MF;
2024
2025 if (!ShouldEmitDwarfDebug()) return;
2026
2027 if (TimePassesIsEnabled)
2028 DebugTimer->startTimer();
2029
Devang Patelc50078e2009-11-21 02:48:08 +00002030 if (!extractScopeInformation(MF))
Devang Patel0feae422009-10-06 18:37:31 +00002031 return;
Devang Patelc50078e2009-11-21 02:48:08 +00002032
2033 collectVariableInfo();
Devang Patel0feae422009-10-06 18:37:31 +00002034
Bill Wendlingf5839192009-05-20 23:19:06 +00002035 // Begin accumulating function debug information.
2036 MMI->BeginFunction(MF);
2037
2038 // Assumes in correct section after the entry point.
2039 EmitLabel("func_begin", ++SubprogramCount);
2040
2041 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2042 // function.
Devang Patel40c80212009-10-09 22:42:28 +00002043 DebugLoc FDL = MF->getDefaultDebugLoc();
2044 if (!FDL.isUnknown()) {
2045 DebugLocTuple DLT = MF->getDebugLocTuple(FDL);
2046 unsigned LabelID = 0;
Devang Patelfc1df342009-10-13 23:28:53 +00002047 DISubprogram SP = getDISubprogram(DLT.Scope);
Devang Patel40c80212009-10-09 22:42:28 +00002048 if (!SP.isNull())
Devang Patelc50078e2009-11-21 02:48:08 +00002049 LabelID = recordSourceLine(SP.getLineNumber(), 0, DLT.Scope);
Devang Patel40c80212009-10-09 22:42:28 +00002050 else
Devang Patelc50078e2009-11-21 02:48:08 +00002051 LabelID = recordSourceLine(DLT.Line, DLT.Col, DLT.Scope);
Devang Patel40c80212009-10-09 22:42:28 +00002052 Asm->printLabel(LabelID);
2053 O << '\n';
Bill Wendlingf5839192009-05-20 23:19:06 +00002054 }
Bill Wendlingf5839192009-05-20 23:19:06 +00002055 if (TimePassesIsEnabled)
2056 DebugTimer->stopTimer();
2057}
2058
Devang Patelc50078e2009-11-21 02:48:08 +00002059/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf5839192009-05-20 23:19:06 +00002060///
Devang Patelc50078e2009-11-21 02:48:08 +00002061void DwarfDebug::endFunction(MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002062 if (!ShouldEmitDwarfDebug()) return;
2063
2064 if (TimePassesIsEnabled)
2065 DebugTimer->startTimer();
2066
Devang Patel40c80212009-10-09 22:42:28 +00002067 if (DbgScopeMap.empty())
2068 return;
Devang Patel4a7ef8d2009-11-12 19:02:56 +00002069
Bill Wendlingf5839192009-05-20 23:19:06 +00002070 // Define end label for subprogram.
2071 EmitLabel("func_end", SubprogramCount);
2072
2073 // Get function line info.
2074 if (!Lines.empty()) {
2075 // Get section line info.
Chris Lattnerebd055c2009-08-03 23:20:21 +00002076 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00002077 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2078 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2079 // Append the function info to section info.
2080 SectionLineInfos.insert(SectionLineInfos.end(),
2081 Lines.begin(), Lines.end());
2082 }
2083
Devang Patel90a0fe32009-11-10 23:06:00 +00002084 // Construct abstract scopes.
2085 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
Jim Grosbach652b7432009-11-21 23:12:12 +00002086 AE = AbstractScopesList.end(); AI != AE; ++AI)
Devang Patelc50078e2009-11-21 02:48:08 +00002087 constructScopeDIE(*AI);
Bill Wendlingf5839192009-05-20 23:19:06 +00002088
Devang Patelc50078e2009-11-21 02:48:08 +00002089 constructScopeDIE(CurrentFnDbgScope);
Devang Patel4a7ef8d2009-11-12 19:02:56 +00002090
Bill Wendlingf5839192009-05-20 23:19:06 +00002091 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2092 MMI->getFrameMoves()));
2093
2094 // Clear debug info
Devang Patel90a0fe32009-11-10 23:06:00 +00002095 if (CurrentFnDbgScope) {
2096 CurrentFnDbgScope = NULL;
Bill Wendlingf5839192009-05-20 23:19:06 +00002097 DbgScopeMap.clear();
Devang Patel6a260102009-10-01 20:31:14 +00002098 DbgScopeBeginMap.clear();
2099 DbgScopeEndMap.clear();
Devang Patel90a0fe32009-11-10 23:06:00 +00002100 ConcreteScopes.clear();
2101 AbstractScopesList.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002102 }
2103
2104 Lines.clear();
2105
2106 if (TimePassesIsEnabled)
2107 DebugTimer->stopTimer();
2108}
2109
Devang Patelc50078e2009-11-21 02:48:08 +00002110/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf5839192009-05-20 23:19:06 +00002111/// label. Returns a unique label ID used to generate a label and provide
2112/// correspondence to the source line list.
Jim Grosbach652b7432009-11-21 23:12:12 +00002113unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patel946d0ae2009-10-05 18:03:19 +00002114 MDNode *S) {
Devang Patel15e723d2009-08-28 23:24:31 +00002115 if (!MMI)
2116 return 0;
2117
Bill Wendlingf5839192009-05-20 23:19:06 +00002118 if (TimePassesIsEnabled)
2119 DebugTimer->startTimer();
2120
Devang Patel7f75bbe2009-11-25 17:36:49 +00002121 StringRef Dir;
2122 StringRef Fn;
Devang Patel946d0ae2009-10-05 18:03:19 +00002123
2124 DIDescriptor Scope(S);
2125 if (Scope.isCompileUnit()) {
2126 DICompileUnit CU(S);
2127 Dir = CU.getDirectory();
2128 Fn = CU.getFilename();
2129 } else if (Scope.isSubprogram()) {
2130 DISubprogram SP(S);
2131 Dir = SP.getDirectory();
2132 Fn = SP.getFilename();
2133 } else if (Scope.isLexicalBlock()) {
2134 DILexicalBlock DB(S);
2135 Dir = DB.getDirectory();
2136 Fn = DB.getFilename();
2137 } else
2138 assert (0 && "Unexpected scope info");
2139
2140 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf5839192009-05-20 23:19:06 +00002141 unsigned ID = MMI->NextLabelID();
2142 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2143
2144 if (TimePassesIsEnabled)
2145 DebugTimer->stopTimer();
2146
2147 return ID;
2148}
2149
2150/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2151/// timed. Look up the source id with the given directory and source file
2152/// names. If none currently exists, create a new id and insert it in the
2153/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2154/// well.
2155unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2156 const std::string &FileName) {
2157 if (TimePassesIsEnabled)
2158 DebugTimer->startTimer();
2159
Devang Patelaaf012e2009-09-29 18:40:58 +00002160 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf5839192009-05-20 23:19:06 +00002161
2162 if (TimePassesIsEnabled)
2163 DebugTimer->stopTimer();
2164
2165 return SrcId;
2166}
2167
Bill Wendlinge1a5bbb2009-05-20 23:22:40 +00002168//===----------------------------------------------------------------------===//
2169// Emit Methods
2170//===----------------------------------------------------------------------===//
2171
Devang Patelc50078e2009-11-21 02:48:08 +00002172/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling55fccda2009-05-20 23:21:38 +00002173///
Jim Grosbachb23f2422009-11-22 19:20:36 +00002174unsigned
2175DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002176 // Get the children.
2177 const std::vector<DIE *> &Children = Die->getChildren();
2178
2179 // If not last sibling and has children then add sibling offset attribute.
Devang Patelc50078e2009-11-21 02:48:08 +00002180 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002181
2182 // Record the abbreviation.
Devang Patelc50078e2009-11-21 02:48:08 +00002183 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling55fccda2009-05-20 23:21:38 +00002184
2185 // Get the abbreviation for this DIE.
2186 unsigned AbbrevNumber = Die->getAbbrevNumber();
2187 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2188
2189 // Set DIE offset
2190 Die->setOffset(Offset);
2191
2192 // Start the size with the size of abbreviation code.
Chris Lattner621c44d2009-08-22 20:48:53 +00002193 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002194
2195 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2196 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2197
2198 // Size the DIE attribute values.
2199 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2200 // Size attribute value.
2201 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2202
2203 // Size the DIE children if any.
2204 if (!Children.empty()) {
2205 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2206 "Children flag not set");
2207
2208 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002209 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling55fccda2009-05-20 23:21:38 +00002210
2211 // End of children marker.
2212 Offset += sizeof(int8_t);
2213 }
2214
2215 Die->setSize(Offset - Die->getOffset());
2216 return Offset;
2217}
2218
Devang Patelc50078e2009-11-21 02:48:08 +00002219/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling55fccda2009-05-20 23:21:38 +00002220///
Devang Patelc50078e2009-11-21 02:48:08 +00002221void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002222 // Compute size of compile unit header.
2223 static unsigned Offset =
2224 sizeof(int32_t) + // Length of Compilation Unit Info
2225 sizeof(int16_t) + // DWARF version number
2226 sizeof(int32_t) + // Offset Into Abbrev. Section
2227 sizeof(int8_t); // Pointer Size (in bytes)
2228
Devang Patelc50078e2009-11-21 02:48:08 +00002229 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel5a3d37f2009-06-29 20:45:18 +00002230 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling55fccda2009-05-20 23:21:38 +00002231}
2232
Devang Patelc50078e2009-11-21 02:48:08 +00002233/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling55fccda2009-05-20 23:21:38 +00002234/// tools to recognize the object file contains Dwarf information.
Devang Patelc50078e2009-11-21 02:48:08 +00002235void DwarfDebug::emitInitial() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002236 // Check to see if we already emitted intial headers.
2237 if (didInitial) return;
2238 didInitial = true;
2239
Chris Lattner73266f92009-08-19 05:49:37 +00002240 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbar41716322009-09-19 20:40:05 +00002241
Bill Wendling55fccda2009-05-20 23:21:38 +00002242 // Dwarf sections base addresses.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002243 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner73266f92009-08-19 05:49:37 +00002244 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002245 EmitLabel("section_debug_frame", 0);
2246 }
2247
Chris Lattner73266f92009-08-19 05:49:37 +00002248 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002249 EmitLabel("section_info", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002250 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002251 EmitLabel("section_abbrev", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002252 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002253 EmitLabel("section_aranges", 0);
2254
Chris Lattner73266f92009-08-19 05:49:37 +00002255 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2256 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling55fccda2009-05-20 23:21:38 +00002257 EmitLabel("section_macinfo", 0);
2258 }
2259
Chris Lattner73266f92009-08-19 05:49:37 +00002260 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002261 EmitLabel("section_line", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002262 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002263 EmitLabel("section_loc", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002264 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002265 EmitLabel("section_pubnames", 0);
Devang Patelec13b4f2009-11-24 01:14:22 +00002266 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2267 EmitLabel("section_pubtypes", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002268 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002269 EmitLabel("section_str", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002270 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002271 EmitLabel("section_ranges", 0);
2272
Chris Lattner73266f92009-08-19 05:49:37 +00002273 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002274 EmitLabel("text_begin", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002275 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002276 EmitLabel("data_begin", 0);
2277}
2278
Devang Patelc50078e2009-11-21 02:48:08 +00002279/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling55fccda2009-05-20 23:21:38 +00002280///
Devang Patelc50078e2009-11-21 02:48:08 +00002281void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002282 // Get the abbreviation for this DIE.
2283 unsigned AbbrevNumber = Die->getAbbrevNumber();
2284 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2285
2286 Asm->EOL();
2287
2288 // Emit the code (index) for the abbreviation.
2289 Asm->EmitULEB128Bytes(AbbrevNumber);
2290
2291 if (Asm->isVerbose())
2292 Asm->EOL(std::string("Abbrev [" +
2293 utostr(AbbrevNumber) +
2294 "] 0x" + utohexstr(Die->getOffset()) +
2295 ":0x" + utohexstr(Die->getSize()) + " " +
2296 dwarf::TagString(Abbrev->getTag())));
2297 else
2298 Asm->EOL();
2299
2300 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2301 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2302
2303 // Emit the DIE attribute values.
2304 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2305 unsigned Attr = AbbrevData[i].getAttribute();
2306 unsigned Form = AbbrevData[i].getForm();
2307 assert(Form && "Too many attributes for DIE (check abbreviation)");
2308
2309 switch (Attr) {
2310 case dwarf::DW_AT_sibling:
Devang Patelc50078e2009-11-21 02:48:08 +00002311 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002312 break;
2313 case dwarf::DW_AT_abstract_origin: {
2314 DIEEntry *E = cast<DIEEntry>(Values[i]);
2315 DIE *Origin = E->getEntry();
Devang Patel90a0fe32009-11-10 23:06:00 +00002316 unsigned Addr = Origin->getOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002317 Asm->EmitInt32(Addr);
2318 break;
2319 }
2320 default:
2321 // Emit an attribute using the defined form.
2322 Values[i]->EmitValue(this, Form);
2323 break;
2324 }
2325
2326 Asm->EOL(dwarf::AttributeString(Attr));
2327 }
2328
2329 // Emit the DIE children if any.
2330 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2331 const std::vector<DIE *> &Children = Die->getChildren();
2332
2333 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002334 emitDIE(Children[j]);
Bill Wendling55fccda2009-05-20 23:21:38 +00002335
2336 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark");
2337 }
2338}
2339
Devang Patelc50078e2009-11-21 02:48:08 +00002340/// emitDebugInfo / emitDebugInfoPerCU - Emit the debug info section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002341///
Devang Patelc50078e2009-11-21 02:48:08 +00002342void DwarfDebug::emitDebugInfoPerCU(CompileUnit *Unit) {
Devang Pateld90672c2009-11-20 21:37:22 +00002343 DIE *Die = Unit->getCUDie();
Bill Wendling55fccda2009-05-20 23:21:38 +00002344
2345 // Emit the compile units header.
2346 EmitLabel("info_begin", Unit->getID());
2347
2348 // Emit size of content not including length itself
2349 unsigned ContentSize = Die->getSize() +
2350 sizeof(int16_t) + // DWARF version number
2351 sizeof(int32_t) + // Offset Into Abbrev. Section
2352 sizeof(int8_t) + // Pointer Size (in bytes)
2353 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2354
2355 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info");
2356 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2357 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
2358 Asm->EOL("Offset Into Abbrev. Section");
2359 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2360
Devang Patelc50078e2009-11-21 02:48:08 +00002361 emitDIE(Die);
Bill Wendling55fccda2009-05-20 23:21:38 +00002362 // FIXME - extra padding for gdb bug.
2363 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2364 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2365 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2366 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB");
2367 EmitLabel("info_end", Unit->getID());
2368
2369 Asm->EOL();
2370}
2371
Devang Patelc50078e2009-11-21 02:48:08 +00002372void DwarfDebug::emitDebugInfo() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002373 // Start debug info section.
Chris Lattner73266f92009-08-19 05:49:37 +00002374 Asm->OutStreamer.SwitchSection(
2375 Asm->getObjFileLowering().getDwarfInfoSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002376
Devang Patelc50078e2009-11-21 02:48:08 +00002377 emitDebugInfoPerCU(ModuleCU);
Bill Wendling55fccda2009-05-20 23:21:38 +00002378}
2379
Devang Patelc50078e2009-11-21 02:48:08 +00002380/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002381///
Devang Patelc50078e2009-11-21 02:48:08 +00002382void DwarfDebug::emitAbbreviations() const {
Bill Wendling55fccda2009-05-20 23:21:38 +00002383 // Check to see if it is worth the effort.
2384 if (!Abbreviations.empty()) {
2385 // Start the debug abbrev section.
Chris Lattner73266f92009-08-19 05:49:37 +00002386 Asm->OutStreamer.SwitchSection(
2387 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002388
2389 EmitLabel("abbrev_begin", 0);
2390
2391 // For each abbrevation.
2392 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2393 // Get abbreviation data
2394 const DIEAbbrev *Abbrev = Abbreviations[i];
2395
2396 // Emit the abbrevations code (base 1 index.)
2397 Asm->EmitULEB128Bytes(Abbrev->getNumber());
2398 Asm->EOL("Abbreviation Code");
2399
2400 // Emit the abbreviations data.
2401 Abbrev->Emit(Asm);
2402
2403 Asm->EOL();
2404 }
2405
2406 // Mark end of abbreviations.
2407 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)");
2408
2409 EmitLabel("abbrev_end", 0);
2410 Asm->EOL();
2411 }
2412}
2413
Devang Patelc50078e2009-11-21 02:48:08 +00002414/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling55fccda2009-05-20 23:21:38 +00002415/// the line matrix.
2416///
Devang Patelc50078e2009-11-21 02:48:08 +00002417void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002418 // Define last address of section.
2419 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2420 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2421 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2422 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label");
2423
2424 // Mark end of matrix.
2425 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence");
2426 Asm->EmitULEB128Bytes(1); Asm->EOL();
2427 Asm->EmitInt8(1); Asm->EOL();
2428}
2429
Devang Patelc50078e2009-11-21 02:48:08 +00002430/// emitDebugLines - Emit source line information.
Bill Wendling55fccda2009-05-20 23:21:38 +00002431///
Devang Patelc50078e2009-11-21 02:48:08 +00002432void DwarfDebug::emitDebugLines() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002433 // If the target is using .loc/.file, the assembler will be emitting the
2434 // .debug_line table automatically.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002435 if (MAI->hasDotLocAndDotFile())
Bill Wendling55fccda2009-05-20 23:21:38 +00002436 return;
2437
2438 // Minimum line delta, thus ranging from -10..(255-10).
2439 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2440 // Maximum line delta, thus ranging from -10..(255-10).
2441 const int MaxLineDelta = 255 + MinLineDelta;
2442
2443 // Start the dwarf line section.
Chris Lattner73266f92009-08-19 05:49:37 +00002444 Asm->OutStreamer.SwitchSection(
2445 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002446
2447 // Construct the section header.
2448 EmitDifference("line_end", 0, "line_begin", 0, true);
2449 Asm->EOL("Length of Source Line Info");
2450 EmitLabel("line_begin", 0);
2451
2452 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number");
2453
2454 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
2455 Asm->EOL("Prolog Length");
2456 EmitLabel("line_prolog_begin", 0);
2457
2458 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length");
2459
2460 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag");
2461
2462 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)");
2463
2464 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)");
2465
2466 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base");
2467
2468 // Line number standard opcode encodings argument count
2469 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count");
2470 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count");
2471 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count");
2472 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count");
2473 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count");
2474 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count");
2475 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count");
2476 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count");
2477 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count");
2478
2479 // Emit directories.
2480 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
2481 Asm->EmitString(getSourceDirectoryName(DI));
2482 Asm->EOL("Directory");
2483 }
2484
2485 Asm->EmitInt8(0); Asm->EOL("End of directories");
2486
2487 // Emit files.
2488 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2489 // Remember source id starts at 1.
2490 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
2491 Asm->EmitString(getSourceFileName(Id.second));
2492 Asm->EOL("Source");
2493 Asm->EmitULEB128Bytes(Id.first);
2494 Asm->EOL("Directory #");
2495 Asm->EmitULEB128Bytes(0);
2496 Asm->EOL("Mod date");
2497 Asm->EmitULEB128Bytes(0);
2498 Asm->EOL("File size");
2499 }
2500
2501 Asm->EmitInt8(0); Asm->EOL("End of files");
2502
2503 EmitLabel("line_prolog_end", 0);
2504
2505 // A sequence for each text section.
2506 unsigned SecSrcLinesSize = SectionSourceLines.size();
2507
2508 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2509 // Isolate current sections line info.
2510 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2511
Chris Lattner26aabb92009-08-08 23:39:42 +00002512 /*if (Asm->isVerbose()) {
Chris Lattnere6ad12f2009-07-31 18:48:30 +00002513 const MCSection *S = SectionMap[j + 1];
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002514 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling55fccda2009-05-20 23:21:38 +00002515 << S->getName() << '\n';
Chris Lattner26aabb92009-08-08 23:39:42 +00002516 }*/
2517 Asm->EOL();
Bill Wendling55fccda2009-05-20 23:21:38 +00002518
2519 // Dwarf assumes we start with first line of first source file.
2520 unsigned Source = 1;
2521 unsigned Line = 1;
2522
2523 // Construct rows of the address, source, line, column matrix.
2524 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2525 const SrcLineInfo &LineInfo = LineInfos[i];
2526 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2527 if (!LabelID) continue;
2528
Caroline Tice9da96d82009-09-11 18:25:54 +00002529 if (LineInfo.getLine() == 0) continue;
2530
Bill Wendling55fccda2009-05-20 23:21:38 +00002531 if (!Asm->isVerbose())
2532 Asm->EOL();
2533 else {
2534 std::pair<unsigned, unsigned> SourceID =
2535 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002536 O << '\t' << MAI->getCommentString() << ' '
Bill Wendling55fccda2009-05-20 23:21:38 +00002537 << getSourceDirectoryName(SourceID.first) << ' '
2538 << getSourceFileName(SourceID.second)
2539 <<" :" << utostr_32(LineInfo.getLine()) << '\n';
2540 }
2541
2542 // Define the line address.
2543 Asm->EmitInt8(0); Asm->EOL("Extended Op");
2544 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size");
2545 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address");
2546 EmitReference("label", LabelID); Asm->EOL("Location label");
2547
2548 // If change of source, then switch to the new source.
2549 if (Source != LineInfo.getSourceID()) {
2550 Source = LineInfo.getSourceID();
2551 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file");
2552 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source");
2553 }
2554
2555 // If change of line.
2556 if (Line != LineInfo.getLine()) {
2557 // Determine offset.
2558 int Offset = LineInfo.getLine() - Line;
2559 int Delta = Offset - MinLineDelta;
2560
2561 // Update line.
2562 Line = LineInfo.getLine();
2563
2564 // If delta is small enough and in range...
2565 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2566 // ... then use fast opcode.
2567 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta");
2568 } else {
2569 // ... otherwise use long hand.
2570 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
2571 Asm->EOL("DW_LNS_advance_line");
2572 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset");
2573 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2574 }
2575 } else {
2576 // Copy the previous row (different address or source)
2577 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy");
2578 }
2579 }
2580
Devang Patelc50078e2009-11-21 02:48:08 +00002581 emitEndOfLineMatrix(j + 1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002582 }
2583
2584 if (SecSrcLinesSize == 0)
2585 // Because we're emitting a debug_line section, we still need a line
2586 // table. The linker and friends expect it to exist. If there's nothing to
2587 // put into it, emit an empty table.
Devang Patelc50078e2009-11-21 02:48:08 +00002588 emitEndOfLineMatrix(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002589
2590 EmitLabel("line_end", 0);
2591 Asm->EOL();
2592}
2593
Devang Patelc50078e2009-11-21 02:48:08 +00002594/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002595///
Devang Patelc50078e2009-11-21 02:48:08 +00002596void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002597 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002598 return;
2599
2600 int stackGrowth =
2601 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2602 TargetFrameInfo::StackGrowsUp ?
2603 TD->getPointerSize() : -TD->getPointerSize();
2604
2605 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002606 Asm->OutStreamer.SwitchSection(
2607 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002608
2609 EmitLabel("debug_frame_common", 0);
2610 EmitDifference("debug_frame_common_end", 0,
2611 "debug_frame_common_begin", 0, true);
2612 Asm->EOL("Length of Common Information Entry");
2613
2614 EmitLabel("debug_frame_common_begin", 0);
2615 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
2616 Asm->EOL("CIE Identifier Tag");
2617 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
2618 Asm->EOL("CIE Version");
2619 Asm->EmitString("");
2620 Asm->EOL("CIE Augmentation");
2621 Asm->EmitULEB128Bytes(1);
2622 Asm->EOL("CIE Code Alignment Factor");
2623 Asm->EmitSLEB128Bytes(stackGrowth);
2624 Asm->EOL("CIE Data Alignment Factor");
2625 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
2626 Asm->EOL("CIE RA Column");
2627
2628 std::vector<MachineMove> Moves;
2629 RI->getInitialFrameState(Moves);
2630
2631 EmitFrameMoves(NULL, 0, Moves, false);
2632
2633 Asm->EmitAlignment(2, 0, 0, false);
2634 EmitLabel("debug_frame_common_end", 0);
2635
2636 Asm->EOL();
2637}
2638
Devang Patelc50078e2009-11-21 02:48:08 +00002639/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling55fccda2009-05-20 23:21:38 +00002640/// section.
2641void
Devang Patelc50078e2009-11-21 02:48:08 +00002642DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002643 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002644 return;
2645
2646 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002647 Asm->OutStreamer.SwitchSection(
2648 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002649
2650 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2651 "debug_frame_begin", DebugFrameInfo.Number, true);
2652 Asm->EOL("Length of Frame Information Entry");
2653
2654 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2655
2656 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2657 0, 0, true, false);
2658 Asm->EOL("FDE CIE offset");
2659
2660 EmitReference("func_begin", DebugFrameInfo.Number);
2661 Asm->EOL("FDE initial location");
2662 EmitDifference("func_end", DebugFrameInfo.Number,
2663 "func_begin", DebugFrameInfo.Number);
2664 Asm->EOL("FDE address range");
2665
2666 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2667 false);
2668
2669 Asm->EmitAlignment(2, 0, 0, false);
2670 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
2671
2672 Asm->EOL();
2673}
2674
Devang Patelc50078e2009-11-21 02:48:08 +00002675void DwarfDebug::emitDebugPubNamesPerCU(CompileUnit *Unit) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002676 EmitDifference("pubnames_end", Unit->getID(),
2677 "pubnames_begin", Unit->getID(), true);
2678 Asm->EOL("Length of Public Names Info");
2679
2680 EmitLabel("pubnames_begin", Unit->getID());
2681
2682 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2683
2684 EmitSectionOffset("info_begin", "section_info",
2685 Unit->getID(), 0, true, false);
2686 Asm->EOL("Offset of Compilation Unit Info");
2687
2688 EmitDifference("info_end", Unit->getID(), "info_begin", Unit->getID(),
2689 true);
2690 Asm->EOL("Compilation Unit Length");
2691
Devang Patelec13b4f2009-11-24 01:14:22 +00002692 const StringMap<DIE*> &Globals = Unit->getGlobals();
Bill Wendling55fccda2009-05-20 23:21:38 +00002693 for (StringMap<DIE*>::const_iterator
2694 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2695 const char *Name = GI->getKeyData();
2696 DIE * Entity = GI->second;
2697
2698 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2699 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2700 }
2701
2702 Asm->EmitInt32(0); Asm->EOL("End Mark");
2703 EmitLabel("pubnames_end", Unit->getID());
2704
2705 Asm->EOL();
2706}
2707
Devang Patelc50078e2009-11-21 02:48:08 +00002708/// emitDebugPubNames - Emit visible names into a debug pubnames section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002709///
Devang Patelc50078e2009-11-21 02:48:08 +00002710void DwarfDebug::emitDebugPubNames() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002711 // Start the dwarf pubnames section.
Chris Lattner73266f92009-08-19 05:49:37 +00002712 Asm->OutStreamer.SwitchSection(
2713 Asm->getObjFileLowering().getDwarfPubNamesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002714
Devang Patelc50078e2009-11-21 02:48:08 +00002715 emitDebugPubNamesPerCU(ModuleCU);
Bill Wendling55fccda2009-05-20 23:21:38 +00002716}
2717
Devang Patelec13b4f2009-11-24 01:14:22 +00002718void DwarfDebug::emitDebugPubTypes() {
Devang Patel6f2bdd52009-11-24 19:18:41 +00002719 // Start the dwarf pubnames section.
2720 Asm->OutStreamer.SwitchSection(
2721 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patelec13b4f2009-11-24 01:14:22 +00002722 EmitDifference("pubtypes_end", ModuleCU->getID(),
2723 "pubtypes_begin", ModuleCU->getID(), true);
2724 Asm->EOL("Length of Public Types Info");
2725
2726 EmitLabel("pubtypes_begin", ModuleCU->getID());
2727
2728 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version");
2729
2730 EmitSectionOffset("info_begin", "section_info",
2731 ModuleCU->getID(), 0, true, false);
2732 Asm->EOL("Offset of Compilation ModuleCU Info");
2733
2734 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2735 true);
2736 Asm->EOL("Compilation ModuleCU Length");
2737
2738 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2739 for (StringMap<DIE*>::const_iterator
2740 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2741 const char *Name = GI->getKeyData();
2742 DIE * Entity = GI->second;
2743
2744 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset");
2745 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name");
2746 }
2747
2748 Asm->EmitInt32(0); Asm->EOL("End Mark");
2749 EmitLabel("pubtypes_end", ModuleCU->getID());
2750
2751 Asm->EOL();
2752}
2753
Devang Patelc50078e2009-11-21 02:48:08 +00002754/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002755///
Devang Patelc50078e2009-11-21 02:48:08 +00002756void DwarfDebug::emitDebugStr() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002757 // Check to see if it is worth the effort.
2758 if (!StringPool.empty()) {
2759 // Start the dwarf str section.
Chris Lattner73266f92009-08-19 05:49:37 +00002760 Asm->OutStreamer.SwitchSection(
2761 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002762
2763 // For each of strings in the string pool.
2764 for (unsigned StringID = 1, N = StringPool.size();
2765 StringID <= N; ++StringID) {
2766 // Emit a label for reference from debug information entries.
2767 EmitLabel("string", StringID);
2768
2769 // Emit the string itself.
2770 const std::string &String = StringPool[StringID];
2771 Asm->EmitString(String); Asm->EOL();
2772 }
2773
2774 Asm->EOL();
2775 }
2776}
2777
Devang Patelc50078e2009-11-21 02:48:08 +00002778/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002779///
Devang Patelc50078e2009-11-21 02:48:08 +00002780void DwarfDebug::emitDebugLoc() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002781 // Start the dwarf loc section.
Chris Lattner73266f92009-08-19 05:49:37 +00002782 Asm->OutStreamer.SwitchSection(
2783 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002784 Asm->EOL();
2785}
2786
2787/// EmitDebugARanges - Emit visible names into a debug aranges section.
2788///
2789void DwarfDebug::EmitDebugARanges() {
2790 // Start the dwarf aranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002791 Asm->OutStreamer.SwitchSection(
2792 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002793
2794 // FIXME - Mock up
2795#if 0
2796 CompileUnit *Unit = GetBaseCompileUnit();
2797
2798 // Don't include size of length
2799 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info");
2800
2801 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2802
2803 EmitReference("info_begin", Unit->getID());
2804 Asm->EOL("Offset of Compilation Unit Info");
2805
2806 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address");
2807
2808 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor");
2809
2810 Asm->EmitInt16(0); Asm->EOL("Pad (1)");
2811 Asm->EmitInt16(0); Asm->EOL("Pad (2)");
2812
2813 // Range 1
2814 EmitReference("text_begin", 0); Asm->EOL("Address");
2815 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length");
2816
2817 Asm->EmitInt32(0); Asm->EOL("EOM (1)");
2818 Asm->EmitInt32(0); Asm->EOL("EOM (2)");
2819#endif
2820
2821 Asm->EOL();
2822}
2823
Devang Patelc50078e2009-11-21 02:48:08 +00002824/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002825///
Devang Patelc50078e2009-11-21 02:48:08 +00002826void DwarfDebug::emitDebugRanges() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002827 // Start the dwarf ranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002828 Asm->OutStreamer.SwitchSection(
2829 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002830 Asm->EOL();
2831}
2832
Devang Patelc50078e2009-11-21 02:48:08 +00002833/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002834///
Devang Patelc50078e2009-11-21 02:48:08 +00002835void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbar41716322009-09-19 20:40:05 +00002836 if (const MCSection *LineInfo =
Chris Lattner72d228d2009-08-02 07:24:22 +00002837 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002838 // Start the dwarf macinfo section.
Chris Lattner73266f92009-08-19 05:49:37 +00002839 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling55fccda2009-05-20 23:21:38 +00002840 Asm->EOL();
2841 }
2842}
2843
Devang Patelc50078e2009-11-21 02:48:08 +00002844/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling55fccda2009-05-20 23:21:38 +00002845/// Section Header:
2846/// 1. length of section
2847/// 2. Dwarf version number
2848/// 3. address size.
2849///
2850/// Entries (one "entry" for each function that was inlined):
2851///
2852/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2853/// otherwise offset into __debug_str for regular function name.
2854/// 2. offset into __debug_str section for regular function name.
2855/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2856/// instances for the function.
2857///
2858/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2859/// inlined instance; the die_offset points to the inlined_subroutine die in the
2860/// __debug_info section, and the low_pc is the starting address for the
2861/// inlining instance.
Devang Patelc50078e2009-11-21 02:48:08 +00002862void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002863 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002864 return;
2865
Devang Patel5a3d37f2009-06-29 20:45:18 +00002866 if (!ModuleCU)
Bill Wendling55fccda2009-05-20 23:21:38 +00002867 return;
2868
Chris Lattner73266f92009-08-19 05:49:37 +00002869 Asm->OutStreamer.SwitchSection(
2870 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002871 Asm->EOL();
2872 EmitDifference("debug_inlined_end", 1,
2873 "debug_inlined_begin", 1, true);
2874 Asm->EOL("Length of Debug Inlined Information Entry");
2875
2876 EmitLabel("debug_inlined_begin", 1);
2877
2878 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version");
2879 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)");
2880
Devang Patel90a0fe32009-11-10 23:06:00 +00002881 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2882 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach652b7432009-11-21 23:12:12 +00002883
Devang Patel90a0fe32009-11-10 23:06:00 +00002884// for (ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
2885 // I = InlineInfo.begin(), E = InlineInfo.end(); I != E; ++I) {
2886 MDNode *Node = *I;
Jim Grosbachb23f2422009-11-22 19:20:36 +00002887 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
2888 = InlineInfo.find(Node);
Devang Patel90a0fe32009-11-10 23:06:00 +00002889 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel15e723d2009-08-28 23:24:31 +00002890 DISubprogram SP(Node);
Devang Patel7f75bbe2009-11-25 17:36:49 +00002891 StringRef LName = SP.getLinkageName();
2892 StringRef Name = SP.getName();
Bill Wendling55fccda2009-05-20 23:21:38 +00002893
Devang Patel7f75bbe2009-11-25 17:36:49 +00002894 if (LName.empty())
Devang Patel76031e82009-07-16 01:01:22 +00002895 Asm->EmitString(Name);
2896 else {
Chris Lattner73266f92009-08-19 05:49:37 +00002897 // Skip special LLVM prefix that is used to inform the asm printer to not
2898 // emit usual symbol prefix before the symbol name. This happens for
2899 // Objective-C symbol names and symbol whose name is replaced using GCC's
2900 // __asm__ attribute.
Devang Patel76031e82009-07-16 01:01:22 +00002901 if (LName[0] == 1)
Benjamin Kramer62b81882009-11-25 18:26:09 +00002902 LName = LName.substr(1);
Devang Patel90a0fe32009-11-10 23:06:00 +00002903// Asm->EmitString(LName);
2904 EmitSectionOffset("string", "section_str",
2905 StringPool.idFor(LName), false, true);
2906
Devang Patel76031e82009-07-16 01:01:22 +00002907 }
Bill Wendling55fccda2009-05-20 23:21:38 +00002908 Asm->EOL("MIPS linkage name");
Jim Grosbach652b7432009-11-21 23:12:12 +00002909// Asm->EmitString(Name);
Devang Patel90a0fe32009-11-10 23:06:00 +00002910 EmitSectionOffset("string", "section_str",
2911 StringPool.idFor(Name), false, true);
2912 Asm->EOL("Function name");
Bill Wendling55fccda2009-05-20 23:21:38 +00002913 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count");
2914
Devang Patel90a0fe32009-11-10 23:06:00 +00002915 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling55fccda2009-05-20 23:21:38 +00002916 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel90a0fe32009-11-10 23:06:00 +00002917 DIE *SP = LI->second;
Bill Wendling55fccda2009-05-20 23:21:38 +00002918 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset");
2919
2920 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002921 O << MAI->getData32bitsDirective();
Bill Wendling55fccda2009-05-20 23:21:38 +00002922 else
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002923 O << MAI->getData64bitsDirective();
Bill Wendling55fccda2009-05-20 23:21:38 +00002924
Devang Patel90a0fe32009-11-10 23:06:00 +00002925 PrintLabelName("label", LI->first); Asm->EOL("low_pc");
Bill Wendling55fccda2009-05-20 23:21:38 +00002926 }
2927 }
2928
2929 EmitLabel("debug_inlined_end", 1);
2930 Asm->EOL();
2931}