blob: 3319cf51b5f6705311b962dafca41db29577a7ef [file] [log] [blame]
Bill Wendling0310d762009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.h - Dwarf Debug Framework ------*- C++ -*--===//
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//===----------------------------------------------------------------------===//
13
14#ifndef CODEGEN_ASMPRINTER_DWARFDEBUG_H__
15#define CODEGEN_ASMPRINTER_DWARFDEBUG_H__
16
17#include "DIE.h"
18#include "DwarfPrinter.h"
19#include "llvm/CodeGen/AsmPrinter.h"
20#include "llvm/CodeGen/MachineLocation.h"
21#include "llvm/Analysis/DebugInfo.h"
22#include "llvm/Support/raw_ostream.h"
Devang Patelbdf45cb2009-10-27 20:47:17 +000023#include "llvm/ADT/ValueMap.h"
Bill Wendling0310d762009-05-15 09:23:25 +000024#include "llvm/ADT/FoldingSet.h"
Bill Wendling6679ee42009-05-18 22:02:36 +000025#include "llvm/ADT/SmallSet.h"
Bill Wendling0310d762009-05-15 09:23:25 +000026#include "llvm/ADT/StringMap.h"
27#include "llvm/ADT/UniqueVector.h"
28#include <string>
29
30namespace llvm {
31
32class CompileUnit;
Bill Wendling0310d762009-05-15 09:23:25 +000033class DbgConcreteScope;
Nick Lewycky381afae2009-11-17 09:17:08 +000034class DbgScope;
35class DbgVariable;
Bill Wendling0310d762009-05-15 09:23:25 +000036class MachineFrameInfo;
37class MachineModuleInfo;
Chris Lattneraf76e592009-08-22 20:48:53 +000038class MCAsmInfo;
Bill Wendling0310d762009-05-15 09:23:25 +000039class Timer;
40
41//===----------------------------------------------------------------------===//
42/// SrcLineInfo - This class is used to record source line correspondence.
43///
Nick Lewycky381afae2009-11-17 09:17:08 +000044class SrcLineInfo {
Bill Wendling0310d762009-05-15 09:23:25 +000045 unsigned Line; // Source line number.
46 unsigned Column; // Source column.
47 unsigned SourceID; // Source ID number.
48 unsigned LabelID; // Label in code ID number.
49public:
50 SrcLineInfo(unsigned L, unsigned C, unsigned S, unsigned I)
51 : Line(L), Column(C), SourceID(S), LabelID(I) {}
52
53 // Accessors
54 unsigned getLine() const { return Line; }
55 unsigned getColumn() const { return Column; }
56 unsigned getSourceID() const { return SourceID; }
57 unsigned getLabelID() const { return LabelID; }
58};
59
Nick Lewycky381afae2009-11-17 09:17:08 +000060class DwarfDebug : public Dwarf {
Bill Wendling0310d762009-05-15 09:23:25 +000061 //===--------------------------------------------------------------------===//
62 // Attributes used to construct specific Dwarf sections.
63 //
64
65 /// CompileUnitMap - A map of global variables representing compile units to
66 /// compile units.
67 DenseMap<Value *, CompileUnit *> CompileUnitMap;
68
69 /// CompileUnits - All the compile units in this module.
70 ///
71 SmallVector<CompileUnit *, 8> CompileUnits;
72
Devang Patel1dbc7712009-06-29 20:45:18 +000073 /// ModuleCU - All DIEs are inserted in ModuleCU.
74 CompileUnit *ModuleCU;
Bill Wendling0310d762009-05-15 09:23:25 +000075
76 /// AbbreviationsSet - Used to uniquely define abbreviations.
77 ///
78 FoldingSet<DIEAbbrev> AbbreviationsSet;
79
80 /// Abbreviations - A list of all the unique abbreviations in use.
81 ///
82 std::vector<DIEAbbrev *> Abbreviations;
83
84 /// DirectoryIdMap - Directory name to directory id map.
85 ///
86 StringMap<unsigned> DirectoryIdMap;
87
88 /// DirectoryNames - A list of directory names.
89 SmallVector<std::string, 8> DirectoryNames;
90
91 /// SourceFileIdMap - Source file name to source file id map.
92 ///
93 StringMap<unsigned> SourceFileIdMap;
94
95 /// SourceFileNames - A list of source file names.
96 SmallVector<std::string, 8> SourceFileNames;
97
98 /// SourceIdMap - Source id map, i.e. pair of directory id and source file
99 /// id mapped to a unique id.
100 DenseMap<std::pair<unsigned, unsigned>, unsigned> SourceIdMap;
101
102 /// SourceIds - Reverse map from source id to directory id + file id pair.
103 ///
104 SmallVector<std::pair<unsigned, unsigned>, 8> SourceIds;
105
106 /// Lines - List of of source line correspondence.
107 std::vector<SrcLineInfo> Lines;
108
Devang Patel2c4ceb12009-11-21 02:48:08 +0000109 /// DIEValues - A list of all the unique values in use.
Bill Wendling0310d762009-05-15 09:23:25 +0000110 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000111 std::vector<DIEValue *> DIEValues;
Bill Wendling0310d762009-05-15 09:23:25 +0000112
113 /// StringPool - A UniqueVector of strings used by indirect references.
114 ///
115 UniqueVector<std::string> StringPool;
116
117 /// SectionMap - Provides a unique id per text section.
118 ///
Chris Lattnera87dea42009-07-31 18:48:30 +0000119 UniqueVector<const MCSection*> SectionMap;
Bill Wendling0310d762009-05-15 09:23:25 +0000120
121 /// SectionSourceLines - Tracks line numbers per text section.
122 ///
123 std::vector<std::vector<SrcLineInfo> > SectionSourceLines;
124
125 /// didInitial - Flag to indicate if initial emission has been done.
126 ///
127 bool didInitial;
128
129 /// shouldEmit - Flag to indicate if debug information should be emitted.
130 ///
131 bool shouldEmit;
132
Devang Patel53bb5c92009-11-10 23:06:00 +0000133 // CurrentFnDbgScope - Top level scope for the current function.
Bill Wendling0310d762009-05-15 09:23:25 +0000134 //
Devang Patel53bb5c92009-11-10 23:06:00 +0000135 DbgScope *CurrentFnDbgScope;
Bill Wendling0310d762009-05-15 09:23:25 +0000136
137 /// DbgScopeMap - Tracks the scopes in the current function.
Devang Patel53bb5c92009-11-10 23:06:00 +0000138 ///
Devang Patelbdf45cb2009-10-27 20:47:17 +0000139 ValueMap<MDNode *, DbgScope *> DbgScopeMap;
Bill Wendling0310d762009-05-15 09:23:25 +0000140
Devang Patel53bb5c92009-11-10 23:06:00 +0000141 /// ConcreteScopes - Tracks the concrete scopees in the current function.
142 /// These scopes are also included in DbgScopeMap.
143 ValueMap<MDNode *, DbgScope *> ConcreteScopes;
144
145 /// AbstractScopes - Tracks the abstract scopes a module. These scopes are
146 /// not included DbgScopeMap.
147 ValueMap<MDNode *, DbgScope *> AbstractScopes;
148 SmallVector<DbgScope *, 4>AbstractScopesList;
149
150 /// AbstractVariables - Collection on abstract variables.
151 ValueMap<MDNode *, DbgVariable *> AbstractVariables;
152
153 /// InliendSubprogramDIEs - Collection of subprgram DIEs that are marked
154 /// (at the end of the module) as DW_AT_inline.
155 SmallPtrSet<DIE *, 4> InlinedSubprogramDIEs;
156
Devang Patel5d11eb02009-12-03 19:11:07 +0000157 DenseMap<DIE *, WeakVH> ContainingTypeMap;
158
Devang Patel53bb5c92009-11-10 23:06:00 +0000159 /// AbstractSubprogramDIEs - Collection of abstruct subprogram DIEs.
160 SmallPtrSet<DIE *, 4> AbstractSubprogramDIEs;
161
Devang Patel1d5cc1d2009-12-03 01:25:38 +0000162 /// TopLevelDIEs - Collection of top level DIEs.
163 SmallPtrSet<DIE *, 4> TopLevelDIEs;
164 SmallVector<DIE *, 4> TopLevelDIEsVector;
165
Devang Patelfd07cf52009-10-05 23:40:42 +0000166 /// ScopedGVs - Tracks global variables that are not at file scope.
167 /// For example void f() { static int b = 42; }
168 SmallVector<WeakVH, 4> ScopedGVs;
169
Devang Patel53bb5c92009-11-10 23:06:00 +0000170 typedef SmallVector<DbgScope *, 2> ScopeVector;
171 typedef DenseMap<const MachineInstr *, ScopeVector>
Devang Patelaf9e8472009-10-01 20:31:14 +0000172 InsnToDbgScopeMapTy;
173
Devang Patel53bb5c92009-11-10 23:06:00 +0000174 /// DbgScopeBeginMap - Maps instruction with a list of DbgScopes it starts.
Devang Patelaf9e8472009-10-01 20:31:14 +0000175 InsnToDbgScopeMapTy DbgScopeBeginMap;
176
177 /// DbgScopeEndMap - Maps instruction with a list DbgScopes it ends.
178 InsnToDbgScopeMapTy DbgScopeEndMap;
179
Bill Wendling0310d762009-05-15 09:23:25 +0000180 /// InlineInfo - Keep track of inlined functions and their location. This
181 /// information is used to populate debug_inlined section.
Devang Patel53bb5c92009-11-10 23:06:00 +0000182 typedef std::pair<unsigned, DIE *> InlineInfoLabels;
183 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> > InlineInfo;
184 SmallVector<MDNode *, 4> InlinedSPNodes;
Bill Wendling0310d762009-05-15 09:23:25 +0000185
186 /// CompileUnitOffsets - A vector of the offsets of the compile units. This is
187 /// used when calculating the "origin" of a concrete instance of an inlined
188 /// function.
189 DenseMap<CompileUnit *, unsigned> CompileUnitOffsets;
190
191 /// DebugTimer - Timer for the Dwarf debug writer.
192 Timer *DebugTimer;
Devang Patel43da8fb2009-07-13 21:26:33 +0000193
Bill Wendling0310d762009-05-15 09:23:25 +0000194 struct FunctionDebugFrameInfo {
195 unsigned Number;
196 std::vector<MachineMove> Moves;
197
198 FunctionDebugFrameInfo(unsigned Num, const std::vector<MachineMove> &M)
199 : Number(Num), Moves(M) {}
200 };
201
202 std::vector<FunctionDebugFrameInfo> DebugFrames;
203
204 /// getSourceDirectoryAndFileIds - Return the directory and file ids that
205 /// maps to the source id. Source id starts at 1.
206 std::pair<unsigned, unsigned>
207 getSourceDirectoryAndFileIds(unsigned SId) const {
208 return SourceIds[SId-1];
209 }
210
211 /// getNumSourceDirectories - Return the number of source directories in the
212 /// debug info.
213 unsigned getNumSourceDirectories() const {
214 return DirectoryNames.size();
215 }
216
217 /// getSourceDirectoryName - Return the name of the directory corresponding
218 /// to the id.
219 const std::string &getSourceDirectoryName(unsigned Id) const {
220 return DirectoryNames[Id - 1];
221 }
222
223 /// getSourceFileName - Return the name of the source file corresponding
224 /// to the id.
225 const std::string &getSourceFileName(unsigned Id) const {
226 return SourceFileNames[Id - 1];
227 }
228
229 /// getNumSourceIds - Return the number of unique source ids.
230 unsigned getNumSourceIds() const {
231 return SourceIds.size();
232 }
233
Devang Patel2c4ceb12009-11-21 02:48:08 +0000234 /// assignAbbrevNumber - Define a unique number for the abbreviation.
Bill Wendling0310d762009-05-15 09:23:25 +0000235 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000236 void assignAbbrevNumber(DIEAbbrev &Abbrev);
Bill Wendling0310d762009-05-15 09:23:25 +0000237
Devang Patel2c4ceb12009-11-21 02:48:08 +0000238 /// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
Bill Wendling995f80a2009-05-20 23:24:48 +0000239 /// information entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000240 DIEEntry *createDIEEntry(DIE *Entry = NULL);
Bill Wendling0310d762009-05-15 09:23:25 +0000241
Devang Patel2c4ceb12009-11-21 02:48:08 +0000242 /// addUInt - Add an unsigned integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000243 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000244 void addUInt(DIE *Die, unsigned Attribute, unsigned Form, uint64_t Integer);
Bill Wendling0310d762009-05-15 09:23:25 +0000245
Devang Patel2c4ceb12009-11-21 02:48:08 +0000246 /// addSInt - Add an signed integer attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000247 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000248 void addSInt(DIE *Die, unsigned Attribute, unsigned Form, int64_t Integer);
Bill Wendling0310d762009-05-15 09:23:25 +0000249
Devang Patel2c4ceb12009-11-21 02:48:08 +0000250 /// addString - Add a string attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000251 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000252 void addString(DIE *Die, unsigned Attribute, unsigned Form,
Devang Patele9a05972009-11-24 19:42:17 +0000253 const StringRef Str);
Bill Wendling0310d762009-05-15 09:23:25 +0000254
Devang Patel2c4ceb12009-11-21 02:48:08 +0000255 /// addLabel - Add a Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000256 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000257 void addLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000258 const DWLabel &Label);
259
Devang Patel2c4ceb12009-11-21 02:48:08 +0000260 /// addObjectLabel - Add an non-Dwarf label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000261 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000262 void addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000263 const std::string &Label);
264
Devang Patel2c4ceb12009-11-21 02:48:08 +0000265 /// addSectionOffset - Add a section offset label attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000266 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000267 void addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000268 const DWLabel &Label, const DWLabel &Section,
269 bool isEH = false, bool useSet = true);
270
Devang Patel2c4ceb12009-11-21 02:48:08 +0000271 /// addDelta - Add a label delta attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000272 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000273 void addDelta(DIE *Die, unsigned Attribute, unsigned Form,
Bill Wendling0310d762009-05-15 09:23:25 +0000274 const DWLabel &Hi, const DWLabel &Lo);
275
Devang Patel2c4ceb12009-11-21 02:48:08 +0000276 /// addDIEEntry - Add a DIE attribute data and value.
Bill Wendling0310d762009-05-15 09:23:25 +0000277 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000278 void addDIEEntry(DIE *Die, unsigned Attribute, unsigned Form, DIE *Entry) {
279 Die->addValue(Attribute, Form, createDIEEntry(Entry));
Bill Wendling0310d762009-05-15 09:23:25 +0000280 }
281
Devang Patel2c4ceb12009-11-21 02:48:08 +0000282 /// addBlock - Add block data.
Bill Wendling0310d762009-05-15 09:23:25 +0000283 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000284 void addBlock(DIE *Die, unsigned Attribute, unsigned Form, DIEBlock *Block);
Bill Wendling0310d762009-05-15 09:23:25 +0000285
Devang Patel2c4ceb12009-11-21 02:48:08 +0000286 /// addSourceLine - Add location information to specified debug information
Bill Wendling0310d762009-05-15 09:23:25 +0000287 /// entry.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000288 void addSourceLine(DIE *Die, const DIVariable *V);
289 void addSourceLine(DIE *Die, const DIGlobal *G);
290 void addSourceLine(DIE *Die, const DISubprogram *SP);
291 void addSourceLine(DIE *Die, const DIType *Ty);
Devang Patel4063f6b2009-12-07 21:41:32 +0000292 void addSourceLine(DIE *Die, const DINameSpace *NS);
Bill Wendling0310d762009-05-15 09:23:25 +0000293
Devang Patel2c4ceb12009-11-21 02:48:08 +0000294 /// addAddress - Add an address attribute to a die based on the location
Bill Wendling0310d762009-05-15 09:23:25 +0000295 /// provided.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000296 void addAddress(DIE *Die, unsigned Attribute,
Bill Wendling0310d762009-05-15 09:23:25 +0000297 const MachineLocation &Location);
298
Devang Patel2c4ceb12009-11-21 02:48:08 +0000299 /// addComplexAddress - Start with the address based on the location provided,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000300 /// and generate the DWARF information necessary to find the actual variable
301 /// (navigating the extra location information encoded in the type) based on
302 /// the starting location. Add the DWARF information to the die.
303 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000304 void addComplexAddress(DbgVariable *&DV, DIE *Die, unsigned Attribute,
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000305 const MachineLocation &Location);
306
Devang Patel2c4ceb12009-11-21 02:48:08 +0000307 // FIXME: Should be reformulated in terms of addComplexAddress.
308 /// addBlockByrefAddress - Start with the address based on the location
Caroline Ticedc8f6042009-08-31 21:19:37 +0000309 /// provided, and generate the DWARF information necessary to find the
310 /// actual Block variable (navigating the Block struct) based on the
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000311 /// starting location. Add the DWARF information to the die. Obsolete,
Devang Patel2c4ceb12009-11-21 02:48:08 +0000312 /// please use addComplexAddress instead.
Caroline Ticedc8f6042009-08-31 21:19:37 +0000313 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000314 void addBlockByrefAddress(DbgVariable *&DV, DIE *Die, unsigned Attribute,
Caroline Ticedc8f6042009-08-31 21:19:37 +0000315 const MachineLocation &Location);
316
Devang Patel2c4ceb12009-11-21 02:48:08 +0000317 /// addType - Add a new type attribute to the specified entity.
318 void addType(CompileUnit *DW_Unit, DIE *Entity, DIType Ty);
Bill Wendling0310d762009-05-15 09:23:25 +0000319
Devang Patel193f7202009-11-24 01:14:22 +0000320 void addPubTypes(DISubprogram SP);
321
Devang Patel2c4ceb12009-11-21 02:48:08 +0000322 /// constructTypeDIE - Construct basic type die from DIBasicType.
323 void constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000324 DIBasicType BTy);
325
Devang Patel2c4ceb12009-11-21 02:48:08 +0000326 /// constructTypeDIE - Construct derived type die from DIDerivedType.
327 void constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000328 DIDerivedType DTy);
329
Devang Patel2c4ceb12009-11-21 02:48:08 +0000330 /// constructTypeDIE - Construct type DIE from DICompositeType.
331 void constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000332 DICompositeType CTy);
333
Devang Patel2c4ceb12009-11-21 02:48:08 +0000334 /// constructSubrangeDIE - Construct subrange DIE from DISubrange.
335 void constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy);
Bill Wendling0310d762009-05-15 09:23:25 +0000336
Devang Patel2c4ceb12009-11-21 02:48:08 +0000337 /// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
338 void constructArrayTypeDIE(CompileUnit *DW_Unit, DIE &Buffer,
Bill Wendling0310d762009-05-15 09:23:25 +0000339 DICompositeType *CTy);
340
Devang Patel2c4ceb12009-11-21 02:48:08 +0000341 /// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
342 DIE *constructEnumTypeDIE(CompileUnit *DW_Unit, DIEnumerator *ETy);
Bill Wendling0310d762009-05-15 09:23:25 +0000343
Devang Patel4063f6b2009-12-07 21:41:32 +0000344 /// getOrCreateNameSpace - Create a DIE for DINameSpace.
345 DIE *getOrCreateNameSpace(DINameSpace &NS);
346
Devang Patel2c4ceb12009-11-21 02:48:08 +0000347 /// createGlobalVariableDIE - Create new DIE using GV.
348 DIE *createGlobalVariableDIE(CompileUnit *DW_Unit,
Bill Wendling0310d762009-05-15 09:23:25 +0000349 const DIGlobalVariable &GV);
350
Devang Patel2c4ceb12009-11-21 02:48:08 +0000351 /// createMemberDIE - Create new member DIE.
352 DIE *createMemberDIE(CompileUnit *DW_Unit, const DIDerivedType &DT);
Bill Wendling0310d762009-05-15 09:23:25 +0000353
Devang Patel2c4ceb12009-11-21 02:48:08 +0000354 /// createSubprogramDIE - Create new DIE using SP.
Devang Patel1d5cc1d2009-12-03 01:25:38 +0000355 DIE *createSubprogramDIE(CompileUnit *DW_Unit, const DISubprogram &SP);
356
357 /// createMemberSubprogramDIE - Create new member DIE using SP. This
358 /// routine always returns a die with DW_AT_declaration attribute.
359
360 DIE *createMemberSubprogramDIE(CompileUnit *DW_Unit, const DISubprogram &SP);
361
362 /// createRawSubprogramDIE - Create new partially incomplete DIE. This is
363 /// a helper routine used by createMemberSubprogramDIE and
364 /// createSubprogramDIE.
365 DIE *createRawSubprogramDIE(CompileUnit *DW_Unit, const DISubprogram &SP);
Bill Wendling0310d762009-05-15 09:23:25 +0000366
Devang Patel2c4ceb12009-11-21 02:48:08 +0000367 /// findCompileUnit - Get the compile unit for the given descriptor.
Bill Wendling0310d762009-05-15 09:23:25 +0000368 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000369 CompileUnit &findCompileUnit(DICompileUnit Unit) const;
Bill Wendling0310d762009-05-15 09:23:25 +0000370
Devang Patel2c4ceb12009-11-21 02:48:08 +0000371 /// createDbgScopeVariable - Create a new scope variable.
Bill Wendling0310d762009-05-15 09:23:25 +0000372 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000373 DIE *createDbgScopeVariable(DbgVariable *DV, CompileUnit *Unit);
Bill Wendling0310d762009-05-15 09:23:25 +0000374
Devang Patel53bb5c92009-11-10 23:06:00 +0000375 /// getUpdatedDbgScope - Find or create DbgScope assicated with
376 /// the instruction. Initialize scope and update scope hierarchy.
377 DbgScope *getUpdatedDbgScope(MDNode *N, const MachineInstr *MI, MDNode *InlinedAt);
378
379 /// createDbgScope - Create DbgScope for the scope.
380 void createDbgScope(MDNode *Scope, MDNode *InlinedAt);
Devang Patel70d75ca2009-11-12 19:02:56 +0000381
Devang Patel53bb5c92009-11-10 23:06:00 +0000382 DbgScope *getOrCreateAbstractScope(MDNode *N);
383
384 /// findAbstractVariable - Find abstract variable associated with Var.
385 DbgVariable *findAbstractVariable(DIVariable &Var, unsigned FrameIdx,
386 DILocation &Loc);
387
Devang Patel2c4ceb12009-11-21 02:48:08 +0000388 /// updateSubprogramScopeDIE - Find DIE for the given subprogram and
389 /// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes.
390 /// If there are global variables in this scope then create and insert
391 /// DIEs for these variables.
392 DIE *updateSubprogramScopeDIE(MDNode *SPNode);
Bill Wendling0310d762009-05-15 09:23:25 +0000393
Devang Patel2c4ceb12009-11-21 02:48:08 +0000394 /// constructLexicalScope - Construct new DW_TAG_lexical_block
395 /// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels.
396 DIE *constructLexicalScopeDIE(DbgScope *Scope);
Bill Wendling0310d762009-05-15 09:23:25 +0000397
Devang Patel2c4ceb12009-11-21 02:48:08 +0000398 /// constructInlinedScopeDIE - This scope represents inlined body of
399 /// a function. Construct DIE to represent this concrete inlined copy
400 /// of the function.
401 DIE *constructInlinedScopeDIE(DbgScope *Scope);
402
403 /// constructVariableDIE - Construct a DIE for the given DbgVariable.
404 DIE *constructVariableDIE(DbgVariable *DV, DbgScope *S, CompileUnit *Unit);
405
406 /// constructScopeDIE - Construct a DIE for this scope.
407 DIE *constructScopeDIE(DbgScope *Scope);
408
409 /// emitInitial - Emit initial Dwarf declarations. This is necessary for cc
Bill Wendling0310d762009-05-15 09:23:25 +0000410 /// tools to recognize the object file contains Dwarf information.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000411 void emitInitial();
Bill Wendling0310d762009-05-15 09:23:25 +0000412
Devang Patel2c4ceb12009-11-21 02:48:08 +0000413 /// emitDIE - Recusively Emits a debug information entry.
Bill Wendling0310d762009-05-15 09:23:25 +0000414 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000415 void emitDIE(DIE *Die);
Bill Wendling0310d762009-05-15 09:23:25 +0000416
Devang Patel2c4ceb12009-11-21 02:48:08 +0000417 /// computeSizeAndOffset - Compute the size and offset of a DIE.
Bill Wendling0310d762009-05-15 09:23:25 +0000418 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000419 unsigned computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last);
Bill Wendling0310d762009-05-15 09:23:25 +0000420
Devang Patel2c4ceb12009-11-21 02:48:08 +0000421 /// computeSizeAndOffsets - Compute the size and offset of all the DIEs.
Bill Wendling0310d762009-05-15 09:23:25 +0000422 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000423 void computeSizeAndOffsets();
Bill Wendling0310d762009-05-15 09:23:25 +0000424
Devang Patel2c4ceb12009-11-21 02:48:08 +0000425 /// EmitDebugInfo / emitDebugInfoPerCU - Emit the debug info section.
Bill Wendling0310d762009-05-15 09:23:25 +0000426 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000427 void emitDebugInfoPerCU(CompileUnit *Unit);
Bill Wendling0310d762009-05-15 09:23:25 +0000428
Devang Patel2c4ceb12009-11-21 02:48:08 +0000429 void emitDebugInfo();
Bill Wendling0310d762009-05-15 09:23:25 +0000430
Devang Patel2c4ceb12009-11-21 02:48:08 +0000431 /// emitAbbreviations - Emit the abbreviation section.
Bill Wendling0310d762009-05-15 09:23:25 +0000432 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000433 void emitAbbreviations() const;
Bill Wendling0310d762009-05-15 09:23:25 +0000434
Devang Patel2c4ceb12009-11-21 02:48:08 +0000435 /// emitEndOfLineMatrix - Emit the last address of the section and the end of
Bill Wendling0310d762009-05-15 09:23:25 +0000436 /// the line matrix.
437 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000438 void emitEndOfLineMatrix(unsigned SectionEnd);
Bill Wendling0310d762009-05-15 09:23:25 +0000439
Devang Patel2c4ceb12009-11-21 02:48:08 +0000440 /// emitDebugLines - Emit source line information.
Bill Wendling0310d762009-05-15 09:23:25 +0000441 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000442 void emitDebugLines();
Bill Wendling0310d762009-05-15 09:23:25 +0000443
Devang Patel2c4ceb12009-11-21 02:48:08 +0000444 /// emitCommonDebugFrame - Emit common frame info into a debug frame section.
Bill Wendling0310d762009-05-15 09:23:25 +0000445 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000446 void emitCommonDebugFrame();
Bill Wendling0310d762009-05-15 09:23:25 +0000447
Devang Patel2c4ceb12009-11-21 02:48:08 +0000448 /// emitFunctionDebugFrame - Emit per function frame info into a debug frame
Bill Wendling0310d762009-05-15 09:23:25 +0000449 /// section.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000450 void emitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo);
Bill Wendling0310d762009-05-15 09:23:25 +0000451
Devang Patel2c4ceb12009-11-21 02:48:08 +0000452 void emitDebugPubNamesPerCU(CompileUnit *Unit);
Bill Wendling0310d762009-05-15 09:23:25 +0000453
Devang Patel2c4ceb12009-11-21 02:48:08 +0000454 /// emitDebugPubNames - Emit visible names into a debug pubnames section.
Bill Wendling0310d762009-05-15 09:23:25 +0000455 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000456 void emitDebugPubNames();
Bill Wendling0310d762009-05-15 09:23:25 +0000457
Devang Patel193f7202009-11-24 01:14:22 +0000458 /// emitDebugPubTypes - Emit visible types into a debug pubtypes section.
459 ///
460 void emitDebugPubTypes();
461
Devang Patel2c4ceb12009-11-21 02:48:08 +0000462 /// emitDebugStr - Emit visible names into a debug str section.
Bill Wendling0310d762009-05-15 09:23:25 +0000463 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000464 void emitDebugStr();
Bill Wendling0310d762009-05-15 09:23:25 +0000465
Devang Patel2c4ceb12009-11-21 02:48:08 +0000466 /// emitDebugLoc - Emit visible names into a debug loc section.
Bill Wendling0310d762009-05-15 09:23:25 +0000467 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000468 void emitDebugLoc();
Bill Wendling0310d762009-05-15 09:23:25 +0000469
470 /// EmitDebugARanges - Emit visible names into a debug aranges section.
471 ///
472 void EmitDebugARanges();
473
Devang Patel2c4ceb12009-11-21 02:48:08 +0000474 /// emitDebugRanges - Emit visible names into a debug ranges section.
Bill Wendling0310d762009-05-15 09:23:25 +0000475 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000476 void emitDebugRanges();
Bill Wendling0310d762009-05-15 09:23:25 +0000477
Devang Patel2c4ceb12009-11-21 02:48:08 +0000478 /// emitDebugMacInfo - Emit visible names into a debug macinfo section.
Bill Wendling0310d762009-05-15 09:23:25 +0000479 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000480 void emitDebugMacInfo();
Bill Wendling0310d762009-05-15 09:23:25 +0000481
Devang Patel2c4ceb12009-11-21 02:48:08 +0000482 /// emitDebugInlineInfo - Emit inline info using following format.
Bill Wendling0310d762009-05-15 09:23:25 +0000483 /// Section Header:
484 /// 1. length of section
485 /// 2. Dwarf version number
486 /// 3. address size.
487 ///
488 /// Entries (one "entry" for each function that was inlined):
489 ///
490 /// 1. offset into __debug_str section for MIPS linkage name, if exists;
491 /// otherwise offset into __debug_str for regular function name.
492 /// 2. offset into __debug_str section for regular function name.
493 /// 3. an unsigned LEB128 number indicating the number of distinct inlining
494 /// instances for the function.
495 ///
496 /// The rest of the entry consists of a {die_offset, low_pc} pair for each
497 /// inlined instance; the die_offset points to the inlined_subroutine die in
498 /// the __debug_info section, and the low_pc is the starting address for the
499 /// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000500 void emitDebugInlineInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000501
502 /// GetOrCreateSourceID - Look up the source id with the given directory and
503 /// source file names. If none currently exists, create a new id and insert it
504 /// in the SourceIds map. This can update DirectoryNames and SourceFileNames maps
505 /// as well.
Devang Patel65dbc902009-11-25 17:36:49 +0000506 unsigned GetOrCreateSourceID(StringRef DirName, StringRef FileName);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000507
Devang Patel2c4ceb12009-11-21 02:48:08 +0000508 void constructCompileUnit(MDNode *N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000509
Devang Patel2c4ceb12009-11-21 02:48:08 +0000510 void constructGlobalVariableDIE(MDNode *N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000511
Devang Patel2c4ceb12009-11-21 02:48:08 +0000512 void constructSubprogramDIE(MDNode *N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000513
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000514 // FIXME: This should go away in favor of complex addresses.
Caroline Ticedc8f6042009-08-31 21:19:37 +0000515 /// Find the type the programmer originally declared the variable to be
Mike Stump3e4c9bd2009-09-30 00:08:22 +0000516 /// and return that type. Obsolete, use GetComplexAddrType instead.
Caroline Ticedc8f6042009-08-31 21:19:37 +0000517 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000518 DIType getBlockByrefType(DIType Ty, std::string Name);
Caroline Ticedc8f6042009-08-31 21:19:37 +0000519
Bill Wendling0310d762009-05-15 09:23:25 +0000520public:
521 //===--------------------------------------------------------------------===//
522 // Main entry points.
523 //
Chris Lattneraf76e592009-08-22 20:48:53 +0000524 DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T);
Bill Wendling0310d762009-05-15 09:23:25 +0000525 virtual ~DwarfDebug();
526
527 /// ShouldEmitDwarfDebug - Returns true if Dwarf debugging declarations should
528 /// be emitted.
529 bool ShouldEmitDwarfDebug() const { return shouldEmit; }
530
Devang Patel2c4ceb12009-11-21 02:48:08 +0000531 /// beginModule - Emit all Dwarf sections that should come prior to the
Bill Wendling0310d762009-05-15 09:23:25 +0000532 /// content.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000533 void beginModule(Module *M, MachineModuleInfo *MMI);
Bill Wendling0310d762009-05-15 09:23:25 +0000534
Devang Patel2c4ceb12009-11-21 02:48:08 +0000535 /// endModule - Emit all Dwarf sections that should come after the content.
Bill Wendling0310d762009-05-15 09:23:25 +0000536 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000537 void endModule();
Bill Wendling0310d762009-05-15 09:23:25 +0000538
Devang Patel2c4ceb12009-11-21 02:48:08 +0000539 /// beginFunction - Gather pre-function debug information. Assumes being
Bill Wendling0310d762009-05-15 09:23:25 +0000540 /// emitted immediately after the function entry point.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000541 void beginFunction(MachineFunction *MF);
Bill Wendling0310d762009-05-15 09:23:25 +0000542
Devang Patel2c4ceb12009-11-21 02:48:08 +0000543 /// endFunction - Gather and emit post-function debug information.
Bill Wendling0310d762009-05-15 09:23:25 +0000544 ///
Devang Patel2c4ceb12009-11-21 02:48:08 +0000545 void endFunction(MachineFunction *MF);
Bill Wendling0310d762009-05-15 09:23:25 +0000546
Devang Patel2c4ceb12009-11-21 02:48:08 +0000547 /// recordSourceLine - Records location information and associates it with a
Bill Wendling0310d762009-05-15 09:23:25 +0000548 /// label. Returns a unique label ID used to generate a label and provide
549 /// correspondence to the source line list.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000550 unsigned recordSourceLine(unsigned Line, unsigned Col, MDNode *Scope);
Bill Wendling0310d762009-05-15 09:23:25 +0000551
Devang Patel2c4ceb12009-11-21 02:48:08 +0000552 /// getSourceLineCount - Return the number of source lines in the debug
Bill Wendling0310d762009-05-15 09:23:25 +0000553 /// info.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000554 unsigned getSourceLineCount() const {
Bill Wendling0310d762009-05-15 09:23:25 +0000555 return Lines.size();
556 }
557
558 /// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be
559 /// timed. Look up the source id with the given directory and source file
560 /// names. If none currently exists, create a new id and insert it in the
561 /// SourceIds map. This can update DirectoryNames and SourceFileNames maps as
562 /// well.
563 unsigned getOrCreateSourceID(const std::string &DirName,
564 const std::string &FileName);
565
Devang Patel2c4ceb12009-11-21 02:48:08 +0000566 /// extractScopeInformation - Scan machine instructions in this function
Devang Patelaf9e8472009-10-01 20:31:14 +0000567 /// and collect DbgScopes. Return true, if atleast one scope was found.
Devang Patel2c4ceb12009-11-21 02:48:08 +0000568 bool extractScopeInformation(MachineFunction *MF);
Devang Patelaf9e8472009-10-01 20:31:14 +0000569
Devang Patel2c4ceb12009-11-21 02:48:08 +0000570 /// collectVariableInfo - Populate DbgScope entries with variables' info.
571 void collectVariableInfo();
Devang Patele717faa2009-10-06 01:26:37 +0000572
Devang Patel2c4ceb12009-11-21 02:48:08 +0000573 /// beginScope - Process beginning of a scope starting at Label.
574 void beginScope(const MachineInstr *MI, unsigned Label);
Bill Wendling0310d762009-05-15 09:23:25 +0000575
Devang Patel2c4ceb12009-11-21 02:48:08 +0000576 /// endScope - Prcess end of a scope.
577 void endScope(const MachineInstr *MI);
Devang Patel53bb5c92009-11-10 23:06:00 +0000578};
Bill Wendling0310d762009-05-15 09:23:25 +0000579} // End of namespace llvm
580
581#endif