blob: dcaab316b5f113961fd939992533958e3d1e974a [file] [log] [blame]
Bill Wendling2f921f82009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
Chris Lattnerb14490d2010-03-09 00:39:24 +000013
Devang Patel80ae3492009-08-28 23:24:31 +000014#define DEBUG_TYPE "dwarfdebug"
Bill Wendling2f921f82009-05-15 09:23:25 +000015#include "DwarfDebug.h"
Chris Lattner3f3fb972010-04-05 05:24:55 +000016#include "DIE.h"
Eric Christopher4996c702011-11-07 09:24:32 +000017#include "DwarfAccelTable.h"
Devang Patel5eb43192011-04-12 17:40:32 +000018#include "DwarfCompileUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/STLExtras.h"
20#include "llvm/ADT/Statistic.h"
21#include "llvm/ADT/StringExtras.h"
22#include "llvm/ADT/Triple.h"
David Greene829b3e82009-08-19 21:52:55 +000023#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000024#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000025#include "llvm/DIBuilder.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/DebugInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000027#include "llvm/IR/Constants.h"
28#include "llvm/IR/DataLayout.h"
29#include "llvm/IR/Instructions.h"
30#include "llvm/IR/Module.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000031#include "llvm/MC/MCAsmInfo.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000032#include "llvm/MC/MCSection.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000033#include "llvm/MC/MCStreamer.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000034#include "llvm/MC/MCSymbol.h"
Devang Patel6c74a872010-04-27 19:46:33 +000035#include "llvm/Support/CommandLine.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000036#include "llvm/Support/Debug.h"
37#include "llvm/Support/ErrorHandling.h"
Chris Lattnerf5c834f2010-01-22 22:09:00 +000038#include "llvm/Support/FormattedStream.h"
Michael J. Spencer447762d2010-11-29 18:16:10 +000039#include "llvm/Support/Path.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000040#include "llvm/Support/Timer.h"
41#include "llvm/Support/ValueHandle.h"
42#include "llvm/Target/TargetFrameLowering.h"
43#include "llvm/Target/TargetLoweringObjectFile.h"
44#include "llvm/Target/TargetMachine.h"
45#include "llvm/Target/TargetOptions.h"
46#include "llvm/Target/TargetRegisterInfo.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000047using namespace llvm;
48
Jim Grosbacha8683bb2010-07-21 21:21:52 +000049static cl::opt<bool> DisableDebugInfoPrinting("disable-debug-info-print",
Devang Patel30265c42010-07-07 20:12:52 +000050 cl::Hidden,
Devang Patel6c74a872010-04-27 19:46:33 +000051 cl::desc("Disable debug info printing"));
52
Dan Gohman7421ae42010-05-07 01:08:53 +000053static cl::opt<bool> UnknownLocations("use-unknown-locations", cl::Hidden,
Chris Lattner0ab5e2c2011-04-15 05:18:47 +000054 cl::desc("Make an absence of debug location information explicit."),
Dan Gohman7421ae42010-05-07 01:08:53 +000055 cl::init(false));
56
Eric Christopher20b76a72012-08-23 22:36:40 +000057namespace {
58 enum DefaultOnOff {
59 Default, Enable, Disable
60 };
61}
Eric Christopher4996c702011-11-07 09:24:32 +000062
Eric Christopher20b76a72012-08-23 22:36:40 +000063static cl::opt<DefaultOnOff> DwarfAccelTables("dwarf-accel-tables", cl::Hidden,
64 cl::desc("Output prototype dwarf accelerator tables."),
65 cl::values(
66 clEnumVal(Default, "Default for platform"),
67 clEnumVal(Enable, "Enabled"),
68 clEnumVal(Disable, "Disabled"),
69 clEnumValEnd),
70 cl::init(Default));
71
72static cl::opt<DefaultOnOff> DarwinGDBCompat("darwin-gdb-compat", cl::Hidden,
Eric Christopher978fbff2012-08-23 07:10:46 +000073 cl::desc("Compatibility with Darwin gdb."),
Eric Christopher20b76a72012-08-23 22:36:40 +000074 cl::values(
75 clEnumVal(Default, "Default for platform"),
76 clEnumVal(Enable, "Enabled"),
77 clEnumVal(Disable, "Disabled"),
78 clEnumValEnd),
79 cl::init(Default));
Eric Christopher978fbff2012-08-23 07:10:46 +000080
Eric Christophercdf218d2012-12-10 19:51:21 +000081static cl::opt<DefaultOnOff> SplitDwarf("split-dwarf", cl::Hidden,
82 cl::desc("Output prototype dwarf split debug info."),
Eric Christopher29424312012-11-12 22:22:20 +000083 cl::values(
84 clEnumVal(Default, "Default for platform"),
85 clEnumVal(Enable, "Enabled"),
86 clEnumVal(Disable, "Disabled"),
87 clEnumValEnd),
88 cl::init(Default));
89
Bill Wendlingfcc14142010-04-07 09:28:04 +000090namespace {
91 const char *DWARFGroupName = "DWARF Emission";
92 const char *DbgTimerName = "DWARF Debug Writer";
93} // end anonymous namespace
94
Bill Wendling2f921f82009-05-15 09:23:25 +000095//===----------------------------------------------------------------------===//
96
Eric Christopheracdcbdb2012-11-27 22:43:45 +000097// Configuration values for initial hash set sizes (log2).
98//
Bill Wendling2f921f82009-05-15 09:23:25 +000099static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-05-15 09:23:25 +0000100
101namespace llvm {
102
Nick Lewycky019d2552011-07-29 03:49:23 +0000103DIType DbgVariable::getType() const {
Devang Patelf20c4f72011-04-12 22:53:02 +0000104 DIType Ty = Var.getType();
105 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
106 // addresses instead.
107 if (Var.isBlockByrefVariable()) {
108 /* Byref variables, in Blocks, are declared by the programmer as
109 "SomeType VarName;", but the compiler creates a
110 __Block_byref_x_VarName struct, and gives the variable VarName
111 either the struct, or a pointer to the struct, as its type. This
112 is necessary for various behind-the-scenes things the compiler
113 needs to do with by-reference variables in blocks.
Eric Christopher6a841382012-11-19 22:42:10 +0000114
Devang Patelf20c4f72011-04-12 22:53:02 +0000115 However, as far as the original *programmer* is concerned, the
116 variable should still have type 'SomeType', as originally declared.
Eric Christopher6a841382012-11-19 22:42:10 +0000117
Devang Patelf20c4f72011-04-12 22:53:02 +0000118 The following function dives into the __Block_byref_x_VarName
119 struct to find the original type of the variable. This will be
120 passed back to the code generating the type for the Debug
121 Information Entry for the variable 'VarName'. 'VarName' will then
122 have the original type 'SomeType' in its debug information.
Eric Christopher6a841382012-11-19 22:42:10 +0000123
Devang Patelf20c4f72011-04-12 22:53:02 +0000124 The original type 'SomeType' will be the type of the field named
125 'VarName' inside the __Block_byref_x_VarName struct.
Eric Christopher6a841382012-11-19 22:42:10 +0000126
Devang Patelf20c4f72011-04-12 22:53:02 +0000127 NOTE: In order for this to not completely fail on the debugger
128 side, the Debug Information Entry for the variable VarName needs to
129 have a DW_AT_location that tells the debugger how to unwind through
130 the pointers and __Block_byref_x_VarName struct to find the actual
131 value of the variable. The function addBlockByrefType does this. */
132 DIType subType = Ty;
133 unsigned tag = Ty.getTag();
Eric Christopher6a841382012-11-19 22:42:10 +0000134
Devang Patelf20c4f72011-04-12 22:53:02 +0000135 if (tag == dwarf::DW_TAG_pointer_type) {
136 DIDerivedType DTy = DIDerivedType(Ty);
137 subType = DTy.getTypeDerivedFrom();
138 }
Eric Christopher6a841382012-11-19 22:42:10 +0000139
Devang Patelf20c4f72011-04-12 22:53:02 +0000140 DICompositeType blockStruct = DICompositeType(subType);
141 DIArray Elements = blockStruct.getTypeArray();
Eric Christopher6a841382012-11-19 22:42:10 +0000142
Devang Patelf20c4f72011-04-12 22:53:02 +0000143 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
144 DIDescriptor Element = Elements.getElement(i);
145 DIDerivedType DT = DIDerivedType(Element);
146 if (getName() == DT.getName())
147 return (DT.getTypeDerivedFrom());
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000148 }
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000149 }
Devang Patelf20c4f72011-04-12 22:53:02 +0000150 return Ty;
151}
Bill Wendling2f921f82009-05-15 09:23:25 +0000152
Chris Lattnerf5d06362010-04-05 04:09:20 +0000153} // end llvm namespace
Bill Wendling2f921f82009-05-15 09:23:25 +0000154
Chris Lattnerf0d6bd32010-04-05 05:11:15 +0000155DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Eric Christopherd79f5482012-12-10 19:51:13 +0000156 : Asm(A), MMI(Asm->MMI), FirstCU(0),
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000157 AbbreviationsSet(InitAbbreviationsSetSize),
Eric Christopher27614582013-01-08 22:22:06 +0000158 SourceIdMap(DIEValueAllocator),
Eric Christopherc8a310e2012-12-10 23:34:43 +0000159 PrevLabel(NULL), GlobalCUIndexCount(0),
Eric Christopher27614582013-01-08 22:22:06 +0000160 InfoHolder(A, &AbbreviationsSet, &Abbreviations, "info_string",
161 DIEValueAllocator),
Eric Christopher3c5a1912012-12-19 22:02:53 +0000162 SkeletonCU(0),
163 SkeletonAbbrevSet(InitAbbreviationsSetSize),
Eric Christopher27614582013-01-08 22:22:06 +0000164 SkeletonHolder(A, &SkeletonAbbrevSet, &SkeletonAbbrevs, "skel_string",
165 DIEValueAllocator) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000166
Rafael Espindolaa7160962011-05-06 14:56:22 +0000167 DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
Chris Lattnere58b5472010-04-04 23:10:38 +0000168 DwarfStrSectionSym = TextSectionSym = 0;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000169 DwarfDebugRangeSectionSym = DwarfDebugLocSectionSym = 0;
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000170 DwarfAbbrevDWOSectionSym = DwarfStrDWOSectionSym = 0;
Devang Patel9fc11702010-05-25 23:40:22 +0000171 FunctionBeginSym = FunctionEndSym = 0;
Eric Christopherad9fe892012-04-02 17:58:52 +0000172
Eric Christopher978fbff2012-08-23 07:10:46 +0000173 // Turn on accelerator tables and older gdb compatibility
174 // for Darwin.
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000175 bool IsDarwin = Triple(M->getTargetTriple()).isOSDarwin();
Eric Christopher20b76a72012-08-23 22:36:40 +0000176 if (DarwinGDBCompat == Default) {
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000177 if (IsDarwin)
178 IsDarwinGDBCompat = true;
Eric Christopher20b76a72012-08-23 22:36:40 +0000179 else
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000180 IsDarwinGDBCompat = false;
Eric Christopher20b76a72012-08-23 22:36:40 +0000181 } else
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000182 IsDarwinGDBCompat = DarwinGDBCompat == Enable ? true : false;
Eric Christopher4977f212012-08-23 22:36:36 +0000183
Eric Christopher20b76a72012-08-23 22:36:40 +0000184 if (DwarfAccelTables == Default) {
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000185 if (IsDarwin)
186 HasDwarfAccelTables = true;
Eric Christopher20b76a72012-08-23 22:36:40 +0000187 else
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000188 HasDwarfAccelTables = false;
Eric Christopher20b76a72012-08-23 22:36:40 +0000189 } else
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000190 HasDwarfAccelTables = DwarfAccelTables == Enable ? true : false;
Eric Christopher20b76a72012-08-23 22:36:40 +0000191
Eric Christophercdf218d2012-12-10 19:51:21 +0000192 if (SplitDwarf == Default)
193 HasSplitDwarf = false;
Eric Christopher29424312012-11-12 22:22:20 +0000194 else
Eric Christophercdf218d2012-12-10 19:51:21 +0000195 HasSplitDwarf = SplitDwarf == Enable ? true : false;
Eric Christopher29424312012-11-12 22:22:20 +0000196
Dan Gohman6e681a52010-06-18 15:56:31 +0000197 {
198 NamedRegionTimer T(DbgTimerName, DWARFGroupName, TimePassesIsEnabled);
Eric Christopher58f41952012-11-19 22:42:15 +0000199 beginModule();
Torok Edwinf8dba242010-04-07 10:44:46 +0000200 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000201}
202DwarfDebug::~DwarfDebug() {
Bill Wendling2f921f82009-05-15 09:23:25 +0000203}
204
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000205// Switch to the specified MCSection and emit an assembler
206// temporary label to it if SymbolStem is specified.
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000207static MCSymbol *emitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Eric Christophera7b61892011-11-07 09:18:38 +0000208 const char *SymbolStem = 0) {
209 Asm->OutStreamer.SwitchSection(Section);
210 if (!SymbolStem) return 0;
211
212 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
213 Asm->OutStreamer.EmitLabel(TmpSym);
214 return TmpSym;
215}
216
Eric Christophere698f532012-12-20 21:58:36 +0000217MCSymbol *DwarfUnits::getStringPoolSym() {
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000218 return Asm->GetTempSymbol(StringPref);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000219}
220
Eric Christophere698f532012-12-20 21:58:36 +0000221MCSymbol *DwarfUnits::getStringPoolEntry(StringRef Str) {
222 std::pair<MCSymbol*, unsigned> &Entry =
Eric Christopher27614582013-01-08 22:22:06 +0000223 StringPool.GetOrCreateValue(Str).getValue();
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000224 if (Entry.first) return Entry.first;
225
226 Entry.second = NextStringPoolNumber++;
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000227 return Entry.first = Asm->GetTempSymbol(StringPref, Entry.second);
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000228}
229
Eric Christopher2cbd5762013-01-07 19:32:41 +0000230unsigned DwarfUnits::getStringPoolIndex(StringRef Str) {
231 std::pair<MCSymbol*, unsigned> &Entry =
Eric Christopher27614582013-01-08 22:22:06 +0000232 StringPool.GetOrCreateValue(Str).getValue();
Eric Christopher2cbd5762013-01-07 19:32:41 +0000233 if (Entry.first) return Entry.second;
234
235 Entry.second = NextStringPoolNumber++;
236 Entry.first = Asm->GetTempSymbol(StringPref, Entry.second);
237 return Entry.second;
238}
239
Eric Christopher962c9082013-01-15 23:56:56 +0000240unsigned DwarfUnits::getAddrPoolIndex(MCSymbol *Sym) {
241 std::pair<MCSymbol*, unsigned> &Entry = AddressPool[Sym];
242 if (Entry.first) return Entry.second;
243
244 Entry.second = NextAddrPoolNumber++;
245 Entry.first = Sym;
246 return Entry.second;
247}
248
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000249// Define a unique number for the abbreviation.
250//
Eric Christopherc8a310e2012-12-10 23:34:43 +0000251void DwarfUnits::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000252 // Profile the node so that we can make it unique.
253 FoldingSetNodeID ID;
254 Abbrev.Profile(ID);
255
256 // Check the set for priors.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000257 DIEAbbrev *InSet = AbbreviationsSet->GetOrInsertNode(&Abbrev);
Bill Wendling2f921f82009-05-15 09:23:25 +0000258
259 // If it's newly added.
260 if (InSet == &Abbrev) {
261 // Add to abbreviation list.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000262 Abbreviations->push_back(&Abbrev);
Bill Wendling2f921f82009-05-15 09:23:25 +0000263
264 // Assign the vector position + 1 as its number.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000265 Abbrev.setNumber(Abbreviations->size());
Bill Wendling2f921f82009-05-15 09:23:25 +0000266 } else {
267 // Assign existing abbreviation number.
268 Abbrev.setNumber(InSet->getNumber());
269 }
270}
271
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000272// If special LLVM prefix that is used to inform the asm
273// printer to not emit usual symbol prefix before the symbol name is used then
274// return linkage name after skipping this special LLVM prefix.
Devang Patel43ef34d2010-01-05 01:46:14 +0000275static StringRef getRealLinkageName(StringRef LinkageName) {
276 char One = '\1';
277 if (LinkageName.startswith(StringRef(&One, 1)))
278 return LinkageName.substr(1);
279 return LinkageName;
280}
281
Eric Christopherd9843b32011-11-10 19:25:34 +0000282static bool isObjCClass(StringRef Name) {
283 return Name.startswith("+") || Name.startswith("-");
284}
285
286static bool hasObjCCategory(StringRef Name) {
287 if (!isObjCClass(Name)) return false;
288
289 size_t pos = Name.find(')');
290 if (pos != std::string::npos) {
291 if (Name[pos+1] != ' ') return false;
292 return true;
293 }
294 return false;
295}
296
297static void getObjCClassCategory(StringRef In, StringRef &Class,
298 StringRef &Category) {
299 if (!hasObjCCategory(In)) {
300 Class = In.slice(In.find('[') + 1, In.find(' '));
301 Category = "";
302 return;
303 }
304
305 Class = In.slice(In.find('[') + 1, In.find('('));
306 Category = In.slice(In.find('[') + 1, In.find(' '));
307 return;
308}
309
310static StringRef getObjCMethodName(StringRef In) {
311 return In.slice(In.find(' ') + 1, In.find(']'));
312}
313
314// Add the various names to the Dwarf accelerator table names.
315static void addSubprogramNames(CompileUnit *TheCU, DISubprogram SP,
316 DIE* Die) {
317 if (!SP.isDefinition()) return;
Eric Christopher6a841382012-11-19 22:42:10 +0000318
Eric Christopherd9843b32011-11-10 19:25:34 +0000319 TheCU->addAccelName(SP.getName(), Die);
320
321 // If the linkage name is different than the name, go ahead and output
322 // that as well into the name table.
323 if (SP.getLinkageName() != "" && SP.getName() != SP.getLinkageName())
324 TheCU->addAccelName(SP.getLinkageName(), Die);
325
326 // If this is an Objective-C selector name add it to the ObjC accelerator
327 // too.
328 if (isObjCClass(SP.getName())) {
329 StringRef Class, Category;
330 getObjCClassCategory(SP.getName(), Class, Category);
331 TheCU->addAccelObjC(Class, Die);
332 if (Category != "")
333 TheCU->addAccelObjC(Category, Die);
334 // Also add the base method name to the name table.
335 TheCU->addAccelName(getObjCMethodName(SP.getName()), Die);
336 }
337}
338
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000339// Find DIE for the given subprogram and attach appropriate DW_AT_low_pc
340// and DW_AT_high_pc attributes. If there are global variables in this
341// scope then create and insert DIEs for these variables.
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000342DIE *DwarfDebug::updateSubprogramScopeDIE(CompileUnit *SPCU,
343 const MDNode *SPNode) {
Devang Patel1a0df9a2010-05-10 22:49:55 +0000344 DIE *SPDie = SPCU->getDIE(SPNode);
Devang Patela37a95e2010-07-07 22:20:57 +0000345
Chris Lattner3a383cb2010-04-05 00:13:49 +0000346 assert(SPDie && "Unable to find subprogram DIE!");
347 DISubprogram SP(SPNode);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000348
Bill Wendlingf720bf62012-11-07 05:19:04 +0000349 // If we're updating an abstract DIE, then we will be adding the children and
350 // object pointer later on. But what we don't want to do is process the
351 // concrete DIE twice.
Devang Patela37a95e2010-07-07 22:20:57 +0000352 if (DIE *AbsSPDIE = AbstractSPDies.lookup(SPNode)) {
Bill Wendlingf720bf62012-11-07 05:19:04 +0000353 // Pick up abstract subprogram DIE.
Devang Patela37a95e2010-07-07 22:20:57 +0000354 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Devang Patelf20c4f72011-04-12 22:53:02 +0000355 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_abstract_origin,
356 dwarf::DW_FORM_ref4, AbsSPDIE);
Devang Patela37a95e2010-07-07 22:20:57 +0000357 SPCU->addDie(SPDie);
Bill Wendlingd9bb9b62012-11-07 04:42:18 +0000358 } else {
359 DISubprogram SPDecl = SP.getFunctionDeclaration();
360 if (!SPDecl.isSubprogram()) {
361 // There is not any need to generate specification DIE for a function
362 // defined at compile unit level. If a function is defined inside another
363 // function then gdb prefers the definition at top level and but does not
364 // expect specification DIE in parent function. So avoid creating
365 // specification DIE for a function defined inside a function.
366 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
367 !SP.getContext().isFile() &&
368 !isSubprogramContext(SP.getContext())) {
369 SPCU->addFlag(SPDie, dwarf::DW_AT_declaration);
370
371 // Add arguments.
372 DICompositeType SPTy = SP.getType();
373 DIArray Args = SPTy.getTypeArray();
374 unsigned SPTag = SPTy.getTag();
375 if (SPTag == dwarf::DW_TAG_subroutine_type)
376 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
377 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
378 DIType ATy = DIType(Args.getElement(i));
379 SPCU->addType(Arg, ATy);
380 if (ATy.isArtificial())
381 SPCU->addFlag(Arg, dwarf::DW_AT_artificial);
382 if (ATy.isObjectPointer())
383 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_object_pointer,
384 dwarf::DW_FORM_ref4, Arg);
385 SPDie->addChild(Arg);
386 }
387 DIE *SPDeclDie = SPDie;
388 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Eric Christopher6a841382012-11-19 22:42:10 +0000389 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_specification,
390 dwarf::DW_FORM_ref4, SPDeclDie);
Bill Wendlingd9bb9b62012-11-07 04:42:18 +0000391 SPCU->addDie(SPDie);
392 }
393 }
Devang Patela37a95e2010-07-07 22:20:57 +0000394 }
395
Eric Christopher962c9082013-01-15 23:56:56 +0000396 SPCU->addLabelAddress(SPDie, dwarf::DW_AT_low_pc,
397 Asm->GetTempSymbol("func_begin",
398 Asm->getFunctionNumber()));
399 SPCU->addLabelAddress(SPDie, dwarf::DW_AT_high_pc,
400 Asm->GetTempSymbol("func_end",
401 Asm->getFunctionNumber()));
Chris Lattner3a383cb2010-04-05 00:13:49 +0000402 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
403 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
Devang Patelf20c4f72011-04-12 22:53:02 +0000404 SPCU->addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patel6efc8e52010-02-06 01:02:37 +0000405
Eric Christopherd9843b32011-11-10 19:25:34 +0000406 // Add name to the name table, we do this here because we're guaranteed
407 // to have concrete versions of our DW_TAG_subprogram nodes.
408 addSubprogramNames(SPCU, SP, SPDie);
Eric Christopher6a841382012-11-19 22:42:10 +0000409
Chris Lattner3a383cb2010-04-05 00:13:49 +0000410 return SPDie;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000411}
412
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000413// Construct new DW_TAG_lexical_block for this scope and attach
414// DW_AT_low_pc/DW_AT_high_pc labels.
Eric Christopher6a841382012-11-19 22:42:10 +0000415DIE *DwarfDebug::constructLexicalScopeDIE(CompileUnit *TheCU,
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000416 LexicalScope *Scope) {
Devang Patel6c74a872010-04-27 19:46:33 +0000417 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
418 if (Scope->isAbstractScope())
419 return ScopeDIE;
420
Devang Patel7e623022011-08-10 20:55:27 +0000421 const SmallVector<InsnRange, 4> &Ranges = Scope->getRanges();
Devang Patel6c74a872010-04-27 19:46:33 +0000422 if (Ranges.empty())
423 return 0;
424
Devang Patel7e623022011-08-10 20:55:27 +0000425 SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin();
Devang Patel6c74a872010-04-27 19:46:33 +0000426 if (Ranges.size() > 1) {
427 // .debug_range section has not been laid out yet. Emit offset in
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000428 // .debug_range as a uint, size 4, for now. emitDIE will handle
Devang Patel6c74a872010-04-27 19:46:33 +0000429 // DW_AT_ranges appropriately.
Devang Patelf20c4f72011-04-12 22:53:02 +0000430 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
Eric Christopher6a841382012-11-19 22:42:10 +0000431 DebugRangeSymbols.size()
Chandler Carruth5da3f052012-11-01 09:14:31 +0000432 * Asm->getDataLayout().getPointerSize());
Devang Patel7e623022011-08-10 20:55:27 +0000433 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Patel6c74a872010-04-27 19:46:33 +0000434 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patel9fc11702010-05-25 23:40:22 +0000435 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
436 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
Devang Patel6c74a872010-04-27 19:46:33 +0000437 }
438 DebugRangeSymbols.push_back(NULL);
439 DebugRangeSymbols.push_back(NULL);
440 return ScopeDIE;
441 }
442
Eric Christopher962c9082013-01-15 23:56:56 +0000443 MCSymbol *Start = getLabelBeforeInsn(RI->first);
444 MCSymbol *End = getLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +0000445
Devang Patel9fc11702010-05-25 23:40:22 +0000446 if (End == 0) return 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000447
Chris Lattnere13c3722010-03-09 01:58:53 +0000448 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
449 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000450
Eric Christopher962c9082013-01-15 23:56:56 +0000451 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_low_pc, Start);
452 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_high_pc, End);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000453
454 return ScopeDIE;
455}
456
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000457// This scope represents inlined body of a function. Construct DIE to
458// represent this concrete inlined copy of the function.
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000459DIE *DwarfDebug::constructInlinedScopeDIE(CompileUnit *TheCU,
460 LexicalScope *Scope) {
Devang Patel7e623022011-08-10 20:55:27 +0000461 const SmallVector<InsnRange, 4> &Ranges = Scope->getRanges();
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000462 assert(Ranges.empty() == false &&
463 "LexicalScope does not have instruction markers!");
Devang Patel6c74a872010-04-27 19:46:33 +0000464
Devang Patelf098ce22011-07-27 00:34:13 +0000465 if (!Scope->getScopeNode())
466 return NULL;
467 DIScope DS(Scope->getScopeNode());
468 DISubprogram InlinedSP = getDISubprogram(DS);
Devang Patelf098ce22011-07-27 00:34:13 +0000469 DIE *OriginDIE = TheCU->getDIE(InlinedSP);
470 if (!OriginDIE) {
Bill Wendling10e0e2e2012-10-30 17:51:02 +0000471 DEBUG(dbgs() << "Unable to find original DIE for an inlined subprogram.");
Devang Patelf098ce22011-07-27 00:34:13 +0000472 return NULL;
473 }
474
Devang Patel7e623022011-08-10 20:55:27 +0000475 SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin();
Eric Christopher962c9082013-01-15 23:56:56 +0000476 MCSymbol *StartLabel = getLabelBeforeInsn(RI->first);
477 MCSymbol *EndLabel = getLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +0000478
Devang Patel4c6bd662010-07-08 22:39:20 +0000479 if (StartLabel == 0 || EndLabel == 0) {
Bill Wendling10e0e2e2012-10-30 17:51:02 +0000480 llvm_unreachable("Unexpected Start and End labels for an inlined scope!");
Devang Patel6c74a872010-04-27 19:46:33 +0000481 }
Chris Lattnere13c3722010-03-09 01:58:53 +0000482 assert(StartLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +0000483 "Invalid starting label for an inlined scope!");
Chris Lattnere13c3722010-03-09 01:58:53 +0000484 assert(EndLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +0000485 "Invalid end label for an inlined scope!");
Devang Patel6c74a872010-04-27 19:46:33 +0000486
Devang Patel73bc1722011-05-05 17:54:26 +0000487 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
Devang Patelf20c4f72011-04-12 22:53:02 +0000488 TheCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
489 dwarf::DW_FORM_ref4, OriginDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000490
Devang Patelf098ce22011-07-27 00:34:13 +0000491 if (Ranges.size() > 1) {
492 // .debug_range section has not been laid out yet. Emit offset in
493 // .debug_range as a uint, size 4, for now. emitDIE will handle
494 // DW_AT_ranges appropriately.
495 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
Eric Christopher6a841382012-11-19 22:42:10 +0000496 DebugRangeSymbols.size()
Chandler Carruth5da3f052012-11-01 09:14:31 +0000497 * Asm->getDataLayout().getPointerSize());
Devang Patel7e623022011-08-10 20:55:27 +0000498 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Patelf098ce22011-07-27 00:34:13 +0000499 RE = Ranges.end(); RI != RE; ++RI) {
500 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
501 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
502 }
503 DebugRangeSymbols.push_back(NULL);
504 DebugRangeSymbols.push_back(NULL);
505 } else {
Eric Christopher962c9082013-01-15 23:56:56 +0000506 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_low_pc, StartLabel);
507 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_high_pc, EndLabel);
Devang Patelf098ce22011-07-27 00:34:13 +0000508 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000509
510 InlinedSubprogramDIEs.insert(OriginDIE);
511
512 // Track the start label for this inlined function.
Devang Patelf098ce22011-07-27 00:34:13 +0000513 //.debug_inlined section specification does not clearly state how
514 // to emit inlined scope that is split into multiple instruction ranges.
515 // For now, use first instruction range and emit low_pc/high_pc pair and
516 // corresponding .debug_inlined section entry for this pair.
Devang Patel32cc43c2010-05-07 20:54:48 +0000517 DenseMap<const MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000518 I = InlineInfo.find(InlinedSP);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000519
520 if (I == InlineInfo.end()) {
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000521 InlineInfo[InlinedSP].push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000522 InlinedSPNodes.push_back(InlinedSP);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000523 } else
Chris Lattner085b6522010-03-09 00:31:02 +0000524 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000525
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000526 DILocation DL(Scope->getInlinedAt());
Eric Christopher0925c622012-03-26 21:38:38 +0000527 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0,
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000528 getOrCreateSourceID(DL.getFilename(), DL.getDirectory()));
Devang Patelf20c4f72011-04-12 22:53:02 +0000529 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000530
Eric Christopher8dda5d02011-12-04 06:02:38 +0000531 // Add name to the name table, we do this here because we're guaranteed
532 // to have concrete versions of our DW_TAG_inlined_subprogram nodes.
533 addSubprogramNames(TheCU, InlinedSP, ScopeDIE);
Eric Christopher6a841382012-11-19 22:42:10 +0000534
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000535 return ScopeDIE;
536}
537
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000538// Construct a DIE for this scope.
Devang Patel3acc70e2011-08-15 22:04:40 +0000539DIE *DwarfDebug::constructScopeDIE(CompileUnit *TheCU, LexicalScope *Scope) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000540 if (!Scope || !Scope->getScopeNode())
541 return NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000542
Manman Ren53f3f9f2013-01-31 20:05:14 +0000543 DIScope DS(Scope->getScopeNode());
544 // Early return to avoid creating dangling variable|scope DIEs.
545 if (!Scope->getInlinedAt() && DS.isSubprogram() && Scope->isAbstractScope() &&
546 !TheCU->getDIE(DS))
547 return NULL;
548
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000549 SmallVector<DIE *, 8> Children;
Eric Christophere3417762012-09-12 23:36:19 +0000550 DIE *ObjectPointer = NULL;
Devang Patel6c622ef2011-03-01 22:58:55 +0000551
552 // Collect arguments for current function.
Devang Patel7e623022011-08-10 20:55:27 +0000553 if (LScopes.isCurrentFunctionScope(Scope))
Devang Patel6c622ef2011-03-01 22:58:55 +0000554 for (unsigned i = 0, N = CurrentFnArguments.size(); i < N; ++i)
555 if (DbgVariable *ArgDV = CurrentFnArguments[i])
Eric Christopher6a841382012-11-19 22:42:10 +0000556 if (DIE *Arg =
Eric Christophere3417762012-09-12 23:36:19 +0000557 TheCU->constructVariableDIE(ArgDV, Scope->isAbstractScope())) {
Devang Patel6c622ef2011-03-01 22:58:55 +0000558 Children.push_back(Arg);
Eric Christophere3417762012-09-12 23:36:19 +0000559 if (ArgDV->isObjectPointer()) ObjectPointer = Arg;
560 }
Devang Patel6c622ef2011-03-01 22:58:55 +0000561
Eric Christopherf84354b2011-10-03 15:49:16 +0000562 // Collect lexical scope children first.
Devang Patel7e623022011-08-10 20:55:27 +0000563 const SmallVector<DbgVariable *, 8> &Variables = ScopeVariables.lookup(Scope);
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000564 for (unsigned i = 0, N = Variables.size(); i < N; ++i)
Eric Christopher6a841382012-11-19 22:42:10 +0000565 if (DIE *Variable =
Eric Christopherc1c8a1b2012-09-21 22:18:52 +0000566 TheCU->constructVariableDIE(Variables[i], Scope->isAbstractScope())) {
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000567 Children.push_back(Variable);
Eric Christopherc1c8a1b2012-09-21 22:18:52 +0000568 if (Variables[i]->isObjectPointer()) ObjectPointer = Variable;
569 }
Devang Patel7e623022011-08-10 20:55:27 +0000570 const SmallVector<LexicalScope *, 4> &Scopes = Scope->getChildren();
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000571 for (unsigned j = 0, M = Scopes.size(); j < M; ++j)
Devang Patel3acc70e2011-08-15 22:04:40 +0000572 if (DIE *Nested = constructScopeDIE(TheCU, Scopes[j]))
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000573 Children.push_back(Nested);
Devang Patel3b548aa2010-03-08 20:52:55 +0000574 DIE *ScopeDIE = NULL;
575 if (Scope->getInlinedAt())
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000576 ScopeDIE = constructInlinedScopeDIE(TheCU, Scope);
Devang Patel3b548aa2010-03-08 20:52:55 +0000577 else if (DS.isSubprogram()) {
Devang Pateld10b2af2010-06-28 20:53:04 +0000578 ProcessedSPNodes.insert(DS);
Devang Patela37a95e2010-07-07 22:20:57 +0000579 if (Scope->isAbstractScope()) {
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000580 ScopeDIE = TheCU->getDIE(DS);
Devang Patela37a95e2010-07-07 22:20:57 +0000581 // Note down abstract DIE.
582 if (ScopeDIE)
583 AbstractSPDies.insert(std::make_pair(DS, ScopeDIE));
584 }
Devang Patel3b548aa2010-03-08 20:52:55 +0000585 else
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000586 ScopeDIE = updateSubprogramScopeDIE(TheCU, DS);
Devang Patel3b548aa2010-03-08 20:52:55 +0000587 }
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000588 else {
589 // There is no need to emit empty lexical block DIE.
590 if (Children.empty())
591 return NULL;
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000592 ScopeDIE = constructLexicalScopeDIE(TheCU, Scope);
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000593 }
Eric Christopher6a841382012-11-19 22:42:10 +0000594
Devang Patel23b2ae62010-03-29 22:59:58 +0000595 if (!ScopeDIE) return NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000596
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000597 // Add children
598 for (SmallVector<DIE *, 8>::iterator I = Children.begin(),
599 E = Children.end(); I != E; ++I)
600 ScopeDIE->addChild(*I);
Devang Patel04d2f2d2009-11-24 01:14:22 +0000601
Eric Christophere3417762012-09-12 23:36:19 +0000602 if (DS.isSubprogram() && ObjectPointer != NULL)
603 TheCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer,
604 dwarf::DW_FORM_ref4, ObjectPointer);
605
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000606 if (DS.isSubprogram())
Eric Christopherd9843b32011-11-10 19:25:34 +0000607 TheCU->addPubTypes(DISubprogram(DS));
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000608
Eric Christopherd9843b32011-11-10 19:25:34 +0000609 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000610}
611
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000612// Look up the source id with the given directory and source file names.
613// If none currently exists, create a new id and insert it in the
614// SourceIds map. This can update DirectoryNames and SourceFileNames maps
615// as well.
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000616unsigned DwarfDebug::getOrCreateSourceID(StringRef FileName,
Devang Patele01b75c2011-03-24 20:30:50 +0000617 StringRef DirName) {
Devang Patel871d0b12010-09-16 20:57:49 +0000618 // If FE did not provide a file name, then assume stdin.
619 if (FileName.empty())
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000620 return getOrCreateSourceID("<stdin>", StringRef());
Devang Patele01b75c2011-03-24 20:30:50 +0000621
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000622 // TODO: this might not belong here. See if we can factor this better.
623 if (DirName == CompilationDir)
624 DirName = "";
625
Nick Lewycky40f8f2f2011-10-17 23:05:28 +0000626 unsigned SrcId = SourceIdMap.size()+1;
Devang Patel871d0b12010-09-16 20:57:49 +0000627
Benjamin Kramer71b19732012-03-11 14:56:26 +0000628 // We look up the file/dir pair by concatenating them with a zero byte.
629 SmallString<128> NamePair;
630 NamePair += DirName;
631 NamePair += '\0'; // Zero bytes are not allowed in paths.
632 NamePair += FileName;
633
634 StringMapEntry<unsigned> &Ent = SourceIdMap.GetOrCreateValue(NamePair, SrcId);
635 if (Ent.getValue() != SrcId)
636 return Ent.getValue();
Bill Wendling2b128d72009-05-20 23:19:06 +0000637
Rafael Espindola67c6ab82010-11-18 02:04:25 +0000638 // Print out a .file directive to specify files for .loc directives.
Benjamin Kramer71b19732012-03-11 14:56:26 +0000639 Asm->OutStreamer.EmitDwarfFileDirective(SrcId, DirName, FileName);
Bill Wendling2b128d72009-05-20 23:19:06 +0000640
641 return SrcId;
642}
643
Eric Christopher48fef592012-12-20 21:58:40 +0000644// Create new CompileUnit for the given metadata node with tag
645// DW_TAG_compile_unit.
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000646CompileUnit *DwarfDebug::constructCompileUnit(const MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +0000647 DICompileUnit DIUnit(N);
Devang Patel2d9caf92009-11-25 17:36:49 +0000648 StringRef FN = DIUnit.getFilename();
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000649 CompilationDir = DIUnit.getDirectory();
Eli Benderskyb42d1462012-12-03 18:45:45 +0000650 // Call this to emit a .file directive if it wasn't emitted for the source
651 // file this CU comes from yet.
652 getOrCreateSourceID(FN, CompilationDir);
Bill Wendling2b128d72009-05-20 23:19:06 +0000653
654 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Eli Benderskyb42d1462012-12-03 18:45:45 +0000655 CompileUnit *NewCU = new CompileUnit(GlobalCUIndexCount++,
Eric Christophere698f532012-12-20 21:58:36 +0000656 DIUnit.getLanguage(), Die, Asm,
657 this, &InfoHolder);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000658 NewCU->addString(Die, dwarf::DW_AT_producer, DIUnit.getProducer());
Devang Patelf20c4f72011-04-12 22:53:02 +0000659 NewCU->addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data2,
660 DIUnit.getLanguage());
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000661 NewCU->addString(Die, dwarf::DW_AT_name, FN);
Eric Christopherb1b94512012-08-01 18:19:01 +0000662 // 2.17.1 requires that we use DW_AT_low_pc for a single entry point
Eric Christopher962c9082013-01-15 23:56:56 +0000663 // into an entity. We're using 0 (or a NULL label) for this.
664 NewCU->addLabelAddress(Die, dwarf::DW_AT_low_pc, NULL);
Manman Ren4e042a62013-02-05 21:52:47 +0000665
666 // Define start line table label for each Compile Unit.
667 MCSymbol *LineTableStartSym = Asm->GetTempSymbol("line_table_start",
668 NewCU->getUniqueID());
669 Asm->OutStreamer.getContext().setMCLineTableSymbol(LineTableStartSym,
670 NewCU->getUniqueID());
671
Devang Pateld22ed622010-03-22 23:11:36 +0000672 // DW_AT_stmt_list is a offset of line number information for this
Devang Patel4a213872010-08-24 00:06:12 +0000673 // compile unit in debug_line section.
Rafael Espindolad7bdaf52012-06-22 13:24:07 +0000674 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Rafael Espindolaa7558912011-05-04 17:44:06 +0000675 NewCU->addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Manman Ren4e042a62013-02-05 21:52:47 +0000676 LineTableStartSym);
Devang Patelea636392010-08-31 23:50:19 +0000677 else
Manman Ren4e042a62013-02-05 21:52:47 +0000678 NewCU->addDelta(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
679 LineTableStartSym, Asm->GetTempSymbol("section_line"));
Bill Wendling2b128d72009-05-20 23:19:06 +0000680
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000681 if (!CompilationDir.empty())
682 NewCU->addString(Die, dwarf::DW_AT_comp_dir, CompilationDir);
Bill Wendling2b128d72009-05-20 23:19:06 +0000683 if (DIUnit.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +0000684 NewCU->addFlag(Die, dwarf::DW_AT_APPLE_optimized);
Bill Wendling2b128d72009-05-20 23:19:06 +0000685
Devang Patel2d9caf92009-11-25 17:36:49 +0000686 StringRef Flags = DIUnit.getFlags();
687 if (!Flags.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000688 NewCU->addString(Die, dwarf::DW_AT_APPLE_flags, Flags);
Eric Christopher6a841382012-11-19 22:42:10 +0000689
Nick Lewycky479a8fe2011-10-17 23:27:36 +0000690 if (unsigned RVer = DIUnit.getRunTimeVersion())
Devang Patelf20c4f72011-04-12 22:53:02 +0000691 NewCU->addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +0000692 dwarf::DW_FORM_data1, RVer);
693
Devang Patel1a0df9a2010-05-10 22:49:55 +0000694 if (!FirstCU)
695 FirstCU = NewCU;
Eric Christopher7a2cdf72013-02-05 07:31:55 +0000696
Eric Christopher411e6742013-02-05 07:32:03 +0000697 if (useSplitDwarf()) {
698 // This should be a unique identifier when we want to build .dwp files.
Eric Christopher7a2cdf72013-02-05 07:31:55 +0000699 NewCU->addUInt(Die, dwarf::DW_AT_GNU_dwo_id, dwarf::DW_FORM_data8, 0);
Eric Christopher411e6742013-02-05 07:32:03 +0000700 // Now construct the skeleton CU associated.
701 constructSkeletonCU(N);
702 }
Eric Christopher9c2ecd92012-11-30 23:59:06 +0000703
Eric Christopherc8a310e2012-12-10 23:34:43 +0000704 InfoHolder.addUnit(NewCU);
705
Devang Patel1a0df9a2010-05-10 22:49:55 +0000706 CUMap.insert(std::make_pair(N, NewCU));
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000707 return NewCU;
Devang Patel1a0df9a2010-05-10 22:49:55 +0000708}
709
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000710// Construct subprogram DIE.
Eric Christopher6a841382012-11-19 22:42:10 +0000711void DwarfDebug::constructSubprogramDIE(CompileUnit *TheCU,
Devang Patel1f4f98d2011-08-15 23:36:40 +0000712 const MDNode *N) {
Rafael Espindola6cf4e832011-11-04 19:00:29 +0000713 CompileUnit *&CURef = SPMap[N];
714 if (CURef)
715 return;
716 CURef = TheCU;
717
Devang Patel80ae3492009-08-28 23:24:31 +0000718 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +0000719 if (!SP.isDefinition())
720 // This is a method declaration which will be handled while constructing
721 // class type.
Devang Patel0751a282009-06-26 01:49:18 +0000722 return;
Bill Wendling2b128d72009-05-20 23:19:06 +0000723
Devang Patel89543712011-08-15 17:24:54 +0000724 DIE *SubprogramDie = TheCU->getOrCreateSubprogramDIE(SP);
Stuart Hastings4bd3dd92010-04-06 21:38:29 +0000725
726 // Add to map.
Devang Patel1a0df9a2010-05-10 22:49:55 +0000727 TheCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +0000728
729 // Add to context owner.
Devang Patelf20c4f72011-04-12 22:53:02 +0000730 TheCU->addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +0000731
Devang Patel0751a282009-06-26 01:49:18 +0000732 return;
Bill Wendling2b128d72009-05-20 23:19:06 +0000733}
734
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000735// Collect debug info from named mdnodes such as llvm.dbg.enum and llvm.dbg.ty.
Eric Christopher58f41952012-11-19 22:42:15 +0000736void DwarfDebug::collectInfoFromNamedMDNodes(const Module *M) {
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000737 if (NamedMDNode *NMD = M->getNamedMetadata("llvm.dbg.sp"))
738 for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) {
739 const MDNode *N = NMD->getOperand(i);
740 if (CompileUnit *CU = CUMap.lookup(DISubprogram(N).getCompileUnit()))
741 constructSubprogramDIE(CU, N);
742 }
Eric Christopher6a841382012-11-19 22:42:10 +0000743
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000744 if (NamedMDNode *NMD = M->getNamedMetadata("llvm.dbg.gv"))
745 for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) {
746 const MDNode *N = NMD->getOperand(i);
747 if (CompileUnit *CU = CUMap.lookup(DIGlobalVariable(N).getCompileUnit()))
Devang Patel0ecbcbd2011-08-18 23:17:55 +0000748 CU->createGlobalVariableDIE(N);
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000749 }
Eric Christopher6a841382012-11-19 22:42:10 +0000750
Devang Patel07bb9ee2011-08-15 23:47:24 +0000751 if (NamedMDNode *NMD = M->getNamedMetadata("llvm.dbg.enum"))
752 for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) {
753 DIType Ty(NMD->getOperand(i));
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000754 if (CompileUnit *CU = CUMap.lookup(Ty.getCompileUnit()))
755 CU->getOrCreateTypeDIE(Ty);
Devang Patel07bb9ee2011-08-15 23:47:24 +0000756 }
Eric Christopher6a841382012-11-19 22:42:10 +0000757
Devang Patel07bb9ee2011-08-15 23:47:24 +0000758 if (NamedMDNode *NMD = M->getNamedMetadata("llvm.dbg.ty"))
759 for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) {
760 DIType Ty(NMD->getOperand(i));
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000761 if (CompileUnit *CU = CUMap.lookup(Ty.getCompileUnit()))
762 CU->getOrCreateTypeDIE(Ty);
Devang Patel07bb9ee2011-08-15 23:47:24 +0000763 }
764}
765
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000766// Collect debug info using DebugInfoFinder.
767// FIXME - Remove this when dragonegg switches to DIBuilder.
Eric Christopher58f41952012-11-19 22:42:15 +0000768bool DwarfDebug::collectLegacyDebugInfo(const Module *M) {
Devang Patel07bb9ee2011-08-15 23:47:24 +0000769 DebugInfoFinder DbgFinder;
770 DbgFinder.processModule(*M);
Eric Christopher6a841382012-11-19 22:42:10 +0000771
Devang Patel07bb9ee2011-08-15 23:47:24 +0000772 bool HasDebugInfo = false;
773 // Scan all the compile-units to see if there are any marked as the main
774 // unit. If not, we do not generate debug info.
775 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
776 E = DbgFinder.compile_unit_end(); I != E; ++I) {
777 if (DICompileUnit(*I).isMain()) {
778 HasDebugInfo = true;
779 break;
780 }
781 }
782 if (!HasDebugInfo) return false;
Eric Christopher6a841382012-11-19 22:42:10 +0000783
Devang Patel07bb9ee2011-08-15 23:47:24 +0000784 // Create all the compile unit DIEs.
785 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
786 E = DbgFinder.compile_unit_end(); I != E; ++I)
787 constructCompileUnit(*I);
Eric Christopher6a841382012-11-19 22:42:10 +0000788
Devang Patel07bb9ee2011-08-15 23:47:24 +0000789 // Create DIEs for each global variable.
790 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(),
791 E = DbgFinder.global_variable_end(); I != E; ++I) {
792 const MDNode *N = *I;
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000793 if (CompileUnit *CU = CUMap.lookup(DIGlobalVariable(N).getCompileUnit()))
Devang Patel0ecbcbd2011-08-18 23:17:55 +0000794 CU->createGlobalVariableDIE(N);
Devang Patel07bb9ee2011-08-15 23:47:24 +0000795 }
Eric Christopher6a841382012-11-19 22:42:10 +0000796
Devang Patel07bb9ee2011-08-15 23:47:24 +0000797 // Create DIEs for each subprogram.
798 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(),
799 E = DbgFinder.subprogram_end(); I != E; ++I) {
800 const MDNode *N = *I;
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000801 if (CompileUnit *CU = CUMap.lookup(DISubprogram(N).getCompileUnit()))
802 constructSubprogramDIE(CU, N);
Devang Patel07bb9ee2011-08-15 23:47:24 +0000803 }
804
805 return HasDebugInfo;
806}
807
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000808// Emit all Dwarf sections that should come prior to the content. Create
809// global DIEs and emit initial debug info sections. This is invoked by
810// the target AsmPrinter.
Eric Christopher58f41952012-11-19 22:42:15 +0000811void DwarfDebug::beginModule() {
Devang Patel6c74a872010-04-27 19:46:33 +0000812 if (DisableDebugInfoPrinting)
813 return;
814
Eric Christopher58f41952012-11-19 22:42:15 +0000815 const Module *M = MMI->getModule();
816
Nick Lewycky019d2552011-07-29 03:49:23 +0000817 // If module has named metadata anchors then use them, otherwise scan the
818 // module using debug info finder to collect debug info.
Devang Patele02e5852011-05-03 16:45:22 +0000819 NamedMDNode *CU_Nodes = M->getNamedMetadata("llvm.dbg.cu");
820 if (CU_Nodes) {
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000821 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
822 DICompileUnit CUNode(CU_Nodes->getOperand(i));
823 CompileUnit *CU = constructCompileUnit(CUNode);
824 DIArray GVs = CUNode.getGlobalVariables();
825 for (unsigned i = 0, e = GVs.getNumElements(); i != e; ++i)
Devang Patel0ecbcbd2011-08-18 23:17:55 +0000826 CU->createGlobalVariableDIE(GVs.getElement(i));
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000827 DIArray SPs = CUNode.getSubprograms();
828 for (unsigned i = 0, e = SPs.getNumElements(); i != e; ++i)
829 constructSubprogramDIE(CU, SPs.getElement(i));
830 DIArray EnumTypes = CUNode.getEnumTypes();
831 for (unsigned i = 0, e = EnumTypes.getNumElements(); i != e; ++i)
832 CU->getOrCreateTypeDIE(EnumTypes.getElement(i));
833 DIArray RetainedTypes = CUNode.getRetainedTypes();
834 for (unsigned i = 0, e = RetainedTypes.getNumElements(); i != e; ++i)
835 CU->getOrCreateTypeDIE(RetainedTypes.getElement(i));
836 }
Devang Patel07bb9ee2011-08-15 23:47:24 +0000837 } else if (!collectLegacyDebugInfo(M))
838 return;
Devang Patele02e5852011-05-03 16:45:22 +0000839
Devang Patel07bb9ee2011-08-15 23:47:24 +0000840 collectInfoFromNamedMDNodes(M);
Eric Christopher6a841382012-11-19 22:42:10 +0000841
Chris Lattner7cfa70e2010-04-05 02:19:28 +0000842 // Tell MMI that we have debug info.
843 MMI->setDebugInfoAvailability(true);
Eric Christopher6a841382012-11-19 22:42:10 +0000844
Bill Wendling2b128d72009-05-20 23:19:06 +0000845 // Prime section data.
Chris Lattner5e693ed2009-07-28 03:13:23 +0000846 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +0000847}
848
Eric Christopher960ac372012-11-22 00:59:49 +0000849// Attach DW_AT_inline attribute with inlined subprogram DIEs.
850void DwarfDebug::computeInlinedDIEs() {
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000851 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
852 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
Eric Christopher735401c2012-11-27 00:13:51 +0000853 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000854 DIE *ISP = *AI;
Devang Patelf20c4f72011-04-12 22:53:02 +0000855 FirstCU->addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000856 }
Rafael Espindolae7cc8bf2011-11-12 01:57:54 +0000857 for (DenseMap<const MDNode *, DIE *>::iterator AI = AbstractSPDies.begin(),
Eric Christopher735401c2012-11-27 00:13:51 +0000858 AE = AbstractSPDies.end(); AI != AE; ++AI) {
Rafael Espindolae7cc8bf2011-11-12 01:57:54 +0000859 DIE *ISP = AI->second;
860 if (InlinedSubprogramDIEs.count(ISP))
861 continue;
862 FirstCU->addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
863 }
Eric Christopher960ac372012-11-22 00:59:49 +0000864}
865
866// Collect info for variables that were optimized out.
867void DwarfDebug::collectDeadVariables() {
868 const Module *M = MMI->getModule();
869 DenseMap<const MDNode *, LexicalScope *> DeadFnScopeMap;
870
871 if (NamedMDNode *CU_Nodes = M->getNamedMetadata("llvm.dbg.cu")) {
872 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
873 DICompileUnit TheCU(CU_Nodes->getOperand(i));
874 DIArray Subprograms = TheCU.getSubprograms();
875 for (unsigned i = 0, e = Subprograms.getNumElements(); i != e; ++i) {
Eric Christopher735401c2012-11-27 00:13:51 +0000876 DISubprogram SP(Subprograms.getElement(i));
877 if (ProcessedSPNodes.count(SP) != 0) continue;
878 if (!SP.Verify()) continue;
879 if (!SP.isDefinition()) continue;
880 DIArray Variables = SP.getVariables();
881 if (Variables.getNumElements() == 0) continue;
Eric Christopher960ac372012-11-22 00:59:49 +0000882
Eric Christopher735401c2012-11-27 00:13:51 +0000883 LexicalScope *Scope =
884 new LexicalScope(NULL, DIDescriptor(SP), NULL, false);
885 DeadFnScopeMap[SP] = Scope;
Eric Christopher960ac372012-11-22 00:59:49 +0000886
Eric Christopher735401c2012-11-27 00:13:51 +0000887 // Construct subprogram DIE and add variables DIEs.
888 CompileUnit *SPCU = CUMap.lookup(TheCU);
889 assert(SPCU && "Unable to find Compile Unit!");
890 constructSubprogramDIE(SPCU, SP);
891 DIE *ScopeDIE = SPCU->getDIE(SP);
892 for (unsigned vi = 0, ve = Variables.getNumElements(); vi != ve; ++vi) {
893 DIVariable DV(Variables.getElement(vi));
894 if (!DV.Verify()) continue;
895 DbgVariable *NewVar = new DbgVariable(DV, NULL);
896 if (DIE *VariableDIE =
897 SPCU->constructVariableDIE(NewVar, Scope->isAbstractScope()))
898 ScopeDIE->addChild(VariableDIE);
899 }
Eric Christopher960ac372012-11-22 00:59:49 +0000900 }
901 }
902 }
903 DeleteContainerSeconds(DeadFnScopeMap);
904}
905
906void DwarfDebug::finalizeModuleInfo() {
907 // Collect info for variables that were optimized out.
908 collectDeadVariables();
909
910 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
911 computeInlinedDIEs();
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000912
Eric Christopherb1b94512012-08-01 18:19:01 +0000913 // Emit DW_AT_containing_type attribute to connect types with their
914 // vtable holding type.
Devang Patel89543712011-08-15 17:24:54 +0000915 for (DenseMap<const MDNode *, CompileUnit *>::iterator CUI = CUMap.begin(),
Eric Christopher735401c2012-11-27 00:13:51 +0000916 CUE = CUMap.end(); CUI != CUE; ++CUI) {
Devang Patel89543712011-08-15 17:24:54 +0000917 CompileUnit *TheCU = CUI->second;
918 TheCU->constructContainingTypeDIEs();
Devang Pateleb57c592009-12-03 19:11:07 +0000919 }
920
Eric Christopher960ac372012-11-22 00:59:49 +0000921 // Compute DIE offsets and sizes.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000922 InfoHolder.computeSizeAndOffsets();
923 if (useSplitDwarf())
924 SkeletonHolder.computeSizeAndOffsets();
Eric Christopher960ac372012-11-22 00:59:49 +0000925}
926
927void DwarfDebug::endSections() {
Bill Wendling2b128d72009-05-20 23:19:06 +0000928 // Standard sections final addresses.
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000929 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnera179b522010-04-04 19:25:43 +0000930 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000931 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnera179b522010-04-04 19:25:43 +0000932 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendling2b128d72009-05-20 23:19:06 +0000933
934 // End text sections.
Benjamin Kramer15591272012-10-31 13:45:49 +0000935 for (unsigned I = 0, E = SectionMap.size(); I != E; ++I) {
936 Asm->OutStreamer.SwitchSection(SectionMap[I]);
937 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", I+1));
Bill Wendling2b128d72009-05-20 23:19:06 +0000938 }
Eric Christopher960ac372012-11-22 00:59:49 +0000939}
Bill Wendling2b128d72009-05-20 23:19:06 +0000940
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000941// Emit all Dwarf sections that should come after the content.
Eric Christopher960ac372012-11-22 00:59:49 +0000942void DwarfDebug::endModule() {
943
944 if (!FirstCU) return;
945
946 // End any existing sections.
947 // TODO: Does this need to happen?
948 endSections();
949
950 // Finalize the debug info for the module.
951 finalizeModuleInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +0000952
Eric Christophercebb0ec2012-11-19 19:43:59 +0000953 // Emit initial sections.
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000954 emitSectionLabels();
Eric Christophercebb0ec2012-11-19 19:43:59 +0000955
Eric Christophercdf218d2012-12-10 19:51:21 +0000956 if (!useSplitDwarf()) {
Eric Christopher95198f502012-11-27 22:43:42 +0000957 // Emit all the DIEs into a debug info section.
958 emitDebugInfo();
Eric Christopher4c9b1192012-11-27 00:41:54 +0000959
Eric Christopher95198f502012-11-27 22:43:42 +0000960 // Corresponding abbreviations into a abbrev section.
961 emitAbbreviations();
962
963 // Emit info into a debug loc section.
964 emitDebugLoc();
965
966 // Emit info into a debug aranges section.
967 emitDebugARanges();
968
969 // Emit info into a debug ranges section.
970 emitDebugRanges();
971
972 // Emit info into a debug macinfo section.
973 emitDebugMacInfo();
974
975 // Emit inline info.
976 // TODO: When we don't need the option anymore we
977 // can remove all of the code that this section
978 // depends upon.
979 if (useDarwinGDBCompat())
980 emitDebugInlineInfo();
981 } else {
Eric Christopherd692c1d2012-12-11 19:42:09 +0000982 // TODO: Fill this in for separated debug sections and separate
Eric Christopher95198f502012-11-27 22:43:42 +0000983 // out information into new sections.
984
Eric Christopher9c2ecd92012-11-30 23:59:06 +0000985 // Emit the debug info section and compile units.
Eric Christopher95198f502012-11-27 22:43:42 +0000986 emitDebugInfo();
Eric Christopher9c2ecd92012-11-30 23:59:06 +0000987 emitDebugInfoDWO();
Eric Christopher95198f502012-11-27 22:43:42 +0000988
989 // Corresponding abbreviations into a abbrev section.
990 emitAbbreviations();
Eric Christopher3c5a1912012-12-19 22:02:53 +0000991 emitDebugAbbrevDWO();
Eric Christopher95198f502012-11-27 22:43:42 +0000992
993 // Emit info into a debug loc section.
994 emitDebugLoc();
995
996 // Emit info into a debug aranges section.
997 emitDebugARanges();
998
999 // Emit info into a debug ranges section.
1000 emitDebugRanges();
1001
1002 // Emit info into a debug macinfo section.
1003 emitDebugMacInfo();
1004
Eric Christopher962c9082013-01-15 23:56:56 +00001005 // Emit DWO addresses.
1006 InfoHolder.emitAddresses(Asm->getObjFileLowering().getDwarfAddrSection());
1007
Eric Christopher95198f502012-11-27 22:43:42 +00001008 // Emit inline info.
1009 // TODO: When we don't need the option anymore we
1010 // can remove all of the code that this section
1011 // depends upon.
1012 if (useDarwinGDBCompat())
1013 emitDebugInlineInfo();
1014 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001015
Eric Christophera876b822012-08-23 07:32:06 +00001016 // Emit info into the dwarf accelerator table sections.
Eric Christopher20b76a72012-08-23 22:36:40 +00001017 if (useDwarfAccelTables()) {
Eric Christopher4996c702011-11-07 09:24:32 +00001018 emitAccelNames();
1019 emitAccelObjC();
1020 emitAccelNamespaces();
1021 emitAccelTypes();
1022 }
Eric Christopher6a841382012-11-19 22:42:10 +00001023
Devang Patel04d2f2d2009-11-24 01:14:22 +00001024 // Emit info into a debug pubtypes section.
Eric Christopher77826182012-08-23 07:10:56 +00001025 // TODO: When we don't need the option anymore we can
1026 // remove all of the code that adds to the table.
Eric Christopher20b76a72012-08-23 22:36:40 +00001027 if (useDarwinGDBCompat())
Eric Christopher77826182012-08-23 07:10:56 +00001028 emitDebugPubTypes();
Devang Patel04d2f2d2009-11-24 01:14:22 +00001029
Eric Christopher95198f502012-11-27 22:43:42 +00001030 // Finally emit string information into a string table.
Eric Christopher6e20a162012-11-27 06:49:23 +00001031 emitDebugStr();
Eric Christopher3bf29fd2012-12-27 02:14:01 +00001032 if (useSplitDwarf())
1033 emitDebugStrDWO();
Eric Christopher6e20a162012-11-27 06:49:23 +00001034
Devang Pateld0701282010-08-02 17:32:15 +00001035 // clean up.
Devang Pateleb1bb4e2011-08-16 22:09:43 +00001036 SPMap.clear();
Devang Patel1a0df9a2010-05-10 22:49:55 +00001037 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
1038 E = CUMap.end(); I != E; ++I)
1039 delete I->second;
Eric Christopher8afd7b62012-12-10 19:51:18 +00001040
Eric Christophercdf218d2012-12-10 19:51:21 +00001041 delete SkeletonCU;
Eric Christopher8afd7b62012-12-10 19:51:18 +00001042
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001043 // Reset these for the next Module if we have one.
1044 FirstCU = NULL;
Eric Christophercdf218d2012-12-10 19:51:21 +00001045 SkeletonCU = NULL;
Bill Wendling2b128d72009-05-20 23:19:06 +00001046}
1047
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001048// Find abstract variable, if any, associated with Var.
Devang Patelbb23a4a2011-08-10 21:50:54 +00001049DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &DV,
Chris Lattner915c5f92010-04-02 19:42:39 +00001050 DebugLoc ScopeLoc) {
Devang Patelbb23a4a2011-08-10 21:50:54 +00001051 LLVMContext &Ctx = DV->getContext();
1052 // More then one inlined variable corresponds to one abstract variable.
1053 DIVariable Var = cleanseInlinedVariable(DV, Ctx);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001054 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001055 if (AbsDbgVariable)
1056 return AbsDbgVariable;
1057
Devang Patel7e623022011-08-10 20:55:27 +00001058 LexicalScope *Scope = LScopes.findAbstractScope(ScopeLoc.getScope(Ctx));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001059 if (!Scope)
1060 return NULL;
1061
Devang Patel99819b52011-08-15 19:01:20 +00001062 AbsDbgVariable = new DbgVariable(Var, NULL);
Devang Patel7e623022011-08-10 20:55:27 +00001063 addScopeVariable(Scope, AbsDbgVariable);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001064 AbstractVariables[Var] = AbsDbgVariable;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001065 return AbsDbgVariable;
1066}
1067
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001068// If Var is a current function argument then add it to CurrentFnArguments list.
Devang Patel6c622ef2011-03-01 22:58:55 +00001069bool DwarfDebug::addCurrentFnArgument(const MachineFunction *MF,
Devang Patel7e623022011-08-10 20:55:27 +00001070 DbgVariable *Var, LexicalScope *Scope) {
1071 if (!LScopes.isCurrentFunctionScope(Scope))
Devang Patel6c622ef2011-03-01 22:58:55 +00001072 return false;
1073 DIVariable DV = Var->getVariable();
1074 if (DV.getTag() != dwarf::DW_TAG_arg_variable)
1075 return false;
1076 unsigned ArgNo = DV.getArgNumber();
Eric Christopher6a841382012-11-19 22:42:10 +00001077 if (ArgNo == 0)
Devang Patel6c622ef2011-03-01 22:58:55 +00001078 return false;
1079
Devang Patel4ab660b2011-03-03 20:02:02 +00001080 size_t Size = CurrentFnArguments.size();
1081 if (Size == 0)
Devang Patel6c622ef2011-03-01 22:58:55 +00001082 CurrentFnArguments.resize(MF->getFunction()->arg_size());
Devang Patel63b3e762011-03-03 21:49:41 +00001083 // llvm::Function argument size is not good indicator of how many
Devang Patel34a7ab42011-03-03 20:08:10 +00001084 // arguments does the function have at source level.
1085 if (ArgNo > Size)
Devang Patel4ab660b2011-03-03 20:02:02 +00001086 CurrentFnArguments.resize(ArgNo * 2);
Devang Patel6c622ef2011-03-01 22:58:55 +00001087 CurrentFnArguments[ArgNo - 1] = Var;
1088 return true;
1089}
1090
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001091// Collect variable information from side table maintained by MMI.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001092void
Nick Lewycky019d2552011-07-29 03:49:23 +00001093DwarfDebug::collectVariableInfoFromMMITable(const MachineFunction *MF,
Devang Patel490c8ab2010-05-20 19:57:06 +00001094 SmallPtrSet<const MDNode *, 16> &Processed) {
Devang Patel475d32a2009-10-06 01:26:37 +00001095 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1096 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1097 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel32cc43c2010-05-07 20:54:48 +00001098 const MDNode *Var = VI->first;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001099 if (!Var) continue;
Devang Patele0a94bf2010-05-14 21:01:35 +00001100 Processed.insert(Var);
Chris Lattner915c5f92010-04-02 19:42:39 +00001101 DIVariable DV(Var);
1102 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001103
Devang Patel7e623022011-08-10 20:55:27 +00001104 LexicalScope *Scope = LScopes.findLexicalScope(VP.second);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001105
Devang Patelcdb7d442009-11-10 23:20:04 +00001106 // If variable scope is not found then skip this variable.
Chris Lattner915c5f92010-04-02 19:42:39 +00001107 if (Scope == 0)
Devang Patelcdb7d442009-11-10 23:20:04 +00001108 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001109
Devang Patele1c53f22010-05-20 16:36:41 +00001110 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.second);
Devang Patel99819b52011-08-15 19:01:20 +00001111 DbgVariable *RegVar = new DbgVariable(DV, AbsDbgVariable);
Devang Patel3e4a9652011-08-15 21:24:36 +00001112 RegVar->setFrameIndex(VP.first);
Devang Patel6c622ef2011-03-01 22:58:55 +00001113 if (!addCurrentFnArgument(MF, RegVar, Scope))
Devang Patel7e623022011-08-10 20:55:27 +00001114 addScopeVariable(Scope, RegVar);
Devang Patel99819b52011-08-15 19:01:20 +00001115 if (AbsDbgVariable)
Devang Patel3e4a9652011-08-15 21:24:36 +00001116 AbsDbgVariable->setFrameIndex(VP.first);
Devang Patel475d32a2009-10-06 01:26:37 +00001117 }
Devang Patel490c8ab2010-05-20 19:57:06 +00001118}
Devang Patela3e9c9c2010-03-15 18:33:46 +00001119
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001120// Return true if debug value, encoded by DBG_VALUE instruction, is in a
1121// defined reg.
Devang Patel9fc11702010-05-25 23:40:22 +00001122static bool isDbgValueInDefinedReg(const MachineInstr *MI) {
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001123 assert(MI->isDebugValue() && "Invalid DBG_VALUE machine instruction!");
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001124 return MI->getNumOperands() == 3 &&
1125 MI->getOperand(0).isReg() && MI->getOperand(0).getReg() &&
1126 MI->getOperand(1).isImm() && MI->getOperand(1).getImm() == 0;
Devang Patel9fc11702010-05-25 23:40:22 +00001127}
1128
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001129// Get .debug_loc entry for the instruction range starting at MI.
Eric Christopher6a841382012-11-19 22:42:10 +00001130static DotDebugLocEntry getDebugLocEntry(AsmPrinter *Asm,
1131 const MCSymbol *FLabel,
Devang Patel2442a892011-07-08 17:09:57 +00001132 const MCSymbol *SLabel,
1133 const MachineInstr *MI) {
1134 const MDNode *Var = MI->getOperand(MI->getNumOperands() - 1).getMetadata();
1135
1136 if (MI->getNumOperands() != 3) {
1137 MachineLocation MLoc = Asm->getDebugValueLocation(MI);
1138 return DotDebugLocEntry(FLabel, SLabel, MLoc, Var);
1139 }
1140 if (MI->getOperand(0).isReg() && MI->getOperand(1).isImm()) {
1141 MachineLocation MLoc;
1142 MLoc.set(MI->getOperand(0).getReg(), MI->getOperand(1).getImm());
1143 return DotDebugLocEntry(FLabel, SLabel, MLoc, Var);
1144 }
1145 if (MI->getOperand(0).isImm())
1146 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getImm());
1147 if (MI->getOperand(0).isFPImm())
1148 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getFPImm());
1149 if (MI->getOperand(0).isCImm())
1150 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getCImm());
1151
Craig Topperee4dab52012-02-05 08:31:47 +00001152 llvm_unreachable("Unexpected 3 operand DBG_VALUE instruction!");
Devang Patel2442a892011-07-08 17:09:57 +00001153}
1154
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001155// Find variables for each lexical scope.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001156void
Devang Patel5c0f85c2010-06-25 22:07:34 +00001157DwarfDebug::collectVariableInfo(const MachineFunction *MF,
1158 SmallPtrSet<const MDNode *, 16> &Processed) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001159
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001160 // collection info from MMI table.
Devang Patel490c8ab2010-05-20 19:57:06 +00001161 collectVariableInfoFromMMITable(MF, Processed);
1162
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001163 for (SmallVectorImpl<const MDNode*>::const_iterator
1164 UVI = UserVariables.begin(), UVE = UserVariables.end(); UVI != UVE;
1165 ++UVI) {
1166 const MDNode *Var = *UVI;
1167 if (Processed.count(Var))
Devang Patel490c8ab2010-05-20 19:57:06 +00001168 continue;
1169
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001170 // History contains relevant DBG_VALUE instructions for Var and instructions
1171 // clobbering it.
1172 SmallVectorImpl<const MachineInstr*> &History = DbgValues[Var];
1173 if (History.empty())
1174 continue;
1175 const MachineInstr *MInsn = History.front();
Devang Patel9fc11702010-05-25 23:40:22 +00001176
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001177 DIVariable DV(Var);
Devang Patel7e623022011-08-10 20:55:27 +00001178 LexicalScope *Scope = NULL;
Devang Patel7a9dedf2010-05-27 20:25:04 +00001179 if (DV.getTag() == dwarf::DW_TAG_arg_variable &&
1180 DISubprogram(DV.getContext()).describes(MF->getFunction()))
Devang Patel7e623022011-08-10 20:55:27 +00001181 Scope = LScopes.getCurrentFunctionScope();
Devang Patel8fb9fd62011-07-20 22:18:50 +00001182 else {
1183 if (DV.getVersion() <= LLVMDebugVersion9)
Devang Patel7e623022011-08-10 20:55:27 +00001184 Scope = LScopes.findLexicalScope(MInsn->getDebugLoc());
Devang Patel8fb9fd62011-07-20 22:18:50 +00001185 else {
1186 if (MDNode *IA = DV.getInlinedAt())
Devang Patel7e623022011-08-10 20:55:27 +00001187 Scope = LScopes.findInlinedScope(DebugLoc::getFromDILocation(IA));
Devang Patel8fb9fd62011-07-20 22:18:50 +00001188 else
Devang Patel7e623022011-08-10 20:55:27 +00001189 Scope = LScopes.findLexicalScope(cast<MDNode>(DV->getOperand(1)));
Devang Patel8fb9fd62011-07-20 22:18:50 +00001190 }
1191 }
Devang Patel490c8ab2010-05-20 19:57:06 +00001192 // If variable scope is not found then skip this variable.
Devang Patelfbd6c452010-05-21 00:10:20 +00001193 if (!Scope)
Devang Patel490c8ab2010-05-20 19:57:06 +00001194 continue;
1195
1196 Processed.insert(DV);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001197 assert(MInsn->isDebugValue() && "History must begin with debug value");
Devang Patel99819b52011-08-15 19:01:20 +00001198 DbgVariable *AbsVar = findAbstractVariable(DV, MInsn->getDebugLoc());
1199 DbgVariable *RegVar = new DbgVariable(DV, AbsVar);
Devang Patel6c622ef2011-03-01 22:58:55 +00001200 if (!addCurrentFnArgument(MF, RegVar, Scope))
Devang Patel7e623022011-08-10 20:55:27 +00001201 addScopeVariable(Scope, RegVar);
Devang Patel99819b52011-08-15 19:01:20 +00001202 if (AbsVar)
Devang Patel3e4a9652011-08-15 21:24:36 +00001203 AbsVar->setMInsn(MInsn);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001204
Eric Christophercc10d202012-10-08 20:48:54 +00001205 // Simplify ranges that are fully coalesced.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001206 if (History.size() <= 1 || (History.size() == 2 &&
1207 MInsn->isIdenticalTo(History.back()))) {
Devang Patel3e4a9652011-08-15 21:24:36 +00001208 RegVar->setMInsn(MInsn);
Devang Patel9fc11702010-05-25 23:40:22 +00001209 continue;
1210 }
1211
Eric Christopher59cc0712013-01-28 17:33:26 +00001212 // Handle multiple DBG_VALUE instructions describing one variable.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001213 RegVar->setDotDebugLocOffset(DotDebugLocEntries.size());
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001214
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001215 for (SmallVectorImpl<const MachineInstr*>::const_iterator
1216 HI = History.begin(), HE = History.end(); HI != HE; ++HI) {
1217 const MachineInstr *Begin = *HI;
1218 assert(Begin->isDebugValue() && "Invalid History entry");
Jakob Stoklund Olesen9c057ee2011-03-22 00:21:41 +00001219
Devang Patele7181b52011-06-01 23:00:17 +00001220 // Check if DBG_VALUE is truncating a range.
1221 if (Begin->getNumOperands() > 1 && Begin->getOperand(0).isReg()
1222 && !Begin->getOperand(0).getReg())
1223 continue;
1224
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001225 // Compute the range for a register location.
1226 const MCSymbol *FLabel = getLabelBeforeInsn(Begin);
1227 const MCSymbol *SLabel = 0;
1228
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001229 if (HI + 1 == HE)
1230 // If Begin is the last instruction in History then its value is valid
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001231 // until the end of the function.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001232 SLabel = FunctionEndSym;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001233 else {
1234 const MachineInstr *End = HI[1];
Eric Christopher6a841382012-11-19 22:42:10 +00001235 DEBUG(dbgs() << "DotDebugLoc Pair:\n"
Devang Patel53b050a2011-07-07 21:44:42 +00001236 << "\t" << *Begin << "\t" << *End << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001237 if (End->isDebugValue())
1238 SLabel = getLabelBeforeInsn(End);
1239 else {
1240 // End is a normal instruction clobbering the range.
1241 SLabel = getLabelAfterInsn(End);
1242 assert(SLabel && "Forgot label after clobber instruction");
1243 ++HI;
1244 }
1245 }
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001246
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001247 // The value is valid until the next DBG_VALUE or clobber.
Eric Christopher365d0832011-12-16 23:42:31 +00001248 DotDebugLocEntries.push_back(getDebugLocEntry(Asm, FLabel, SLabel,
1249 Begin));
Devang Patel9fc11702010-05-25 23:40:22 +00001250 }
1251 DotDebugLocEntries.push_back(DotDebugLocEntry());
Devang Patela3e9c9c2010-03-15 18:33:46 +00001252 }
Devang Patele0a94bf2010-05-14 21:01:35 +00001253
1254 // Collect info for variables that were optimized out.
Devang Patel59e27c52011-08-19 23:28:12 +00001255 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
1256 DIArray Variables = DISubprogram(FnScope->getScopeNode()).getVariables();
1257 for (unsigned i = 0, e = Variables.getNumElements(); i != e; ++i) {
1258 DIVariable DV(Variables.getElement(i));
1259 if (!DV || !DV.Verify() || !Processed.insert(DV))
1260 continue;
1261 if (LexicalScope *Scope = LScopes.findLexicalScope(DV.getContext()))
1262 addScopeVariable(Scope, new DbgVariable(DV, NULL));
Devang Patele0a94bf2010-05-14 21:01:35 +00001263 }
Devang Patel9fc11702010-05-25 23:40:22 +00001264}
Devang Patele0a94bf2010-05-14 21:01:35 +00001265
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001266// Return Label preceding the instruction.
Eric Christopher962c9082013-01-15 23:56:56 +00001267MCSymbol *DwarfDebug::getLabelBeforeInsn(const MachineInstr *MI) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001268 MCSymbol *Label = LabelsBeforeInsn.lookup(MI);
1269 assert(Label && "Didn't insert label before instruction");
1270 return Label;
Devang Patel9fc11702010-05-25 23:40:22 +00001271}
1272
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001273// Return Label immediately following the instruction.
Eric Christopher962c9082013-01-15 23:56:56 +00001274MCSymbol *DwarfDebug::getLabelAfterInsn(const MachineInstr *MI) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001275 return LabelsAfterInsn.lookup(MI);
Devang Patel475d32a2009-10-06 01:26:37 +00001276}
1277
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001278// Process beginning of an instruction.
Devang Patelb5694e72010-10-26 17:49:02 +00001279void DwarfDebug::beginInstruction(const MachineInstr *MI) {
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001280 // Check if source location changes, but ignore DBG_VALUE locations.
1281 if (!MI->isDebugValue()) {
1282 DebugLoc DL = MI->getDebugLoc();
1283 if (DL != PrevInstLoc && (!DL.isUnknown() || UnknownLocations)) {
Eric Christopheraec8a822012-04-05 20:39:05 +00001284 unsigned Flags = 0;
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001285 PrevInstLoc = DL;
Devang Patel34a66202011-05-11 19:22:19 +00001286 if (DL == PrologEndLoc) {
1287 Flags |= DWARF2_FLAG_PROLOGUE_END;
1288 PrologEndLoc = DebugLoc();
1289 }
Eric Christopheraec8a822012-04-05 20:39:05 +00001290 if (PrologEndLoc.isUnknown())
1291 Flags |= DWARF2_FLAG_IS_STMT;
1292
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001293 if (!DL.isUnknown()) {
1294 const MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
Devang Patel34a66202011-05-11 19:22:19 +00001295 recordSourceLine(DL.getLine(), DL.getCol(), Scope, Flags);
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001296 } else
Devang Patel34a66202011-05-11 19:22:19 +00001297 recordSourceLine(0, 0, 0, 0);
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001298 }
Devang Patel9fc11702010-05-25 23:40:22 +00001299 }
Devang Patel23b2ae62010-03-29 22:59:58 +00001300
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001301 // Insert labels where requested.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001302 DenseMap<const MachineInstr*, MCSymbol*>::iterator I =
1303 LabelsBeforeInsn.find(MI);
1304
1305 // No label needed.
1306 if (I == LabelsBeforeInsn.end())
1307 return;
1308
1309 // Label already assigned.
1310 if (I->second)
Devang Patel002d54d2010-05-26 19:37:24 +00001311 return;
Devang Patelbd477be2010-03-29 17:20:31 +00001312
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001313 if (!PrevLabel) {
Devang Patelacc32a52010-05-26 21:23:46 +00001314 PrevLabel = MMI->getContext().CreateTempSymbol();
1315 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patel002d54d2010-05-26 19:37:24 +00001316 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001317 I->second = PrevLabel;
Devang Patel8db360d2009-10-06 01:50:42 +00001318}
1319
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001320// Process end of an instruction.
Devang Patelb5694e72010-10-26 17:49:02 +00001321void DwarfDebug::endInstruction(const MachineInstr *MI) {
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001322 // Don't create a new label after DBG_VALUE instructions.
1323 // They don't generate code.
1324 if (!MI->isDebugValue())
1325 PrevLabel = 0;
1326
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001327 DenseMap<const MachineInstr*, MCSymbol*>::iterator I =
1328 LabelsAfterInsn.find(MI);
1329
1330 // No label needed.
1331 if (I == LabelsAfterInsn.end())
1332 return;
1333
1334 // Label already assigned.
1335 if (I->second)
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001336 return;
1337
1338 // We need a label after this instruction.
1339 if (!PrevLabel) {
1340 PrevLabel = MMI->getContext().CreateTempSymbol();
1341 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patel3ebd8932010-04-08 16:50:29 +00001342 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001343 I->second = PrevLabel;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001344}
1345
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001346// Each LexicalScope has first instruction and last instruction to mark
1347// beginning and end of a scope respectively. Create an inverse map that list
1348// scopes starts (and ends) with an instruction. One instruction may start (or
1349// end) multiple scopes. Ignore scopes that are not reachable.
Devang Patel359b0132010-04-08 18:43:56 +00001350void DwarfDebug::identifyScopeMarkers() {
Devang Patel7e623022011-08-10 20:55:27 +00001351 SmallVector<LexicalScope *, 4> WorkList;
1352 WorkList.push_back(LScopes.getCurrentFunctionScope());
Devang Patel7771b7c2010-01-20 02:05:23 +00001353 while (!WorkList.empty()) {
Devang Patel7e623022011-08-10 20:55:27 +00001354 LexicalScope *S = WorkList.pop_back_val();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001355
Devang Patel7e623022011-08-10 20:55:27 +00001356 const SmallVector<LexicalScope *, 4> &Children = S->getChildren();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001357 if (!Children.empty())
Devang Patel7e623022011-08-10 20:55:27 +00001358 for (SmallVector<LexicalScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel7771b7c2010-01-20 02:05:23 +00001359 SE = Children.end(); SI != SE; ++SI)
1360 WorkList.push_back(*SI);
1361
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001362 if (S->isAbstractScope())
1363 continue;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001364
Devang Patel7e623022011-08-10 20:55:27 +00001365 const SmallVector<InsnRange, 4> &Ranges = S->getRanges();
Devang Patel6c74a872010-04-27 19:46:33 +00001366 if (Ranges.empty())
1367 continue;
Devang Patel7e623022011-08-10 20:55:27 +00001368 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Patel6c74a872010-04-27 19:46:33 +00001369 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patel7e623022011-08-10 20:55:27 +00001370 assert(RI->first && "InsnRange does not have first instruction!");
1371 assert(RI->second && "InsnRange does not have second instruction!");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001372 requestLabelBeforeInsn(RI->first);
1373 requestLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +00001374 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001375 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001376}
1377
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001378// Get MDNode for DebugLoc's scope.
Devang Patel589845d2011-05-09 22:14:49 +00001379static MDNode *getScopeNode(DebugLoc DL, const LLVMContext &Ctx) {
1380 if (MDNode *InlinedAt = DL.getInlinedAt(Ctx))
1381 return getScopeNode(DebugLoc::getFromDILocation(InlinedAt), Ctx);
1382 return DL.getScope(Ctx);
1383}
1384
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001385// Walk up the scope chain of given debug loc and find line number info
1386// for the function.
Devang Patel34a66202011-05-11 19:22:19 +00001387static DebugLoc getFnDebugLoc(DebugLoc DL, const LLVMContext &Ctx) {
1388 const MDNode *Scope = getScopeNode(DL, Ctx);
1389 DISubprogram SP = getDISubprogram(Scope);
Eric Christopher34164192012-04-03 00:43:49 +00001390 if (SP.Verify()) {
1391 // Check for number of operands since the compatibility is
1392 // cheap here.
Eric Christopherb81e2b42012-04-03 17:55:42 +00001393 if (SP->getNumOperands() > 19)
Eric Christopher34164192012-04-03 00:43:49 +00001394 return DebugLoc::get(SP.getScopeLineNumber(), 0, SP);
1395 else
1396 return DebugLoc::get(SP.getLineNumber(), 0, SP);
1397 }
1398
Devang Patel34a66202011-05-11 19:22:19 +00001399 return DebugLoc();
1400}
1401
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001402// Gather pre-function debug information. Assumes being called immediately
1403// after the function entry point has been emitted.
Chris Lattner76555b52010-01-26 23:18:02 +00001404void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner196dbdc2010-04-05 03:52:55 +00001405 if (!MMI->hasDebugInfo()) return;
Devang Patel7e623022011-08-10 20:55:27 +00001406 LScopes.initialize(*MF);
1407 if (LScopes.empty()) return;
1408 identifyScopeMarkers();
Devang Patel4598eb62009-10-06 18:37:31 +00001409
Manman Ren4e042a62013-02-05 21:52:47 +00001410 // Set DwarfCompileUnitID in MCContext to the Compile Unit this function
1411 // belongs to.
1412 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
1413 CompileUnit *TheCU = SPMap.lookup(FnScope->getScopeNode());
1414 assert(TheCU && "Unable to find compile unit!");
1415 Asm->OutStreamer.getContext().setDwarfCompileUnitID(TheCU->getUniqueID());
1416
Devang Patel6c74a872010-04-27 19:46:33 +00001417 FunctionBeginSym = Asm->GetTempSymbol("func_begin",
1418 Asm->getFunctionNumber());
Bill Wendling2b128d72009-05-20 23:19:06 +00001419 // Assumes in correct section after the entry point.
Devang Patel6c74a872010-04-27 19:46:33 +00001420 Asm->OutStreamer.EmitLabel(FunctionBeginSym);
Bill Wendling2b128d72009-05-20 23:19:06 +00001421
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001422 assert(UserVariables.empty() && DbgValues.empty() && "Maps weren't cleaned");
1423
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001424 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001425 // LiveUserVar - Map physreg numbers to the MDNode they contain.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001426 std::vector<const MDNode*> LiveUserVar(TRI->getNumRegs());
1427
Devang Patel002d54d2010-05-26 19:37:24 +00001428 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001429 I != E; ++I) {
1430 bool AtBlockEntry = true;
Devang Patel002d54d2010-05-26 19:37:24 +00001431 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1432 II != IE; ++II) {
1433 const MachineInstr *MI = II;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001434
Devang Patel002d54d2010-05-26 19:37:24 +00001435 if (MI->isDebugValue()) {
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001436 assert(MI->getNumOperands() > 1 && "Invalid machine instruction!");
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001437
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001438 // Keep track of user variables.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001439 const MDNode *Var =
1440 MI->getOperand(MI->getNumOperands() - 1).getMetadata();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001441
1442 // Variable is in a register, we need to check for clobbers.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001443 if (isDbgValueInDefinedReg(MI))
1444 LiveUserVar[MI->getOperand(0).getReg()] = Var;
1445
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001446 // Check the history of this variable.
1447 SmallVectorImpl<const MachineInstr*> &History = DbgValues[Var];
1448 if (History.empty()) {
1449 UserVariables.push_back(Var);
1450 // The first mention of a function argument gets the FunctionBeginSym
1451 // label, so arguments are visible when breaking at function entry.
1452 DIVariable DV(Var);
1453 if (DV.Verify() && DV.getTag() == dwarf::DW_TAG_arg_variable &&
1454 DISubprogram(getDISubprogram(DV.getContext()))
1455 .describes(MF->getFunction()))
1456 LabelsBeforeInsn[MI] = FunctionBeginSym;
1457 } else {
1458 // We have seen this variable before. Try to coalesce DBG_VALUEs.
1459 const MachineInstr *Prev = History.back();
1460 if (Prev->isDebugValue()) {
1461 // Coalesce identical entries at the end of History.
1462 if (History.size() >= 2 &&
Devang Patelb7a328e2011-07-07 00:14:27 +00001463 Prev->isIdenticalTo(History[History.size() - 2])) {
Eric Christopher85a495e2012-10-08 20:48:49 +00001464 DEBUG(dbgs() << "Coalescing identical DBG_VALUE entries:\n"
Eric Christopher6a841382012-11-19 22:42:10 +00001465 << "\t" << *Prev
Devang Patelb7a328e2011-07-07 00:14:27 +00001466 << "\t" << *History[History.size() - 2] << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001467 History.pop_back();
Devang Patelb7a328e2011-07-07 00:14:27 +00001468 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001469
1470 // Terminate old register assignments that don't reach MI;
1471 MachineFunction::const_iterator PrevMBB = Prev->getParent();
1472 if (PrevMBB != I && (!AtBlockEntry || llvm::next(PrevMBB) != I) &&
1473 isDbgValueInDefinedReg(Prev)) {
1474 // Previous register assignment needs to terminate at the end of
1475 // its basic block.
1476 MachineBasicBlock::const_iterator LastMI =
1477 PrevMBB->getLastNonDebugInstr();
Devang Patelb7a328e2011-07-07 00:14:27 +00001478 if (LastMI == PrevMBB->end()) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001479 // Drop DBG_VALUE for empty range.
Eric Christopher85a495e2012-10-08 20:48:49 +00001480 DEBUG(dbgs() << "Dropping DBG_VALUE for empty range:\n"
Devang Patelb7a328e2011-07-07 00:14:27 +00001481 << "\t" << *Prev << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001482 History.pop_back();
Devang Patelb7a328e2011-07-07 00:14:27 +00001483 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001484 else {
1485 // Terminate after LastMI.
1486 History.push_back(LastMI);
1487 }
1488 }
1489 }
1490 }
1491 History.push_back(MI);
Devang Patel002d54d2010-05-26 19:37:24 +00001492 } else {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001493 // Not a DBG_VALUE instruction.
1494 if (!MI->isLabel())
1495 AtBlockEntry = false;
1496
Eric Christopher133195782012-10-04 20:46:14 +00001497 // First known non-DBG_VALUE and non-frame setup location marks
1498 // the beginning of the function body.
1499 if (!MI->getFlag(MachineInstr::FrameSetup) &&
1500 (PrologEndLoc.isUnknown() && !MI->getDebugLoc().isUnknown()))
Devang Patel34a66202011-05-11 19:22:19 +00001501 PrologEndLoc = MI->getDebugLoc();
1502
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001503 // Check if the instruction clobbers any registers with debug vars.
1504 for (MachineInstr::const_mop_iterator MOI = MI->operands_begin(),
1505 MOE = MI->operands_end(); MOI != MOE; ++MOI) {
1506 if (!MOI->isReg() || !MOI->isDef() || !MOI->getReg())
1507 continue;
Jakob Stoklund Olesen54038d72012-06-01 23:28:30 +00001508 for (MCRegAliasIterator AI(MOI->getReg(), TRI, true);
1509 AI.isValid(); ++AI) {
1510 unsigned Reg = *AI;
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001511 const MDNode *Var = LiveUserVar[Reg];
1512 if (!Var)
1513 continue;
1514 // Reg is now clobbered.
1515 LiveUserVar[Reg] = 0;
1516
1517 // Was MD last defined by a DBG_VALUE referring to Reg?
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001518 DbgValueHistoryMap::iterator HistI = DbgValues.find(Var);
1519 if (HistI == DbgValues.end())
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001520 continue;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001521 SmallVectorImpl<const MachineInstr*> &History = HistI->second;
1522 if (History.empty())
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001523 continue;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001524 const MachineInstr *Prev = History.back();
1525 // Sanity-check: Register assignments are terminated at the end of
1526 // their block.
1527 if (!Prev->isDebugValue() || Prev->getParent() != MI->getParent())
1528 continue;
1529 // Is the variable still in Reg?
1530 if (!isDbgValueInDefinedReg(Prev) ||
1531 Prev->getOperand(0).getReg() != Reg)
1532 continue;
1533 // Var is clobbered. Make sure the next instruction gets a label.
1534 History.push_back(MI);
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001535 }
1536 }
Devang Patel002d54d2010-05-26 19:37:24 +00001537 }
Devang Patel002d54d2010-05-26 19:37:24 +00001538 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001539 }
1540
1541 for (DbgValueHistoryMap::iterator I = DbgValues.begin(), E = DbgValues.end();
1542 I != E; ++I) {
1543 SmallVectorImpl<const MachineInstr*> &History = I->second;
1544 if (History.empty())
1545 continue;
1546
1547 // Make sure the final register assignments are terminated.
1548 const MachineInstr *Prev = History.back();
1549 if (Prev->isDebugValue() && isDbgValueInDefinedReg(Prev)) {
1550 const MachineBasicBlock *PrevMBB = Prev->getParent();
Eric Christopher6a841382012-11-19 22:42:10 +00001551 MachineBasicBlock::const_iterator LastMI =
Devang Patel784077e2011-08-10 23:58:09 +00001552 PrevMBB->getLastNonDebugInstr();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001553 if (LastMI == PrevMBB->end())
1554 // Drop DBG_VALUE for empty range.
1555 History.pop_back();
1556 else {
1557 // Terminate after LastMI.
1558 History.push_back(LastMI);
1559 }
1560 }
1561 // Request labels for the full history.
1562 for (unsigned i = 0, e = History.size(); i != e; ++i) {
1563 const MachineInstr *MI = History[i];
1564 if (MI->isDebugValue())
1565 requestLabelBeforeInsn(MI);
1566 else
1567 requestLabelAfterInsn(MI);
1568 }
1569 }
Devang Patel002d54d2010-05-26 19:37:24 +00001570
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001571 PrevInstLoc = DebugLoc();
Devang Patel002d54d2010-05-26 19:37:24 +00001572 PrevLabel = FunctionBeginSym;
Devang Patel34a66202011-05-11 19:22:19 +00001573
1574 // Record beginning of function.
1575 if (!PrologEndLoc.isUnknown()) {
1576 DebugLoc FnStartDL = getFnDebugLoc(PrologEndLoc,
1577 MF->getFunction()->getContext());
1578 recordSourceLine(FnStartDL.getLine(), FnStartDL.getCol(),
1579 FnStartDL.getScope(MF->getFunction()->getContext()),
David Blaikie67cb31e2012-12-04 22:02:33 +00001580 // We'd like to list the prologue as "not statements" but GDB behaves
1581 // poorly if we do that. Revisit this with caution/GDB (7.5+) testing.
David Blaikie5a773bb2012-12-04 21:05:36 +00001582 DWARF2_FLAG_IS_STMT);
Devang Patel34a66202011-05-11 19:22:19 +00001583 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001584}
1585
Devang Patel7e623022011-08-10 20:55:27 +00001586void DwarfDebug::addScopeVariable(LexicalScope *LS, DbgVariable *Var) {
1587// SmallVector<DbgVariable *, 8> &Vars = ScopeVariables.lookup(LS);
1588 ScopeVariables[LS].push_back(Var);
1589// Vars.push_back(Var);
1590}
1591
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001592// Gather and emit post-function debug information.
Chris Lattner76555b52010-01-26 23:18:02 +00001593void DwarfDebug::endFunction(const MachineFunction *MF) {
Devang Patel7e623022011-08-10 20:55:27 +00001594 if (!MMI->hasDebugInfo() || LScopes.empty()) return;
Devang Patel2904aa92009-11-12 19:02:56 +00001595
Devang Patel7e623022011-08-10 20:55:27 +00001596 // Define end label for subprogram.
1597 FunctionEndSym = Asm->GetTempSymbol("func_end",
1598 Asm->getFunctionNumber());
1599 // Assumes in correct section after the entry point.
1600 Asm->OutStreamer.EmitLabel(FunctionEndSym);
Manman Ren4e042a62013-02-05 21:52:47 +00001601 // Set DwarfCompileUnitID in MCContext to default value.
1602 Asm->OutStreamer.getContext().setDwarfCompileUnitID(0);
Eric Christopher6a841382012-11-19 22:42:10 +00001603
Devang Patel7e623022011-08-10 20:55:27 +00001604 SmallPtrSet<const MDNode *, 16> ProcessedVars;
1605 collectVariableInfo(MF, ProcessedVars);
Eric Christopher6a841382012-11-19 22:42:10 +00001606
Devang Patel3acc70e2011-08-15 22:04:40 +00001607 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
Devang Pateleb1bb4e2011-08-16 22:09:43 +00001608 CompileUnit *TheCU = SPMap.lookup(FnScope->getScopeNode());
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001609 assert(TheCU && "Unable to find compile unit!");
Devang Patel3acc70e2011-08-15 22:04:40 +00001610
Devang Patel7e623022011-08-10 20:55:27 +00001611 // Construct abstract scopes.
Devang Patel44403472011-08-12 18:10:19 +00001612 ArrayRef<LexicalScope *> AList = LScopes.getAbstractScopesList();
1613 for (unsigned i = 0, e = AList.size(); i != e; ++i) {
1614 LexicalScope *AScope = AList[i];
1615 DISubprogram SP(AScope->getScopeNode());
Devang Patel7e623022011-08-10 20:55:27 +00001616 if (SP.Verify()) {
1617 // Collect info for variables that were optimized out.
Devang Patel59e27c52011-08-19 23:28:12 +00001618 DIArray Variables = SP.getVariables();
1619 for (unsigned i = 0, e = Variables.getNumElements(); i != e; ++i) {
1620 DIVariable DV(Variables.getElement(i));
1621 if (!DV || !DV.Verify() || !ProcessedVars.insert(DV))
1622 continue;
Alexey Samsonov39602782012-07-06 08:45:08 +00001623 // Check that DbgVariable for DV wasn't created earlier, when
1624 // findAbstractVariable() was called for inlined instance of DV.
1625 LLVMContext &Ctx = DV->getContext();
1626 DIVariable CleanDV = cleanseInlinedVariable(DV, Ctx);
1627 if (AbstractVariables.lookup(CleanDV))
1628 continue;
Devang Patel59e27c52011-08-19 23:28:12 +00001629 if (LexicalScope *Scope = LScopes.findAbstractScope(DV.getContext()))
1630 addScopeVariable(Scope, new DbgVariable(DV, NULL));
Devang Patel5c0f85c2010-06-25 22:07:34 +00001631 }
1632 }
Devang Patel44403472011-08-12 18:10:19 +00001633 if (ProcessedSPNodes.count(AScope->getScopeNode()) == 0)
Devang Patel3acc70e2011-08-15 22:04:40 +00001634 constructScopeDIE(TheCU, AScope);
Bill Wendling2b128d72009-05-20 23:19:06 +00001635 }
Eric Christopher6a841382012-11-19 22:42:10 +00001636
Devang Patel3acc70e2011-08-15 22:04:40 +00001637 DIE *CurFnDIE = constructScopeDIE(TheCU, FnScope);
Eric Christopher6a841382012-11-19 22:42:10 +00001638
Nick Lewycky50f02cb2011-12-02 22:16:29 +00001639 if (!MF->getTarget().Options.DisableFramePointerElim(*MF))
Eric Christopherbb69a272012-08-24 01:14:27 +00001640 TheCU->addFlag(CurFnDIE, dwarf::DW_AT_APPLE_omit_frame_ptr);
Devang Patel3acc70e2011-08-15 22:04:40 +00001641
Devang Patel7e623022011-08-10 20:55:27 +00001642 DebugFrames.push_back(FunctionDebugFrameInfo(Asm->getFunctionNumber(),
1643 MMI->getFrameMoves()));
Bill Wendling2b128d72009-05-20 23:19:06 +00001644
Bill Wendling2b128d72009-05-20 23:19:06 +00001645 // Clear debug info
Devang Patel7e623022011-08-10 20:55:27 +00001646 for (DenseMap<LexicalScope *, SmallVector<DbgVariable *, 8> >::iterator
1647 I = ScopeVariables.begin(), E = ScopeVariables.end(); I != E; ++I)
1648 DeleteContainerPointers(I->second);
1649 ScopeVariables.clear();
Devang Patelad45d912011-04-22 18:09:57 +00001650 DeleteContainerPointers(CurrentFnArguments);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001651 UserVariables.clear();
1652 DbgValues.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001653 AbstractVariables.clear();
Devang Patel6c74a872010-04-27 19:46:33 +00001654 LabelsBeforeInsn.clear();
1655 LabelsAfterInsn.clear();
Devang Patel12563b32010-04-16 23:33:45 +00001656 PrevLabel = NULL;
Bill Wendling2b128d72009-05-20 23:19:06 +00001657}
1658
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001659// Register a source line with debug info. Returns the unique label that was
1660// emitted and which provides correspondence to the source line list.
Devang Patel34a66202011-05-11 19:22:19 +00001661void DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, const MDNode *S,
1662 unsigned Flags) {
Devang Patel2d9caf92009-11-25 17:36:49 +00001663 StringRef Fn;
Devang Patele01b75c2011-03-24 20:30:50 +00001664 StringRef Dir;
Dan Gohman50849c62010-05-05 23:41:32 +00001665 unsigned Src = 1;
1666 if (S) {
1667 DIDescriptor Scope(S);
Devang Patel2089d162009-10-05 18:03:19 +00001668
Dan Gohman50849c62010-05-05 23:41:32 +00001669 if (Scope.isCompileUnit()) {
1670 DICompileUnit CU(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001671 Fn = CU.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001672 Dir = CU.getDirectory();
Devang Patelc4b69052010-10-28 17:30:52 +00001673 } else if (Scope.isFile()) {
1674 DIFile F(S);
Devang Patelc4b69052010-10-28 17:30:52 +00001675 Fn = F.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001676 Dir = F.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001677 } else if (Scope.isSubprogram()) {
1678 DISubprogram SP(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001679 Fn = SP.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001680 Dir = SP.getDirectory();
Eric Christopher6647b832011-10-11 22:59:11 +00001681 } else if (Scope.isLexicalBlockFile()) {
1682 DILexicalBlockFile DBF(S);
1683 Fn = DBF.getFilename();
1684 Dir = DBF.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001685 } else if (Scope.isLexicalBlock()) {
1686 DILexicalBlock DB(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001687 Fn = DB.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001688 Dir = DB.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001689 } else
Craig Topperee4dab52012-02-05 08:31:47 +00001690 llvm_unreachable("Unexpected scope info");
Dan Gohman50849c62010-05-05 23:41:32 +00001691
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001692 Src = getOrCreateSourceID(Fn, Dir);
Dan Gohman50849c62010-05-05 23:41:32 +00001693 }
Nick Lewycky019d2552011-07-29 03:49:23 +00001694 Asm->OutStreamer.EmitDwarfLocDirective(Src, Line, Col, Flags, 0, 0, Fn);
Bill Wendling2b128d72009-05-20 23:19:06 +00001695}
1696
Bill Wendling806535f2009-05-20 23:22:40 +00001697//===----------------------------------------------------------------------===//
1698// Emit Methods
1699//===----------------------------------------------------------------------===//
1700
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001701// Compute the size and offset of a DIE.
Jim Grosbach00e9c612009-11-22 19:20:36 +00001702unsigned
Eric Christopherc8a310e2012-12-10 23:34:43 +00001703DwarfUnits::computeSizeAndOffset(DIE *Die, unsigned Offset) {
Bill Wendling480ff322009-05-20 23:21:38 +00001704 // Get the children.
1705 const std::vector<DIE *> &Children = Die->getChildren();
1706
Bill Wendling480ff322009-05-20 23:21:38 +00001707 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00001708 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00001709
1710 // Get the abbreviation for this DIE.
1711 unsigned AbbrevNumber = Die->getAbbrevNumber();
Eric Christopherc8a310e2012-12-10 23:34:43 +00001712 const DIEAbbrev *Abbrev = Abbreviations->at(AbbrevNumber - 1);
Bill Wendling480ff322009-05-20 23:21:38 +00001713
1714 // Set DIE offset
1715 Die->setOffset(Offset);
1716
1717 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00001718 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00001719
1720 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
1721 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
1722
1723 // Size the DIE attribute values.
1724 for (unsigned i = 0, N = Values.size(); i < N; ++i)
1725 // Size attribute value.
Chris Lattner5a00dea2010-04-05 00:18:22 +00001726 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling480ff322009-05-20 23:21:38 +00001727
1728 // Size the DIE children if any.
1729 if (!Children.empty()) {
1730 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
1731 "Children flag not set");
1732
1733 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Eric Christopher1f0cbb82012-11-20 22:14:13 +00001734 Offset = computeSizeAndOffset(Children[j], Offset);
Bill Wendling480ff322009-05-20 23:21:38 +00001735
1736 // End of children marker.
1737 Offset += sizeof(int8_t);
1738 }
1739
1740 Die->setSize(Offset - Die->getOffset());
1741 return Offset;
1742}
1743
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001744// Compute the size and offset of all the DIEs.
Eric Christopherc8a310e2012-12-10 23:34:43 +00001745void DwarfUnits::computeSizeAndOffsets() {
1746 for (SmallVector<CompileUnit *, 1>::iterator I = CUs.begin(),
1747 E = CUs.end(); I != E; ++I) {
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001748 unsigned Offset =
1749 sizeof(int32_t) + // Length of Compilation Unit Info
1750 sizeof(int16_t) + // DWARF version number
1751 sizeof(int32_t) + // Offset Into Abbrev. Section
1752 sizeof(int8_t); // Pointer Size (in bytes)
1753
Eric Christopherc8a310e2012-12-10 23:34:43 +00001754 computeSizeAndOffset((*I)->getCUDie(), Offset);
Devang Patel1a0df9a2010-05-10 22:49:55 +00001755 }
Bill Wendling480ff322009-05-20 23:21:38 +00001756}
1757
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001758// Emit initial Dwarf sections with a label at the start of each one.
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001759void DwarfDebug::emitSectionLabels() {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001760 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001761
Bill Wendling480ff322009-05-20 23:21:38 +00001762 // Dwarf sections base addresses.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001763 DwarfInfoSectionSym =
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001764 emitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001765 DwarfAbbrevSectionSym =
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001766 emitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Eric Christopher3c5a1912012-12-19 22:02:53 +00001767 if (useSplitDwarf())
1768 DwarfAbbrevDWOSectionSym =
1769 emitSectionSym(Asm, TLOF.getDwarfAbbrevDWOSection(),
1770 "section_abbrev_dwo");
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001771 emitSectionSym(Asm, TLOF.getDwarfARangesSection());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001772
Chris Lattner6629ca92010-04-04 22:59:04 +00001773 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001774 emitSectionSym(Asm, MacroInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00001775
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001776 emitSectionSym(Asm, TLOF.getDwarfLineSection(), "section_line");
1777 emitSectionSym(Asm, TLOF.getDwarfLocSection());
1778 emitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001779 DwarfStrSectionSym =
Eric Christopher3bf29fd2012-12-27 02:14:01 +00001780 emitSectionSym(Asm, TLOF.getDwarfStrSection(), "info_string");
1781 if (useSplitDwarf())
1782 DwarfStrDWOSectionSym =
1783 emitSectionSym(Asm, TLOF.getDwarfStrDWOSection(), "skel_string");
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001784 DwarfDebugRangeSectionSym = emitSectionSym(Asm, TLOF.getDwarfRangesSection(),
Devang Patel12563b32010-04-16 23:33:45 +00001785 "debug_range");
Bill Wendling480ff322009-05-20 23:21:38 +00001786
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001787 DwarfDebugLocSectionSym = emitSectionSym(Asm, TLOF.getDwarfLocSection(),
Devang Patel9fc11702010-05-25 23:40:22 +00001788 "section_debug_loc");
1789
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001790 TextSectionSym = emitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
1791 emitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling480ff322009-05-20 23:21:38 +00001792}
1793
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001794// Recursively emits a debug information entry.
Eric Christopher3c5a1912012-12-19 22:02:53 +00001795void DwarfDebug::emitDIE(DIE *Die, std::vector<DIEAbbrev *> *Abbrevs) {
Bill Wendling480ff322009-05-20 23:21:38 +00001796 // Get the abbreviation for this DIE.
1797 unsigned AbbrevNumber = Die->getAbbrevNumber();
Eric Christopher3c5a1912012-12-19 22:02:53 +00001798 const DIEAbbrev *Abbrev = Abbrevs->at(AbbrevNumber - 1);
Bill Wendling480ff322009-05-20 23:21:38 +00001799
Bill Wendling480ff322009-05-20 23:21:38 +00001800 // Emit the code (index) for the abbreviation.
Chris Lattner7bde8c02010-04-04 18:52:31 +00001801 if (Asm->isVerbose())
Chris Lattnerfa823552010-01-22 23:18:42 +00001802 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
1803 Twine::utohexstr(Die->getOffset()) + ":0x" +
1804 Twine::utohexstr(Die->getSize()) + " " +
1805 dwarf::TagString(Abbrev->getTag()));
Chris Lattner9efd1182010-04-04 19:09:29 +00001806 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00001807
Jeffrey Yasskin54ebc982010-03-22 18:47:14 +00001808 const SmallVector<DIEValue*, 32> &Values = Die->getValues();
Bill Wendling480ff322009-05-20 23:21:38 +00001809 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData();
1810
1811 // Emit the DIE attribute values.
1812 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
1813 unsigned Attr = AbbrevData[i].getAttribute();
1814 unsigned Form = AbbrevData[i].getForm();
1815 assert(Form && "Too many attributes for DIE (check abbreviation)");
1816
Chris Lattner7bde8c02010-04-04 18:52:31 +00001817 if (Asm->isVerbose())
Chris Lattner5adf9872010-01-24 18:54:17 +00001818 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001819
Bill Wendling480ff322009-05-20 23:21:38 +00001820 switch (Attr) {
Bill Wendling480ff322009-05-20 23:21:38 +00001821 case dwarf::DW_AT_abstract_origin: {
1822 DIEEntry *E = cast<DIEEntry>(Values[i]);
1823 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001824 unsigned Addr = Origin->getOffset();
Bill Wendling480ff322009-05-20 23:21:38 +00001825 Asm->EmitInt32(Addr);
1826 break;
1827 }
Devang Patel12563b32010-04-16 23:33:45 +00001828 case dwarf::DW_AT_ranges: {
1829 // DW_AT_range Value encodes offset in debug_range section.
1830 DIEInteger *V = cast<DIEInteger>(Values[i]);
Devang Patelda3ef852010-09-02 16:43:44 +00001831
Nick Lewycky33da3362012-06-22 01:25:12 +00001832 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections()) {
Devang Patelda3ef852010-09-02 16:43:44 +00001833 Asm->EmitLabelPlusOffset(DwarfDebugRangeSectionSym,
1834 V->getValue(),
1835 4);
1836 } else {
1837 Asm->EmitLabelOffsetDifference(DwarfDebugRangeSectionSym,
1838 V->getValue(),
1839 DwarfDebugRangeSectionSym,
1840 4);
1841 }
Devang Patel12563b32010-04-16 23:33:45 +00001842 break;
1843 }
Devang Patel9fc11702010-05-25 23:40:22 +00001844 case dwarf::DW_AT_location: {
Nick Lewycky33da3362012-06-22 01:25:12 +00001845 if (DIELabel *L = dyn_cast<DIELabel>(Values[i])) {
1846 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1847 Asm->EmitLabelReference(L->getValue(), 4);
1848 else
1849 Asm->EmitLabelDifference(L->getValue(), DwarfDebugLocSectionSym, 4);
1850 } else {
Devang Patel9fc11702010-05-25 23:40:22 +00001851 Values[i]->EmitValue(Asm, Form);
Nick Lewycky33da3362012-06-22 01:25:12 +00001852 }
Devang Patel9fc11702010-05-25 23:40:22 +00001853 break;
1854 }
Devang Patela1bd5a12010-09-29 19:08:08 +00001855 case dwarf::DW_AT_accessibility: {
1856 if (Asm->isVerbose()) {
1857 DIEInteger *V = cast<DIEInteger>(Values[i]);
1858 Asm->OutStreamer.AddComment(dwarf::AccessibilityString(V->getValue()));
1859 }
1860 Values[i]->EmitValue(Asm, Form);
1861 break;
1862 }
Bill Wendling480ff322009-05-20 23:21:38 +00001863 default:
1864 // Emit an attribute using the defined form.
Chris Lattner3a383cb2010-04-05 00:13:49 +00001865 Values[i]->EmitValue(Asm, Form);
Bill Wendling480ff322009-05-20 23:21:38 +00001866 break;
1867 }
Bill Wendling480ff322009-05-20 23:21:38 +00001868 }
1869
1870 // Emit the DIE children if any.
1871 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
1872 const std::vector<DIE *> &Children = Die->getChildren();
1873
1874 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Eric Christopher3c5a1912012-12-19 22:02:53 +00001875 emitDIE(Children[j], Abbrevs);
Bill Wendling480ff322009-05-20 23:21:38 +00001876
Chris Lattner7bde8c02010-04-04 18:52:31 +00001877 if (Asm->isVerbose())
Chris Lattner566cae92010-03-09 23:52:58 +00001878 Asm->OutStreamer.AddComment("End Of Children Mark");
1879 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00001880 }
1881}
1882
Eric Christophera2de8262012-12-15 00:04:07 +00001883// Emit the various dwarf units to the unit section USection with
1884// the abbreviations going into ASection.
1885void DwarfUnits::emitUnits(DwarfDebug *DD,
1886 const MCSection *USection,
1887 const MCSection *ASection,
1888 const MCSymbol *ASectionSym) {
1889 Asm->OutStreamer.SwitchSection(USection);
1890 for (SmallVector<CompileUnit *, 1>::iterator I = CUs.begin(),
1891 E = CUs.end(); I != E; ++I) {
1892 CompileUnit *TheCU = *I;
Devang Patel1a0df9a2010-05-10 22:49:55 +00001893 DIE *Die = TheCU->getCUDie();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001894
Devang Patel1a0df9a2010-05-10 22:49:55 +00001895 // Emit the compile units header.
Eric Christophera2de8262012-12-15 00:04:07 +00001896 Asm->OutStreamer
1897 .EmitLabel(Asm->GetTempSymbol(USection->getLabelBeginName(),
1898 TheCU->getUniqueID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001899
Devang Patel1a0df9a2010-05-10 22:49:55 +00001900 // Emit size of content not including length itself
1901 unsigned ContentSize = Die->getSize() +
1902 sizeof(int16_t) + // DWARF version number
1903 sizeof(int32_t) + // Offset Into Abbrev. Section
Devang Patele141234942011-04-13 19:41:17 +00001904 sizeof(int8_t); // Pointer Size (in bytes)
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001905
Devang Patel1a0df9a2010-05-10 22:49:55 +00001906 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
1907 Asm->EmitInt32(ContentSize);
1908 Asm->OutStreamer.AddComment("DWARF version number");
1909 Asm->EmitInt16(dwarf::DWARF_VERSION);
1910 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Eric Christophera2de8262012-12-15 00:04:07 +00001911 Asm->EmitSectionOffset(Asm->GetTempSymbol(ASection->getLabelBeginName()),
1912 ASectionSym);
Devang Patel1a0df9a2010-05-10 22:49:55 +00001913 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chandler Carruth5da3f052012-11-01 09:14:31 +00001914 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001915
Eric Christopher3c5a1912012-12-19 22:02:53 +00001916 DD->emitDIE(Die, Abbreviations);
Eric Christophera2de8262012-12-15 00:04:07 +00001917 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol(USection->getLabelEndName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00001918 TheCU->getUniqueID()));
Devang Patel1a0df9a2010-05-10 22:49:55 +00001919 }
Bill Wendling480ff322009-05-20 23:21:38 +00001920}
1921
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001922// Emit the debug info section.
1923void DwarfDebug::emitDebugInfo() {
Eric Christophera2de8262012-12-15 00:04:07 +00001924 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
1925
1926 Holder.emitUnits(this, Asm->getObjFileLowering().getDwarfInfoSection(),
1927 Asm->getObjFileLowering().getDwarfAbbrevSection(),
1928 DwarfAbbrevSectionSym);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001929}
1930
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001931// Emit the abbreviation section.
Eric Christopher38371952012-11-20 23:30:11 +00001932void DwarfDebug::emitAbbreviations() {
Eric Christopher3c5a1912012-12-19 22:02:53 +00001933 if (!useSplitDwarf())
1934 emitAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevSection(),
1935 &Abbreviations);
1936 else
1937 emitSkeletonAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevSection());
1938}
Bill Wendling480ff322009-05-20 23:21:38 +00001939
Eric Christopher3c5a1912012-12-19 22:02:53 +00001940void DwarfDebug::emitAbbrevs(const MCSection *Section,
1941 std::vector<DIEAbbrev *> *Abbrevs) {
1942 // Check to see if it is worth the effort.
1943 if (!Abbrevs->empty()) {
1944 // Start the debug abbrev section.
1945 Asm->OutStreamer.SwitchSection(Section);
1946
1947 MCSymbol *Begin = Asm->GetTempSymbol(Section->getLabelBeginName());
Eric Christopher996b2b72012-12-13 03:00:38 +00001948 Asm->OutStreamer.EmitLabel(Begin);
Bill Wendling480ff322009-05-20 23:21:38 +00001949
1950 // For each abbrevation.
Eric Christopher3c5a1912012-12-19 22:02:53 +00001951 for (unsigned i = 0, N = Abbrevs->size(); i < N; ++i) {
Bill Wendling480ff322009-05-20 23:21:38 +00001952 // Get abbreviation data
Eric Christopher3c5a1912012-12-19 22:02:53 +00001953 const DIEAbbrev *Abbrev = Abbrevs->at(i);
Bill Wendling480ff322009-05-20 23:21:38 +00001954
1955 // Emit the abbrevations code (base 1 index.)
Chris Lattner9efd1182010-04-04 19:09:29 +00001956 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling480ff322009-05-20 23:21:38 +00001957
1958 // Emit the abbreviations data.
Chris Lattner3a383cb2010-04-05 00:13:49 +00001959 Abbrev->Emit(Asm);
Bill Wendling480ff322009-05-20 23:21:38 +00001960 }
1961
1962 // Mark end of abbreviations.
Chris Lattner9efd1182010-04-04 19:09:29 +00001963 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling480ff322009-05-20 23:21:38 +00001964
Eric Christopher3c5a1912012-12-19 22:02:53 +00001965 MCSymbol *End = Asm->GetTempSymbol(Section->getLabelEndName());
Eric Christopher996b2b72012-12-13 03:00:38 +00001966 Asm->OutStreamer.EmitLabel(End);
Bill Wendling480ff322009-05-20 23:21:38 +00001967 }
1968}
1969
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001970// Emit the last address of the section and the end of the line matrix.
Devang Patel930143b2009-11-21 02:48:08 +00001971void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00001972 // Define last address of section.
Chris Lattner566cae92010-03-09 23:52:58 +00001973 Asm->OutStreamer.AddComment("Extended Op");
1974 Asm->EmitInt8(0);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001975
Chris Lattner566cae92010-03-09 23:52:58 +00001976 Asm->OutStreamer.AddComment("Op size");
Chandler Carruth5da3f052012-11-01 09:14:31 +00001977 Asm->EmitInt8(Asm->getDataLayout().getPointerSize() + 1);
Chris Lattner566cae92010-03-09 23:52:58 +00001978 Asm->OutStreamer.AddComment("DW_LNE_set_address");
1979 Asm->EmitInt8(dwarf::DW_LNE_set_address);
1980
1981 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerb245dfb2010-03-10 01:17:49 +00001982
Chris Lattnera179b522010-04-04 19:25:43 +00001983 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Eric Christopherce0cfce2013-01-09 01:35:34 +00001984 Asm->getDataLayout().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00001985
1986 // Mark end of matrix.
Chris Lattner566cae92010-03-09 23:52:58 +00001987 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
1988 Asm->EmitInt8(0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00001989 Asm->EmitInt8(1);
Chris Lattnerfa823552010-01-22 23:18:42 +00001990 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00001991}
1992
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001993// Emit visible names into a hashed accelerator table section.
Eric Christopher4996c702011-11-07 09:24:32 +00001994void DwarfDebug::emitAccelNames() {
1995 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
1996 dwarf::DW_FORM_data4));
1997 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
1998 E = CUMap.end(); I != E; ++I) {
1999 CompileUnit *TheCU = I->second;
Eric Christopherd9843b32011-11-10 19:25:34 +00002000 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelNames();
2001 for (StringMap<std::vector<DIE*> >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002002 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
2003 const char *Name = GI->getKeyData();
Eric Christopher090fcc12012-01-06 23:03:34 +00002004 const std::vector<DIE *> &Entities = GI->second;
Eric Christopherd9843b32011-11-10 19:25:34 +00002005 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2006 DE = Entities.end(); DI != DE; ++DI)
2007 AT.AddName(Name, (*DI));
Eric Christopher4996c702011-11-07 09:24:32 +00002008 }
2009 }
2010
2011 AT.FinalizeTable(Asm, "Names");
2012 Asm->OutStreamer.SwitchSection(
2013 Asm->getObjFileLowering().getDwarfAccelNamesSection());
2014 MCSymbol *SectionBegin = Asm->GetTempSymbol("names_begin");
2015 Asm->OutStreamer.EmitLabel(SectionBegin);
2016
2017 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002018 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002019}
2020
Eric Christopher48fef592012-12-20 21:58:40 +00002021// Emit objective C classes and categories into a hashed accelerator table
2022// section.
Eric Christopher4996c702011-11-07 09:24:32 +00002023void DwarfDebug::emitAccelObjC() {
2024 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2025 dwarf::DW_FORM_data4));
2026 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2027 E = CUMap.end(); I != E; ++I) {
2028 CompileUnit *TheCU = I->second;
2029 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelObjC();
2030 for (StringMap<std::vector<DIE*> >::const_iterator
2031 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
2032 const char *Name = GI->getKeyData();
Eric Christopher090fcc12012-01-06 23:03:34 +00002033 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher4996c702011-11-07 09:24:32 +00002034 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2035 DE = Entities.end(); DI != DE; ++DI)
2036 AT.AddName(Name, (*DI));
2037 }
2038 }
2039
2040 AT.FinalizeTable(Asm, "ObjC");
2041 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2042 .getDwarfAccelObjCSection());
2043 MCSymbol *SectionBegin = Asm->GetTempSymbol("objc_begin");
2044 Asm->OutStreamer.EmitLabel(SectionBegin);
2045
2046 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002047 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002048}
2049
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002050// Emit namespace dies into a hashed accelerator table.
Eric Christopher4996c702011-11-07 09:24:32 +00002051void DwarfDebug::emitAccelNamespaces() {
2052 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2053 dwarf::DW_FORM_data4));
2054 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2055 E = CUMap.end(); I != E; ++I) {
2056 CompileUnit *TheCU = I->second;
Eric Christopher66b37db2011-11-10 21:47:55 +00002057 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelNamespace();
2058 for (StringMap<std::vector<DIE*> >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002059 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
2060 const char *Name = GI->getKeyData();
Eric Christopher090fcc12012-01-06 23:03:34 +00002061 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher66b37db2011-11-10 21:47:55 +00002062 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2063 DE = Entities.end(); DI != DE; ++DI)
2064 AT.AddName(Name, (*DI));
Eric Christopher4996c702011-11-07 09:24:32 +00002065 }
2066 }
2067
2068 AT.FinalizeTable(Asm, "namespac");
2069 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2070 .getDwarfAccelNamespaceSection());
2071 MCSymbol *SectionBegin = Asm->GetTempSymbol("namespac_begin");
2072 Asm->OutStreamer.EmitLabel(SectionBegin);
2073
2074 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002075 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002076}
2077
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002078// Emit type dies into a hashed accelerator table.
Eric Christopher4996c702011-11-07 09:24:32 +00002079void DwarfDebug::emitAccelTypes() {
Eric Christopher21bde872012-01-06 04:35:23 +00002080 std::vector<DwarfAccelTable::Atom> Atoms;
2081 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2082 dwarf::DW_FORM_data4));
2083 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeTag,
2084 dwarf::DW_FORM_data2));
2085 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeTypeFlags,
2086 dwarf::DW_FORM_data1));
2087 DwarfAccelTable AT(Atoms);
Eric Christopher4996c702011-11-07 09:24:32 +00002088 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2089 E = CUMap.end(); I != E; ++I) {
2090 CompileUnit *TheCU = I->second;
Eric Christopher21bde872012-01-06 04:35:23 +00002091 const StringMap<std::vector<std::pair<DIE*, unsigned > > > &Names
2092 = TheCU->getAccelTypes();
2093 for (StringMap<std::vector<std::pair<DIE*, unsigned> > >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002094 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
2095 const char *Name = GI->getKeyData();
Eric Christopher090fcc12012-01-06 23:03:34 +00002096 const std::vector<std::pair<DIE *, unsigned> > &Entities = GI->second;
Eric Christopher21bde872012-01-06 04:35:23 +00002097 for (std::vector<std::pair<DIE *, unsigned> >::const_iterator DI
2098 = Entities.begin(), DE = Entities.end(); DI !=DE; ++DI)
2099 AT.AddName(Name, (*DI).first, (*DI).second);
Eric Christopher4996c702011-11-07 09:24:32 +00002100 }
2101 }
2102
2103 AT.FinalizeTable(Asm, "types");
2104 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2105 .getDwarfAccelTypesSection());
2106 MCSymbol *SectionBegin = Asm->GetTempSymbol("types_begin");
2107 Asm->OutStreamer.EmitLabel(SectionBegin);
2108
2109 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002110 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002111}
2112
Devang Patel04d2f2d2009-11-24 01:14:22 +00002113void DwarfDebug::emitDebugPubTypes() {
Devang Patel1a0df9a2010-05-10 22:49:55 +00002114 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2115 E = CUMap.end(); I != E; ++I) {
2116 CompileUnit *TheCU = I->second;
Eric Christopher6abc9c52011-11-07 09:18:35 +00002117 // Start the dwarf pubtypes section.
Devang Patel1a0df9a2010-05-10 22:49:55 +00002118 Asm->OutStreamer.SwitchSection(
2119 Asm->getObjFileLowering().getDwarfPubTypesSection());
2120 Asm->OutStreamer.AddComment("Length of Public Types Info");
2121 Asm->EmitLabelDifference(
Eli Benderskyb42d1462012-12-03 18:45:45 +00002122 Asm->GetTempSymbol("pubtypes_end", TheCU->getUniqueID()),
2123 Asm->GetTempSymbol("pubtypes_begin", TheCU->getUniqueID()), 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002124
Devang Patel1a0df9a2010-05-10 22:49:55 +00002125 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
Eli Benderskyb42d1462012-12-03 18:45:45 +00002126 TheCU->getUniqueID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002127
Devang Patel1a0df9a2010-05-10 22:49:55 +00002128 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
2129 Asm->EmitInt16(dwarf::DWARF_VERSION);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002130
Devang Patel1a0df9a2010-05-10 22:49:55 +00002131 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Eric Christopher16485a52012-12-15 00:04:04 +00002132 const MCSection *ISec = Asm->getObjFileLowering().getDwarfInfoSection();
2133 Asm->EmitSectionOffset(Asm->GetTempSymbol(ISec->getLabelBeginName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00002134 TheCU->getUniqueID()),
Devang Patel1a0df9a2010-05-10 22:49:55 +00002135 DwarfInfoSectionSym);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002136
Devang Patel1a0df9a2010-05-10 22:49:55 +00002137 Asm->OutStreamer.AddComment("Compilation Unit Length");
Eric Christopher16485a52012-12-15 00:04:04 +00002138 Asm->EmitLabelDifference(Asm->GetTempSymbol(ISec->getLabelEndName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00002139 TheCU->getUniqueID()),
Eric Christopher16485a52012-12-15 00:04:04 +00002140 Asm->GetTempSymbol(ISec->getLabelBeginName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00002141 TheCU->getUniqueID()),
Devang Patel1a0df9a2010-05-10 22:49:55 +00002142 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002143
Devang Patel1a0df9a2010-05-10 22:49:55 +00002144 const StringMap<DIE*> &Globals = TheCU->getGlobalTypes();
2145 for (StringMap<DIE*>::const_iterator
2146 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2147 const char *Name = GI->getKeyData();
Nick Lewycky019d2552011-07-29 03:49:23 +00002148 DIE *Entity = GI->second;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002149
Devang Patel1a0df9a2010-05-10 22:49:55 +00002150 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
2151 Asm->EmitInt32(Entity->getOffset());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002152
Devang Patel1a0df9a2010-05-10 22:49:55 +00002153 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Benjamin Kramer966ed1b2011-11-09 18:16:11 +00002154 // Emit the name with a terminating null byte.
Eric Christophere3ab3d02013-01-09 01:57:54 +00002155 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1));
Devang Patel1a0df9a2010-05-10 22:49:55 +00002156 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002157
Devang Patel1a0df9a2010-05-10 22:49:55 +00002158 Asm->OutStreamer.AddComment("End Mark");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002159 Asm->EmitInt32(0);
Devang Patel1a0df9a2010-05-10 22:49:55 +00002160 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
Eli Benderskyb42d1462012-12-03 18:45:45 +00002161 TheCU->getUniqueID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002162 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00002163}
2164
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002165// Emit strings into a string section.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002166void DwarfUnits::emitStrings(const MCSection *StrSection,
2167 const MCSection *OffsetSection = NULL,
2168 const MCSymbol *StrSecSym = NULL) {
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002169
Eric Christopher27614582013-01-08 22:22:06 +00002170 if (StringPool.empty()) return;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002171
Chris Lattner3d72a672010-03-09 23:38:23 +00002172 // Start the dwarf str section.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002173 Asm->OutStreamer.SwitchSection(StrSection);
Bill Wendling480ff322009-05-20 23:21:38 +00002174
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002175 // Get all of the string pool entries and put them in an array by their ID so
2176 // we can sort them.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002177 SmallVector<std::pair<unsigned,
Eric Christopherb800ff72013-01-07 22:40:45 +00002178 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002179
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002180 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
Eric Christopher27614582013-01-08 22:22:06 +00002181 I = StringPool.begin(), E = StringPool.end();
Eric Christopher48fef592012-12-20 21:58:40 +00002182 I != E; ++I)
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002183 Entries.push_back(std::make_pair(I->second.second, &*I));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002184
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002185 array_pod_sort(Entries.begin(), Entries.end());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002186
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002187 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner3d72a672010-03-09 23:38:23 +00002188 // Emit a label for reference from debug information entries.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002189 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002190
Benjamin Kramer966ed1b2011-11-09 18:16:11 +00002191 // Emit the string itself with a terminating null byte.
Benjamin Kramer148db362011-11-09 12:12:04 +00002192 Asm->OutStreamer.EmitBytes(StringRef(Entries[i].second->getKeyData(),
Eric Christopherce0cfce2013-01-09 01:35:34 +00002193 Entries[i].second->getKeyLength()+1));
Bill Wendling480ff322009-05-20 23:21:38 +00002194 }
Eric Christopher2cbd5762013-01-07 19:32:41 +00002195
2196 // If we've got an offset section go ahead and emit that now as well.
2197 if (OffsetSection) {
2198 Asm->OutStreamer.SwitchSection(OffsetSection);
2199 unsigned offset = 0;
Eric Christopher962c9082013-01-15 23:56:56 +00002200 unsigned size = 4; // FIXME: DWARF64 is 8.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002201 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Eric Christopherbf7bc492013-01-09 03:52:05 +00002202 Asm->OutStreamer.EmitIntValue(offset, size);
Eric Christopher2cbd5762013-01-07 19:32:41 +00002203 offset += Entries[i].second->getKeyLength() + 1;
2204 }
2205 }
Bill Wendling480ff322009-05-20 23:21:38 +00002206}
2207
Eric Christopher962c9082013-01-15 23:56:56 +00002208// Emit strings into a string section.
2209void DwarfUnits::emitAddresses(const MCSection *AddrSection) {
2210
2211 if (AddressPool.empty()) return;
2212
2213 // Start the dwarf addr section.
2214 Asm->OutStreamer.SwitchSection(AddrSection);
2215
2216 // Get all of the string pool entries and put them in an array by their ID so
2217 // we can sort them.
2218 SmallVector<std::pair<unsigned,
2219 std::pair<MCSymbol*, unsigned>* >, 64> Entries;
2220
2221 for (DenseMap<MCSymbol*, std::pair<MCSymbol*, unsigned> >::iterator
2222 I = AddressPool.begin(), E = AddressPool.end();
2223 I != E; ++I)
2224 Entries.push_back(std::make_pair(I->second.second, &(I->second)));
2225
2226 array_pod_sort(Entries.begin(), Entries.end());
2227
2228 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
2229 // Emit a label for reference from debug information entries.
2230 MCSymbol *Sym = Entries[i].second->first;
2231 if (Sym)
2232 Asm->EmitLabelReference(Entries[i].second->first,
2233 Asm->getDataLayout().getPointerSize());
2234 else
2235 Asm->OutStreamer.EmitIntValue(0, Asm->getDataLayout().getPointerSize());
2236 }
2237
2238}
2239
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002240// Emit visible names into a debug str section.
2241void DwarfDebug::emitDebugStr() {
2242 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
2243 Holder.emitStrings(Asm->getObjFileLowering().getDwarfStrSection());
2244}
2245
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002246// Emit visible names into a debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00002247void DwarfDebug::emitDebugLoc() {
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002248 if (DotDebugLocEntries.empty())
2249 return;
2250
Devang Patel116a9d72011-02-04 22:57:18 +00002251 for (SmallVector<DotDebugLocEntry, 4>::iterator
2252 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
2253 I != E; ++I) {
2254 DotDebugLocEntry &Entry = *I;
2255 if (I + 1 != DotDebugLocEntries.end())
2256 Entry.Merge(I+1);
2257 }
2258
Daniel Dunbarfd95b012011-03-16 22:16:39 +00002259 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002260 Asm->OutStreamer.SwitchSection(
Devang Patel9fc11702010-05-25 23:40:22 +00002261 Asm->getObjFileLowering().getDwarfLocSection());
Chandler Carruth5da3f052012-11-01 09:14:31 +00002262 unsigned char Size = Asm->getDataLayout().getPointerSize();
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002263 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", 0));
2264 unsigned index = 1;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002265 for (SmallVector<DotDebugLocEntry, 4>::iterator
2266 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
Devang Patel30265c42010-07-07 20:12:52 +00002267 I != E; ++I, ++index) {
Devang Patel116a9d72011-02-04 22:57:18 +00002268 DotDebugLocEntry &Entry = *I;
2269 if (Entry.isMerged()) continue;
Devang Patel9fc11702010-05-25 23:40:22 +00002270 if (Entry.isEmpty()) {
Eric Christopherce0cfce2013-01-09 01:35:34 +00002271 Asm->OutStreamer.EmitIntValue(0, Size);
2272 Asm->OutStreamer.EmitIntValue(0, Size);
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002273 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", index));
Devang Patel9fc11702010-05-25 23:40:22 +00002274 } else {
Eric Christopherbf7bc492013-01-09 03:52:05 +00002275 Asm->OutStreamer.EmitSymbolValue(Entry.Begin, Size);
2276 Asm->OutStreamer.EmitSymbolValue(Entry.End, Size);
Devang Patel3e021532011-04-28 02:22:40 +00002277 DIVariable DV(Entry.Variable);
Rafael Espindolad23bfb82011-05-27 22:05:41 +00002278 Asm->OutStreamer.AddComment("Loc expr size");
2279 MCSymbol *begin = Asm->OutStreamer.getContext().CreateTempSymbol();
2280 MCSymbol *end = Asm->OutStreamer.getContext().CreateTempSymbol();
2281 Asm->EmitLabelDifference(end, begin, 2);
2282 Asm->OutStreamer.EmitLabel(begin);
Devang Pateled9fd452011-07-08 16:49:43 +00002283 if (Entry.isInt()) {
Devang Patel324f8432011-06-01 22:03:25 +00002284 DIBasicType BTy(DV.getType());
2285 if (BTy.Verify() &&
Eric Christopher6a841382012-11-19 22:42:10 +00002286 (BTy.getEncoding() == dwarf::DW_ATE_signed
Devang Patel324f8432011-06-01 22:03:25 +00002287 || BTy.getEncoding() == dwarf::DW_ATE_signed_char)) {
2288 Asm->OutStreamer.AddComment("DW_OP_consts");
2289 Asm->EmitInt8(dwarf::DW_OP_consts);
Devang Pateled9fd452011-07-08 16:49:43 +00002290 Asm->EmitSLEB128(Entry.getInt());
Devang Patel324f8432011-06-01 22:03:25 +00002291 } else {
2292 Asm->OutStreamer.AddComment("DW_OP_constu");
2293 Asm->EmitInt8(dwarf::DW_OP_constu);
Devang Pateled9fd452011-07-08 16:49:43 +00002294 Asm->EmitULEB128(Entry.getInt());
Devang Patel324f8432011-06-01 22:03:25 +00002295 }
Devang Pateled9fd452011-07-08 16:49:43 +00002296 } else if (Entry.isLocation()) {
Eric Christopher6a841382012-11-19 22:42:10 +00002297 if (!DV.hasComplexAddress())
Devang Pateled9fd452011-07-08 16:49:43 +00002298 // Regular entry.
Devang Patel3e021532011-04-28 02:22:40 +00002299 Asm->EmitDwarfRegOp(Entry.Loc);
Devang Pateled9fd452011-07-08 16:49:43 +00002300 else {
2301 // Complex address entry.
2302 unsigned N = DV.getNumAddrElements();
2303 unsigned i = 0;
2304 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
2305 if (Entry.Loc.getOffset()) {
2306 i = 2;
2307 Asm->EmitDwarfRegOp(Entry.Loc);
2308 Asm->OutStreamer.AddComment("DW_OP_deref");
2309 Asm->EmitInt8(dwarf::DW_OP_deref);
2310 Asm->OutStreamer.AddComment("DW_OP_plus_uconst");
2311 Asm->EmitInt8(dwarf::DW_OP_plus_uconst);
2312 Asm->EmitSLEB128(DV.getAddrElement(1));
2313 } else {
2314 // If first address element is OpPlus then emit
2315 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
2316 MachineLocation Loc(Entry.Loc.getReg(), DV.getAddrElement(1));
2317 Asm->EmitDwarfRegOp(Loc);
2318 i = 2;
2319 }
2320 } else {
2321 Asm->EmitDwarfRegOp(Entry.Loc);
2322 }
Eric Christopher6a841382012-11-19 22:42:10 +00002323
Devang Pateled9fd452011-07-08 16:49:43 +00002324 // Emit remaining complex address elements.
2325 for (; i < N; ++i) {
2326 uint64_t Element = DV.getAddrElement(i);
2327 if (Element == DIBuilder::OpPlus) {
2328 Asm->EmitInt8(dwarf::DW_OP_plus_uconst);
2329 Asm->EmitULEB128(DV.getAddrElement(++i));
Eric Christopher4d250522012-05-08 18:56:00 +00002330 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher8d2a77d2012-05-08 21:24:39 +00002331 if (!Entry.Loc.isReg())
Eric Christopher4d250522012-05-08 18:56:00 +00002332 Asm->EmitInt8(dwarf::DW_OP_deref);
2333 } else
2334 llvm_unreachable("unknown Opcode found in complex address");
Devang Pateled9fd452011-07-08 16:49:43 +00002335 }
Devang Patel3e021532011-04-28 02:22:40 +00002336 }
Devang Patel3e021532011-04-28 02:22:40 +00002337 }
Devang Pateled9fd452011-07-08 16:49:43 +00002338 // else ... ignore constant fp. There is not any good way to
2339 // to represent them here in dwarf.
Rafael Espindolad23bfb82011-05-27 22:05:41 +00002340 Asm->OutStreamer.EmitLabel(end);
Devang Patel9fc11702010-05-25 23:40:22 +00002341 }
2342 }
Bill Wendling480ff322009-05-20 23:21:38 +00002343}
2344
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002345// Emit visible names into a debug aranges section.
Eric Christopher7b30f2e42012-11-21 00:34:35 +00002346void DwarfDebug::emitDebugARanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002347 // Start the dwarf aranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002348 Asm->OutStreamer.SwitchSection(
2349 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002350}
2351
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002352// Emit visible names into a debug ranges section.
Devang Patel930143b2009-11-21 02:48:08 +00002353void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002354 // Start the dwarf ranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002355 Asm->OutStreamer.SwitchSection(
Devang Patel12563b32010-04-16 23:33:45 +00002356 Asm->getObjFileLowering().getDwarfRangesSection());
Chandler Carruth5da3f052012-11-01 09:14:31 +00002357 unsigned char Size = Asm->getDataLayout().getPointerSize();
Devang Patel6c74a872010-04-27 19:46:33 +00002358 for (SmallVector<const MCSymbol *, 8>::iterator
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002359 I = DebugRangeSymbols.begin(), E = DebugRangeSymbols.end();
Devang Patel6c74a872010-04-27 19:46:33 +00002360 I != E; ++I) {
2361 if (*I)
Eric Christopherbf7bc492013-01-09 03:52:05 +00002362 Asm->OutStreamer.EmitSymbolValue(const_cast<MCSymbol*>(*I), Size);
Devang Patel12563b32010-04-16 23:33:45 +00002363 else
Eric Christopherce0cfce2013-01-09 01:35:34 +00002364 Asm->OutStreamer.EmitIntValue(0, Size);
Devang Patel12563b32010-04-16 23:33:45 +00002365 }
Bill Wendling480ff322009-05-20 23:21:38 +00002366}
2367
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002368// Emit visible names into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00002369void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002370 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00002371 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00002372 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002373 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00002374 }
2375}
2376
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002377// Emit inline info using following format.
2378// Section Header:
2379// 1. length of section
2380// 2. Dwarf version number
2381// 3. address size.
2382//
2383// Entries (one "entry" for each function that was inlined):
2384//
2385// 1. offset into __debug_str section for MIPS linkage name, if exists;
2386// otherwise offset into __debug_str for regular function name.
2387// 2. offset into __debug_str section for regular function name.
2388// 3. an unsigned LEB128 number indicating the number of distinct inlining
2389// instances for the function.
2390//
2391// The rest of the entry consists of a {die_offset, low_pc} pair for each
2392// inlined instance; the die_offset points to the inlined_subroutine die in the
2393// __debug_info section, and the low_pc is the starting address for the
2394// inlining instance.
Devang Patel930143b2009-11-21 02:48:08 +00002395void DwarfDebug::emitDebugInlineInfo() {
Eric Christopher1df94bf2012-03-02 02:11:47 +00002396 if (!Asm->MAI->doesDwarfUseInlineInfoSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002397 return;
2398
Devang Patel1a0df9a2010-05-10 22:49:55 +00002399 if (!FirstCU)
Bill Wendling480ff322009-05-20 23:21:38 +00002400 return;
2401
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002402 Asm->OutStreamer.SwitchSection(
2403 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002404
Chris Lattner566cae92010-03-09 23:52:58 +00002405 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002406 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
2407 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling480ff322009-05-20 23:21:38 +00002408
Chris Lattnera179b522010-04-04 19:25:43 +00002409 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00002410
Chris Lattner566cae92010-03-09 23:52:58 +00002411 Asm->OutStreamer.AddComment("Dwarf Version");
2412 Asm->EmitInt16(dwarf::DWARF_VERSION);
2413 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chandler Carruth5da3f052012-11-01 09:14:31 +00002414 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002415
Devang Patel32cc43c2010-05-07 20:54:48 +00002416 for (SmallVector<const MDNode *, 4>::iterator I = InlinedSPNodes.begin(),
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002417 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach042483e2009-11-21 23:12:12 +00002418
Devang Patel32cc43c2010-05-07 20:54:48 +00002419 const MDNode *Node = *I;
2420 DenseMap<const MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach00e9c612009-11-22 19:20:36 +00002421 = InlineInfo.find(Node);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002422 SmallVector<InlineInfoLabels, 4> &Labels = II->second;
Devang Patel80ae3492009-08-28 23:24:31 +00002423 DISubprogram SP(Node);
Devang Patel2d9caf92009-11-25 17:36:49 +00002424 StringRef LName = SP.getLinkageName();
2425 StringRef Name = SP.getName();
Bill Wendling480ff322009-05-20 23:21:38 +00002426
Chris Lattner566cae92010-03-09 23:52:58 +00002427 Asm->OutStreamer.AddComment("MIPS linkage name");
Eric Christopher77725312012-03-02 01:57:52 +00002428 if (LName.empty())
Eric Christophere698f532012-12-20 21:58:36 +00002429 Asm->EmitSectionOffset(InfoHolder.getStringPoolEntry(Name),
2430 DwarfStrSectionSym);
Eric Christopher77725312012-03-02 01:57:52 +00002431 else
Eric Christophere698f532012-12-20 21:58:36 +00002432 Asm->EmitSectionOffset(InfoHolder
2433 .getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattner70a4fce2010-04-04 23:25:33 +00002434 DwarfStrSectionSym);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002435
Chris Lattner566cae92010-03-09 23:52:58 +00002436 Asm->OutStreamer.AddComment("Function name");
Eric Christophere698f532012-12-20 21:58:36 +00002437 Asm->EmitSectionOffset(InfoHolder.getStringPoolEntry(Name),
2438 DwarfStrSectionSym);
Chris Lattner9efd1182010-04-04 19:09:29 +00002439 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling480ff322009-05-20 23:21:38 +00002440
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002441 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(),
Bill Wendling480ff322009-05-20 23:21:38 +00002442 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner7bde8c02010-04-04 18:52:31 +00002443 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner085b6522010-03-09 00:31:02 +00002444 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002445
Chris Lattner7bde8c02010-04-04 18:52:31 +00002446 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner3a383cb2010-04-05 00:13:49 +00002447 Asm->OutStreamer.EmitSymbolValue(LI->first,
Eric Christopherbf7bc492013-01-09 03:52:05 +00002448 Asm->getDataLayout().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002449 }
2450 }
2451
Chris Lattnera179b522010-04-04 19:25:43 +00002452 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00002453}
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002454
Eric Christopherd692c1d2012-12-11 19:42:09 +00002455// DWARF5 Experimental Separate Dwarf emitters.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002456
2457// This DIE has the following attributes: DW_AT_comp_dir, DW_AT_stmt_list,
2458// DW_AT_low_pc, DW_AT_high_pc, DW_AT_ranges, DW_AT_dwo_name, DW_AT_dwo_id,
2459// DW_AT_ranges_base, DW_AT_addr_base. If DW_AT_ranges is present,
2460// DW_AT_low_pc and DW_AT_high_pc are not used, and vice versa.
Eric Christophercdf218d2012-12-10 19:51:21 +00002461CompileUnit *DwarfDebug::constructSkeletonCU(const MDNode *N) {
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002462 DICompileUnit DIUnit(N);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002463 CompilationDir = DIUnit.getDirectory();
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002464
2465 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Eli Benderskyb42d1462012-12-03 18:45:45 +00002466 CompileUnit *NewCU = new CompileUnit(GlobalCUIndexCount++,
Eric Christophere698f532012-12-20 21:58:36 +00002467 DIUnit.getLanguage(), Die, Asm,
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002468 this, &SkeletonHolder);
Eric Christopher4c7765f2013-01-17 03:00:04 +00002469
2470 SmallString<16> T(DIUnit.getFilename());
2471 sys::path::replace_extension(T, ".dwo");
2472 StringRef FN = sys::path::filename(T);
Eric Christopher2cbd5762013-01-07 19:32:41 +00002473 NewCU->addLocalString(Die, dwarf::DW_AT_GNU_dwo_name, FN);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002474
Eric Christopher7a2cdf72013-02-05 07:31:55 +00002475 // This should be a unique identifier when we want to build .dwp files.
2476 NewCU->addUInt(Die, dwarf::DW_AT_GNU_dwo_id, dwarf::DW_FORM_data8, 0);
Eric Christopher18266172013-01-17 02:59:59 +00002477
2478 // FIXME: The addr base should be relative for each compile unit, however,
2479 // this one is going to be 0 anyhow.
2480 NewCU->addUInt(Die, dwarf::DW_AT_GNU_addr_base, dwarf::DW_FORM_sec_offset, 0);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002481
2482 // 2.17.1 requires that we use DW_AT_low_pc for a single entry point
Eric Christopher962c9082013-01-15 23:56:56 +00002483 // into an entity. We're using 0, or a NULL label for this.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002484 NewCU->addUInt(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, 0);
Eric Christopher962c9082013-01-15 23:56:56 +00002485
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002486 // DW_AT_stmt_list is a offset of line number information for this
2487 // compile unit in debug_line section.
2488 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Eric Christopher4c7765f2013-01-17 03:00:04 +00002489 NewCU->addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset,
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002490 Asm->GetTempSymbol("section_line"));
2491 else
Eric Christopher4c7765f2013-01-17 03:00:04 +00002492 NewCU->addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset, 0);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002493
2494 if (!CompilationDir.empty())
Eric Christopher2cbd5762013-01-07 19:32:41 +00002495 NewCU->addLocalString(Die, dwarf::DW_AT_comp_dir, CompilationDir);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002496
Eric Christopher411e6742013-02-05 07:32:03 +00002497 if (!SkeletonCU)
2498 SkeletonCU = NewCU;
2499
Eric Christopherc8a310e2012-12-10 23:34:43 +00002500 SkeletonHolder.addUnit(NewCU);
2501
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002502 return NewCU;
2503}
2504
Eric Christophercdf218d2012-12-10 19:51:21 +00002505void DwarfDebug::emitSkeletonCU(const MCSection *Section) {
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002506 Asm->OutStreamer.SwitchSection(Section);
Eric Christophercdf218d2012-12-10 19:51:21 +00002507 DIE *Die = SkeletonCU->getCUDie();
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002508
2509 // Emit the compile units header.
Eric Christopher16485a52012-12-15 00:04:04 +00002510 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol(Section->getLabelBeginName(),
Eric Christophercdf218d2012-12-10 19:51:21 +00002511 SkeletonCU->getUniqueID()));
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002512
2513 // Emit size of content not including length itself
2514 unsigned ContentSize = Die->getSize() +
2515 sizeof(int16_t) + // DWARF version number
2516 sizeof(int32_t) + // Offset Into Abbrev. Section
2517 sizeof(int8_t); // Pointer Size (in bytes)
2518
2519 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2520 Asm->EmitInt32(ContentSize);
2521 Asm->OutStreamer.AddComment("DWARF version number");
2522 Asm->EmitInt16(dwarf::DWARF_VERSION);
2523 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Eric Christopher3c5a1912012-12-19 22:02:53 +00002524
2525 const MCSection *ASec = Asm->getObjFileLowering().getDwarfAbbrevSection();
2526 Asm->EmitSectionOffset(Asm->GetTempSymbol(ASec->getLabelBeginName()),
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002527 DwarfAbbrevSectionSym);
2528 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2529 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
2530
Eric Christopher3c5a1912012-12-19 22:02:53 +00002531 emitDIE(Die, &SkeletonAbbrevs);
Eric Christopher16485a52012-12-15 00:04:04 +00002532 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol(Section->getLabelEndName(),
Eric Christophercdf218d2012-12-10 19:51:21 +00002533 SkeletonCU->getUniqueID()));
Eric Christopher3c5a1912012-12-19 22:02:53 +00002534}
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002535
Eric Christopher3c5a1912012-12-19 22:02:53 +00002536void DwarfDebug::emitSkeletonAbbrevs(const MCSection *Section) {
2537 assert(useSplitDwarf() && "No split dwarf debug info?");
2538 emitAbbrevs(Section, &SkeletonAbbrevs);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002539}
2540
Eric Christopherd692c1d2012-12-11 19:42:09 +00002541// Emit the .debug_info.dwo section for separated dwarf. This contains the
2542// compile units that would normally be in debug_info.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002543void DwarfDebug::emitDebugInfoDWO() {
Eric Christophercdf218d2012-12-10 19:51:21 +00002544 assert(useSplitDwarf() && "No split dwarf debug info?");
Eric Christophera2de8262012-12-15 00:04:07 +00002545 InfoHolder.emitUnits(this, Asm->getObjFileLowering().getDwarfInfoDWOSection(),
Eric Christopher3c5a1912012-12-19 22:02:53 +00002546 Asm->getObjFileLowering().getDwarfAbbrevDWOSection(),
2547 DwarfAbbrevDWOSectionSym);
2548}
2549
2550// Emit the .debug_abbrev.dwo section for separated dwarf. This contains the
2551// abbreviations for the .debug_info.dwo section.
2552void DwarfDebug::emitDebugAbbrevDWO() {
2553 assert(useSplitDwarf() && "No split dwarf?");
Eric Christopher48fef592012-12-20 21:58:40 +00002554 emitAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevDWOSection(),
2555 &Abbreviations);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002556}
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002557
2558// Emit the .debug_str.dwo section for separated dwarf. This contains the
2559// string section and is identical in format to traditional .debug_str
2560// sections.
2561void DwarfDebug::emitDebugStrDWO() {
2562 assert(useSplitDwarf() && "No split dwarf?");
Eric Christopherb800ff72013-01-07 22:40:45 +00002563 const MCSection *OffSec = Asm->getObjFileLowering()
2564 .getDwarfStrOffDWOSection();
Eric Christopher2cbd5762013-01-07 19:32:41 +00002565 const MCSymbol *StrSym = DwarfStrSectionSym;
2566 InfoHolder.emitStrings(Asm->getObjFileLowering().getDwarfStrDWOSection(),
2567 OffSec, StrSym);
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002568}