blob: e46916e6d9c5a799365fe475c1c57539cd88ebeb [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"
Chris Lattner31a54742010-01-16 21:57:06 +000021#include "llvm/Target/Mangler.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000022#include "llvm/Target/TargetData.h"
23#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000024#include "llvm/Target/TargetLoweringObjectFile.h"
25#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattnerf5377682009-08-24 03:52:50 +000026#include "llvm/ADT/StringExtras.h"
Daniel Dunbarc74255d2009-10-13 06:47:08 +000027#include "llvm/Support/Debug.h"
28#include "llvm/Support/ErrorHandling.h"
Devang Patelae89d3b2010-01-26 21:39:14 +000029#include "llvm/Support/ValueHandle.h"
Chris Lattnerad653482010-01-22 22:09:00 +000030#include "llvm/Support/FormattedStream.h"
Chris Lattnere6ad12f2009-07-31 18:48:30 +000031#include "llvm/Support/Timer.h"
32#include "llvm/System/Path.h"
Bill Wendlingb12b3d72009-05-15 09:23:25 +000033using namespace llvm;
34
Bill Wendlingb12b3d72009-05-15 09:23:25 +000035//===----------------------------------------------------------------------===//
36
37/// Configuration values for initial hash set sizes (log2).
38///
Bill Wendlingb12b3d72009-05-15 09:23:25 +000039static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendlingb12b3d72009-05-15 09:23:25 +000040
41namespace llvm {
42
43//===----------------------------------------------------------------------===//
44/// CompileUnit - This dwarf writer support class manages information associate
45/// with a source file.
Nick Lewyckyee68f452009-11-17 08:11:44 +000046class CompileUnit {
Bill Wendlingb12b3d72009-05-15 09:23:25 +000047 /// ID - File identifier for source.
48 ///
49 unsigned ID;
50
51 /// Die - Compile unit debug information entry.
52 ///
Devang Patelc50078e2009-11-21 02:48:08 +000053 DIE *CUDie;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000054
Devang Patel1233f912009-11-21 00:31:03 +000055 /// IndexTyDie - An anonymous type for index type.
56 DIE *IndexTyDie;
57
Bill Wendlingb12b3d72009-05-15 09:23:25 +000058 /// GVToDieMap - Tracks the mapping of unit level debug informaton
59 /// variables to debug information entries.
Devang Patel15e723d2009-08-28 23:24:31 +000060 /// FIXME : Rename GVToDieMap -> NodeToDieMap
Devang Patel7d707f92010-01-19 06:19:05 +000061 DenseMap<MDNode *, DIE *> GVToDieMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000062
63 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton
64 /// descriptors to debug information entries using a DIEEntry proxy.
Devang Patel15e723d2009-08-28 23:24:31 +000065 /// FIXME : Rename
Devang Patel7d707f92010-01-19 06:19:05 +000066 DenseMap<MDNode *, DIEEntry *> GVToDIEEntryMap;
Bill Wendlingb12b3d72009-05-15 09:23:25 +000067
68 /// Globals - A map of globally visible named entities for this unit.
69 ///
70 StringMap<DIE*> Globals;
71
Devang Patelec13b4f2009-11-24 01:14:22 +000072 /// GlobalTypes - A map of globally visible types for this unit.
73 ///
74 StringMap<DIE*> GlobalTypes;
75
Bill Wendlingb12b3d72009-05-15 09:23:25 +000076public:
77 CompileUnit(unsigned I, DIE *D)
Devang Patelc50078e2009-11-21 02:48:08 +000078 : ID(I), CUDie(D), IndexTyDie(0) {}
79 ~CompileUnit() { delete CUDie; delete IndexTyDie; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000080
81 // Accessors.
Devang Patelec13b4f2009-11-24 01:14:22 +000082 unsigned getID() const { return ID; }
83 DIE* getCUDie() const { return CUDie; }
84 const StringMap<DIE*> &getGlobals() const { return Globals; }
85 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000086
87 /// hasContent - Return true if this compile unit has something to write out.
88 ///
Devang Patelc50078e2009-11-21 02:48:08 +000089 bool hasContent() const { return !CUDie->getChildren().empty(); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000090
Devang Patelc50078e2009-11-21 02:48:08 +000091 /// addGlobal - Add a new global entity to the compile unit.
Bill Wendlingb12b3d72009-05-15 09:23:25 +000092 ///
Devang Patelc50078e2009-11-21 02:48:08 +000093 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +000094
Devang Patelec13b4f2009-11-24 01:14:22 +000095 /// addGlobalType - Add a new global type to the compile unit.
96 ///
97 void addGlobalType(const std::string &Name, DIE *Die) {
98 GlobalTypes[Name] = Die;
99 }
100
Devang Pateld90672c2009-11-20 21:37:22 +0000101 /// getDIE - Returns the debug information entry map slot for the
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000102 /// specified debug variable.
Devang Pateld90672c2009-11-20 21:37:22 +0000103 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); }
Jim Grosbach652b7432009-11-21 23:12:12 +0000104
Devang Pateld90672c2009-11-20 21:37:22 +0000105 /// insertDIE - Insert DIE into the map.
106 void insertDIE(MDNode *N, DIE *D) {
107 GVToDieMap.insert(std::make_pair(N, D));
108 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000109
Devang Pateld90672c2009-11-20 21:37:22 +0000110 /// getDIEEntry - Returns the debug information entry for the speciefied
111 /// debug variable.
Devang Patel8287d662009-12-15 19:16:48 +0000112 DIEEntry *getDIEEntry(MDNode *N) {
Devang Patel7d707f92010-01-19 06:19:05 +0000113 DenseMap<MDNode *, DIEEntry *>::iterator I = GVToDIEEntryMap.find(N);
Devang Patel8287d662009-12-15 19:16:48 +0000114 if (I == GVToDIEEntryMap.end())
115 return NULL;
116 return I->second;
117 }
Devang Pateld90672c2009-11-20 21:37:22 +0000118
119 /// insertDIEEntry - Insert debug information entry into the map.
120 void insertDIEEntry(MDNode *N, DIEEntry *E) {
121 GVToDIEEntryMap.insert(std::make_pair(N, E));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000122 }
123
Devang Patelc50078e2009-11-21 02:48:08 +0000124 /// addDie - Adds or interns the DIE to the compile unit.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000125 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000126 void addDie(DIE *Buffer) {
127 this->CUDie->addChild(Buffer);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000128 }
Devang Patel1233f912009-11-21 00:31:03 +0000129
130 // getIndexTyDie - Get an anonymous type for index type.
131 DIE *getIndexTyDie() {
132 return IndexTyDie;
133 }
134
Jim Grosbachb23f2422009-11-22 19:20:36 +0000135 // setIndexTyDie - Set D as anonymous type for index which can be reused
136 // later.
Devang Patel1233f912009-11-21 00:31:03 +0000137 void setIndexTyDie(DIE *D) {
138 IndexTyDie = D;
139 }
140
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000141};
142
143//===----------------------------------------------------------------------===//
144/// DbgVariable - This class is used to track local variable information.
145///
Devang Patel4cb32c32009-11-16 21:53:40 +0000146class DbgVariable {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000147 DIVariable Var; // Variable Descriptor.
148 unsigned FrameIndex; // Variable frame index.
Devang Patel90a0fe32009-11-10 23:06:00 +0000149 DbgVariable *AbstractVar; // Abstract variable for this variable.
150 DIE *TheDIE;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000151public:
Devang Patel90a0fe32009-11-10 23:06:00 +0000152 DbgVariable(DIVariable V, unsigned I)
153 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000154
155 // Accessors.
Devang Patel90a0fe32009-11-10 23:06:00 +0000156 DIVariable getVariable() const { return Var; }
157 unsigned getFrameIndex() const { return FrameIndex; }
158 void setAbstractVariable(DbgVariable *V) { AbstractVar = V; }
159 DbgVariable *getAbstractVariable() const { return AbstractVar; }
160 void setDIE(DIE *D) { TheDIE = D; }
161 DIE *getDIE() const { return TheDIE; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000162};
163
164//===----------------------------------------------------------------------===//
165/// DbgScope - This class is used to track scope information.
166///
Devang Patel4cb32c32009-11-16 21:53:40 +0000167class DbgScope {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000168 DbgScope *Parent; // Parent to this scope.
Jim Grosbach652b7432009-11-21 23:12:12 +0000169 DIDescriptor Desc; // Debug info descriptor for scope.
Devang Patelae89d3b2010-01-26 21:39:14 +0000170 // Location at which this scope is inlined.
171 AssertingVH<MDNode> InlinedAtLocation;
Devang Patel90a0fe32009-11-10 23:06:00 +0000172 bool AbstractScope; // Abstract Scope
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000173 unsigned StartLabelID; // Label ID of the beginning of scope.
174 unsigned EndLabelID; // Label ID of the end of scope.
Devang Patel90ecd192009-10-01 18:25:23 +0000175 const MachineInstr *LastInsn; // Last instruction of this scope.
176 const MachineInstr *FirstInsn; // First instruction of this scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000177 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope.
178 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope.
Daniel Dunbar41716322009-09-19 20:40:05 +0000179
Owen Anderson696d4862009-06-24 22:53:20 +0000180 // Private state for dump()
181 mutable unsigned IndentLevel;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000182public:
Devang Pateldd7bb432009-10-14 21:08:09 +0000183 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0)
Devang Patel90a0fe32009-11-10 23:06:00 +0000184 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false),
Jim Grosbach652b7432009-11-21 23:12:12 +0000185 StartLabelID(0), EndLabelID(0),
Devang Pateldd7bb432009-10-14 21:08:09 +0000186 LastInsn(0), FirstInsn(0), IndentLevel(0) {}
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000187 virtual ~DbgScope();
188
189 // Accessors.
190 DbgScope *getParent() const { return Parent; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000191 void setParent(DbgScope *P) { Parent = P; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000192 DIDescriptor getDesc() const { return Desc; }
Jim Grosbach652b7432009-11-21 23:12:12 +0000193 MDNode *getInlinedAt() const {
Devang Patelae89d3b2010-01-26 21:39:14 +0000194 return InlinedAtLocation;
Devang Pateldd7bb432009-10-14 21:08:09 +0000195 }
Devang Patel90a0fe32009-11-10 23:06:00 +0000196 MDNode *getScopeNode() const { return Desc.getNode(); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000197 unsigned getStartLabelID() const { return StartLabelID; }
198 unsigned getEndLabelID() const { return EndLabelID; }
199 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; }
200 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000201 void setStartLabelID(unsigned S) { StartLabelID = S; }
202 void setEndLabelID(unsigned E) { EndLabelID = E; }
Devang Patel90ecd192009-10-01 18:25:23 +0000203 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; }
204 const MachineInstr *getLastInsn() { return LastInsn; }
205 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000206 void setAbstractScope() { AbstractScope = true; }
207 bool isAbstractScope() const { return AbstractScope; }
Devang Patel90ecd192009-10-01 18:25:23 +0000208 const MachineInstr *getFirstInsn() { return FirstInsn; }
Devang Patel90a0fe32009-11-10 23:06:00 +0000209
Devang Patelc50078e2009-11-21 02:48:08 +0000210 /// addScope - Add a scope to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000211 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000212 void addScope(DbgScope *S) { Scopes.push_back(S); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000213
Devang Patelc50078e2009-11-21 02:48:08 +0000214 /// addVariable - Add a variable to the scope.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000215 ///
Devang Patelc50078e2009-11-21 02:48:08 +0000216 void addVariable(DbgVariable *V) { Variables.push_back(V); }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000217
Devang Patel98e77302010-01-04 20:44:00 +0000218 void fixInstructionMarkers(DenseMap<const MachineInstr *,
219 unsigned> &MIIndexMap) {
Devang Patel6a260102009-10-01 20:31:14 +0000220 assert (getFirstInsn() && "First instruction is missing!");
Devang Patel98e77302010-01-04 20:44:00 +0000221
222 // Use the end of last child scope as end of this scope.
Devang Patel6a260102009-10-01 20:31:14 +0000223 SmallVector<DbgScope *, 4> &Scopes = getScopes();
Devang Patel3b620bf2010-01-05 16:59:17 +0000224 const MachineInstr *LastInsn = getFirstInsn();
Devang Patel98e77302010-01-04 20:44:00 +0000225 unsigned LIndex = 0;
226 if (Scopes.empty()) {
227 assert (getLastInsn() && "Inner most scope does not have last insn!");
228 return;
229 }
230 for (SmallVector<DbgScope *, 4>::iterator SI = Scopes.begin(),
231 SE = Scopes.end(); SI != SE; ++SI) {
232 DbgScope *DS = *SI;
233 DS->fixInstructionMarkers(MIIndexMap);
234 const MachineInstr *DSLastInsn = DS->getLastInsn();
235 unsigned DSI = MIIndexMap[DSLastInsn];
236 if (DSI > LIndex) {
237 LastInsn = DSLastInsn;
238 LIndex = DSI;
239 }
240 }
241 setLastInsn(LastInsn);
Devang Patel6a260102009-10-01 20:31:14 +0000242 }
243
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000244#ifndef NDEBUG
245 void dump() const;
246#endif
247};
248
249#ifndef NDEBUG
250void DbgScope::dump() const {
David Greenedbc06132009-12-24 00:31:35 +0000251 raw_ostream &err = dbgs();
Chris Lattnerebb8c082009-08-23 00:51:00 +0000252 err.indent(IndentLevel);
Devang Patel90a0fe32009-11-10 23:06:00 +0000253 MDNode *N = Desc.getNode();
254 N->dump();
Chris Lattnerebb8c082009-08-23 00:51:00 +0000255 err << " [" << StartLabelID << ", " << EndLabelID << "]\n";
Devang Patel90a0fe32009-11-10 23:06:00 +0000256 if (AbstractScope)
257 err << "Abstract Scope\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000258
259 IndentLevel += 2;
Devang Patel90a0fe32009-11-10 23:06:00 +0000260 if (!Scopes.empty())
261 err << "Children ...\n";
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000262 for (unsigned i = 0, e = Scopes.size(); i != e; ++i)
263 if (Scopes[i] != this)
264 Scopes[i]->dump();
265
266 IndentLevel -= 2;
267}
268#endif
269
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000270DbgScope::~DbgScope() {
271 for (unsigned i = 0, N = Scopes.size(); i < N; ++i)
272 delete Scopes[i];
273 for (unsigned j = 0, M = Variables.size(); j < M; ++j)
274 delete Variables[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000275}
276
277} // end llvm namespace
278
Chris Lattner621c44d2009-08-22 20:48:53 +0000279DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
Chris Lattnerb21f1042010-01-22 22:23:57 +0000280 : DwarfPrinter(OS, A, T, "dbg"), ModuleCU(0),
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000281 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(),
Devang Patelc50078e2009-11-21 02:48:08 +0000282 DIEValues(), StringPool(),
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000283 SectionSourceLines(), didInitial(false), shouldEmit(false),
Devang Patel90a0fe32009-11-10 23:06:00 +0000284 CurrentFnDbgScope(0), DebugTimer(0) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000285 if (TimePassesIsEnabled)
Chris Lattner13bf2e52009-12-28 07:41:18 +0000286 DebugTimer = new Timer("Dwarf Debug Writer");
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000287}
288DwarfDebug::~DwarfDebug() {
Devang Patelc50078e2009-11-21 02:48:08 +0000289 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j)
290 delete DIEValues[j];
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000291
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000292 delete DebugTimer;
293}
294
Devang Patelc50078e2009-11-21 02:48:08 +0000295/// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000296///
Devang Patelc50078e2009-11-21 02:48:08 +0000297void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000298 // Profile the node so that we can make it unique.
299 FoldingSetNodeID ID;
300 Abbrev.Profile(ID);
301
302 // Check the set for priors.
303 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev);
304
305 // If it's newly added.
306 if (InSet == &Abbrev) {
307 // Add to abbreviation list.
308 Abbreviations.push_back(&Abbrev);
309
310 // Assign the vector position + 1 as its number.
311 Abbrev.setNumber(Abbreviations.size());
312 } else {
313 // Assign existing abbreviation number.
314 Abbrev.setNumber(InSet->getNumber());
315 }
316}
317
Devang Patelc50078e2009-11-21 02:48:08 +0000318/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling0d3db8b2009-05-20 23:24:48 +0000319/// information entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000320DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) {
Devang Patel1233f912009-11-21 00:31:03 +0000321 DIEEntry *Value = new DIEEntry(Entry);
Devang Patelc50078e2009-11-21 02:48:08 +0000322 DIEValues.push_back(Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000323 return Value;
324}
325
Devang Patelc50078e2009-11-21 02:48:08 +0000326/// addUInt - Add an unsigned integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000327///
Devang Patelc50078e2009-11-21 02:48:08 +0000328void DwarfDebug::addUInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000329 unsigned Form, uint64_t Integer) {
330 if (!Form) Form = DIEInteger::BestForm(false, Integer);
Devang Patel1233f912009-11-21 00:31:03 +0000331 DIEValue *Value = new DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000332 DIEValues.push_back(Value);
333 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000334}
335
Devang Patelc50078e2009-11-21 02:48:08 +0000336/// addSInt - Add an signed integer attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000337///
Devang Patelc50078e2009-11-21 02:48:08 +0000338void DwarfDebug::addSInt(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000339 unsigned Form, int64_t Integer) {
340 if (!Form) Form = DIEInteger::BestForm(true, Integer);
Devang Patel1233f912009-11-21 00:31:03 +0000341 DIEValue *Value = new DIEInteger(Integer);
Devang Patelc50078e2009-11-21 02:48:08 +0000342 DIEValues.push_back(Value);
343 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000344}
345
Devang Pateldf0f2152009-12-02 15:25:16 +0000346/// addString - Add a string attribute data and value. DIEString only
347/// keeps string reference.
Devang Patelc50078e2009-11-21 02:48:08 +0000348void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattnercc564642010-01-23 03:11:46 +0000349 StringRef String) {
Devang Patel1233f912009-11-21 00:31:03 +0000350 DIEValue *Value = new DIEString(String);
Devang Patelc50078e2009-11-21 02:48:08 +0000351 DIEValues.push_back(Value);
352 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000353}
354
Devang Patelc50078e2009-11-21 02:48:08 +0000355/// addLabel - Add a Dwarf label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000356///
Devang Patelc50078e2009-11-21 02:48:08 +0000357void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000358 const DWLabel &Label) {
Devang Patel1233f912009-11-21 00:31:03 +0000359 DIEValue *Value = new DIEDwarfLabel(Label);
Devang Patelc50078e2009-11-21 02:48:08 +0000360 DIEValues.push_back(Value);
361 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000362}
363
Devang Patelc50078e2009-11-21 02:48:08 +0000364/// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000365///
Devang Patelc50078e2009-11-21 02:48:08 +0000366void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Chris Lattner41e330f2010-01-16 18:50:28 +0000367 const MCSymbol *Sym) {
368 DIEValue *Value = new DIEObjectLabel(Sym);
Devang Patelc50078e2009-11-21 02:48:08 +0000369 DIEValues.push_back(Value);
370 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000371}
372
Devang Patelc50078e2009-11-21 02:48:08 +0000373/// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000374///
Devang Patelc50078e2009-11-21 02:48:08 +0000375void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000376 const DWLabel &Label, const DWLabel &Section,
377 bool isEH, bool useSet) {
Devang Patel1233f912009-11-21 00:31:03 +0000378 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet);
Devang Patelc50078e2009-11-21 02:48:08 +0000379 DIEValues.push_back(Value);
380 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000381}
382
Devang Patelc50078e2009-11-21 02:48:08 +0000383/// addDelta - Add a label delta attribute data and value.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000384///
Devang Patelc50078e2009-11-21 02:48:08 +0000385void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000386 const DWLabel &Hi, const DWLabel &Lo) {
Devang Patel1233f912009-11-21 00:31:03 +0000387 DIEValue *Value = new DIEDelta(Hi, Lo);
Devang Patelc50078e2009-11-21 02:48:08 +0000388 DIEValues.push_back(Value);
389 Die->addValue(Attribute, Form, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000390}
391
Devang Patelc50078e2009-11-21 02:48:08 +0000392/// addBlock - Add block data.
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000393///
Devang Patelc50078e2009-11-21 02:48:08 +0000394void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000395 DIEBlock *Block) {
396 Block->ComputeSize(TD);
Devang Patelc50078e2009-11-21 02:48:08 +0000397 DIEValues.push_back(Block);
398 Die->addValue(Attribute, Block->BestForm(), Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000399}
400
Devang Patelc50078e2009-11-21 02:48:08 +0000401/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000402/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000403void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000404 // If there is no compile unit specified, don't add a line #.
405 if (V->getCompileUnit().isNull())
406 return;
407
408 unsigned Line = V->getLineNumber();
Devang Patelb9f2c6b2009-12-11 21:37:07 +0000409 unsigned FileID = findCompileUnit(V->getCompileUnit())->getID();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000410 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000411 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
412 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000413}
414
Devang Patelc50078e2009-11-21 02:48:08 +0000415/// addSourceLine - Add location information to specified debug information
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000416/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000417void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000418 // If there is no compile unit specified, don't add a line #.
419 if (G->getCompileUnit().isNull())
420 return;
421
422 unsigned Line = G->getLineNumber();
Devang Patelb9f2c6b2009-12-11 21:37:07 +0000423 unsigned FileID = findCompileUnit(G->getCompileUnit())->getID();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000424 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000425 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
426 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000427}
Devang Patel318d70d2009-08-31 22:47:13 +0000428
Devang Patelc50078e2009-11-21 02:48:08 +0000429/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000430/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000431void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) {
Devang Patel318d70d2009-08-31 22:47:13 +0000432 // If there is no compile unit specified, don't add a line #.
433 if (SP->getCompileUnit().isNull())
434 return;
Caroline Tice9da96d82009-09-11 18:25:54 +0000435 // If the line number is 0, don't add it.
436 if (SP->getLineNumber() == 0)
437 return;
438
Devang Patel318d70d2009-08-31 22:47:13 +0000439
440 unsigned Line = SP->getLineNumber();
Devang Patelb9f2c6b2009-12-11 21:37:07 +0000441 unsigned FileID = findCompileUnit(SP->getCompileUnit())->getID();
Devang Patel318d70d2009-08-31 22:47:13 +0000442 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000443 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
444 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Devang Patel318d70d2009-08-31 22:47:13 +0000445}
446
Devang Patelc50078e2009-11-21 02:48:08 +0000447/// addSourceLine - Add location information to specified debug information
Devang Patel318d70d2009-08-31 22:47:13 +0000448/// entry.
Devang Patelc50078e2009-11-21 02:48:08 +0000449void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000450 // If there is no compile unit specified, don't add a line #.
451 DICompileUnit CU = Ty->getCompileUnit();
452 if (CU.isNull())
453 return;
454
455 unsigned Line = Ty->getLineNumber();
Devang Patelb9f2c6b2009-12-11 21:37:07 +0000456 unsigned FileID = findCompileUnit(CU)->getID();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000457 assert(FileID && "Invalid file id");
Devang Patelc50078e2009-11-21 02:48:08 +0000458 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
459 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000460}
461
Devang Patel8287d662009-12-15 19:16:48 +0000462/// addSourceLine - Add location information to specified debug information
463/// entry.
464void DwarfDebug::addSourceLine(DIE *Die, const DINameSpace *NS) {
465 // If there is no compile unit specified, don't add a line #.
466 if (NS->getCompileUnit().isNull())
467 return;
468
469 unsigned Line = NS->getLineNumber();
470 StringRef FN = NS->getFilename();
471 StringRef Dir = NS->getDirectory();
472
473 unsigned FileID = GetOrCreateSourceID(Dir, FN);
474 assert(FileID && "Invalid file id");
475 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID);
476 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line);
477}
478
Caroline Tice248d5572009-08-31 21:19:37 +0000479/* Byref variables, in Blocks, are declared by the programmer as
480 "SomeType VarName;", but the compiler creates a
481 __Block_byref_x_VarName struct, and gives the variable VarName
482 either the struct, or a pointer to the struct, as its type. This
483 is necessary for various behind-the-scenes things the compiler
484 needs to do with by-reference variables in blocks.
485
486 However, as far as the original *programmer* is concerned, the
487 variable should still have type 'SomeType', as originally declared.
488
489 The following function dives into the __Block_byref_x_VarName
490 struct to find the original type of the variable. This will be
491 passed back to the code generating the type for the Debug
492 Information Entry for the variable 'VarName'. 'VarName' will then
493 have the original type 'SomeType' in its debug information.
494
495 The original type 'SomeType' will be the type of the field named
496 'VarName' inside the __Block_byref_x_VarName struct.
497
498 NOTE: In order for this to not completely fail on the debugger
499 side, the Debug Information Entry for the variable VarName needs to
500 have a DW_AT_location that tells the debugger how to unwind through
501 the pointers and __Block_byref_x_VarName struct to find the actual
Devang Patelc50078e2009-11-21 02:48:08 +0000502 value of the variable. The function addBlockByrefType does this. */
Caroline Tice248d5572009-08-31 21:19:37 +0000503
504/// Find the type the programmer originally declared the variable to be
505/// and return that type.
506///
Devang Patelc50078e2009-11-21 02:48:08 +0000507DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) {
Caroline Tice248d5572009-08-31 21:19:37 +0000508
509 DIType subType = Ty;
510 unsigned tag = Ty.getTag();
511
512 if (tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000513 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000514 subType = DTy.getTypeDerivedFrom();
515 }
516
517 DICompositeType blockStruct = DICompositeType(subType.getNode());
518
519 DIArray Elements = blockStruct.getTypeArray();
520
521 if (Elements.isNull())
522 return Ty;
523
524 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
525 DIDescriptor Element = Elements.getElement(i);
526 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000527 if (Name == DT.getName())
Caroline Tice248d5572009-08-31 21:19:37 +0000528 return (DT.getTypeDerivedFrom());
529 }
530
531 return Ty;
532}
533
Devang Patelc50078e2009-11-21 02:48:08 +0000534/// addComplexAddress - Start with the address based on the location provided,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000535/// and generate the DWARF information necessary to find the actual variable
536/// given the extra address information encoded in the DIVariable, starting from
537/// the starting location. Add the DWARF information to the die.
538///
Devang Patelc50078e2009-11-21 02:48:08 +0000539void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die,
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000540 unsigned Attribute,
541 const MachineLocation &Location) {
542 const DIVariable &VD = DV->getVariable();
543 DIType Ty = VD.getType();
544
545 // Decode the original location, and use that as the start of the byref
546 // variable's location.
547 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
548 DIEBlock *Block = new DIEBlock();
549
550 if (Location.isReg()) {
551 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000552 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000553 } else {
554 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000555 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
556 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000557 }
558 } else {
559 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000560 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000561 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000562 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
563 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000564 }
565
Devang Patelc50078e2009-11-21 02:48:08 +0000566 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000567 }
568
569 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) {
570 uint64_t Element = VD.getAddrElement(i);
571
572 if (Element == DIFactory::OpPlus) {
Devang Patelc50078e2009-11-21 02:48:08 +0000573 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
574 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i));
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000575 } else if (Element == DIFactory::OpDeref) {
Devang Patelc50078e2009-11-21 02:48:08 +0000576 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000577 } else llvm_unreachable("unknown DIFactory Opcode");
578 }
579
580 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000581 addBlock(Die, Attribute, 0, Block);
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000582}
583
Caroline Tice248d5572009-08-31 21:19:37 +0000584/* Byref variables, in Blocks, are declared by the programmer as "SomeType
585 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and
586 gives the variable VarName either the struct, or a pointer to the struct, as
587 its type. This is necessary for various behind-the-scenes things the
588 compiler needs to do with by-reference variables in Blocks.
589
590 However, as far as the original *programmer* is concerned, the variable
591 should still have type 'SomeType', as originally declared.
592
Devang Patelc50078e2009-11-21 02:48:08 +0000593 The function getBlockByrefType dives into the __Block_byref_x_VarName
Caroline Tice248d5572009-08-31 21:19:37 +0000594 struct to find the original type of the variable, which is then assigned to
595 the variable's Debug Information Entry as its real type. So far, so good.
596 However now the debugger will expect the variable VarName to have the type
597 SomeType. So we need the location attribute for the variable to be an
Daniel Dunbar41716322009-09-19 20:40:05 +0000598 expression that explains to the debugger how to navigate through the
Caroline Tice248d5572009-08-31 21:19:37 +0000599 pointers and struct to find the actual variable of type SomeType.
600
601 The following function does just that. We start by getting
602 the "normal" location for the variable. This will be the location
603 of either the struct __Block_byref_x_VarName or the pointer to the
604 struct __Block_byref_x_VarName.
605
606 The struct will look something like:
607
608 struct __Block_byref_x_VarName {
609 ... <various fields>
610 struct __Block_byref_x_VarName *forwarding;
611 ... <various other fields>
612 SomeType VarName;
613 ... <maybe more fields>
614 };
615
616 If we are given the struct directly (as our starting point) we
617 need to tell the debugger to:
618
619 1). Add the offset of the forwarding field.
620
621 2). Follow that pointer to get the the real __Block_byref_x_VarName
622 struct to use (the real one may have been copied onto the heap).
623
624 3). Add the offset for the field VarName, to find the actual variable.
625
626 If we started with a pointer to the struct, then we need to
627 dereference that pointer first, before the other steps.
628 Translating this into DWARF ops, we will need to append the following
629 to the current location description for the variable:
630
631 DW_OP_deref -- optional, if we start with a pointer
632 DW_OP_plus_uconst <forward_fld_offset>
633 DW_OP_deref
634 DW_OP_plus_uconst <varName_fld_offset>
635
636 That is what this function does. */
637
Devang Patelc50078e2009-11-21 02:48:08 +0000638/// addBlockByrefAddress - Start with the address based on the location
Caroline Tice248d5572009-08-31 21:19:37 +0000639/// provided, and generate the DWARF information necessary to find the
640/// actual Block variable (navigating the Block struct) based on the
641/// starting location. Add the DWARF information to the die. For
642/// more information, read large comment just above here.
643///
Devang Patelc50078e2009-11-21 02:48:08 +0000644void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die,
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000645 unsigned Attribute,
646 const MachineLocation &Location) {
Caroline Tice248d5572009-08-31 21:19:37 +0000647 const DIVariable &VD = DV->getVariable();
648 DIType Ty = VD.getType();
649 DIType TmpTy = Ty;
650 unsigned Tag = Ty.getTag();
651 bool isPointer = false;
652
Devang Patel7f75bbe2009-11-25 17:36:49 +0000653 StringRef varName = VD.getName();
Caroline Tice248d5572009-08-31 21:19:37 +0000654
655 if (Tag == dwarf::DW_TAG_pointer_type) {
Mike Stumpb22cd0f2009-09-30 00:08:22 +0000656 DIDerivedType DTy = DIDerivedType(Ty.getNode());
Caroline Tice248d5572009-08-31 21:19:37 +0000657 TmpTy = DTy.getTypeDerivedFrom();
658 isPointer = true;
659 }
660
661 DICompositeType blockStruct = DICompositeType(TmpTy.getNode());
662
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000663 // Find the __forwarding field and the variable field in the __Block_byref
664 // struct.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000665 DIArray Fields = blockStruct.getTypeArray();
666 DIDescriptor varField = DIDescriptor();
667 DIDescriptor forwardingField = DIDescriptor();
Caroline Tice248d5572009-08-31 21:19:37 +0000668
669
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000670 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) {
671 DIDescriptor Element = Fields.getElement(i);
672 DIDerivedType DT = DIDerivedType(Element.getNode());
Devang Patel7f75bbe2009-11-25 17:36:49 +0000673 StringRef fieldName = DT.getName();
674 if (fieldName == "__forwarding")
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000675 forwardingField = Element;
Devang Patel7f75bbe2009-11-25 17:36:49 +0000676 else if (fieldName == varName)
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000677 varField = Element;
678 }
Daniel Dunbar41716322009-09-19 20:40:05 +0000679
Mike Stump2fd84e22009-09-24 23:21:26 +0000680 assert(!varField.isNull() && "Can't find byref variable in Block struct");
681 assert(!forwardingField.isNull()
682 && "Can't find forwarding field in Block struct");
Caroline Tice248d5572009-08-31 21:19:37 +0000683
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000684 // Get the offsets for the forwarding field and the variable field.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000685 unsigned int forwardingFieldOffset =
686 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3;
687 unsigned int varFieldOffset =
688 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3;
Caroline Tice248d5572009-08-31 21:19:37 +0000689
Mike Stump2fd84e22009-09-24 23:21:26 +0000690 // Decode the original location, and use that as the start of the byref
691 // variable's location.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000692 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
693 DIEBlock *Block = new DIEBlock();
Caroline Tice248d5572009-08-31 21:19:37 +0000694
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000695 if (Location.isReg()) {
696 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000697 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000698 else {
699 Reg = Reg - dwarf::DW_OP_reg0;
Devang Patelc50078e2009-11-21 02:48:08 +0000700 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
701 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000702 }
703 } else {
704 if (Reg < 32)
Devang Patelc50078e2009-11-21 02:48:08 +0000705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000706 else {
Devang Patelc50078e2009-11-21 02:48:08 +0000707 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
708 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000709 }
Caroline Tice248d5572009-08-31 21:19:37 +0000710
Devang Patelc50078e2009-11-21 02:48:08 +0000711 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000712 }
Caroline Tice248d5572009-08-31 21:19:37 +0000713
Mike Stump2fd84e22009-09-24 23:21:26 +0000714 // If we started with a pointer to the __Block_byref... struct, then
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000715 // the first thing we need to do is dereference the pointer (DW_OP_deref).
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000716 if (isPointer)
Devang Patelc50078e2009-11-21 02:48:08 +0000717 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000718
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000719 // Next add the offset for the '__forwarding' field:
720 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in
721 // adding the offset if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000722 if (forwardingFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000723 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
724 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000725 }
Caroline Tice248d5572009-08-31 21:19:37 +0000726
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000727 // Now dereference the __forwarding field to get to the real __Block_byref
728 // struct: DW_OP_deref.
Devang Patelc50078e2009-11-21 02:48:08 +0000729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
Caroline Tice248d5572009-08-31 21:19:37 +0000730
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000731 // Now that we've got the real __Block_byref... struct, add the offset
732 // for the variable's field to get to the location of the actual variable:
733 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0.
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000734 if (varFieldOffset > 0) {
Devang Patelc50078e2009-11-21 02:48:08 +0000735 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
736 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset);
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000737 }
Caroline Tice248d5572009-08-31 21:19:37 +0000738
Daniel Dunbar19f1d442009-09-19 20:40:14 +0000739 // Now attach the location information to the DIE.
Devang Patelc50078e2009-11-21 02:48:08 +0000740 addBlock(Die, Attribute, 0, Block);
Caroline Tice248d5572009-08-31 21:19:37 +0000741}
742
Devang Patelc50078e2009-11-21 02:48:08 +0000743/// addAddress - Add an address attribute to a die based on the location
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000744/// provided.
Devang Patelc50078e2009-11-21 02:48:08 +0000745void DwarfDebug::addAddress(DIE *Die, unsigned Attribute,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000746 const MachineLocation &Location) {
747 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false);
748 DIEBlock *Block = new DIEBlock();
749
750 if (Location.isReg()) {
751 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000752 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000753 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000754 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx);
755 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000756 }
757 } else {
758 if (Reg < 32) {
Devang Patelc50078e2009-11-21 02:48:08 +0000759 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000760 } else {
Devang Patelc50078e2009-11-21 02:48:08 +0000761 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx);
762 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000763 }
764
Devang Patelc50078e2009-11-21 02:48:08 +0000765 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000766 }
767
Devang Patelc50078e2009-11-21 02:48:08 +0000768 addBlock(Die, Attribute, 0, Block);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000769}
770
Devang Patel1a8f9a82009-12-10 19:14:49 +0000771/// addToContextOwner - Add Die into the list of its context owner's children.
772void DwarfDebug::addToContextOwner(DIE *Die, DIDescriptor Context) {
773 if (Context.isNull())
774 ModuleCU->addDie(Die);
775 else if (Context.isType()) {
776 DIE *ContextDIE = getOrCreateTypeDIE(DIType(Context.getNode()));
777 ContextDIE->addChild(Die);
Devang Patel8287d662009-12-15 19:16:48 +0000778 } else if (Context.isNameSpace()) {
779 DIE *ContextDIE = getOrCreateNameSpace(DINameSpace(Context.getNode()));
780 ContextDIE->addChild(Die);
Devang Patel1a8f9a82009-12-10 19:14:49 +0000781 } else if (DIE *ContextDIE = ModuleCU->getDIE(Context.getNode()))
782 ContextDIE->addChild(Die);
783 else
784 ModuleCU->addDie(Die);
785}
786
Devang Patel7f139c12009-12-10 18:05:33 +0000787/// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
788/// given DIType.
789DIE *DwarfDebug::getOrCreateTypeDIE(DIType Ty) {
790 DIE *TyDIE = ModuleCU->getDIE(Ty.getNode());
791 if (TyDIE)
792 return TyDIE;
793
794 // Create new type.
795 TyDIE = new DIE(dwarf::DW_TAG_base_type);
796 ModuleCU->insertDIE(Ty.getNode(), TyDIE);
797 if (Ty.isBasicType())
798 constructTypeDIE(*TyDIE, DIBasicType(Ty.getNode()));
799 else if (Ty.isCompositeType())
800 constructTypeDIE(*TyDIE, DICompositeType(Ty.getNode()));
801 else {
802 assert(Ty.isDerivedType() && "Unknown kind of DIType");
803 constructTypeDIE(*TyDIE, DIDerivedType(Ty.getNode()));
804 }
805
Devang Patel1a8f9a82009-12-10 19:14:49 +0000806 addToContextOwner(TyDIE, Ty.getContext());
Devang Patel7f139c12009-12-10 18:05:33 +0000807 return TyDIE;
808}
809
Devang Patelc50078e2009-11-21 02:48:08 +0000810/// addType - Add a new type attribute to the specified entity.
Devang Patelfe0be132009-12-09 18:24:21 +0000811void DwarfDebug::addType(DIE *Entity, DIType Ty) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000812 if (Ty.isNull())
813 return;
814
815 // Check for pre-existence.
Devang Patelfe0be132009-12-09 18:24:21 +0000816 DIEEntry *Entry = ModuleCU->getDIEEntry(Ty.getNode());
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000817 // If it exists then use the existing value.
Devang Patelc50078e2009-11-21 02:48:08 +0000818 if (Entry) {
819 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000820 return;
821 }
822
823 // Set up proxy.
Devang Patelc50078e2009-11-21 02:48:08 +0000824 Entry = createDIEEntry();
Devang Patelfe0be132009-12-09 18:24:21 +0000825 ModuleCU->insertDIEEntry(Ty.getNode(), Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000826
827 // Construct type.
Devang Patel7f139c12009-12-10 18:05:33 +0000828 DIE *Buffer = getOrCreateTypeDIE(Ty);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000829
Devang Patelc50078e2009-11-21 02:48:08 +0000830 Entry->setEntry(Buffer);
831 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000832}
833
Devang Patelc50078e2009-11-21 02:48:08 +0000834/// constructTypeDIE - Construct basic type die from DIBasicType.
Devang Patelfe0be132009-12-09 18:24:21 +0000835void DwarfDebug::constructTypeDIE(DIE &Buffer, DIBasicType BTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000836 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000837 StringRef Name = BTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000838 Buffer.setTag(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +0000839 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000840 BTy.getEncoding());
841
842 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000843 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000844 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000845 uint64_t Size = BTy.getSizeInBits() >> 3;
Devang Patelc50078e2009-11-21 02:48:08 +0000846 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000847}
848
Devang Patelc50078e2009-11-21 02:48:08 +0000849/// constructTypeDIE - Construct derived type die from DIDerivedType.
Devang Patelfe0be132009-12-09 18:24:21 +0000850void DwarfDebug::constructTypeDIE(DIE &Buffer, DIDerivedType DTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000851 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000852 StringRef Name = DTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000853 uint64_t Size = DTy.getSizeInBits() >> 3;
854 unsigned Tag = DTy.getTag();
855
856 // FIXME - Workaround for templates.
857 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type;
858
859 Buffer.setTag(Tag);
860
861 // Map to main type, void will not have a type.
862 DIType FromTy = DTy.getTypeDerivedFrom();
Devang Patelfe0be132009-12-09 18:24:21 +0000863 addType(&Buffer, FromTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000864
865 // Add name if not anonymous or intermediate type.
Devang Patel76b80672009-11-30 23:56:56 +0000866 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000867 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000868
869 // Add size if non-zero (derived types might be zero-sized.)
870 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000871 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000872
873 // Add source line info if available and TyDesc is not a forward declaration.
Devang Patelb125c6e2009-11-23 18:43:37 +0000874 if (!DTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000875 addSourceLine(&Buffer, &DTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000876}
877
Devang Patelc50078e2009-11-21 02:48:08 +0000878/// constructTypeDIE - Construct type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +0000879void DwarfDebug::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000880 // Get core information.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000881 StringRef Name = CTy.getName();
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000882
883 uint64_t Size = CTy.getSizeInBits() >> 3;
884 unsigned Tag = CTy.getTag();
885 Buffer.setTag(Tag);
886
887 switch (Tag) {
888 case dwarf::DW_TAG_vector_type:
889 case dwarf::DW_TAG_array_type:
Devang Patelfe0be132009-12-09 18:24:21 +0000890 constructArrayTypeDIE(Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000891 break;
892 case dwarf::DW_TAG_enumeration_type: {
893 DIArray Elements = CTy.getTypeArray();
894
895 // Add enumerators to enumeration type.
896 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
897 DIE *ElemDie = NULL;
Devang Patel15e723d2009-08-28 23:24:31 +0000898 DIEnumerator Enum(Elements.getElement(i).getNode());
Devang Patelfb812752009-10-09 17:51:49 +0000899 if (!Enum.isNull()) {
Devang Patelfe0be132009-12-09 18:24:21 +0000900 ElemDie = constructEnumTypeDIE(&Enum);
Devang Patelc50078e2009-11-21 02:48:08 +0000901 Buffer.addChild(ElemDie);
Devang Patelfb812752009-10-09 17:51:49 +0000902 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000903 }
904 }
905 break;
906 case dwarf::DW_TAG_subroutine_type: {
907 // Add return type.
908 DIArray Elements = CTy.getTypeArray();
909 DIDescriptor RTy = Elements.getElement(0);
Devang Patelfe0be132009-12-09 18:24:21 +0000910 addType(&Buffer, DIType(RTy.getNode()));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000911
912 // Add prototype flag.
Devang Patelc50078e2009-11-21 02:48:08 +0000913 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000914
915 // Add arguments.
916 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) {
917 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
918 DIDescriptor Ty = Elements.getElement(i);
Devang Patelfe0be132009-12-09 18:24:21 +0000919 addType(Arg, DIType(Ty.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000920 Buffer.addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000921 }
922 }
923 break;
924 case dwarf::DW_TAG_structure_type:
925 case dwarf::DW_TAG_union_type:
926 case dwarf::DW_TAG_class_type: {
927 // Add elements to structure type.
928 DIArray Elements = CTy.getTypeArray();
929
930 // A forward struct declared type may not have elements available.
931 if (Elements.isNull())
932 break;
933
934 // Add elements to structure type.
935 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
936 DIDescriptor Element = Elements.getElement(i);
Devang Patel15e723d2009-08-28 23:24:31 +0000937 if (Element.isNull())
938 continue;
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000939 DIE *ElemDie = NULL;
940 if (Element.getTag() == dwarf::DW_TAG_subprogram)
Devang Patel814a12c2009-12-14 16:18:45 +0000941 ElemDie = createSubprogramDIE(DISubprogram(Element.getNode()));
Devang Patel423dfa02010-01-30 01:08:30 +0000942 else if (Element.getTag() == dwarf::DW_TAG_auto_variable) {
943 DIVariable DV(Element.getNode());
944 ElemDie = new DIE(dwarf::DW_TAG_variable);
945 addString(ElemDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
946 DV.getName());
947 addType(ElemDie, DV.getType());
948 addUInt(ElemDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
949 addUInt(ElemDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
950 addSourceLine(ElemDie, &DV);
951 } else
Devang Patelfe0be132009-12-09 18:24:21 +0000952 ElemDie = createMemberDIE(DIDerivedType(Element.getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +0000953 Buffer.addChild(ElemDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000954 }
955
Devang Patel20b32102009-08-27 23:51:51 +0000956 if (CTy.isAppleBlockExtension())
Devang Patelc50078e2009-11-21 02:48:08 +0000957 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000958
959 unsigned RLang = CTy.getRunTimeLang();
960 if (RLang)
Devang Patelc50078e2009-11-21 02:48:08 +0000961 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class,
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000962 dwarf::DW_FORM_data1, RLang);
Devang Patel5ae52402010-01-26 21:16:06 +0000963
964 DICompositeType ContainingType = CTy.getContainingType();
965 if (!ContainingType.isNull())
966 addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
967 getOrCreateTypeDIE(DIType(ContainingType.getNode())));
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000968 break;
969 }
970 default:
971 break;
972 }
973
974 // Add name if not anonymous or intermediate type.
Devang Patel7f75bbe2009-11-25 17:36:49 +0000975 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +0000976 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000977
Devang Pateldc73c372010-01-29 18:34:58 +0000978 if (Tag == dwarf::DW_TAG_enumeration_type || Tag == dwarf::DW_TAG_class_type ||
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000979 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) {
980 // Add size if non-zero (derived types might be zero-sized.)
981 if (Size)
Devang Patelc50078e2009-11-21 02:48:08 +0000982 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000983 else {
984 // Add zero size if it is not a forward declaration.
985 if (CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000986 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000987 else
Devang Patelc50078e2009-11-21 02:48:08 +0000988 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000989 }
990
991 // Add source line info if available.
992 if (!CTy.isForwardDecl())
Devang Patelc50078e2009-11-21 02:48:08 +0000993 addSourceLine(&Buffer, &CTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000994 }
995}
996
Devang Patelc50078e2009-11-21 02:48:08 +0000997/// constructSubrangeDIE - Construct subrange DIE from DISubrange.
998void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){
Bill Wendlingb12b3d72009-05-15 09:23:25 +0000999 int64_t L = SR.getLo();
1000 int64_t H = SR.getHi();
1001 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type);
1002
Devang Patelc50078e2009-11-21 02:48:08 +00001003 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy);
Devang Patele7ff5092009-08-14 20:59:16 +00001004 if (L)
Devang Patelc50078e2009-11-21 02:48:08 +00001005 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L);
Devang Pateld3df6972009-12-04 23:10:24 +00001006 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001007
Devang Patelc50078e2009-11-21 02:48:08 +00001008 Buffer.addChild(DW_Subrange);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001009}
1010
Devang Patelc50078e2009-11-21 02:48:08 +00001011/// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Devang Patelfe0be132009-12-09 18:24:21 +00001012void DwarfDebug::constructArrayTypeDIE(DIE &Buffer,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001013 DICompositeType *CTy) {
1014 Buffer.setTag(dwarf::DW_TAG_array_type);
1015 if (CTy->getTag() == dwarf::DW_TAG_vector_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001016 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001017
1018 // Emit derived type.
Devang Patelfe0be132009-12-09 18:24:21 +00001019 addType(&Buffer, CTy->getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001020 DIArray Elements = CTy->getTypeArray();
1021
Devang Patel1233f912009-11-21 00:31:03 +00001022 // Get an anonymous type for index type.
Devang Patelfe0be132009-12-09 18:24:21 +00001023 DIE *IdxTy = ModuleCU->getIndexTyDie();
Devang Patel1233f912009-11-21 00:31:03 +00001024 if (!IdxTy) {
1025 // Construct an anonymous type for index type.
1026 IdxTy = new DIE(dwarf::DW_TAG_base_type);
Devang Patelc50078e2009-11-21 02:48:08 +00001027 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t));
1028 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1,
Devang Patel1233f912009-11-21 00:31:03 +00001029 dwarf::DW_ATE_signed);
Devang Patelfe0be132009-12-09 18:24:21 +00001030 ModuleCU->addDie(IdxTy);
1031 ModuleCU->setIndexTyDie(IdxTy);
Devang Patel1233f912009-11-21 00:31:03 +00001032 }
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001033
1034 // Add subranges to array type.
1035 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
1036 DIDescriptor Element = Elements.getElement(i);
1037 if (Element.getTag() == dwarf::DW_TAG_subrange_type)
Devang Patelc50078e2009-11-21 02:48:08 +00001038 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001039 }
1040}
1041
Devang Patelc50078e2009-11-21 02:48:08 +00001042/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Devang Patelfe0be132009-12-09 18:24:21 +00001043DIE *DwarfDebug::constructEnumTypeDIE(DIEnumerator *ETy) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001044 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001045 StringRef Name = ETy->getName();
Devang Patelc50078e2009-11-21 02:48:08 +00001046 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001047 int64_t Value = ETy->getEnumValue();
Devang Patelc50078e2009-11-21 02:48:08 +00001048 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001049 return Enumerator;
1050}
1051
Devang Patel141e1c42010-01-05 01:46:14 +00001052/// getRealLinkageName - If special LLVM prefix that is used to inform the asm
1053/// printer to not emit usual symbol prefix before the symbol name is used then
1054/// return linkage name after skipping this special LLVM prefix.
1055static StringRef getRealLinkageName(StringRef LinkageName) {
1056 char One = '\1';
1057 if (LinkageName.startswith(StringRef(&One, 1)))
1058 return LinkageName.substr(1);
1059 return LinkageName;
1060}
1061
Devang Patelc50078e2009-11-21 02:48:08 +00001062/// createGlobalVariableDIE - Create new DIE using GV.
Devang Patelfe0be132009-12-09 18:24:21 +00001063DIE *DwarfDebug::createGlobalVariableDIE(const DIGlobalVariable &GV) {
Jim Grosbachb23f2422009-11-22 19:20:36 +00001064 // If the global variable was optmized out then no need to create debug info
1065 // entry.
Devang Patel83e42c72009-11-06 17:58:12 +00001066 if (!GV.getGlobal()) return NULL;
Devang Patel7f75bbe2009-11-25 17:36:49 +00001067 if (GV.getDisplayName().empty()) return NULL;
Devang Patelfabc47c2009-11-06 01:30:04 +00001068
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001069 DIE *GVDie = new DIE(dwarf::DW_TAG_variable);
Jim Grosbach652b7432009-11-21 23:12:12 +00001070 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001071 GV.getDisplayName());
1072
Devang Patel7f75bbe2009-11-25 17:36:49 +00001073 StringRef LinkageName = GV.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001074 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001075 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001076 getRealLinkageName(LinkageName));
1077
Devang Patelfe0be132009-12-09 18:24:21 +00001078 addType(GVDie, GV.getType());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001079 if (!GV.isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001080 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
1081 addSourceLine(GVDie, &GV);
Devang Patel6bd5cc82009-10-05 23:22:08 +00001082
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001083 return GVDie;
1084}
1085
Devang Patelc50078e2009-11-21 02:48:08 +00001086/// createMemberDIE - Create new member DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001087DIE *DwarfDebug::createMemberDIE(const DIDerivedType &DT) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001088 DIE *MemberDie = new DIE(DT.getTag());
Devang Patel7f75bbe2009-11-25 17:36:49 +00001089 StringRef Name = DT.getName();
1090 if (!Name.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001091 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001092
Devang Patelfe0be132009-12-09 18:24:21 +00001093 addType(MemberDie, DT.getTypeDerivedFrom());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001094
Devang Patelc50078e2009-11-21 02:48:08 +00001095 addSourceLine(MemberDie, &DT);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001096
Devang Patel7d9fe582009-11-04 22:06:12 +00001097 DIEBlock *MemLocationDie = new DIEBlock();
Devang Patelc50078e2009-11-21 02:48:08 +00001098 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst);
Devang Patel7d9fe582009-11-04 22:06:12 +00001099
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001100 uint64_t Size = DT.getSizeInBits();
Devang Patel71842a92009-11-04 23:48:00 +00001101 uint64_t FieldSize = DT.getOriginalTypeSize();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001102
1103 if (Size != FieldSize) {
1104 // Handle bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001105 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3);
1106 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001107
1108 uint64_t Offset = DT.getOffsetInBits();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001109 uint64_t AlignMask = ~(DT.getAlignInBits() - 1);
1110 uint64_t HiMark = (Offset + FieldSize) & AlignMask;
Benjamin Kramer631e3e32010-01-07 17:50:57 +00001111 uint64_t FieldOffset = (HiMark - FieldSize);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001112 Offset -= FieldOffset;
1113
1114 // Maybe we need to work from the other end.
1115 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size);
Devang Patelc50078e2009-11-21 02:48:08 +00001116 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001117
Devang Patel7d9fe582009-11-04 22:06:12 +00001118 // Here WD_AT_data_member_location points to the anonymous
1119 // field that includes this bit field.
Devang Patelc50078e2009-11-21 02:48:08 +00001120 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001121
1122 } else
1123 // This is not a bitfield.
Devang Patelc50078e2009-11-21 02:48:08 +00001124 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3);
Devang Patel7d9fe582009-11-04 22:06:12 +00001125
Devang Patel84aba942010-02-03 20:08:48 +00001126 if (DT.getTag() == dwarf::DW_TAG_inheritance
1127 && DT.isVirtual()) {
1128
1129 // For C++, virtual base classes are not at fixed offset. Use following
1130 // expression to extract appropriate offset from vtable.
1131 // BaseAddr = ObAddr + *((*ObAddr) - Offset)
1132
1133 DIEBlock *VBaseLocationDie = new DIEBlock();
1134 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_dup);
1135 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1136 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1137 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits());
1138 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_minus);
1139 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref);
1140 addUInt(VBaseLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus);
1141
1142 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0,
1143 VBaseLocationDie);
1144 } else
1145 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001146
1147 if (DT.isProtected())
Devang Patel188c85d2009-12-03 19:11:07 +00001148 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001149 dwarf::DW_ACCESS_protected);
1150 else if (DT.isPrivate())
Devang Patel188c85d2009-12-03 19:11:07 +00001151 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001152 dwarf::DW_ACCESS_private);
Devang Patel188c85d2009-12-03 19:11:07 +00001153 else if (DT.getTag() == dwarf::DW_TAG_inheritance)
1154 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag,
1155 dwarf::DW_ACCESS_public);
1156 if (DT.isVirtual())
1157 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag,
1158 dwarf::DW_VIRTUALITY_virtual);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001159 return MemberDie;
1160}
1161
Devang Patel814a12c2009-12-14 16:18:45 +00001162/// createSubprogramDIE - Create new DIE using SP.
1163DIE *DwarfDebug::createSubprogramDIE(const DISubprogram &SP, bool MakeDecl) {
1164 DIE *SPDie = ModuleCU->getDIE(SP.getNode());
1165 if (SPDie)
1166 return SPDie;
1167
1168 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001169 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName());
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001170
Devang Patel7f75bbe2009-11-25 17:36:49 +00001171 StringRef LinkageName = SP.getLinkageName();
Devang Patel141e1c42010-01-05 01:46:14 +00001172 if (!LinkageName.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001173 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string,
Devang Patel141e1c42010-01-05 01:46:14 +00001174 getRealLinkageName(LinkageName));
1175
Devang Patelc50078e2009-11-21 02:48:08 +00001176 addSourceLine(SPDie, &SP);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001177
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001178 // Add prototyped tag, if C or ObjC.
1179 unsigned Lang = SP.getCompileUnit().getLanguage();
1180 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 ||
1181 Lang == dwarf::DW_LANG_ObjC)
Devang Patelc50078e2009-11-21 02:48:08 +00001182 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001183
1184 // Add Return Type.
Devang Patelc1df8792009-12-03 01:25:38 +00001185 DICompositeType SPTy = SP.getType();
1186 DIArray Args = SPTy.getTypeArray();
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001187 unsigned SPTag = SPTy.getTag();
Devang Patel188c85d2009-12-03 19:11:07 +00001188
Devang Patelc1df8792009-12-03 01:25:38 +00001189 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type)
Devang Patelfe0be132009-12-09 18:24:21 +00001190 addType(SPDie, SPTy);
Devang Patelc1df8792009-12-03 01:25:38 +00001191 else
Devang Patelfe0be132009-12-09 18:24:21 +00001192 addType(SPDie, DIType(Args.getElement(0).getNode()));
Devang Patelc1df8792009-12-03 01:25:38 +00001193
Devang Patel188c85d2009-12-03 19:11:07 +00001194 unsigned VK = SP.getVirtuality();
1195 if (VK) {
1196 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK);
1197 DIEBlock *Block = new DIEBlock();
1198 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu);
1199 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex());
1200 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block);
Devang Patel7d707f92010-01-19 06:19:05 +00001201 ContainingTypeMap.insert(std::make_pair(SPDie,
1202 SP.getContainingType().getNode()));
Devang Patel188c85d2009-12-03 19:11:07 +00001203 }
1204
Devang Patel814a12c2009-12-14 16:18:45 +00001205 if (MakeDecl || !SP.isDefinition()) {
Devang Patelc50078e2009-11-21 02:48:08 +00001206 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001207
1208 // Add arguments. Do not add arguments for subprogram definition. They will
Devang Patelc1df8792009-12-03 01:25:38 +00001209 // be handled while processing variables.
1210 DICompositeType SPTy = SP.getType();
1211 DIArray Args = SPTy.getTypeArray();
1212 unsigned SPTag = SPTy.getTag();
1213
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001214 if (SPTag == dwarf::DW_TAG_subroutine_type)
1215 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1216 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
Devang Patelfe0be132009-12-09 18:24:21 +00001217 addType(Arg, DIType(Args.getElement(i).getNode()));
Devang Patelc50078e2009-11-21 02:48:08 +00001218 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1219 SPDie->addChild(Arg);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001220 }
1221 }
1222
Devang Patelbf7d00a2010-02-03 19:57:19 +00001223 if (SP.isArtificial())
1224 addUInt(SPDie, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1);
1225
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001226 // DW_TAG_inlined_subroutine may refer to this DIE.
Devang Patelfe0be132009-12-09 18:24:21 +00001227 ModuleCU->insertDIE(SP.getNode(), SPDie);
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001228 return SPDie;
1229}
1230
Devang Patelc50078e2009-11-21 02:48:08 +00001231/// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001232///
Devang Patelb9f2c6b2009-12-11 21:37:07 +00001233CompileUnit *DwarfDebug::findCompileUnit(DICompileUnit Unit) {
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001234 DenseMap<Value *, CompileUnit *>::const_iterator I =
Devang Patel15e723d2009-08-28 23:24:31 +00001235 CompileUnitMap.find(Unit.getNode());
Devang Patelb9f2c6b2009-12-11 21:37:07 +00001236 if (I == CompileUnitMap.end())
1237 return constructCompileUnit(Unit.getNode());
1238 return I->second;
Bill Wendlingb12b3d72009-05-15 09:23:25 +00001239}
1240
Devang Patel90a0fe32009-11-10 23:06:00 +00001241/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction.
1242/// Initialize scope and update scope hierarchy.
1243DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI,
1244 MDNode *InlinedAt) {
1245 assert (N && "Invalid Scope encoding!");
1246 assert (MI && "Missing machine instruction!");
1247 bool GetConcreteScope = (MI && InlinedAt);
1248
1249 DbgScope *NScope = NULL;
1250
1251 if (InlinedAt)
1252 NScope = DbgScopeMap.lookup(InlinedAt);
1253 else
1254 NScope = DbgScopeMap.lookup(N);
1255 assert (NScope && "Unable to find working scope!");
1256
1257 if (NScope->getFirstInsn())
1258 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001259
1260 DbgScope *Parent = NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001261 if (GetConcreteScope) {
Devang Pateldd7bb432009-10-14 21:08:09 +00001262 DILocation IL(InlinedAt);
Jim Grosbach652b7432009-11-21 23:12:12 +00001263 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI,
Devang Patel90a0fe32009-11-10 23:06:00 +00001264 IL.getOrigLocation().getNode());
1265 assert (Parent && "Unable to find Parent scope!");
1266 NScope->setParent(Parent);
Devang Patelc50078e2009-11-21 02:48:08 +00001267 Parent->addScope(NScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001268 } else if (DIDescriptor(N).isLexicalBlock()) {
1269 DILexicalBlock DB(N);
1270 if (!DB.getContext().isNull()) {
1271 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt);
1272 NScope->setParent(Parent);
Devang Patelc50078e2009-11-21 02:48:08 +00001273 Parent->addScope(NScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001274 }
Devang Pateldd7bb432009-10-14 21:08:09 +00001275 }
Devang Patel6a260102009-10-01 20:31:14 +00001276
Devang Patelf5278f22009-10-27 20:47:17 +00001277 NScope->setFirstInsn(MI);
Devang Patel6a260102009-10-01 20:31:14 +00001278
Devang Patel90a0fe32009-11-10 23:06:00 +00001279 if (!Parent && !InlinedAt) {
Devang Patelce8986f2009-11-11 00:31:36 +00001280 StringRef SPName = DISubprogram(N).getLinkageName();
1281 if (SPName == MF->getFunction()->getName())
1282 CurrentFnDbgScope = NScope;
Devang Patel90a0fe32009-11-10 23:06:00 +00001283 }
Devang Patel6a260102009-10-01 20:31:14 +00001284
Devang Patel90a0fe32009-11-10 23:06:00 +00001285 if (GetConcreteScope) {
1286 ConcreteScopes[InlinedAt] = NScope;
1287 getOrCreateAbstractScope(N);
1288 }
1289
Devang Patelf5278f22009-10-27 20:47:17 +00001290 return NScope;
Devang Patel6a260102009-10-01 20:31:14 +00001291}
1292
Devang Patel90a0fe32009-11-10 23:06:00 +00001293DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) {
1294 assert (N && "Invalid Scope encoding!");
1295
1296 DbgScope *AScope = AbstractScopes.lookup(N);
1297 if (AScope)
1298 return AScope;
Jim Grosbach652b7432009-11-21 23:12:12 +00001299
Devang Patel90a0fe32009-11-10 23:06:00 +00001300 DbgScope *Parent = NULL;
1301
1302 DIDescriptor Scope(N);
1303 if (Scope.isLexicalBlock()) {
1304 DILexicalBlock DB(N);
1305 DIDescriptor ParentDesc = DB.getContext();
1306 if (!ParentDesc.isNull())
1307 Parent = getOrCreateAbstractScope(ParentDesc.getNode());
1308 }
1309
1310 AScope = new DbgScope(Parent, DIDescriptor(N), NULL);
1311
1312 if (Parent)
Devang Patelc50078e2009-11-21 02:48:08 +00001313 Parent->addScope(AScope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001314 AScope->setAbstractScope();
1315 AbstractScopes[N] = AScope;
1316 if (DIDescriptor(N).isSubprogram())
1317 AbstractScopesList.push_back(AScope);
1318 return AScope;
1319}
Devang Patel6a260102009-10-01 20:31:14 +00001320
Jim Grosbach652b7432009-11-21 23:12:12 +00001321/// updateSubprogramScopeDIE - Find DIE for the given subprogram and
Devang Patelc50078e2009-11-21 02:48:08 +00001322/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
1323/// If there are global variables in this scope then create and insert
1324/// DIEs for these variables.
1325DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001326
Devang Pateld90672c2009-11-20 21:37:22 +00001327 DIE *SPDie = ModuleCU->getDIE(SPNode);
Devang Patel90a0fe32009-11-10 23:06:00 +00001328 assert (SPDie && "Unable to find subprogram DIE!");
Devang Patel814a12c2009-12-14 16:18:45 +00001329 DISubprogram SP(SPNode);
1330 if (SP.isDefinition() && !SP.getContext().isCompileUnit()) {
1331 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1);
1332 // Add arguments.
1333 DICompositeType SPTy = SP.getType();
1334 DIArray Args = SPTy.getTypeArray();
1335 unsigned SPTag = SPTy.getTag();
1336 if (SPTag == dwarf::DW_TAG_subroutine_type)
1337 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
1338 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
1339 addType(Arg, DIType(Args.getElement(i).getNode()));
1340 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ??
1341 SPDie->addChild(Arg);
1342 }
1343 DIE *SPDeclDie = SPDie;
1344 SPDie = new DIE(dwarf::DW_TAG_subprogram);
1345 addDIEEntry(SPDie, dwarf::DW_AT_specification, dwarf::DW_FORM_ref4,
1346 SPDeclDie);
Devang Patel814a12c2009-12-14 16:18:45 +00001347 ModuleCU->addDie(SPDie);
1348 }
1349
Devang Patelc50078e2009-11-21 02:48:08 +00001350 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel90a0fe32009-11-10 23:06:00 +00001351 DWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001352 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel90a0fe32009-11-10 23:06:00 +00001353 DWLabel("func_end", SubprogramCount));
1354 MachineLocation Location(RI->getFrameRegister(*MF));
Devang Patelc50078e2009-11-21 02:48:08 +00001355 addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Jim Grosbach652b7432009-11-21 23:12:12 +00001356
Devang Patel90a0fe32009-11-10 23:06:00 +00001357 if (!DISubprogram(SPNode).isLocalToUnit())
Devang Patelc50078e2009-11-21 02:48:08 +00001358 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1);
Devang Patel90a0fe32009-11-10 23:06:00 +00001359
Devang Patel90a0fe32009-11-10 23:06:00 +00001360 return SPDie;
1361}
1362
Jim Grosbach652b7432009-11-21 23:12:12 +00001363/// constructLexicalScope - Construct new DW_TAG_lexical_block
Devang Patelc50078e2009-11-21 02:48:08 +00001364/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
1365DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001366 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1367 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1368
1369 // Ignore empty scopes.
1370 if (StartID == EndID && StartID != 0)
1371 return NULL;
1372
1373 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
1374 if (Scope->isAbstractScope())
1375 return ScopeDIE;
1376
Devang Patelc50078e2009-11-21 02:48:08 +00001377 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Jim Grosbach652b7432009-11-21 23:12:12 +00001378 StartID ?
1379 DWLabel("label", StartID)
Devang Patel90a0fe32009-11-10 23:06:00 +00001380 : DWLabel("func_begin", SubprogramCount));
Devang Patelc50078e2009-11-21 02:48:08 +00001381 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Jim Grosbach652b7432009-11-21 23:12:12 +00001382 EndID ?
1383 DWLabel("label", EndID)
Devang Patel90a0fe32009-11-10 23:06:00 +00001384 : DWLabel("func_end", SubprogramCount));
1385
1386
1387
1388 return ScopeDIE;
1389}
1390
Devang Patelc50078e2009-11-21 02:48:08 +00001391/// constructInlinedScopeDIE - This scope represents inlined body of
1392/// a function. Construct DIE to represent this concrete inlined copy
1393/// of the function.
1394DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001395 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID());
1396 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID());
1397 assert (StartID && "Invalid starting label for an inlined scope!");
1398 assert (EndID && "Invalid end label for an inlined scope!");
1399 // Ignore empty scopes.
1400 if (StartID == EndID && StartID != 0)
1401 return NULL;
1402
1403 DIScope DS(Scope->getScopeNode());
1404 if (DS.isNull())
1405 return NULL;
1406 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
1407
1408 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001409 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001410 assert (OriginDIE && "Unable to find Origin DIE!");
Devang Patelc50078e2009-11-21 02:48:08 +00001411 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001412 dwarf::DW_FORM_ref4, OriginDIE);
1413
Devang Patelc50078e2009-11-21 02:48:08 +00001414 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr,
Devang Patel90a0fe32009-11-10 23:06:00 +00001415 DWLabel("label", StartID));
Devang Patelc50078e2009-11-21 02:48:08 +00001416 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr,
Devang Patel90a0fe32009-11-10 23:06:00 +00001417 DWLabel("label", EndID));
1418
1419 InlinedSubprogramDIEs.insert(OriginDIE);
1420
1421 // Track the start label for this inlined function.
Devang Patel7d707f92010-01-19 06:19:05 +00001422 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel90a0fe32009-11-10 23:06:00 +00001423 I = InlineInfo.find(InlinedSP.getNode());
1424
1425 if (I == InlineInfo.end()) {
Jim Grosbachb23f2422009-11-22 19:20:36 +00001426 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID,
1427 ScopeDIE));
Devang Patel90a0fe32009-11-10 23:06:00 +00001428 InlinedSPNodes.push_back(InlinedSP.getNode());
1429 } else
1430 I->second.push_back(std::make_pair(StartID, ScopeDIE));
1431
1432 StringPool.insert(InlinedSP.getName());
Devang Patel141e1c42010-01-05 01:46:14 +00001433 StringPool.insert(getRealLinkageName(InlinedSP.getLinkageName()));
1434
Devang Patel90a0fe32009-11-10 23:06:00 +00001435 DILocation DL(Scope->getInlinedAt());
Devang Patelc50078e2009-11-21 02:48:08 +00001436 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID());
1437 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel90a0fe32009-11-10 23:06:00 +00001438
1439 return ScopeDIE;
1440}
1441
Devang Patelc50078e2009-11-21 02:48:08 +00001442
1443/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Devang Patelfe0be132009-12-09 18:24:21 +00001444DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001445 // Get the descriptor.
1446 const DIVariable &VD = DV->getVariable();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001447 StringRef Name = VD.getName();
1448 if (Name.empty())
Devang Patelab9a0682009-11-13 02:25:26 +00001449 return NULL;
Devang Patel90a0fe32009-11-10 23:06:00 +00001450
1451 // Translate tag to proper Dwarf tag. The result variable is dropped for
1452 // now.
1453 unsigned Tag;
1454 switch (VD.getTag()) {
1455 case dwarf::DW_TAG_return_variable:
1456 return NULL;
1457 case dwarf::DW_TAG_arg_variable:
1458 Tag = dwarf::DW_TAG_formal_parameter;
1459 break;
1460 case dwarf::DW_TAG_auto_variable: // fall thru
1461 default:
1462 Tag = dwarf::DW_TAG_variable;
1463 break;
1464 }
1465
1466 // Define variable debug information entry.
1467 DIE *VariableDie = new DIE(Tag);
1468
1469
1470 DIE *AbsDIE = NULL;
1471 if (DbgVariable *AV = DV->getAbstractVariable())
1472 AbsDIE = AV->getDIE();
Jim Grosbach652b7432009-11-21 23:12:12 +00001473
Devang Patel90a0fe32009-11-10 23:06:00 +00001474 if (AbsDIE) {
1475 DIScope DS(Scope->getScopeNode());
1476 DISubprogram InlinedSP = getDISubprogram(DS.getNode());
Devang Pateld90672c2009-11-20 21:37:22 +00001477 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode());
Daniel Dunbarc9f2d242009-11-11 03:09:50 +00001478 (void) OriginSPDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001479 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!");
1480 DIE *AbsDIE = DV->getAbstractVariable()->getDIE();
1481 assert (AbsDIE && "Unable to find Origin DIE for the Variable!");
Devang Patelc50078e2009-11-21 02:48:08 +00001482 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin,
Devang Patel90a0fe32009-11-10 23:06:00 +00001483 dwarf::DW_FORM_ref4, AbsDIE);
1484 }
1485 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001486 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name);
1487 addSourceLine(VariableDie, &VD);
Devang Patel90a0fe32009-11-10 23:06:00 +00001488
1489 // Add variable type.
Jim Grosbach652b7432009-11-21 23:12:12 +00001490 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
Devang Patel90a0fe32009-11-10 23:06:00 +00001491 // addresses instead.
1492 if (VD.isBlockByrefVariable())
Devang Patelfe0be132009-12-09 18:24:21 +00001493 addType(VariableDie, getBlockByrefType(VD.getType(), Name));
Devang Patel90a0fe32009-11-10 23:06:00 +00001494 else
Devang Patelfe0be132009-12-09 18:24:21 +00001495 addType(VariableDie, VD.getType());
Devang Patel90a0fe32009-11-10 23:06:00 +00001496 }
1497
1498 // Add variable address.
1499 if (!Scope->isAbstractScope()) {
1500 MachineLocation Location;
Jim Grosbach587d4882009-11-22 20:14:00 +00001501 unsigned FrameReg;
1502 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg);
1503 Location.set(FrameReg, Offset);
Jim Grosbach652b7432009-11-21 23:12:12 +00001504
Devang Patel90a0fe32009-11-10 23:06:00 +00001505 if (VD.hasComplexAddress())
Devang Patelc50078e2009-11-21 02:48:08 +00001506 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001507 else if (VD.isBlockByrefVariable())
Devang Patelc50078e2009-11-21 02:48:08 +00001508 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001509 else
Devang Patelc50078e2009-11-21 02:48:08 +00001510 addAddress(VariableDie, dwarf::DW_AT_location, Location);
Devang Patel90a0fe32009-11-10 23:06:00 +00001511 }
1512 DV->setDIE(VariableDie);
1513 return VariableDie;
1514
1515}
Devang Patelc50078e2009-11-21 02:48:08 +00001516
Devang Patelec13b4f2009-11-24 01:14:22 +00001517void DwarfDebug::addPubTypes(DISubprogram SP) {
1518 DICompositeType SPTy = SP.getType();
1519 unsigned SPTag = SPTy.getTag();
1520 if (SPTag != dwarf::DW_TAG_subroutine_type)
1521 return;
1522
1523 DIArray Args = SPTy.getTypeArray();
1524 if (Args.isNull())
1525 return;
1526
1527 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) {
1528 DIType ATy(Args.getElement(i).getNode());
1529 if (ATy.isNull())
1530 continue;
1531 DICompositeType CATy = getDICompositeType(ATy);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001532 if (!CATy.isNull() && !CATy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001533 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode()))
1534 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry());
1535 }
1536 }
1537}
1538
Devang Patelc50078e2009-11-21 02:48:08 +00001539/// constructScopeDIE - Construct a DIE for this scope.
1540DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) {
Devang Patel90a0fe32009-11-10 23:06:00 +00001541 if (!Scope)
1542 return NULL;
1543 DIScope DS(Scope->getScopeNode());
1544 if (DS.isNull())
1545 return NULL;
1546
1547 DIE *ScopeDIE = NULL;
1548 if (Scope->getInlinedAt())
Devang Patelc50078e2009-11-21 02:48:08 +00001549 ScopeDIE = constructInlinedScopeDIE(Scope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001550 else if (DS.isSubprogram()) {
1551 if (Scope->isAbstractScope())
Devang Pateld90672c2009-11-20 21:37:22 +00001552 ScopeDIE = ModuleCU->getDIE(DS.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001553 else
Devang Patelc50078e2009-11-21 02:48:08 +00001554 ScopeDIE = updateSubprogramScopeDIE(DS.getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00001555 }
1556 else {
Devang Patelc50078e2009-11-21 02:48:08 +00001557 ScopeDIE = constructLexicalScopeDIE(Scope);
Devang Patel90a0fe32009-11-10 23:06:00 +00001558 if (!ScopeDIE) return NULL;
1559 }
1560
1561 // Add variables to scope.
1562 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables();
1563 for (unsigned i = 0, N = Variables.size(); i < N; ++i) {
Devang Patelfe0be132009-12-09 18:24:21 +00001564 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope);
Jim Grosbach652b7432009-11-21 23:12:12 +00001565 if (VariableDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001566 ScopeDIE->addChild(VariableDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001567 }
1568
1569 // Add nested scopes.
1570 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes();
1571 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) {
1572 // Define the Scope debug information entry.
Devang Patelc50078e2009-11-21 02:48:08 +00001573 DIE *NestedDIE = constructScopeDIE(Scopes[j]);
Jim Grosbach652b7432009-11-21 23:12:12 +00001574 if (NestedDIE)
Devang Patelc50078e2009-11-21 02:48:08 +00001575 ScopeDIE->addChild(NestedDIE);
Devang Patel90a0fe32009-11-10 23:06:00 +00001576 }
Devang Patelec13b4f2009-11-24 01:14:22 +00001577
1578 if (DS.isSubprogram())
1579 addPubTypes(DISubprogram(DS.getNode()));
1580
1581 return ScopeDIE;
Devang Patel90a0fe32009-11-10 23:06:00 +00001582}
1583
Bill Wendlingf5839192009-05-20 23:19:06 +00001584/// GetOrCreateSourceID - Look up the source id with the given directory and
1585/// source file names. If none currently exists, create a new id and insert it
1586/// in the SourceIds map. This can update DirectoryNames and SourceFileNames
1587/// maps as well.
Devang Patel7f75bbe2009-11-25 17:36:49 +00001588unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001589 unsigned DId;
1590 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName);
1591 if (DI != DirectoryIdMap.end()) {
1592 DId = DI->getValue();
1593 } else {
1594 DId = DirectoryNames.size() + 1;
1595 DirectoryIdMap[DirName] = DId;
1596 DirectoryNames.push_back(DirName);
1597 }
1598
1599 unsigned FId;
1600 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName);
1601 if (FI != SourceFileIdMap.end()) {
1602 FId = FI->getValue();
1603 } else {
1604 FId = SourceFileNames.size() + 1;
1605 SourceFileIdMap[FileName] = FId;
1606 SourceFileNames.push_back(FileName);
1607 }
1608
1609 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI =
1610 SourceIdMap.find(std::make_pair(DId, FId));
1611 if (SI != SourceIdMap.end())
1612 return SI->second;
1613
1614 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0.
1615 SourceIdMap[std::make_pair(DId, FId)] = SrcId;
1616 SourceIds.push_back(std::make_pair(DId, FId));
1617
1618 return SrcId;
1619}
1620
Devang Patel8287d662009-12-15 19:16:48 +00001621/// getOrCreateNameSpace - Create a DIE for DINameSpace.
1622DIE *DwarfDebug::getOrCreateNameSpace(DINameSpace NS) {
1623 DIE *NDie = ModuleCU->getDIE(NS.getNode());
1624 if (NDie)
1625 return NDie;
1626 NDie = new DIE(dwarf::DW_TAG_namespace);
1627 ModuleCU->insertDIE(NS.getNode(), NDie);
1628 if (!NS.getName().empty())
1629 addString(NDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, NS.getName());
1630 addSourceLine(NDie, &NS);
1631 addToContextOwner(NDie, NS.getContext());
1632 return NDie;
1633}
1634
Devang Patelb9f2c6b2009-12-11 21:37:07 +00001635CompileUnit *DwarfDebug::constructCompileUnit(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001636 DICompileUnit DIUnit(N);
Devang Patel7f75bbe2009-11-25 17:36:49 +00001637 StringRef FN = DIUnit.getFilename();
1638 StringRef Dir = DIUnit.getDirectory();
Devang Patelaaf012e2009-09-29 18:40:58 +00001639 unsigned ID = GetOrCreateSourceID(Dir, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001640
1641 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Devang Patelc50078e2009-11-21 02:48:08 +00001642 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Bill Wendlingf5839192009-05-20 23:19:06 +00001643 DWLabel("section_line", 0), DWLabel("section_line", 0),
1644 false);
Devang Patelc50078e2009-11-21 02:48:08 +00001645 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string,
Devang Patelaaf012e2009-09-29 18:40:58 +00001646 DIUnit.getProducer());
Devang Patelc50078e2009-11-21 02:48:08 +00001647 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1,
Bill Wendlingf5839192009-05-20 23:19:06 +00001648 DIUnit.getLanguage());
Devang Patelc50078e2009-11-21 02:48:08 +00001649 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN);
Bill Wendlingf5839192009-05-20 23:19:06 +00001650
Devang Patel7f75bbe2009-11-25 17:36:49 +00001651 if (!Dir.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001652 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir);
Bill Wendlingf5839192009-05-20 23:19:06 +00001653 if (DIUnit.isOptimized())
Devang Patelc50078e2009-11-21 02:48:08 +00001654 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1);
Bill Wendlingf5839192009-05-20 23:19:06 +00001655
Devang Patel7f75bbe2009-11-25 17:36:49 +00001656 StringRef Flags = DIUnit.getFlags();
1657 if (!Flags.empty())
Devang Patelc50078e2009-11-21 02:48:08 +00001658 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags);
Bill Wendlingf5839192009-05-20 23:19:06 +00001659
1660 unsigned RVer = DIUnit.getRunTimeVersion();
1661 if (RVer)
Devang Patelc50078e2009-11-21 02:48:08 +00001662 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf5839192009-05-20 23:19:06 +00001663 dwarf::DW_FORM_data1, RVer);
1664
1665 CompileUnit *Unit = new CompileUnit(ID, Die);
Devang Patel5a3d37f2009-06-29 20:45:18 +00001666 if (!ModuleCU && DIUnit.isMain()) {
Devang Patelf97a05a2009-06-29 20:38:13 +00001667 // Use first compile unit marked as isMain as the compile unit
1668 // for this module.
Devang Patel5a3d37f2009-06-29 20:45:18 +00001669 ModuleCU = Unit;
Devang Patelf97a05a2009-06-29 20:38:13 +00001670 }
Bill Wendlingf5839192009-05-20 23:19:06 +00001671
Devang Patel15e723d2009-08-28 23:24:31 +00001672 CompileUnitMap[DIUnit.getNode()] = Unit;
Bill Wendlingf5839192009-05-20 23:19:06 +00001673 CompileUnits.push_back(Unit);
Devang Patelb9f2c6b2009-12-11 21:37:07 +00001674 return Unit;
Bill Wendlingf5839192009-05-20 23:19:06 +00001675}
1676
Devang Patelc50078e2009-11-21 02:48:08 +00001677void DwarfDebug::constructGlobalVariableDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001678 DIGlobalVariable DI_GV(N);
Daniel Dunbar41716322009-09-19 20:40:05 +00001679
Devang Patel0c03f062009-09-04 23:59:07 +00001680 // If debug information is malformed then ignore it.
1681 if (DI_GV.Verify() == false)
1682 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001683
1684 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001685 if (ModuleCU->getDIE(DI_GV.getNode()))
Devang Patel166f8432009-06-26 01:49:18 +00001686 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001687
Devang Patelfe0be132009-12-09 18:24:21 +00001688 DIE *VariableDie = createGlobalVariableDIE(DI_GV);
Devang Patel6d479632009-12-10 23:25:41 +00001689 if (!VariableDie)
1690 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001691
Bill Wendlingf5839192009-05-20 23:19:06 +00001692 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001693 ModuleCU->insertDIE(N, VariableDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001694
1695 // Add to context owner.
Devang Pateldcc0dce2010-01-15 01:12:22 +00001696 DIDescriptor GVContext = DI_GV.getContext();
1697 // Do not create specification DIE if context is either compile unit
1698 // or a subprogram.
1699 if (DI_GV.isDefinition() && !GVContext.isCompileUnit()
1700 && !GVContext.isSubprogram()) {
Devang Patel8287d662009-12-15 19:16:48 +00001701 // Create specification DIE.
1702 DIE *VariableSpecDIE = new DIE(dwarf::DW_TAG_variable);
1703 addDIEEntry(VariableSpecDIE, dwarf::DW_AT_specification,
1704 dwarf::DW_FORM_ref4, VariableDie);
1705 DIEBlock *Block = new DIEBlock();
1706 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1707 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner41e330f2010-01-16 18:50:28 +00001708 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001709 addBlock(VariableSpecDIE, dwarf::DW_AT_location, 0, Block);
1710 ModuleCU->addDie(VariableSpecDIE);
1711 } else {
1712 DIEBlock *Block = new DIEBlock();
1713 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr);
1714 addObjectLabel(Block, 0, dwarf::DW_FORM_udata,
Chris Lattner41e330f2010-01-16 18:50:28 +00001715 Asm->GetGlobalValueSymbol(DI_GV.getGlobal()));
Devang Patel8287d662009-12-15 19:16:48 +00001716 addBlock(VariableDie, dwarf::DW_AT_location, 0, Block);
1717 }
Devang Pateldcc0dce2010-01-15 01:12:22 +00001718 addToContextOwner(VariableDie, GVContext);
Devang Patel1a8f9a82009-12-10 19:14:49 +00001719
Bill Wendlingf5839192009-05-20 23:19:06 +00001720 // Expose as global. FIXME - need to check external flag.
Devang Patelc50078e2009-11-21 02:48:08 +00001721 ModuleCU->addGlobal(DI_GV.getName(), VariableDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001722
1723 DIType GTy = DI_GV.getType();
Devang Patel7f75bbe2009-11-25 17:36:49 +00001724 if (GTy.isCompositeType() && !GTy.getName().empty()) {
Devang Patelec13b4f2009-11-24 01:14:22 +00001725 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode());
1726 assert (Entry && "Missing global type!");
1727 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry());
1728 }
Devang Patel166f8432009-06-26 01:49:18 +00001729 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001730}
1731
Devang Patelc50078e2009-11-21 02:48:08 +00001732void DwarfDebug::constructSubprogramDIE(MDNode *N) {
Devang Patel15e723d2009-08-28 23:24:31 +00001733 DISubprogram SP(N);
Bill Wendlingf5839192009-05-20 23:19:06 +00001734
1735 // Check for pre-existence.
Devang Pateld90672c2009-11-20 21:37:22 +00001736 if (ModuleCU->getDIE(N))
Devang Patel166f8432009-06-26 01:49:18 +00001737 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001738
1739 if (!SP.isDefinition())
1740 // This is a method declaration which will be handled while constructing
1741 // class type.
Devang Patel166f8432009-06-26 01:49:18 +00001742 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001743
Devang Patelfe0be132009-12-09 18:24:21 +00001744 DIE *SubprogramDie = createSubprogramDIE(SP);
Bill Wendlingf5839192009-05-20 23:19:06 +00001745
1746 // Add to map.
Devang Pateld90672c2009-11-20 21:37:22 +00001747 ModuleCU->insertDIE(N, SubprogramDie);
Bill Wendlingf5839192009-05-20 23:19:06 +00001748
1749 // Add to context owner.
Devang Patel8287d662009-12-15 19:16:48 +00001750 addToContextOwner(SubprogramDie, SP.getContext());
Devang Patelde2d3682009-12-08 23:21:45 +00001751
Bill Wendlingf5839192009-05-20 23:19:06 +00001752 // Expose as global.
Devang Patelc50078e2009-11-21 02:48:08 +00001753 ModuleCU->addGlobal(SP.getName(), SubprogramDie);
Devang Patelec13b4f2009-11-24 01:14:22 +00001754
Devang Patel166f8432009-06-26 01:49:18 +00001755 return;
Bill Wendlingf5839192009-05-20 23:19:06 +00001756}
1757
Devang Patelc50078e2009-11-21 02:48:08 +00001758/// beginModule - Emit all Dwarf sections that should come prior to the
Daniel Dunbar19f1d442009-09-19 20:40:14 +00001759/// content. Create global DIEs and emit initial debug info sections.
1760/// This is inovked by the target AsmPrinter.
Devang Patelc50078e2009-11-21 02:48:08 +00001761void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) {
Devang Patel59a1d422009-06-25 22:36:02 +00001762 this->M = M;
1763
Bill Wendlingf5839192009-05-20 23:19:06 +00001764 if (TimePassesIsEnabled)
1765 DebugTimer->startTimer();
1766
Devang Patel1b4d6832009-11-11 19:55:08 +00001767 if (!MAI->doesSupportDebugInformation())
1768 return;
1769
Devang Patelfda766d2009-07-30 18:56:46 +00001770 DebugInfoFinder DbgFinder;
1771 DbgFinder.processModule(*M);
Devang Patel166f8432009-06-26 01:49:18 +00001772
Bill Wendlingf5839192009-05-20 23:19:06 +00001773 // Create all the compile unit DIEs.
Devang Patelfda766d2009-07-30 18:56:46 +00001774 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
1775 E = DbgFinder.compile_unit_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001776 constructCompileUnit(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001777
1778 if (CompileUnits.empty()) {
1779 if (TimePassesIsEnabled)
1780 DebugTimer->stopTimer();
1781
1782 return;
1783 }
1784
Devang Patelf97a05a2009-06-29 20:38:13 +00001785 // If main compile unit for this module is not seen than randomly
1786 // select first compile unit.
Devang Patel5a3d37f2009-06-29 20:45:18 +00001787 if (!ModuleCU)
1788 ModuleCU = CompileUnits[0];
Devang Patelf97a05a2009-06-29 20:38:13 +00001789
Devang Patel90a0fe32009-11-10 23:06:00 +00001790 // Create DIEs for each subprogram.
Devang Patelfda766d2009-07-30 18:56:46 +00001791 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
1792 E = DbgFinder.subprogram_end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001793 constructSubprogramDIE(*I);
Devang Patel166f8432009-06-26 01:49:18 +00001794
Devang Patel1a8f9a82009-12-10 19:14:49 +00001795 // Create DIEs for each global variable.
1796 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
1797 E = DbgFinder.global_variable_end(); I != E; ++I)
1798 constructGlobalVariableDIE(*I);
1799
Bill Wendlingf5839192009-05-20 23:19:06 +00001800 MMI = mmi;
1801 shouldEmit = true;
1802 MMI->setDebugInfoAvailability(true);
1803
1804 // Prime section data.
Chris Lattnerc4c40a92009-07-28 03:13:23 +00001805 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001806
1807 // Print out .file directives to specify files for .loc directives. These are
1808 // printed out early so that they precede any .loc directives.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001809 if (MAI->hasDotLocAndDotFile()) {
Bill Wendlingf5839192009-05-20 23:19:06 +00001810 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) {
1811 // Remember source id starts at 1.
1812 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i);
Chris Lattnerad653482010-01-22 22:09:00 +00001813 // FIXME: don't use sys::path for this! This should not depend on the
1814 // host.
Bill Wendlingf5839192009-05-20 23:19:06 +00001815 sys::Path FullPath(getSourceDirectoryName(Id.first));
1816 bool AppendOk =
1817 FullPath.appendComponent(getSourceFileName(Id.second));
1818 assert(AppendOk && "Could not append filename to directory!");
1819 AppendOk = false;
Chris Lattner59be4ea2010-01-25 18:58:59 +00001820 Asm->OutStreamer.EmitDwarfFileDirective(i, FullPath.str());
Bill Wendlingf5839192009-05-20 23:19:06 +00001821 }
1822 }
1823
1824 // Emit initial sections
Devang Patelc50078e2009-11-21 02:48:08 +00001825 emitInitial();
Bill Wendlingf5839192009-05-20 23:19:06 +00001826
1827 if (TimePassesIsEnabled)
1828 DebugTimer->stopTimer();
1829}
1830
Devang Patelc50078e2009-11-21 02:48:08 +00001831/// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendlingf5839192009-05-20 23:19:06 +00001832///
Devang Patelc50078e2009-11-21 02:48:08 +00001833void DwarfDebug::endModule() {
Devang Patel95d477e2009-10-06 00:03:14 +00001834 if (!ModuleCU)
Bill Wendlingf5839192009-05-20 23:19:06 +00001835 return;
1836
1837 if (TimePassesIsEnabled)
1838 DebugTimer->startTimer();
1839
Devang Patel90a0fe32009-11-10 23:06:00 +00001840 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1841 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
1842 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
1843 DIE *ISP = *AI;
Devang Patelc50078e2009-11-21 02:48:08 +00001844 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel90a0fe32009-11-10 23:06:00 +00001845 }
1846
Devang Patelc1df8792009-12-03 01:25:38 +00001847 // Insert top level DIEs.
1848 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(),
1849 TE = TopLevelDIEsVector.end(); TI != TE; ++TI)
1850 ModuleCU->getCUDie()->addChild(*TI);
1851
Devang Patel7d707f92010-01-19 06:19:05 +00001852 for (DenseMap<DIE *, MDNode *>::iterator CI = ContainingTypeMap.begin(),
Devang Patel188c85d2009-12-03 19:11:07 +00001853 CE = ContainingTypeMap.end(); CI != CE; ++CI) {
1854 DIE *SPDie = CI->first;
1855 MDNode *N = dyn_cast_or_null<MDNode>(CI->second);
1856 if (!N) continue;
1857 DIE *NDie = ModuleCU->getDIE(N);
1858 if (!NDie) continue;
1859 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel69aae432010-01-15 00:26:31 +00001860 // FIXME - This is not the correct approach.
1861 // addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie);
Devang Patel188c85d2009-12-03 19:11:07 +00001862 }
1863
Bill Wendlingf5839192009-05-20 23:19:06 +00001864 // Standard sections final addresses.
Chris Lattner73266f92009-08-19 05:49:37 +00001865 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001866 EmitLabel("text_end", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00001867 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Bill Wendlingf5839192009-05-20 23:19:06 +00001868 EmitLabel("data_end", 0);
1869
1870 // End text sections.
1871 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) {
Chris Lattner73266f92009-08-19 05:49:37 +00001872 Asm->OutStreamer.SwitchSection(SectionMap[i]);
Bill Wendlingf5839192009-05-20 23:19:06 +00001873 EmitLabel("section_end", i);
1874 }
1875
1876 // Emit common frame information.
Devang Patelc50078e2009-11-21 02:48:08 +00001877 emitCommonDebugFrame();
Bill Wendlingf5839192009-05-20 23:19:06 +00001878
1879 // Emit function debug frame information
1880 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(),
1881 E = DebugFrames.end(); I != E; ++I)
Devang Patelc50078e2009-11-21 02:48:08 +00001882 emitFunctionDebugFrame(*I);
Bill Wendlingf5839192009-05-20 23:19:06 +00001883
1884 // Compute DIE offsets and sizes.
Devang Patelc50078e2009-11-21 02:48:08 +00001885 computeSizeAndOffsets();
Bill Wendlingf5839192009-05-20 23:19:06 +00001886
1887 // Emit all the DIEs into a debug info section
Devang Patelc50078e2009-11-21 02:48:08 +00001888 emitDebugInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001889
1890 // Corresponding abbreviations into a abbrev section.
Devang Patelc50078e2009-11-21 02:48:08 +00001891 emitAbbreviations();
Bill Wendlingf5839192009-05-20 23:19:06 +00001892
1893 // Emit source line correspondence into a debug line section.
Devang Patelc50078e2009-11-21 02:48:08 +00001894 emitDebugLines();
Bill Wendlingf5839192009-05-20 23:19:06 +00001895
1896 // Emit info into a debug pubnames section.
Devang Patelc50078e2009-11-21 02:48:08 +00001897 emitDebugPubNames();
Bill Wendlingf5839192009-05-20 23:19:06 +00001898
Devang Patelec13b4f2009-11-24 01:14:22 +00001899 // Emit info into a debug pubtypes section.
1900 emitDebugPubTypes();
1901
Bill Wendlingf5839192009-05-20 23:19:06 +00001902 // Emit info into a debug str section.
Devang Patelc50078e2009-11-21 02:48:08 +00001903 emitDebugStr();
Bill Wendlingf5839192009-05-20 23:19:06 +00001904
1905 // Emit info into a debug loc section.
Devang Patelc50078e2009-11-21 02:48:08 +00001906 emitDebugLoc();
Bill Wendlingf5839192009-05-20 23:19:06 +00001907
1908 // Emit info into a debug aranges section.
1909 EmitDebugARanges();
1910
1911 // Emit info into a debug ranges section.
Devang Patelc50078e2009-11-21 02:48:08 +00001912 emitDebugRanges();
Bill Wendlingf5839192009-05-20 23:19:06 +00001913
1914 // Emit info into a debug macinfo section.
Devang Patelc50078e2009-11-21 02:48:08 +00001915 emitDebugMacInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001916
1917 // Emit inline info.
Devang Patelc50078e2009-11-21 02:48:08 +00001918 emitDebugInlineInfo();
Bill Wendlingf5839192009-05-20 23:19:06 +00001919
1920 if (TimePassesIsEnabled)
1921 DebugTimer->stopTimer();
1922}
1923
Devang Patel90a0fe32009-11-10 23:06:00 +00001924/// findAbstractVariable - Find abstract variable, if any, associated with Var.
Jim Grosbachb23f2422009-11-22 19:20:36 +00001925DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var,
1926 unsigned FrameIdx,
Devang Patel90a0fe32009-11-10 23:06:00 +00001927 DILocation &ScopeLoc) {
1928
1929 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode());
1930 if (AbsDbgVariable)
1931 return AbsDbgVariable;
1932
1933 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode());
1934 if (!Scope)
1935 return NULL;
1936
1937 AbsDbgVariable = new DbgVariable(Var, FrameIdx);
Devang Patelc50078e2009-11-21 02:48:08 +00001938 Scope->addVariable(AbsDbgVariable);
Devang Patel90a0fe32009-11-10 23:06:00 +00001939 AbstractVariables[Var.getNode()] = AbsDbgVariable;
1940 return AbsDbgVariable;
1941}
1942
Devang Patelc50078e2009-11-21 02:48:08 +00001943/// collectVariableInfo - Populate DbgScope entries with variables' info.
1944void DwarfDebug::collectVariableInfo() {
Devang Patel40c80212009-10-09 22:42:28 +00001945 if (!MMI) return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001946
Devang Patel84139992009-10-06 01:26:37 +00001947 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1948 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1949 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel0a0ea052010-01-22 22:52:10 +00001950 MDNode *Var = VI->first;
Devang Patel90a0fe32009-11-10 23:06:00 +00001951 if (!Var) continue;
Devang Patel6882dff2009-10-08 18:48:03 +00001952 DIVariable DV (Var);
Devang Patel90a0fe32009-11-10 23:06:00 +00001953 std::pair< unsigned, MDNode *> VP = VI->second;
1954 DILocation ScopeLoc(VP.second);
1955
1956 DbgScope *Scope =
1957 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode());
1958 if (!Scope)
Jim Grosbach652b7432009-11-21 23:12:12 +00001959 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode());
Devang Patelbad42262009-11-10 23:20:04 +00001960 // If variable scope is not found then skip this variable.
1961 if (!Scope)
1962 continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00001963
1964 DbgVariable *RegVar = new DbgVariable(DV, VP.first);
Devang Patelc50078e2009-11-21 02:48:08 +00001965 Scope->addVariable(RegVar);
Jim Grosbachb23f2422009-11-22 19:20:36 +00001966 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first,
1967 ScopeLoc))
Devang Patel90a0fe32009-11-10 23:06:00 +00001968 RegVar->setAbstractVariable(AbsDbgVariable);
Devang Patel84139992009-10-06 01:26:37 +00001969 }
1970}
1971
Devang Patelc50078e2009-11-21 02:48:08 +00001972/// beginScope - Process beginning of a scope starting at Label.
1973void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) {
Devang Patel393a46d2009-10-06 01:50:42 +00001974 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI);
1975 if (I == DbgScopeBeginMap.end())
1976 return;
Dan Gohman8d34f972009-11-23 21:30:55 +00001977 ScopeVector &SD = I->second;
Devang Patel90a0fe32009-11-10 23:06:00 +00001978 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00001979 SDI != SDE; ++SDI)
Devang Patel393a46d2009-10-06 01:50:42 +00001980 (*SDI)->setStartLabelID(Label);
1981}
1982
Devang Patelc50078e2009-11-21 02:48:08 +00001983/// endScope - Process end of a scope.
1984void DwarfDebug::endScope(const MachineInstr *MI) {
Devang Patel393a46d2009-10-06 01:50:42 +00001985 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI);
Devang Patelf4348892009-10-06 03:15:38 +00001986 if (I == DbgScopeEndMap.end())
Devang Patel393a46d2009-10-06 01:50:42 +00001987 return;
Devang Patel90a0fe32009-11-10 23:06:00 +00001988
1989 unsigned Label = MMI->NextLabelID();
1990 Asm->printLabel(Label);
Dan Gohmancfca6e32009-12-05 01:42:34 +00001991 O << '\n';
Devang Patel90a0fe32009-11-10 23:06:00 +00001992
Devang Patel393a46d2009-10-06 01:50:42 +00001993 SmallVector<DbgScope *, 2> &SD = I->second;
1994 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end();
Jim Grosbach652b7432009-11-21 23:12:12 +00001995 SDI != SDE; ++SDI)
Devang Patel393a46d2009-10-06 01:50:42 +00001996 (*SDI)->setEndLabelID(Label);
Devang Patel90a0fe32009-11-10 23:06:00 +00001997 return;
1998}
1999
2000/// createDbgScope - Create DbgScope for the scope.
2001void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) {
2002
2003 if (!InlinedAt) {
2004 DbgScope *WScope = DbgScopeMap.lookup(Scope);
2005 if (WScope)
2006 return;
2007 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL);
2008 DbgScopeMap.insert(std::make_pair(Scope, WScope));
Jim Grosbach652b7432009-11-21 23:12:12 +00002009 if (DIDescriptor(Scope).isLexicalBlock())
Devang Patel53addbf2009-11-11 00:18:40 +00002010 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL);
Devang Patel90a0fe32009-11-10 23:06:00 +00002011 return;
2012 }
2013
2014 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt);
2015 if (WScope)
2016 return;
2017
2018 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt);
2019 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope));
2020 DILocation DL(InlinedAt);
2021 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode());
Devang Patel393a46d2009-10-06 01:50:42 +00002022}
2023
Devang Patelc50078e2009-11-21 02:48:08 +00002024/// extractScopeInformation - Scan machine instructions in this function
Devang Patel6a260102009-10-01 20:31:14 +00002025/// and collect DbgScopes. Return true, if atleast one scope was found.
Chris Lattner69a76972010-01-26 23:18:02 +00002026bool DwarfDebug::extractScopeInformation() {
Devang Patel6a260102009-10-01 20:31:14 +00002027 // If scope information was extracted using .dbg intrinsics then there is not
2028 // any need to extract these information by scanning each instruction.
2029 if (!DbgScopeMap.empty())
2030 return false;
2031
Devang Patel98e77302010-01-04 20:44:00 +00002032 DenseMap<const MachineInstr *, unsigned> MIIndexMap;
2033 unsigned MIIndex = 0;
Devang Patel90a0fe32009-11-10 23:06:00 +00002034 // Scan each instruction and create scopes. First build working set of scopes.
Devang Patel6a260102009-10-01 20:31:14 +00002035 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2036 I != E; ++I) {
2037 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2038 II != IE; ++II) {
2039 const MachineInstr *MInsn = II;
Devang Patel98e77302010-01-04 20:44:00 +00002040 MIIndexMap[MInsn] = MIIndex++;
Devang Patel6a260102009-10-01 20:31:14 +00002041 DebugLoc DL = MInsn->getDebugLoc();
Devang Patel90a0fe32009-11-10 23:06:00 +00002042 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002043 DILocation DLT = MF->getDILocation(DL);
2044 DIScope DLTScope = DLT.getScope();
2045 if (DLTScope.isNull()) continue;
Devang Patel6a260102009-10-01 20:31:14 +00002046 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002047 // other scopes, create one DbgScope now. This will be translated
Devang Patel6a260102009-10-01 20:31:14 +00002048 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002049 if (DLTScope.isCompileUnit()) continue;
2050 createDbgScope(DLTScope.getNode(), DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002051 }
2052 }
2053
2054
2055 // Build scope hierarchy using working set of scopes.
2056 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
2057 I != E; ++I) {
2058 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
2059 II != IE; ++II) {
2060 const MachineInstr *MInsn = II;
2061 DebugLoc DL = MInsn->getDebugLoc();
2062 if (DL.isUnknown()) continue;
Devang Patel042945f2010-01-16 06:09:35 +00002063 DILocation DLT = MF->getDILocation(DL);
2064 DIScope DLTScope = DLT.getScope();
2065 if (DLTScope.isNull()) continue;
Devang Patel90a0fe32009-11-10 23:06:00 +00002066 // There is no need to create another DIE for compile unit. For all
Jim Grosbach652b7432009-11-21 23:12:12 +00002067 // other scopes, create one DbgScope now. This will be translated
Devang Patel90a0fe32009-11-10 23:06:00 +00002068 // into a scope DIE at the end.
Devang Patel042945f2010-01-16 06:09:35 +00002069 if (DLTScope.isCompileUnit()) continue;
2070 DbgScope *Scope = getUpdatedDbgScope(DLTScope.getNode(), MInsn,
2071 DLT.getOrigLocation().getNode());
Devang Patel90a0fe32009-11-10 23:06:00 +00002072 Scope->setLastInsn(MInsn);
Devang Patel6a260102009-10-01 20:31:14 +00002073 }
2074 }
2075
Devang Patel98e77302010-01-04 20:44:00 +00002076 if (!CurrentFnDbgScope)
2077 return false;
2078
2079 CurrentFnDbgScope->fixInstructionMarkers(MIIndexMap);
Devang Patel6a260102009-10-01 20:31:14 +00002080
2081 // Each scope has first instruction and last instruction to mark beginning
2082 // and end of a scope respectively. Create an inverse map that list scopes
2083 // starts (and ends) with an instruction. One instruction may start (or end)
Devang Patelfd311df2010-01-20 02:05:23 +00002084 // multiple scopes. Ignore scopes that are not reachable.
2085 SmallVector<DbgScope *, 4> WorkList;
2086 WorkList.push_back(CurrentFnDbgScope);
2087 while (!WorkList.empty()) {
2088 DbgScope *S = WorkList.back(); WorkList.pop_back();
2089
2090 SmallVector<DbgScope *, 4> &Children = S->getScopes();
2091 if (!Children.empty())
2092 for (SmallVector<DbgScope *, 4>::iterator SI = Children.begin(),
2093 SE = Children.end(); SI != SE; ++SI)
2094 WorkList.push_back(*SI);
2095
Devang Patel90a0fe32009-11-10 23:06:00 +00002096 if (S->isAbstractScope())
2097 continue;
Devang Patel6a260102009-10-01 20:31:14 +00002098 const MachineInstr *MI = S->getFirstInsn();
2099 assert (MI && "DbgScope does not have first instruction!");
2100
2101 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI);
2102 if (IDI != DbgScopeBeginMap.end())
2103 IDI->second.push_back(S);
2104 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002105 DbgScopeBeginMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002106
2107 MI = S->getLastInsn();
2108 assert (MI && "DbgScope does not have last instruction!");
2109 IDI = DbgScopeEndMap.find(MI);
2110 if (IDI != DbgScopeEndMap.end())
2111 IDI->second.push_back(S);
2112 else
Devang Patel90a0fe32009-11-10 23:06:00 +00002113 DbgScopeEndMap[MI].push_back(S);
Devang Patel6a260102009-10-01 20:31:14 +00002114 }
2115
2116 return !DbgScopeMap.empty();
2117}
2118
Devang Patelc50078e2009-11-21 02:48:08 +00002119/// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendlingf5839192009-05-20 23:19:06 +00002120/// emitted immediately after the function entry point.
Chris Lattner69a76972010-01-26 23:18:02 +00002121void DwarfDebug::beginFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002122 this->MF = MF;
2123
2124 if (!ShouldEmitDwarfDebug()) return;
2125
2126 if (TimePassesIsEnabled)
2127 DebugTimer->startTimer();
2128
Chris Lattner69a76972010-01-26 23:18:02 +00002129 if (!extractScopeInformation())
Devang Patel0feae422009-10-06 18:37:31 +00002130 return;
Devang Patelc50078e2009-11-21 02:48:08 +00002131
2132 collectVariableInfo();
Devang Patel0feae422009-10-06 18:37:31 +00002133
Bill Wendlingf5839192009-05-20 23:19:06 +00002134 // Assumes in correct section after the entry point.
2135 EmitLabel("func_begin", ++SubprogramCount);
2136
2137 // Emit label for the implicitly defined dbg.stoppoint at the start of the
2138 // function.
Devang Patel40c80212009-10-09 22:42:28 +00002139 DebugLoc FDL = MF->getDefaultDebugLoc();
2140 if (!FDL.isUnknown()) {
Devang Patel042945f2010-01-16 06:09:35 +00002141 DILocation DLT = MF->getDILocation(FDL);
Devang Patel40c80212009-10-09 22:42:28 +00002142 unsigned LabelID = 0;
Devang Patel042945f2010-01-16 06:09:35 +00002143 DISubprogram SP = getDISubprogram(DLT.getScope().getNode());
Devang Patel40c80212009-10-09 22:42:28 +00002144 if (!SP.isNull())
Devang Patel042945f2010-01-16 06:09:35 +00002145 LabelID = recordSourceLine(SP.getLineNumber(), 0,
2146 DLT.getScope().getNode());
Devang Patel40c80212009-10-09 22:42:28 +00002147 else
Devang Patel042945f2010-01-16 06:09:35 +00002148 LabelID = recordSourceLine(DLT.getLineNumber(),
2149 DLT.getColumnNumber(),
2150 DLT.getScope().getNode());
Devang Patel40c80212009-10-09 22:42:28 +00002151 Asm->printLabel(LabelID);
2152 O << '\n';
Bill Wendlingf5839192009-05-20 23:19:06 +00002153 }
Bill Wendlingf5839192009-05-20 23:19:06 +00002154 if (TimePassesIsEnabled)
2155 DebugTimer->stopTimer();
2156}
2157
Devang Patelc50078e2009-11-21 02:48:08 +00002158/// endFunction - Gather and emit post-function debug information.
Bill Wendlingf5839192009-05-20 23:19:06 +00002159///
Chris Lattner69a76972010-01-26 23:18:02 +00002160void DwarfDebug::endFunction(const MachineFunction *MF) {
Bill Wendlingf5839192009-05-20 23:19:06 +00002161 if (!ShouldEmitDwarfDebug()) return;
2162
2163 if (TimePassesIsEnabled)
2164 DebugTimer->startTimer();
2165
Devang Patel40c80212009-10-09 22:42:28 +00002166 if (DbgScopeMap.empty())
2167 return;
Devang Patel4a7ef8d2009-11-12 19:02:56 +00002168
Devang Patel98e77302010-01-04 20:44:00 +00002169 if (CurrentFnDbgScope) {
2170 // Define end label for subprogram.
2171 EmitLabel("func_end", SubprogramCount);
2172
2173 // Get function line info.
2174 if (!Lines.empty()) {
2175 // Get section line info.
2176 unsigned ID = SectionMap.insert(Asm->getCurrentSection());
2177 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID);
2178 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1];
2179 // Append the function info to section info.
2180 SectionLineInfos.insert(SectionLineInfos.end(),
2181 Lines.begin(), Lines.end());
2182 }
2183
2184 // Construct abstract scopes.
2185 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(),
2186 AE = AbstractScopesList.end(); AI != AE; ++AI)
2187 constructScopeDIE(*AI);
2188
2189 constructScopeDIE(CurrentFnDbgScope);
2190
2191 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount,
2192 MMI->getFrameMoves()));
Bill Wendlingf5839192009-05-20 23:19:06 +00002193 }
2194
Bill Wendlingf5839192009-05-20 23:19:06 +00002195 // Clear debug info
Devang Patel387e9c12010-01-19 01:26:02 +00002196 CurrentFnDbgScope = NULL;
2197 DbgScopeMap.clear();
2198 DbgScopeBeginMap.clear();
2199 DbgScopeEndMap.clear();
2200 ConcreteScopes.clear();
2201 AbstractScopesList.clear();
Bill Wendlingf5839192009-05-20 23:19:06 +00002202 Lines.clear();
Devang Patel67533ab2009-12-01 18:13:48 +00002203
Bill Wendlingf5839192009-05-20 23:19:06 +00002204 if (TimePassesIsEnabled)
2205 DebugTimer->stopTimer();
2206}
2207
Devang Patelc50078e2009-11-21 02:48:08 +00002208/// recordSourceLine - Records location information and associates it with a
Bill Wendlingf5839192009-05-20 23:19:06 +00002209/// label. Returns a unique label ID used to generate a label and provide
2210/// correspondence to the source line list.
Jim Grosbach652b7432009-11-21 23:12:12 +00002211unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col,
Devang Patel946d0ae2009-10-05 18:03:19 +00002212 MDNode *S) {
Devang Patel15e723d2009-08-28 23:24:31 +00002213 if (!MMI)
2214 return 0;
2215
Bill Wendlingf5839192009-05-20 23:19:06 +00002216 if (TimePassesIsEnabled)
2217 DebugTimer->startTimer();
2218
Devang Patel7f75bbe2009-11-25 17:36:49 +00002219 StringRef Dir;
2220 StringRef Fn;
Devang Patel946d0ae2009-10-05 18:03:19 +00002221
2222 DIDescriptor Scope(S);
2223 if (Scope.isCompileUnit()) {
2224 DICompileUnit CU(S);
2225 Dir = CU.getDirectory();
2226 Fn = CU.getFilename();
2227 } else if (Scope.isSubprogram()) {
2228 DISubprogram SP(S);
2229 Dir = SP.getDirectory();
2230 Fn = SP.getFilename();
2231 } else if (Scope.isLexicalBlock()) {
2232 DILexicalBlock DB(S);
2233 Dir = DB.getDirectory();
2234 Fn = DB.getFilename();
2235 } else
2236 assert (0 && "Unexpected scope info");
2237
2238 unsigned Src = GetOrCreateSourceID(Dir, Fn);
Bill Wendlingf5839192009-05-20 23:19:06 +00002239 unsigned ID = MMI->NextLabelID();
2240 Lines.push_back(SrcLineInfo(Line, Col, Src, ID));
2241
2242 if (TimePassesIsEnabled)
2243 DebugTimer->stopTimer();
2244
2245 return ID;
2246}
2247
2248/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
2249/// timed. Look up the source id with the given directory and source file
2250/// names. If none currently exists, create a new id and insert it in the
2251/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
2252/// well.
2253unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName,
2254 const std::string &FileName) {
2255 if (TimePassesIsEnabled)
2256 DebugTimer->startTimer();
2257
Devang Patelaaf012e2009-09-29 18:40:58 +00002258 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str());
Bill Wendlingf5839192009-05-20 23:19:06 +00002259
2260 if (TimePassesIsEnabled)
2261 DebugTimer->stopTimer();
2262
2263 return SrcId;
2264}
2265
Bill Wendlinge1a5bbb2009-05-20 23:22:40 +00002266//===----------------------------------------------------------------------===//
2267// Emit Methods
2268//===----------------------------------------------------------------------===//
2269
Devang Patelc50078e2009-11-21 02:48:08 +00002270/// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling55fccda2009-05-20 23:21:38 +00002271///
Jim Grosbachb23f2422009-11-22 19:20:36 +00002272unsigned
2273DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002274 // Get the children.
2275 const std::vector<DIE *> &Children = Die->getChildren();
2276
2277 // If not last sibling and has children then add sibling offset attribute.
Devang Patelc50078e2009-11-21 02:48:08 +00002278 if (!Last && !Children.empty()) Die->addSiblingOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002279
2280 // Record the abbreviation.
Devang Patelc50078e2009-11-21 02:48:08 +00002281 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling55fccda2009-05-20 23:21:38 +00002282
2283 // Get the abbreviation for this DIE.
2284 unsigned AbbrevNumber = Die->getAbbrevNumber();
2285 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2286
2287 // Set DIE offset
2288 Die->setOffset(Offset);
2289
2290 // Start the size with the size of abbreviation code.
Chris Lattner621c44d2009-08-22 20:48:53 +00002291 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002292
2293 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
2294 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2295
2296 // Size the DIE attribute values.
2297 for (unsigned i = 0, N = Values.size(); i < N; ++i)
2298 // Size attribute value.
2299 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm());
2300
2301 // Size the DIE children if any.
2302 if (!Children.empty()) {
2303 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
2304 "Children flag not set");
2305
2306 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002307 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M);
Bill Wendling55fccda2009-05-20 23:21:38 +00002308
2309 // End of children marker.
2310 Offset += sizeof(int8_t);
2311 }
2312
2313 Die->setSize(Offset - Die->getOffset());
2314 return Offset;
2315}
2316
Devang Patelc50078e2009-11-21 02:48:08 +00002317/// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling55fccda2009-05-20 23:21:38 +00002318///
Devang Patelc50078e2009-11-21 02:48:08 +00002319void DwarfDebug::computeSizeAndOffsets() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002320 // Compute size of compile unit header.
2321 static unsigned Offset =
2322 sizeof(int32_t) + // Length of Compilation Unit Info
2323 sizeof(int16_t) + // DWARF version number
2324 sizeof(int32_t) + // Offset Into Abbrev. Section
2325 sizeof(int8_t); // Pointer Size (in bytes)
2326
Devang Patelc50078e2009-11-21 02:48:08 +00002327 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true);
Devang Patel5a3d37f2009-06-29 20:45:18 +00002328 CompileUnitOffsets[ModuleCU] = 0;
Bill Wendling55fccda2009-05-20 23:21:38 +00002329}
2330
Devang Patelc50078e2009-11-21 02:48:08 +00002331/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling55fccda2009-05-20 23:21:38 +00002332/// tools to recognize the object file contains Dwarf information.
Devang Patelc50078e2009-11-21 02:48:08 +00002333void DwarfDebug::emitInitial() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002334 // Check to see if we already emitted intial headers.
2335 if (didInitial) return;
2336 didInitial = true;
2337
Chris Lattner73266f92009-08-19 05:49:37 +00002338 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbar41716322009-09-19 20:40:05 +00002339
Bill Wendling55fccda2009-05-20 23:21:38 +00002340 // Dwarf sections base addresses.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002341 if (MAI->doesDwarfRequireFrameSection()) {
Chris Lattner73266f92009-08-19 05:49:37 +00002342 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002343 EmitLabel("section_debug_frame", 0);
2344 }
2345
Chris Lattner73266f92009-08-19 05:49:37 +00002346 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002347 EmitLabel("section_info", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002348 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002349 EmitLabel("section_abbrev", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002350 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002351 EmitLabel("section_aranges", 0);
2352
Chris Lattner73266f92009-08-19 05:49:37 +00002353 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) {
2354 Asm->OutStreamer.SwitchSection(LineInfoDirective);
Bill Wendling55fccda2009-05-20 23:21:38 +00002355 EmitLabel("section_macinfo", 0);
2356 }
2357
Chris Lattner73266f92009-08-19 05:49:37 +00002358 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002359 EmitLabel("section_line", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002360 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002361 EmitLabel("section_loc", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002362 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002363 EmitLabel("section_pubnames", 0);
Devang Patelec13b4f2009-11-24 01:14:22 +00002364 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection());
2365 EmitLabel("section_pubtypes", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002366 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002367 EmitLabel("section_str", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002368 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002369 EmitLabel("section_ranges", 0);
2370
Chris Lattner73266f92009-08-19 05:49:37 +00002371 Asm->OutStreamer.SwitchSection(TLOF.getTextSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002372 EmitLabel("text_begin", 0);
Chris Lattner73266f92009-08-19 05:49:37 +00002373 Asm->OutStreamer.SwitchSection(TLOF.getDataSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002374 EmitLabel("data_begin", 0);
2375}
2376
Devang Patelc50078e2009-11-21 02:48:08 +00002377/// emitDIE - Recusively Emits a debug information entry.
Bill Wendling55fccda2009-05-20 23:21:38 +00002378///
Devang Patelc50078e2009-11-21 02:48:08 +00002379void DwarfDebug::emitDIE(DIE *Die) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002380 // Get the abbreviation for this DIE.
2381 unsigned AbbrevNumber = Die->getAbbrevNumber();
2382 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1];
2383
Chris Lattnerad653482010-01-22 22:09:00 +00002384 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002385
2386 // Emit the code (index) for the abbreviation.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002387 if (Asm->VerboseAsm)
2388 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2389 Twine::utohexstr(Die->getOffset()) + ":0x" +
2390 Twine::utohexstr(Die->getSize()) + " " +
2391 dwarf::TagString(Abbrev->getTag()));
2392 EmitULEB128(AbbrevNumber);
Bill Wendling55fccda2009-05-20 23:21:38 +00002393
2394 SmallVector<DIEValue*, 32> &Values = Die->getValues();
2395 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
2396
2397 // Emit the DIE attribute values.
2398 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2399 unsigned Attr = AbbrevData[i].getAttribute();
2400 unsigned Form = AbbrevData[i].getForm();
2401 assert(Form && "Too many attributes for DIE (check abbreviation)");
2402
Chris Lattner91e06b42010-01-24 18:54:17 +00002403 if (Asm->VerboseAsm)
2404 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
2405
Bill Wendling55fccda2009-05-20 23:21:38 +00002406 switch (Attr) {
2407 case dwarf::DW_AT_sibling:
Devang Patelc50078e2009-11-21 02:48:08 +00002408 Asm->EmitInt32(Die->getSiblingOffset());
Bill Wendling55fccda2009-05-20 23:21:38 +00002409 break;
2410 case dwarf::DW_AT_abstract_origin: {
2411 DIEEntry *E = cast<DIEEntry>(Values[i]);
2412 DIE *Origin = E->getEntry();
Devang Patel90a0fe32009-11-10 23:06:00 +00002413 unsigned Addr = Origin->getOffset();
Bill Wendling55fccda2009-05-20 23:21:38 +00002414 Asm->EmitInt32(Addr);
2415 break;
2416 }
2417 default:
2418 // Emit an attribute using the defined form.
2419 Values[i]->EmitValue(this, Form);
Chris Lattner2d2f1002010-01-24 19:01:06 +00002420 O << "\n"; // REMOVE This once all EmitValue impls emit their own newline.
Bill Wendling55fccda2009-05-20 23:21:38 +00002421 break;
2422 }
Bill Wendling55fccda2009-05-20 23:21:38 +00002423 }
2424
2425 // Emit the DIE children if any.
2426 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2427 const std::vector<DIE *> &Children = Die->getChildren();
2428
2429 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Devang Patelc50078e2009-11-21 02:48:08 +00002430 emitDIE(Children[j]);
Bill Wendling55fccda2009-05-20 23:21:38 +00002431
Chris Lattner05ae1d22010-01-22 23:47:11 +00002432 Asm->EmitInt8(0); EOL("End Of Children Mark");
Bill Wendling55fccda2009-05-20 23:21:38 +00002433 }
2434}
2435
Devang Patelfe0be132009-12-09 18:24:21 +00002436/// emitDebugInfo - Emit the debug info section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002437///
Devang Patelfe0be132009-12-09 18:24:21 +00002438void DwarfDebug::emitDebugInfo() {
2439 // Start debug info section.
2440 Asm->OutStreamer.SwitchSection(
2441 Asm->getObjFileLowering().getDwarfInfoSection());
2442 DIE *Die = ModuleCU->getCUDie();
Bill Wendling55fccda2009-05-20 23:21:38 +00002443
2444 // Emit the compile units header.
Devang Patelfe0be132009-12-09 18:24:21 +00002445 EmitLabel("info_begin", ModuleCU->getID());
Bill Wendling55fccda2009-05-20 23:21:38 +00002446
2447 // Emit size of content not including length itself
2448 unsigned ContentSize = Die->getSize() +
2449 sizeof(int16_t) + // DWARF version number
2450 sizeof(int32_t) + // Offset Into Abbrev. Section
2451 sizeof(int8_t) + // Pointer Size (in bytes)
2452 sizeof(int32_t); // FIXME - extra pad for gdb bug.
2453
Chris Lattner05ae1d22010-01-22 23:47:11 +00002454 Asm->EmitInt32(ContentSize); EOL("Length of Compilation Unit Info");
2455 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling55fccda2009-05-20 23:21:38 +00002456 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002457 EOL("Offset Into Abbrev. Section");
2458 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002459
Devang Patelc50078e2009-11-21 02:48:08 +00002460 emitDIE(Die);
Bill Wendling55fccda2009-05-20 23:21:38 +00002461 // FIXME - extra padding for gdb bug.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002462 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2463 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2464 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
2465 Asm->EmitInt8(0); EOL("Extra Pad For GDB");
Devang Patelfe0be132009-12-09 18:24:21 +00002466 EmitLabel("info_end", ModuleCU->getID());
Chris Lattnerad653482010-01-22 22:09:00 +00002467 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002468}
2469
Devang Patelc50078e2009-11-21 02:48:08 +00002470/// emitAbbreviations - Emit the abbreviation section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002471///
Devang Patelc50078e2009-11-21 02:48:08 +00002472void DwarfDebug::emitAbbreviations() const {
Bill Wendling55fccda2009-05-20 23:21:38 +00002473 // Check to see if it is worth the effort.
2474 if (!Abbreviations.empty()) {
2475 // Start the debug abbrev section.
Chris Lattner73266f92009-08-19 05:49:37 +00002476 Asm->OutStreamer.SwitchSection(
2477 Asm->getObjFileLowering().getDwarfAbbrevSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002478
2479 EmitLabel("abbrev_begin", 0);
2480
2481 // For each abbrevation.
2482 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) {
2483 // Get abbreviation data
2484 const DIEAbbrev *Abbrev = Abbreviations[i];
2485
2486 // Emit the abbrevations code (base 1 index.)
Chris Lattnerbcc79432010-01-22 23:18:42 +00002487 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling55fccda2009-05-20 23:21:38 +00002488
2489 // Emit the abbreviations data.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002490 Abbrev->Emit(this);
Chris Lattnerad653482010-01-22 22:09:00 +00002491 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002492 }
2493
2494 // Mark end of abbreviations.
Chris Lattnerbcc79432010-01-22 23:18:42 +00002495 EmitULEB128(0, "EOM(3)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002496
2497 EmitLabel("abbrev_end", 0);
Chris Lattnerad653482010-01-22 22:09:00 +00002498 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002499 }
2500}
2501
Devang Patelc50078e2009-11-21 02:48:08 +00002502/// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling55fccda2009-05-20 23:21:38 +00002503/// the line matrix.
2504///
Devang Patelc50078e2009-11-21 02:48:08 +00002505void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002506 // Define last address of section.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002507 Asm->EmitInt8(0); EOL("Extended Op");
2508 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2509 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
2510 EmitReference("section_end", SectionEnd); EOL("Section end label");
Bill Wendling55fccda2009-05-20 23:21:38 +00002511
2512 // Mark end of matrix.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002513 Asm->EmitInt8(0); EOL("DW_LNE_end_sequence");
Chris Lattnerad653482010-01-22 22:09:00 +00002514 Asm->EmitInt8(1);
Chris Lattnerbcc79432010-01-22 23:18:42 +00002515 Asm->EmitInt8(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002516}
2517
Devang Patelc50078e2009-11-21 02:48:08 +00002518/// emitDebugLines - Emit source line information.
Bill Wendling55fccda2009-05-20 23:21:38 +00002519///
Devang Patelc50078e2009-11-21 02:48:08 +00002520void DwarfDebug::emitDebugLines() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002521 // If the target is using .loc/.file, the assembler will be emitting the
2522 // .debug_line table automatically.
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002523 if (MAI->hasDotLocAndDotFile())
Bill Wendling55fccda2009-05-20 23:21:38 +00002524 return;
2525
2526 // Minimum line delta, thus ranging from -10..(255-10).
2527 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1);
2528 // Maximum line delta, thus ranging from -10..(255-10).
2529 const int MaxLineDelta = 255 + MinLineDelta;
2530
2531 // Start the dwarf line section.
Chris Lattner73266f92009-08-19 05:49:37 +00002532 Asm->OutStreamer.SwitchSection(
2533 Asm->getObjFileLowering().getDwarfLineSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002534
2535 // Construct the section header.
2536 EmitDifference("line_end", 0, "line_begin", 0, true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002537 EOL("Length of Source Line Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002538 EmitLabel("line_begin", 0);
2539
Chris Lattner05ae1d22010-01-22 23:47:11 +00002540 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF version number");
Bill Wendling55fccda2009-05-20 23:21:38 +00002541
2542 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002543 EOL("Prolog Length");
Bill Wendling55fccda2009-05-20 23:21:38 +00002544 EmitLabel("line_prolog_begin", 0);
2545
Chris Lattner05ae1d22010-01-22 23:47:11 +00002546 Asm->EmitInt8(1); EOL("Minimum Instruction Length");
2547 Asm->EmitInt8(1); EOL("Default is_stmt_start flag");
2548 Asm->EmitInt8(MinLineDelta); EOL("Line Base Value (Special Opcodes)");
2549 Asm->EmitInt8(MaxLineDelta); EOL("Line Range Value (Special Opcodes)");
2550 Asm->EmitInt8(-MinLineDelta); EOL("Special Opcode Base");
Bill Wendling55fccda2009-05-20 23:21:38 +00002551
2552 // Line number standard opcode encodings argument count
Chris Lattner05ae1d22010-01-22 23:47:11 +00002553 Asm->EmitInt8(0); EOL("DW_LNS_copy arg count");
2554 Asm->EmitInt8(1); EOL("DW_LNS_advance_pc arg count");
2555 Asm->EmitInt8(1); EOL("DW_LNS_advance_line arg count");
2556 Asm->EmitInt8(1); EOL("DW_LNS_set_file arg count");
2557 Asm->EmitInt8(1); EOL("DW_LNS_set_column arg count");
2558 Asm->EmitInt8(0); EOL("DW_LNS_negate_stmt arg count");
2559 Asm->EmitInt8(0); EOL("DW_LNS_set_basic_block arg count");
2560 Asm->EmitInt8(0); EOL("DW_LNS_const_add_pc arg count");
2561 Asm->EmitInt8(1); EOL("DW_LNS_fixed_advance_pc arg count");
Bill Wendling55fccda2009-05-20 23:21:38 +00002562
2563 // Emit directories.
2564 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) {
Chris Lattnercc564642010-01-23 03:11:46 +00002565 const std::string &Dir = getSourceDirectoryName(DI);
2566 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Directory");
2567 Asm->OutStreamer.EmitBytes(StringRef(Dir.c_str(), Dir.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002568 }
2569
Chris Lattner05ae1d22010-01-22 23:47:11 +00002570 Asm->EmitInt8(0); EOL("End of directories");
Bill Wendling55fccda2009-05-20 23:21:38 +00002571
2572 // Emit files.
2573 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) {
2574 // Remember source id starts at 1.
2575 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI);
Chris Lattnercc564642010-01-23 03:11:46 +00002576 const std::string &FN = getSourceFileName(Id.second);
2577 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("Source");
2578 Asm->OutStreamer.EmitBytes(StringRef(FN.c_str(), FN.size()+1), 0);
2579
Chris Lattnerbcc79432010-01-22 23:18:42 +00002580 EmitULEB128(Id.first, "Directory #");
2581 EmitULEB128(0, "Mod date");
2582 EmitULEB128(0, "File size");
Bill Wendling55fccda2009-05-20 23:21:38 +00002583 }
2584
Chris Lattner05ae1d22010-01-22 23:47:11 +00002585 Asm->EmitInt8(0); EOL("End of files");
Bill Wendling55fccda2009-05-20 23:21:38 +00002586
2587 EmitLabel("line_prolog_end", 0);
2588
2589 // A sequence for each text section.
2590 unsigned SecSrcLinesSize = SectionSourceLines.size();
2591
2592 for (unsigned j = 0; j < SecSrcLinesSize; ++j) {
2593 // Isolate current sections line info.
2594 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j];
2595
Chris Lattner26aabb92009-08-08 23:39:42 +00002596 /*if (Asm->isVerbose()) {
Chris Lattnere6ad12f2009-07-31 18:48:30 +00002597 const MCSection *S = SectionMap[j + 1];
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002598 O << '\t' << MAI->getCommentString() << " Section"
Bill Wendling55fccda2009-05-20 23:21:38 +00002599 << S->getName() << '\n';
Chris Lattner26aabb92009-08-08 23:39:42 +00002600 }*/
Chris Lattnerad653482010-01-22 22:09:00 +00002601 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002602
2603 // Dwarf assumes we start with first line of first source file.
2604 unsigned Source = 1;
2605 unsigned Line = 1;
2606
2607 // Construct rows of the address, source, line, column matrix.
2608 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) {
2609 const SrcLineInfo &LineInfo = LineInfos[i];
2610 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID());
2611 if (!LabelID) continue;
2612
Caroline Tice9da96d82009-09-11 18:25:54 +00002613 if (LineInfo.getLine() == 0) continue;
2614
Bill Wendling55fccda2009-05-20 23:21:38 +00002615 if (!Asm->isVerbose())
Chris Lattnerad653482010-01-22 22:09:00 +00002616 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002617 else {
2618 std::pair<unsigned, unsigned> SourceID =
2619 getSourceDirectoryAndFileIds(LineInfo.getSourceID());
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002620 O << '\t' << MAI->getCommentString() << ' '
Dan Gohman1792bc62009-12-05 02:00:34 +00002621 << getSourceDirectoryName(SourceID.first) << '/'
Bill Wendling55fccda2009-05-20 23:21:38 +00002622 << getSourceFileName(SourceID.second)
Dan Gohman1792bc62009-12-05 02:00:34 +00002623 << ':' << utostr_32(LineInfo.getLine()) << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002624 }
2625
2626 // Define the line address.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002627 Asm->EmitInt8(0); EOL("Extended Op");
2628 Asm->EmitInt8(TD->getPointerSize() + 1); EOL("Op size");
2629 Asm->EmitInt8(dwarf::DW_LNE_set_address); EOL("DW_LNE_set_address");
2630 EmitReference("label", LabelID); EOL("Location label");
Bill Wendling55fccda2009-05-20 23:21:38 +00002631
2632 // If change of source, then switch to the new source.
2633 if (Source != LineInfo.getSourceID()) {
2634 Source = LineInfo.getSourceID();
Chris Lattner05ae1d22010-01-22 23:47:11 +00002635 Asm->EmitInt8(dwarf::DW_LNS_set_file); EOL("DW_LNS_set_file");
Chris Lattnerbcc79432010-01-22 23:18:42 +00002636 EmitULEB128(Source, "New Source");
Bill Wendling55fccda2009-05-20 23:21:38 +00002637 }
2638
2639 // If change of line.
2640 if (Line != LineInfo.getLine()) {
2641 // Determine offset.
2642 int Offset = LineInfo.getLine() - Line;
2643 int Delta = Offset - MinLineDelta;
2644
2645 // Update line.
2646 Line = LineInfo.getLine();
2647
2648 // If delta is small enough and in range...
2649 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) {
2650 // ... then use fast opcode.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002651 Asm->EmitInt8(Delta - MinLineDelta); EOL("Line Delta");
Bill Wendling55fccda2009-05-20 23:21:38 +00002652 } else {
2653 // ... otherwise use long hand.
2654 Asm->EmitInt8(dwarf::DW_LNS_advance_line);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002655 EOL("DW_LNS_advance_line");
Chris Lattner20f334f2010-01-22 22:56:55 +00002656 EmitSLEB128(Offset, "Line Offset");
Chris Lattner05ae1d22010-01-22 23:47:11 +00002657 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling55fccda2009-05-20 23:21:38 +00002658 }
2659 } else {
2660 // Copy the previous row (different address or source)
Chris Lattner05ae1d22010-01-22 23:47:11 +00002661 Asm->EmitInt8(dwarf::DW_LNS_copy); EOL("DW_LNS_copy");
Bill Wendling55fccda2009-05-20 23:21:38 +00002662 }
2663 }
2664
Devang Patelc50078e2009-11-21 02:48:08 +00002665 emitEndOfLineMatrix(j + 1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002666 }
2667
2668 if (SecSrcLinesSize == 0)
2669 // Because we're emitting a debug_line section, we still need a line
2670 // table. The linker and friends expect it to exist. If there's nothing to
2671 // put into it, emit an empty table.
Devang Patelc50078e2009-11-21 02:48:08 +00002672 emitEndOfLineMatrix(1);
Bill Wendling55fccda2009-05-20 23:21:38 +00002673
2674 EmitLabel("line_end", 0);
Chris Lattnerad653482010-01-22 22:09:00 +00002675 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002676}
2677
Devang Patelc50078e2009-11-21 02:48:08 +00002678/// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002679///
Devang Patelc50078e2009-11-21 02:48:08 +00002680void DwarfDebug::emitCommonDebugFrame() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002681 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002682 return;
2683
2684 int stackGrowth =
2685 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
2686 TargetFrameInfo::StackGrowsUp ?
2687 TD->getPointerSize() : -TD->getPointerSize();
2688
2689 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002690 Asm->OutStreamer.SwitchSection(
2691 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002692
2693 EmitLabel("debug_frame_common", 0);
2694 EmitDifference("debug_frame_common_end", 0,
2695 "debug_frame_common_begin", 0, true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002696 EOL("Length of Common Information Entry");
Bill Wendling55fccda2009-05-20 23:21:38 +00002697
2698 EmitLabel("debug_frame_common_begin", 0);
2699 Asm->EmitInt32((int)dwarf::DW_CIE_ID);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002700 EOL("CIE Identifier Tag");
Bill Wendling55fccda2009-05-20 23:21:38 +00002701 Asm->EmitInt8(dwarf::DW_CIE_VERSION);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002702 EOL("CIE Version");
Chris Lattnercc564642010-01-23 03:11:46 +00002703 Asm->OutStreamer.EmitIntValue(0, 1, /*addrspace*/0); // nul terminator.
Chris Lattner05ae1d22010-01-22 23:47:11 +00002704 EOL("CIE Augmentation");
Chris Lattnerbcc79432010-01-22 23:18:42 +00002705 EmitULEB128(1, "CIE Code Alignment Factor");
Chris Lattner20f334f2010-01-22 22:56:55 +00002706 EmitSLEB128(stackGrowth, "CIE Data Alignment Factor");
Bill Wendling55fccda2009-05-20 23:21:38 +00002707 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false));
Chris Lattner05ae1d22010-01-22 23:47:11 +00002708 EOL("CIE RA Column");
Bill Wendling55fccda2009-05-20 23:21:38 +00002709
2710 std::vector<MachineMove> Moves;
2711 RI->getInitialFrameState(Moves);
2712
2713 EmitFrameMoves(NULL, 0, Moves, false);
2714
2715 Asm->EmitAlignment(2, 0, 0, false);
2716 EmitLabel("debug_frame_common_end", 0);
Chris Lattnerad653482010-01-22 22:09:00 +00002717 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002718}
2719
Devang Patelc50078e2009-11-21 02:48:08 +00002720/// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling55fccda2009-05-20 23:21:38 +00002721/// section.
2722void
Devang Patelc50078e2009-11-21 02:48:08 +00002723DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002724 if (!MAI->doesDwarfRequireFrameSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002725 return;
2726
2727 // Start the dwarf frame section.
Chris Lattner73266f92009-08-19 05:49:37 +00002728 Asm->OutStreamer.SwitchSection(
2729 Asm->getObjFileLowering().getDwarfFrameSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002730
2731 EmitDifference("debug_frame_end", DebugFrameInfo.Number,
2732 "debug_frame_begin", DebugFrameInfo.Number, true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002733 EOL("Length of Frame Information Entry");
Bill Wendling55fccda2009-05-20 23:21:38 +00002734
2735 EmitLabel("debug_frame_begin", DebugFrameInfo.Number);
2736
2737 EmitSectionOffset("debug_frame_common", "section_debug_frame",
2738 0, 0, true, false);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002739 EOL("FDE CIE offset");
Bill Wendling55fccda2009-05-20 23:21:38 +00002740
2741 EmitReference("func_begin", DebugFrameInfo.Number);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002742 EOL("FDE initial location");
Bill Wendling55fccda2009-05-20 23:21:38 +00002743 EmitDifference("func_end", DebugFrameInfo.Number,
2744 "func_begin", DebugFrameInfo.Number);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002745 EOL("FDE address range");
Bill Wendling55fccda2009-05-20 23:21:38 +00002746
2747 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves,
2748 false);
2749
2750 Asm->EmitAlignment(2, 0, 0, false);
2751 EmitLabel("debug_frame_end", DebugFrameInfo.Number);
Chris Lattnerad653482010-01-22 22:09:00 +00002752 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002753}
2754
Devang Patelfe0be132009-12-09 18:24:21 +00002755/// emitDebugPubNames - Emit visible names into a debug pubnames section.
2756///
2757void DwarfDebug::emitDebugPubNames() {
2758 // Start the dwarf pubnames section.
2759 Asm->OutStreamer.SwitchSection(
2760 Asm->getObjFileLowering().getDwarfPubNamesSection());
2761
2762 EmitDifference("pubnames_end", ModuleCU->getID(),
2763 "pubnames_begin", ModuleCU->getID(), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002764 EOL("Length of Public Names Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002765
Devang Patelfe0be132009-12-09 18:24:21 +00002766 EmitLabel("pubnames_begin", ModuleCU->getID());
Bill Wendling55fccda2009-05-20 23:21:38 +00002767
Chris Lattner05ae1d22010-01-22 23:47:11 +00002768 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("DWARF Version");
Bill Wendling55fccda2009-05-20 23:21:38 +00002769
2770 EmitSectionOffset("info_begin", "section_info",
Devang Patelfe0be132009-12-09 18:24:21 +00002771 ModuleCU->getID(), 0, true, false);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002772 EOL("Offset of Compilation Unit Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002773
Devang Patelfe0be132009-12-09 18:24:21 +00002774 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
Bill Wendling55fccda2009-05-20 23:21:38 +00002775 true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002776 EOL("Compilation Unit Length");
Bill Wendling55fccda2009-05-20 23:21:38 +00002777
Devang Patelfe0be132009-12-09 18:24:21 +00002778 const StringMap<DIE*> &Globals = ModuleCU->getGlobals();
Bill Wendling55fccda2009-05-20 23:21:38 +00002779 for (StringMap<DIE*>::const_iterator
2780 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2781 const char *Name = GI->getKeyData();
2782 DIE * Entity = GI->second;
2783
Chris Lattner05ae1d22010-01-22 23:47:11 +00002784 Asm->EmitInt32(Entity->getOffset()); EOL("DIE offset");
Chris Lattnercc564642010-01-23 03:11:46 +00002785
2786 if (Asm->VerboseAsm)
2787 Asm->OutStreamer.AddComment("External Name");
2788 Asm->OutStreamer.EmitBytes(StringRef(Name, strlen(Name)+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002789 }
2790
Chris Lattner05ae1d22010-01-22 23:47:11 +00002791 Asm->EmitInt32(0); EOL("End Mark");
Devang Patelfe0be132009-12-09 18:24:21 +00002792 EmitLabel("pubnames_end", ModuleCU->getID());
Chris Lattnerad653482010-01-22 22:09:00 +00002793 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002794}
2795
Devang Patelec13b4f2009-11-24 01:14:22 +00002796void DwarfDebug::emitDebugPubTypes() {
Devang Patel6f2bdd52009-11-24 19:18:41 +00002797 // Start the dwarf pubnames section.
2798 Asm->OutStreamer.SwitchSection(
2799 Asm->getObjFileLowering().getDwarfPubTypesSection());
Devang Patelec13b4f2009-11-24 01:14:22 +00002800 EmitDifference("pubtypes_end", ModuleCU->getID(),
2801 "pubtypes_begin", ModuleCU->getID(), true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002802 EOL("Length of Public Types Info");
Devang Patelec13b4f2009-11-24 01:14:22 +00002803
2804 EmitLabel("pubtypes_begin", ModuleCU->getID());
2805
Devang Patel40b6cda2010-02-02 03:47:27 +00002806 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DWARF Version");
2807 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patelec13b4f2009-11-24 01:14:22 +00002808
2809 EmitSectionOffset("info_begin", "section_info",
2810 ModuleCU->getID(), 0, true, false);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002811 EOL("Offset of Compilation ModuleCU Info");
Devang Patelec13b4f2009-11-24 01:14:22 +00002812
2813 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(),
2814 true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002815 EOL("Compilation ModuleCU Length");
Devang Patelec13b4f2009-11-24 01:14:22 +00002816
2817 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes();
2818 for (StringMap<DIE*>::const_iterator
2819 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2820 const char *Name = GI->getKeyData();
2821 DIE * Entity = GI->second;
2822
Devang Patel40b6cda2010-02-02 03:47:27 +00002823 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DIE offset");
2824 Asm->EmitInt32(Entity->getOffset());
Chris Lattnercc564642010-01-23 03:11:46 +00002825
2826 if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("External Name");
Devang Patel0ceb4892010-02-02 03:37:03 +00002827 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Devang Patelec13b4f2009-11-24 01:14:22 +00002828 }
2829
Chris Lattner05ae1d22010-01-22 23:47:11 +00002830 Asm->EmitInt32(0); EOL("End Mark");
Devang Patelec13b4f2009-11-24 01:14:22 +00002831 EmitLabel("pubtypes_end", ModuleCU->getID());
Chris Lattnerad653482010-01-22 22:09:00 +00002832 Asm->O << '\n';
Devang Patelec13b4f2009-11-24 01:14:22 +00002833}
2834
Devang Patelc50078e2009-11-21 02:48:08 +00002835/// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002836///
Devang Patelc50078e2009-11-21 02:48:08 +00002837void DwarfDebug::emitDebugStr() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002838 // Check to see if it is worth the effort.
2839 if (!StringPool.empty()) {
2840 // Start the dwarf str section.
Chris Lattner73266f92009-08-19 05:49:37 +00002841 Asm->OutStreamer.SwitchSection(
2842 Asm->getObjFileLowering().getDwarfStrSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002843
2844 // For each of strings in the string pool.
2845 for (unsigned StringID = 1, N = StringPool.size();
2846 StringID <= N; ++StringID) {
2847 // Emit a label for reference from debug information entries.
2848 EmitLabel("string", StringID);
2849
2850 // Emit the string itself.
2851 const std::string &String = StringPool[StringID];
Chris Lattnercc564642010-01-23 03:11:46 +00002852 Asm->OutStreamer.EmitBytes(StringRef(String.c_str(), String.size()+1), 0);
Bill Wendling55fccda2009-05-20 23:21:38 +00002853 }
2854
Chris Lattnerad653482010-01-22 22:09:00 +00002855 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002856 }
2857}
2858
Devang Patelc50078e2009-11-21 02:48:08 +00002859/// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002860///
Devang Patelc50078e2009-11-21 02:48:08 +00002861void DwarfDebug::emitDebugLoc() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002862 // Start the dwarf loc section.
Chris Lattner73266f92009-08-19 05:49:37 +00002863 Asm->OutStreamer.SwitchSection(
2864 Asm->getObjFileLowering().getDwarfLocSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002865}
2866
2867/// EmitDebugARanges - Emit visible names into a debug aranges section.
2868///
2869void DwarfDebug::EmitDebugARanges() {
2870 // Start the dwarf aranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002871 Asm->OutStreamer.SwitchSection(
2872 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002873
2874 // FIXME - Mock up
2875#if 0
2876 CompileUnit *Unit = GetBaseCompileUnit();
2877
2878 // Don't include size of length
Chris Lattner05ae1d22010-01-22 23:47:11 +00002879 Asm->EmitInt32(0x1c); EOL("Length of Address Ranges Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002880
Chris Lattner05ae1d22010-01-22 23:47:11 +00002881 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
Bill Wendling55fccda2009-05-20 23:21:38 +00002882
2883 EmitReference("info_begin", Unit->getID());
Chris Lattner05ae1d22010-01-22 23:47:11 +00002884 EOL("Offset of Compilation Unit Info");
Bill Wendling55fccda2009-05-20 23:21:38 +00002885
Chris Lattner05ae1d22010-01-22 23:47:11 +00002886 Asm->EmitInt8(TD->getPointerSize()); EOL("Size of Address");
Bill Wendling55fccda2009-05-20 23:21:38 +00002887
Chris Lattner05ae1d22010-01-22 23:47:11 +00002888 Asm->EmitInt8(0); EOL("Size of Segment Descriptor");
Bill Wendling55fccda2009-05-20 23:21:38 +00002889
Chris Lattner05ae1d22010-01-22 23:47:11 +00002890 Asm->EmitInt16(0); EOL("Pad (1)");
2891 Asm->EmitInt16(0); EOL("Pad (2)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002892
2893 // Range 1
Chris Lattner05ae1d22010-01-22 23:47:11 +00002894 EmitReference("text_begin", 0); EOL("Address");
2895 EmitDifference("text_end", 0, "text_begin", 0, true); EOL("Length");
Bill Wendling55fccda2009-05-20 23:21:38 +00002896
Chris Lattner05ae1d22010-01-22 23:47:11 +00002897 Asm->EmitInt32(0); EOL("EOM (1)");
2898 Asm->EmitInt32(0); EOL("EOM (2)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002899#endif
Bill Wendling55fccda2009-05-20 23:21:38 +00002900}
2901
Devang Patelc50078e2009-11-21 02:48:08 +00002902/// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002903///
Devang Patelc50078e2009-11-21 02:48:08 +00002904void DwarfDebug::emitDebugRanges() {
Bill Wendling55fccda2009-05-20 23:21:38 +00002905 // Start the dwarf ranges section.
Chris Lattner73266f92009-08-19 05:49:37 +00002906 Asm->OutStreamer.SwitchSection(
2907 Asm->getObjFileLowering().getDwarfRangesSection());
Bill Wendling55fccda2009-05-20 23:21:38 +00002908}
2909
Devang Patelc50078e2009-11-21 02:48:08 +00002910/// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling55fccda2009-05-20 23:21:38 +00002911///
Devang Patelc50078e2009-11-21 02:48:08 +00002912void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbar41716322009-09-19 20:40:05 +00002913 if (const MCSection *LineInfo =
Chris Lattner72d228d2009-08-02 07:24:22 +00002914 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling55fccda2009-05-20 23:21:38 +00002915 // Start the dwarf macinfo section.
Chris Lattner73266f92009-08-19 05:49:37 +00002916 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling55fccda2009-05-20 23:21:38 +00002917 }
2918}
2919
Devang Patelc50078e2009-11-21 02:48:08 +00002920/// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling55fccda2009-05-20 23:21:38 +00002921/// Section Header:
2922/// 1. length of section
2923/// 2. Dwarf version number
2924/// 3. address size.
2925///
2926/// Entries (one "entry" for each function that was inlined):
2927///
2928/// 1. offset into __debug_str section for MIPS linkage name, if exists;
2929/// otherwise offset into __debug_str for regular function name.
2930/// 2. offset into __debug_str section for regular function name.
2931/// 3. an unsigned LEB128 number indicating the number of distinct inlining
2932/// instances for the function.
2933///
2934/// The rest of the entry consists of a {die_offset, low_pc} pair for each
2935/// inlined instance; the die_offset points to the inlined_subroutine die in the
2936/// __debug_info section, and the low_pc is the starting address for the
2937/// inlining instance.
Devang Patelc50078e2009-11-21 02:48:08 +00002938void DwarfDebug::emitDebugInlineInfo() {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002939 if (!MAI->doesDwarfUsesInlineInfoSection())
Bill Wendling55fccda2009-05-20 23:21:38 +00002940 return;
2941
Devang Patel5a3d37f2009-06-29 20:45:18 +00002942 if (!ModuleCU)
Bill Wendling55fccda2009-05-20 23:21:38 +00002943 return;
2944
Chris Lattner73266f92009-08-19 05:49:37 +00002945 Asm->OutStreamer.SwitchSection(
2946 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerad653482010-01-22 22:09:00 +00002947
Bill Wendling55fccda2009-05-20 23:21:38 +00002948 EmitDifference("debug_inlined_end", 1,
2949 "debug_inlined_begin", 1, true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002950 EOL("Length of Debug Inlined Information Entry");
Bill Wendling55fccda2009-05-20 23:21:38 +00002951
2952 EmitLabel("debug_inlined_begin", 1);
2953
Chris Lattner05ae1d22010-01-22 23:47:11 +00002954 Asm->EmitInt16(dwarf::DWARF_VERSION); EOL("Dwarf Version");
2955 Asm->EmitInt8(TD->getPointerSize()); EOL("Address Size (in bytes)");
Bill Wendling55fccda2009-05-20 23:21:38 +00002956
Devang Patel90a0fe32009-11-10 23:06:00 +00002957 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
2958 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach652b7432009-11-21 23:12:12 +00002959
Devang Patel90a0fe32009-11-10 23:06:00 +00002960 MDNode *Node = *I;
Devang Patel7d707f92010-01-19 06:19:05 +00002961 DenseMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbachb23f2422009-11-22 19:20:36 +00002962 = InlineInfo.find(Node);
Devang Patel90a0fe32009-11-10 23:06:00 +00002963 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel15e723d2009-08-28 23:24:31 +00002964 DISubprogram SP(Node);
Devang Patel7f75bbe2009-11-25 17:36:49 +00002965 StringRef LName = SP.getLinkageName();
2966 StringRef Name = SP.getName();
Bill Wendling55fccda2009-05-20 23:21:38 +00002967
Chris Lattnercc564642010-01-23 03:11:46 +00002968 if (LName.empty()) {
2969 Asm->OutStreamer.EmitBytes(Name, 0);
2970 Asm->OutStreamer.EmitIntValue(0, 1, 0); // nul terminator.
2971 } else
Devang Patel90a0fe32009-11-10 23:06:00 +00002972 EmitSectionOffset("string", "section_str",
Chris Lattnercc564642010-01-23 03:11:46 +00002973 StringPool.idFor(getRealLinkageName(LName)), false, true);
Devang Patel90a0fe32009-11-10 23:06:00 +00002974
Chris Lattner05ae1d22010-01-22 23:47:11 +00002975 EOL("MIPS linkage name");
Devang Patel90a0fe32009-11-10 23:06:00 +00002976 EmitSectionOffset("string", "section_str",
2977 StringPool.idFor(Name), false, true);
Chris Lattner05ae1d22010-01-22 23:47:11 +00002978 EOL("Function name");
Chris Lattnerbcc79432010-01-22 23:18:42 +00002979 EmitULEB128(Labels.size(), "Inline count");
Bill Wendling55fccda2009-05-20 23:21:38 +00002980
Devang Patel90a0fe32009-11-10 23:06:00 +00002981 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling55fccda2009-05-20 23:21:38 +00002982 LE = Labels.end(); LI != LE; ++LI) {
Devang Patel90a0fe32009-11-10 23:06:00 +00002983 DIE *SP = LI->second;
Chris Lattner05ae1d22010-01-22 23:47:11 +00002984 Asm->EmitInt32(SP->getOffset()); EOL("DIE offset");
Bill Wendling55fccda2009-05-20 23:21:38 +00002985
2986 if (TD->getPointerSize() == sizeof(int32_t))
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002987 O << MAI->getData32bitsDirective();
Bill Wendling55fccda2009-05-20 23:21:38 +00002988 else
Chris Lattnera5ef4d32009-08-22 21:43:10 +00002989 O << MAI->getData64bitsDirective();
Bill Wendling55fccda2009-05-20 23:21:38 +00002990
Chris Lattner05ae1d22010-01-22 23:47:11 +00002991 PrintLabelName("label", LI->first); EOL("low_pc");
Bill Wendling55fccda2009-05-20 23:21:38 +00002992 }
2993 }
2994
2995 EmitLabel("debug_inlined_end", 1);
Chris Lattnerad653482010-01-22 22:09:00 +00002996 Asm->O << '\n';
Bill Wendling55fccda2009-05-20 23:21:38 +00002997}