blob: 2d42af8f83aaad53924a6e06f3d189ba57ea9ff2 [file] [log] [blame]
Bill Wendling0310d762009-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 Lattner6cde3e62010-03-09 00:39:24 +000013
Devang Patele4b27562009-08-28 23:24:31 +000014#define DEBUG_TYPE "dwarfdebug"
Bill Wendling0310d762009-05-15 09:23:25 +000015#include "DwarfDebug.h"
Chris Lattner74e41f92010-04-05 05:24:55 +000016#include "DIE.h"
Eric Christopher09ac3d82011-11-07 09:24:32 +000017#include "DwarfAccelTable.h"
Devang Patel8b9df622011-04-12 17:40:32 +000018#include "DwarfCompileUnit.h"
Chandler Carruthd04a8d42012-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 Greeneb2c66fc2009-08-19 21:52:55 +000023#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling0310d762009-05-15 09:23:25 +000024#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000025#include "llvm/DIBuilder.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000026#include "llvm/DebugInfo.h"
Chandler Carruth0b8c9a82013-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 Lattnerb7db7332010-03-09 01:58:53 +000031#include "llvm/MC/MCAsmInfo.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000032#include "llvm/MC/MCSection.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000033#include "llvm/MC/MCStreamer.h"
Chris Lattnerb7db7332010-03-09 01:58:53 +000034#include "llvm/MC/MCSymbol.h"
Devang Pateleac9c072010-04-27 19:46:33 +000035#include "llvm/Support/CommandLine.h"
Daniel Dunbar6e4bdfc2009-10-13 06:47:08 +000036#include "llvm/Support/Debug.h"
37#include "llvm/Support/ErrorHandling.h"
Chris Lattner0ad9c912010-01-22 22:09:00 +000038#include "llvm/Support/FormattedStream.h"
Michael J. Spencer1f6efa32010-11-29 18:16:10 +000039#include "llvm/Support/Path.h"
Chandler Carruthd04a8d42012-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 Wendling0310d762009-05-15 09:23:25 +000047using namespace llvm;
48
Jim Grosbach1e20b962010-07-21 21:21:52 +000049static cl::opt<bool> DisableDebugInfoPrinting("disable-debug-info-print",
Devang Patel61409622010-07-07 20:12:52 +000050 cl::Hidden,
Devang Pateleac9c072010-04-27 19:46:33 +000051 cl::desc("Disable debug info printing"));
52
Dan Gohman281d65d2010-05-07 01:08:53 +000053static cl::opt<bool> UnknownLocations("use-unknown-locations", cl::Hidden,
Chris Lattner7a2bdde2011-04-15 05:18:47 +000054 cl::desc("Make an absence of debug location information explicit."),
Dan Gohman281d65d2010-05-07 01:08:53 +000055 cl::init(false));
56
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +000057static cl::opt<bool> GenerateDwarfPubNamesSection("generate-dwarf-pubnames",
Eric Christopher3dcb5382013-04-03 05:26:07 +000058 cl::Hidden, cl::init(false),
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +000059 cl::desc("Generate DWARF pubnames section"));
60
Eric Christopher20f47ab2012-08-23 22:36:40 +000061namespace {
62 enum DefaultOnOff {
63 Default, Enable, Disable
64 };
65}
Eric Christopher09ac3d82011-11-07 09:24:32 +000066
Eric Christopher20f47ab2012-08-23 22:36:40 +000067static cl::opt<DefaultOnOff> DwarfAccelTables("dwarf-accel-tables", cl::Hidden,
68 cl::desc("Output prototype dwarf accelerator tables."),
69 cl::values(
70 clEnumVal(Default, "Default for platform"),
71 clEnumVal(Enable, "Enabled"),
72 clEnumVal(Disable, "Disabled"),
73 clEnumValEnd),
74 cl::init(Default));
75
76static cl::opt<DefaultOnOff> DarwinGDBCompat("darwin-gdb-compat", cl::Hidden,
Eric Christopher10cb7442012-08-23 07:10:46 +000077 cl::desc("Compatibility with Darwin gdb."),
Eric Christopher20f47ab2012-08-23 22:36:40 +000078 cl::values(
79 clEnumVal(Default, "Default for platform"),
80 clEnumVal(Enable, "Enabled"),
81 clEnumVal(Disable, "Disabled"),
82 clEnumValEnd),
83 cl::init(Default));
Eric Christopher10cb7442012-08-23 07:10:46 +000084
Eric Christopher4daaed12012-12-10 19:51:21 +000085static cl::opt<DefaultOnOff> SplitDwarf("split-dwarf", cl::Hidden,
86 cl::desc("Output prototype dwarf split debug info."),
Eric Christopherf5b6dcd2012-11-12 22:22:20 +000087 cl::values(
88 clEnumVal(Default, "Default for platform"),
89 clEnumVal(Enable, "Enabled"),
90 clEnumVal(Disable, "Disabled"),
91 clEnumValEnd),
92 cl::init(Default));
93
Bill Wendling5f017e82010-04-07 09:28:04 +000094namespace {
95 const char *DWARFGroupName = "DWARF Emission";
96 const char *DbgTimerName = "DWARF Debug Writer";
David Blaikied2e0f7e2013-05-06 23:33:07 +000097
98 struct CompareFirst {
99 template <typename T> bool operator()(const T &lhs, const T &rhs) const {
100 return lhs.first < rhs.first;
101 }
102 };
Bill Wendling5f017e82010-04-07 09:28:04 +0000103} // end anonymous namespace
104
Bill Wendling0310d762009-05-15 09:23:25 +0000105//===----------------------------------------------------------------------===//
106
Eric Christopherb6dc8652012-11-27 22:43:45 +0000107// Configuration values for initial hash set sizes (log2).
108//
Bill Wendling0310d762009-05-15 09:23:25 +0000109static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling0310d762009-05-15 09:23:25 +0000110
111namespace llvm {
112
Nick Lewycky3bbb6f72011-07-29 03:49:23 +0000113DIType DbgVariable::getType() const {
Devang Patel3cbee302011-04-12 22:53:02 +0000114 DIType Ty = Var.getType();
115 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
116 // addresses instead.
117 if (Var.isBlockByrefVariable()) {
118 /* Byref variables, in Blocks, are declared by the programmer as
119 "SomeType VarName;", but the compiler creates a
120 __Block_byref_x_VarName struct, and gives the variable VarName
121 either the struct, or a pointer to the struct, as its type. This
122 is necessary for various behind-the-scenes things the compiler
123 needs to do with by-reference variables in blocks.
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000124
Devang Patel3cbee302011-04-12 22:53:02 +0000125 However, as far as the original *programmer* is concerned, the
126 variable should still have type 'SomeType', as originally declared.
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000127
Devang Patel3cbee302011-04-12 22:53:02 +0000128 The following function dives into the __Block_byref_x_VarName
129 struct to find the original type of the variable. This will be
130 passed back to the code generating the type for the Debug
131 Information Entry for the variable 'VarName'. 'VarName' will then
132 have the original type 'SomeType' in its debug information.
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000133
Devang Patel3cbee302011-04-12 22:53:02 +0000134 The original type 'SomeType' will be the type of the field named
135 'VarName' inside the __Block_byref_x_VarName struct.
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000136
Devang Patel3cbee302011-04-12 22:53:02 +0000137 NOTE: In order for this to not completely fail on the debugger
138 side, the Debug Information Entry for the variable VarName needs to
139 have a DW_AT_location that tells the debugger how to unwind through
140 the pointers and __Block_byref_x_VarName struct to find the actual
141 value of the variable. The function addBlockByrefType does this. */
142 DIType subType = Ty;
143 unsigned tag = Ty.getTag();
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000144
Devang Patel3cbee302011-04-12 22:53:02 +0000145 if (tag == dwarf::DW_TAG_pointer_type) {
146 DIDerivedType DTy = DIDerivedType(Ty);
147 subType = DTy.getTypeDerivedFrom();
148 }
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000149
Devang Patel3cbee302011-04-12 22:53:02 +0000150 DICompositeType blockStruct = DICompositeType(subType);
151 DIArray Elements = blockStruct.getTypeArray();
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000152
Devang Patel3cbee302011-04-12 22:53:02 +0000153 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
154 DIDescriptor Element = Elements.getElement(i);
155 DIDerivedType DT = DIDerivedType(Element);
156 if (getName() == DT.getName())
157 return (DT.getTypeDerivedFrom());
Devang Patel8bd11de2010-08-09 21:01:39 +0000158 }
Devang Patel8bd11de2010-08-09 21:01:39 +0000159 }
Devang Patel3cbee302011-04-12 22:53:02 +0000160 return Ty;
161}
Bill Wendling0310d762009-05-15 09:23:25 +0000162
Chris Lattnerea761862010-04-05 04:09:20 +0000163} // end llvm namespace
Bill Wendling0310d762009-05-15 09:23:25 +0000164
Chris Lattner49cd6642010-04-05 05:11:15 +0000165DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Eric Christopher28bd25a2012-12-10 19:51:13 +0000166 : Asm(A), MMI(Asm->MMI), FirstCU(0),
Jim Grosbach1e20b962010-07-21 21:21:52 +0000167 AbbreviationsSet(InitAbbreviationsSetSize),
Eric Christopherb6714222013-01-08 22:22:06 +0000168 SourceIdMap(DIEValueAllocator),
Eric Christopher0e3e9b72012-12-10 23:34:43 +0000169 PrevLabel(NULL), GlobalCUIndexCount(0),
Eric Christopherb6714222013-01-08 22:22:06 +0000170 InfoHolder(A, &AbbreviationsSet, &Abbreviations, "info_string",
171 DIEValueAllocator),
Eric Christopher6eebe472012-12-19 22:02:53 +0000172 SkeletonAbbrevSet(InitAbbreviationsSetSize),
Eric Christopherb6714222013-01-08 22:22:06 +0000173 SkeletonHolder(A, &SkeletonAbbrevSet, &SkeletonAbbrevs, "skel_string",
174 DIEValueAllocator) {
Jim Grosbach1e20b962010-07-21 21:21:52 +0000175
Rafael Espindolaf2b04232011-05-06 14:56:22 +0000176 DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
Chris Lattner4ad1efe2010-04-04 23:10:38 +0000177 DwarfStrSectionSym = TextSectionSym = 0;
Eric Christopher7a0103c2013-02-07 21:19:50 +0000178 DwarfDebugRangeSectionSym = DwarfDebugLocSectionSym = DwarfLineSectionSym = 0;
Eric Christopher9a9e73b2013-04-07 03:43:09 +0000179 DwarfAddrSectionSym = 0;
Eric Christopher64f824c2012-12-27 02:14:01 +0000180 DwarfAbbrevDWOSectionSym = DwarfStrDWOSectionSym = 0;
Devang Patelc3f5f782010-05-25 23:40:22 +0000181 FunctionBeginSym = FunctionEndSym = 0;
Eric Christopher60777d82012-04-02 17:58:52 +0000182
Eric Christopher10cb7442012-08-23 07:10:46 +0000183 // Turn on accelerator tables and older gdb compatibility
184 // for Darwin.
Eric Christopher00297ba2013-04-27 01:07:52 +0000185 bool IsDarwin = Triple(A->getTargetTriple()).isOSDarwin();
Eric Christopher20f47ab2012-08-23 22:36:40 +0000186 if (DarwinGDBCompat == Default) {
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000187 if (IsDarwin)
188 IsDarwinGDBCompat = true;
Eric Christopher20f47ab2012-08-23 22:36:40 +0000189 else
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000190 IsDarwinGDBCompat = false;
Eric Christopher20f47ab2012-08-23 22:36:40 +0000191 } else
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000192 IsDarwinGDBCompat = DarwinGDBCompat == Enable ? true : false;
Eric Christopherc1610fa2012-08-23 22:36:36 +0000193
Eric Christopher20f47ab2012-08-23 22:36:40 +0000194 if (DwarfAccelTables == Default) {
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000195 if (IsDarwin)
196 HasDwarfAccelTables = true;
Eric Christopher20f47ab2012-08-23 22:36:40 +0000197 else
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000198 HasDwarfAccelTables = false;
Eric Christopher20f47ab2012-08-23 22:36:40 +0000199 } else
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000200 HasDwarfAccelTables = DwarfAccelTables == Enable ? true : false;
Eric Christopher20f47ab2012-08-23 22:36:40 +0000201
Eric Christopher4daaed12012-12-10 19:51:21 +0000202 if (SplitDwarf == Default)
203 HasSplitDwarf = false;
Eric Christopherf5b6dcd2012-11-12 22:22:20 +0000204 else
Eric Christopher4daaed12012-12-10 19:51:21 +0000205 HasSplitDwarf = SplitDwarf == Enable ? true : false;
Eric Christopherf5b6dcd2012-11-12 22:22:20 +0000206
Dan Gohman03c3dc72010-06-18 15:56:31 +0000207 {
208 NamedRegionTimer T(DbgTimerName, DWARFGroupName, TimePassesIsEnabled);
Eric Christopherc4639d62012-11-19 22:42:15 +0000209 beginModule();
Torok Edwin9c421072010-04-07 10:44:46 +0000210 }
Bill Wendling0310d762009-05-15 09:23:25 +0000211}
212DwarfDebug::~DwarfDebug() {
Bill Wendling0310d762009-05-15 09:23:25 +0000213}
214
Eric Christopherb6dc8652012-11-27 22:43:45 +0000215// Switch to the specified MCSection and emit an assembler
216// temporary label to it if SymbolStem is specified.
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000217static MCSymbol *emitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Eric Christopherd8a87522011-11-07 09:18:38 +0000218 const char *SymbolStem = 0) {
219 Asm->OutStreamer.SwitchSection(Section);
220 if (!SymbolStem) return 0;
221
222 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
223 Asm->OutStreamer.EmitLabel(TmpSym);
224 return TmpSym;
225}
226
Eric Christopher2e5d8702012-12-20 21:58:36 +0000227MCSymbol *DwarfUnits::getStringPoolSym() {
Eric Christopher64f824c2012-12-27 02:14:01 +0000228 return Asm->GetTempSymbol(StringPref);
Nick Lewycky390c40d2011-10-27 06:44:11 +0000229}
230
Eric Christopher2e5d8702012-12-20 21:58:36 +0000231MCSymbol *DwarfUnits::getStringPoolEntry(StringRef Str) {
232 std::pair<MCSymbol*, unsigned> &Entry =
Eric Christopherb6714222013-01-08 22:22:06 +0000233 StringPool.GetOrCreateValue(Str).getValue();
Chris Lattnerbc733f52010-03-13 02:17:42 +0000234 if (Entry.first) return Entry.first;
235
236 Entry.second = NextStringPoolNumber++;
Eric Christopher64f824c2012-12-27 02:14:01 +0000237 return Entry.first = Asm->GetTempSymbol(StringPref, Entry.second);
Chris Lattnerbc733f52010-03-13 02:17:42 +0000238}
239
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000240unsigned DwarfUnits::getStringPoolIndex(StringRef Str) {
241 std::pair<MCSymbol*, unsigned> &Entry =
Eric Christopherb6714222013-01-08 22:22:06 +0000242 StringPool.GetOrCreateValue(Str).getValue();
Eric Christopherdd8e9f32013-01-07 19:32:41 +0000243 if (Entry.first) return Entry.second;
244
245 Entry.second = NextStringPoolNumber++;
246 Entry.first = Asm->GetTempSymbol(StringPref, Entry.second);
247 return Entry.second;
248}
249
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000250unsigned DwarfUnits::getAddrPoolIndex(MCSymbol *Sym) {
251 std::pair<MCSymbol*, unsigned> &Entry = AddressPool[Sym];
252 if (Entry.first) return Entry.second;
253
254 Entry.second = NextAddrPoolNumber++;
255 Entry.first = Sym;
256 return Entry.second;
257}
258
Eric Christopherb6dc8652012-11-27 22:43:45 +0000259// Define a unique number for the abbreviation.
260//
Eric Christopher0e3e9b72012-12-10 23:34:43 +0000261void DwarfUnits::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling0310d762009-05-15 09:23:25 +0000262 // Profile the node so that we can make it unique.
263 FoldingSetNodeID ID;
264 Abbrev.Profile(ID);
265
266 // Check the set for priors.
Eric Christopher0e3e9b72012-12-10 23:34:43 +0000267 DIEAbbrev *InSet = AbbreviationsSet->GetOrInsertNode(&Abbrev);
Bill Wendling0310d762009-05-15 09:23:25 +0000268
269 // If it's newly added.
270 if (InSet == &Abbrev) {
271 // Add to abbreviation list.
Eric Christopher0e3e9b72012-12-10 23:34:43 +0000272 Abbreviations->push_back(&Abbrev);
Bill Wendling0310d762009-05-15 09:23:25 +0000273
274 // Assign the vector position + 1 as its number.
Eric Christopher0e3e9b72012-12-10 23:34:43 +0000275 Abbrev.setNumber(Abbreviations->size());
Bill Wendling0310d762009-05-15 09:23:25 +0000276 } else {
277 // Assign existing abbreviation number.
278 Abbrev.setNumber(InSet->getNumber());
279 }
280}
281
Eric Christopherb6dc8652012-11-27 22:43:45 +0000282// If special LLVM prefix that is used to inform the asm
283// printer to not emit usual symbol prefix before the symbol name is used then
284// return linkage name after skipping this special LLVM prefix.
Devang Patel351ca332010-01-05 01:46:14 +0000285static StringRef getRealLinkageName(StringRef LinkageName) {
286 char One = '\1';
287 if (LinkageName.startswith(StringRef(&One, 1)))
288 return LinkageName.substr(1);
289 return LinkageName;
290}
291
Eric Christopher0ffe2b42011-11-10 19:25:34 +0000292static bool isObjCClass(StringRef Name) {
293 return Name.startswith("+") || Name.startswith("-");
294}
295
296static bool hasObjCCategory(StringRef Name) {
297 if (!isObjCClass(Name)) return false;
298
299 size_t pos = Name.find(')');
300 if (pos != std::string::npos) {
301 if (Name[pos+1] != ' ') return false;
302 return true;
303 }
304 return false;
305}
306
307static void getObjCClassCategory(StringRef In, StringRef &Class,
308 StringRef &Category) {
309 if (!hasObjCCategory(In)) {
310 Class = In.slice(In.find('[') + 1, In.find(' '));
311 Category = "";
312 return;
313 }
314
315 Class = In.slice(In.find('[') + 1, In.find('('));
316 Category = In.slice(In.find('[') + 1, In.find(' '));
317 return;
318}
319
320static StringRef getObjCMethodName(StringRef In) {
321 return In.slice(In.find(' ') + 1, In.find(']'));
322}
323
324// Add the various names to the Dwarf accelerator table names.
325static void addSubprogramNames(CompileUnit *TheCU, DISubprogram SP,
326 DIE* Die) {
327 if (!SP.isDefinition()) return;
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000328
Eric Christopher0ffe2b42011-11-10 19:25:34 +0000329 TheCU->addAccelName(SP.getName(), Die);
330
331 // If the linkage name is different than the name, go ahead and output
332 // that as well into the name table.
333 if (SP.getLinkageName() != "" && SP.getName() != SP.getLinkageName())
334 TheCU->addAccelName(SP.getLinkageName(), Die);
335
336 // If this is an Objective-C selector name add it to the ObjC accelerator
337 // too.
338 if (isObjCClass(SP.getName())) {
339 StringRef Class, Category;
340 getObjCClassCategory(SP.getName(), Class, Category);
341 TheCU->addAccelObjC(Class, Die);
342 if (Category != "")
343 TheCU->addAccelObjC(Category, Die);
344 // Also add the base method name to the name table.
345 TheCU->addAccelName(getObjCMethodName(SP.getName()), Die);
346 }
347}
348
Eric Christopherb6dc8652012-11-27 22:43:45 +0000349// Find DIE for the given subprogram and attach appropriate DW_AT_low_pc
350// and DW_AT_high_pc attributes. If there are global variables in this
351// scope then create and insert DIEs for these variables.
Devang Pateld3024342011-08-15 22:24:32 +0000352DIE *DwarfDebug::updateSubprogramScopeDIE(CompileUnit *SPCU,
353 const MDNode *SPNode) {
Devang Patel163a9f72010-05-10 22:49:55 +0000354 DIE *SPDie = SPCU->getDIE(SPNode);
Devang Patel8aa61472010-07-07 22:20:57 +0000355
Chris Lattnerd38fee82010-04-05 00:13:49 +0000356 assert(SPDie && "Unable to find subprogram DIE!");
357 DISubprogram SP(SPNode);
Jim Grosbach1e20b962010-07-21 21:21:52 +0000358
Bill Wendling168c1902012-11-07 05:19:04 +0000359 // If we're updating an abstract DIE, then we will be adding the children and
360 // object pointer later on. But what we don't want to do is process the
361 // concrete DIE twice.
Manman Renbc3e96f2013-03-12 18:27:15 +0000362 DIE *AbsSPDIE = AbstractSPDies.lookup(SPNode);
363 if (AbsSPDIE) {
364 bool InSameCU = (AbsSPDIE->getCompileUnit() == SPCU->getCUDie());
Bill Wendling168c1902012-11-07 05:19:04 +0000365 // Pick up abstract subprogram DIE.
Devang Patel8aa61472010-07-07 22:20:57 +0000366 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Manman Renbc3e96f2013-03-12 18:27:15 +0000367 // If AbsSPDIE belongs to a different CU, use DW_FORM_ref_addr instead of
368 // DW_FORM_ref4.
Devang Patel3cbee302011-04-12 22:53:02 +0000369 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_abstract_origin,
Manman Renbc3e96f2013-03-12 18:27:15 +0000370 InSameCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
371 AbsSPDIE);
Devang Patel8aa61472010-07-07 22:20:57 +0000372 SPCU->addDie(SPDie);
Bill Wendlinga4c76932012-11-07 04:42:18 +0000373 } else {
374 DISubprogram SPDecl = SP.getFunctionDeclaration();
375 if (!SPDecl.isSubprogram()) {
376 // There is not any need to generate specification DIE for a function
377 // defined at compile unit level. If a function is defined inside another
378 // function then gdb prefers the definition at top level and but does not
379 // expect specification DIE in parent function. So avoid creating
380 // specification DIE for a function defined inside a function.
381 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
382 !SP.getContext().isFile() &&
383 !isSubprogramContext(SP.getContext())) {
384 SPCU->addFlag(SPDie, dwarf::DW_AT_declaration);
385
386 // Add arguments.
387 DICompositeType SPTy = SP.getType();
388 DIArray Args = SPTy.getTypeArray();
389 unsigned SPTag = SPTy.getTag();
390 if (SPTag == dwarf::DW_TAG_subroutine_type)
391 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
392 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
393 DIType ATy = DIType(Args.getElement(i));
394 SPCU->addType(Arg, ATy);
395 if (ATy.isArtificial())
396 SPCU->addFlag(Arg, dwarf::DW_AT_artificial);
397 if (ATy.isObjectPointer())
398 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_object_pointer,
399 dwarf::DW_FORM_ref4, Arg);
400 SPDie->addChild(Arg);
401 }
402 DIE *SPDeclDie = SPDie;
403 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000404 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_specification,
405 dwarf::DW_FORM_ref4, SPDeclDie);
Bill Wendlinga4c76932012-11-07 04:42:18 +0000406 SPCU->addDie(SPDie);
407 }
408 }
Devang Patel8aa61472010-07-07 22:20:57 +0000409 }
410
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000411 SPCU->addLabelAddress(SPDie, dwarf::DW_AT_low_pc,
412 Asm->GetTempSymbol("func_begin",
413 Asm->getFunctionNumber()));
414 SPCU->addLabelAddress(SPDie, dwarf::DW_AT_high_pc,
415 Asm->GetTempSymbol("func_end",
416 Asm->getFunctionNumber()));
Chris Lattnerd38fee82010-04-05 00:13:49 +0000417 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
418 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
Devang Patel3cbee302011-04-12 22:53:02 +0000419 SPCU->addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patelb4645642010-02-06 01:02:37 +0000420
Eric Christopher0ffe2b42011-11-10 19:25:34 +0000421 // Add name to the name table, we do this here because we're guaranteed
422 // to have concrete versions of our DW_TAG_subprogram nodes.
423 addSubprogramNames(SPCU, SP, SPDie);
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000424
Chris Lattnerd38fee82010-04-05 00:13:49 +0000425 return SPDie;
Devang Patel53bb5c92009-11-10 23:06:00 +0000426}
427
Eric Christopherb6dc8652012-11-27 22:43:45 +0000428// Construct new DW_TAG_lexical_block for this scope and attach
429// DW_AT_low_pc/DW_AT_high_pc labels.
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000430DIE *DwarfDebug::constructLexicalScopeDIE(CompileUnit *TheCU,
Devang Pateld3024342011-08-15 22:24:32 +0000431 LexicalScope *Scope) {
Devang Pateleac9c072010-04-27 19:46:33 +0000432 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
433 if (Scope->isAbstractScope())
434 return ScopeDIE;
435
Devang Patelbf47fdb2011-08-10 20:55:27 +0000436 const SmallVector<InsnRange, 4> &Ranges = Scope->getRanges();
Devang Pateleac9c072010-04-27 19:46:33 +0000437 if (Ranges.empty())
438 return 0;
439
Devang Patelbf47fdb2011-08-10 20:55:27 +0000440 SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin();
Devang Pateleac9c072010-04-27 19:46:33 +0000441 if (Ranges.size() > 1) {
442 // .debug_range section has not been laid out yet. Emit offset in
Jim Grosbach1e20b962010-07-21 21:21:52 +0000443 // .debug_range as a uint, size 4, for now. emitDIE will handle
Devang Pateleac9c072010-04-27 19:46:33 +0000444 // DW_AT_ranges appropriately.
Devang Patel3cbee302011-04-12 22:53:02 +0000445 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000446 DebugRangeSymbols.size()
Chandler Carruth426c2bf2012-11-01 09:14:31 +0000447 * Asm->getDataLayout().getPointerSize());
Devang Patelbf47fdb2011-08-10 20:55:27 +0000448 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Pateleac9c072010-04-27 19:46:33 +0000449 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patelc3f5f782010-05-25 23:40:22 +0000450 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
451 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
Devang Pateleac9c072010-04-27 19:46:33 +0000452 }
453 DebugRangeSymbols.push_back(NULL);
454 DebugRangeSymbols.push_back(NULL);
455 return ScopeDIE;
456 }
457
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000458 MCSymbol *Start = getLabelBeforeInsn(RI->first);
459 MCSymbol *End = getLabelAfterInsn(RI->second);
Devang Pateleac9c072010-04-27 19:46:33 +0000460
Devang Patelc3f5f782010-05-25 23:40:22 +0000461 if (End == 0) return 0;
Devang Patel53bb5c92009-11-10 23:06:00 +0000462
Chris Lattnerb7db7332010-03-09 01:58:53 +0000463 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
464 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Jim Grosbach1e20b962010-07-21 21:21:52 +0000465
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000466 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_low_pc, Start);
467 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_high_pc, End);
Devang Patel53bb5c92009-11-10 23:06:00 +0000468
469 return ScopeDIE;
470}
471
Eric Christopherb6dc8652012-11-27 22:43:45 +0000472// This scope represents inlined body of a function. Construct DIE to
473// represent this concrete inlined copy of the function.
Devang Pateld3024342011-08-15 22:24:32 +0000474DIE *DwarfDebug::constructInlinedScopeDIE(CompileUnit *TheCU,
475 LexicalScope *Scope) {
Devang Patelbf47fdb2011-08-10 20:55:27 +0000476 const SmallVector<InsnRange, 4> &Ranges = Scope->getRanges();
Nick Lewycky746cb672011-10-26 22:55:33 +0000477 assert(Ranges.empty() == false &&
478 "LexicalScope does not have instruction markers!");
Devang Pateleac9c072010-04-27 19:46:33 +0000479
Devang Patel26a92002011-07-27 00:34:13 +0000480 if (!Scope->getScopeNode())
481 return NULL;
482 DIScope DS(Scope->getScopeNode());
483 DISubprogram InlinedSP = getDISubprogram(DS);
Manman Ren742671b2013-05-29 17:16:59 +0000484 DIE *OriginDIE = TheCU->getDIE(InlinedSP);
Devang Patel26a92002011-07-27 00:34:13 +0000485 if (!OriginDIE) {
Bill Wendlinge0aae5b2012-10-30 17:51:02 +0000486 DEBUG(dbgs() << "Unable to find original DIE for an inlined subprogram.");
Devang Patel26a92002011-07-27 00:34:13 +0000487 return NULL;
488 }
489
Devang Patelbf47fdb2011-08-10 20:55:27 +0000490 SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin();
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000491 MCSymbol *StartLabel = getLabelBeforeInsn(RI->first);
492 MCSymbol *EndLabel = getLabelAfterInsn(RI->second);
Devang Pateleac9c072010-04-27 19:46:33 +0000493
Devang Patel0afbf232010-07-08 22:39:20 +0000494 if (StartLabel == 0 || EndLabel == 0) {
Bill Wendlinge0aae5b2012-10-30 17:51:02 +0000495 llvm_unreachable("Unexpected Start and End labels for an inlined scope!");
Devang Pateleac9c072010-04-27 19:46:33 +0000496 }
Chris Lattnerb7db7332010-03-09 01:58:53 +0000497 assert(StartLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +0000498 "Invalid starting label for an inlined scope!");
Chris Lattnerb7db7332010-03-09 01:58:53 +0000499 assert(EndLabel->isDefined() &&
Chris Lattnera34ec2292010-03-09 01:51:43 +0000500 "Invalid end label for an inlined scope!");
Devang Pateleac9c072010-04-27 19:46:33 +0000501
Devang Pateld96efb82011-05-05 17:54:26 +0000502 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
Devang Patel3cbee302011-04-12 22:53:02 +0000503 TheCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Manman Ren742671b2013-05-29 17:16:59 +0000504 dwarf::DW_FORM_ref4, OriginDIE);
Devang Patel53bb5c92009-11-10 23:06:00 +0000505
Devang Patel26a92002011-07-27 00:34:13 +0000506 if (Ranges.size() > 1) {
507 // .debug_range section has not been laid out yet. Emit offset in
508 // .debug_range as a uint, size 4, for now. emitDIE will handle
509 // DW_AT_ranges appropriately.
510 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000511 DebugRangeSymbols.size()
Chandler Carruth426c2bf2012-11-01 09:14:31 +0000512 * Asm->getDataLayout().getPointerSize());
Devang Patelbf47fdb2011-08-10 20:55:27 +0000513 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Patel26a92002011-07-27 00:34:13 +0000514 RE = Ranges.end(); RI != RE; ++RI) {
515 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
516 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
517 }
518 DebugRangeSymbols.push_back(NULL);
519 DebugRangeSymbols.push_back(NULL);
520 } else {
Eric Christopher72f7bfb2013-01-15 23:56:56 +0000521 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_low_pc, StartLabel);
522 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_high_pc, EndLabel);
Devang Patel26a92002011-07-27 00:34:13 +0000523 }
Devang Patel53bb5c92009-11-10 23:06:00 +0000524
525 InlinedSubprogramDIEs.insert(OriginDIE);
526
527 // Track the start label for this inlined function.
Devang Patel26a92002011-07-27 00:34:13 +0000528 //.debug_inlined section specification does not clearly state how
529 // to emit inlined scope that is split into multiple instruction ranges.
530 // For now, use first instruction range and emit low_pc/high_pc pair and
531 // corresponding .debug_inlined section entry for this pair.
Devang Patele9f8f5e2010-05-07 20:54:48 +0000532 DenseMap<const MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patel2db49d72010-05-07 18:11:54 +0000533 I = InlineInfo.find(InlinedSP);
Devang Patel53bb5c92009-11-10 23:06:00 +0000534
535 if (I == InlineInfo.end()) {
Nick Lewycky746cb672011-10-26 22:55:33 +0000536 InlineInfo[InlinedSP].push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel2db49d72010-05-07 18:11:54 +0000537 InlinedSPNodes.push_back(InlinedSP);
Devang Patel53bb5c92009-11-10 23:06:00 +0000538 } else
Chris Lattner6ed0f902010-03-09 00:31:02 +0000539 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patel53bb5c92009-11-10 23:06:00 +0000540
Devang Patel53bb5c92009-11-10 23:06:00 +0000541 DILocation DL(Scope->getInlinedAt());
Eric Christopher08212002012-03-26 21:38:38 +0000542 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0,
Manman Ren3de61b42013-03-07 01:42:00 +0000543 getOrCreateSourceID(DL.getFilename(), DL.getDirectory(),
544 TheCU->getUniqueID()));
Devang Patel3cbee302011-04-12 22:53:02 +0000545 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patel53bb5c92009-11-10 23:06:00 +0000546
Eric Christopher309bedd2011-12-04 06:02:38 +0000547 // Add name to the name table, we do this here because we're guaranteed
548 // to have concrete versions of our DW_TAG_inlined_subprogram nodes.
549 addSubprogramNames(TheCU, InlinedSP, ScopeDIE);
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000550
Devang Patel53bb5c92009-11-10 23:06:00 +0000551 return ScopeDIE;
552}
553
Eric Christopherb6dc8652012-11-27 22:43:45 +0000554// Construct a DIE for this scope.
Devang Pateld0b5a5e2011-08-15 22:04:40 +0000555DIE *DwarfDebug::constructScopeDIE(CompileUnit *TheCU, LexicalScope *Scope) {
Devang Patel3c91b052010-03-08 20:52:55 +0000556 if (!Scope || !Scope->getScopeNode())
557 return NULL;
Jim Grosbach1e20b962010-07-21 21:21:52 +0000558
Manman Ren8b15d742013-01-31 20:05:14 +0000559 DIScope DS(Scope->getScopeNode());
560 // Early return to avoid creating dangling variable|scope DIEs.
Manman Ren742671b2013-05-29 17:16:59 +0000561 if (!Scope->getInlinedAt() && DS.isSubprogram() && Scope->isAbstractScope() &&
562 !TheCU->getDIE(DS))
563 return NULL;
Manman Ren8b15d742013-01-31 20:05:14 +0000564
Nick Lewycky746cb672011-10-26 22:55:33 +0000565 SmallVector<DIE *, 8> Children;
Eric Christophere5212782012-09-12 23:36:19 +0000566 DIE *ObjectPointer = NULL;
Devang Patel0478c152011-03-01 22:58:55 +0000567
568 // Collect arguments for current function.
Devang Patelbf47fdb2011-08-10 20:55:27 +0000569 if (LScopes.isCurrentFunctionScope(Scope))
Devang Patel0478c152011-03-01 22:58:55 +0000570 for (unsigned i = 0, N = CurrentFnArguments.size(); i < N; ++i)
571 if (DbgVariable *ArgDV = CurrentFnArguments[i])
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000572 if (DIE *Arg =
Eric Christophere5212782012-09-12 23:36:19 +0000573 TheCU->constructVariableDIE(ArgDV, Scope->isAbstractScope())) {
Devang Patel0478c152011-03-01 22:58:55 +0000574 Children.push_back(Arg);
Eric Christophere5212782012-09-12 23:36:19 +0000575 if (ArgDV->isObjectPointer()) ObjectPointer = Arg;
576 }
Devang Patel0478c152011-03-01 22:58:55 +0000577
Eric Christopher1aeb7ac2011-10-03 15:49:16 +0000578 // Collect lexical scope children first.
Devang Patelbf47fdb2011-08-10 20:55:27 +0000579 const SmallVector<DbgVariable *, 8> &Variables = ScopeVariables.lookup(Scope);
Devang Patel5bc9fec2011-02-19 01:31:27 +0000580 for (unsigned i = 0, N = Variables.size(); i < N; ++i)
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000581 if (DIE *Variable =
Eric Christopher7b451cf2012-09-21 22:18:52 +0000582 TheCU->constructVariableDIE(Variables[i], Scope->isAbstractScope())) {
Devang Patel5bc9fec2011-02-19 01:31:27 +0000583 Children.push_back(Variable);
Eric Christopher7b451cf2012-09-21 22:18:52 +0000584 if (Variables[i]->isObjectPointer()) ObjectPointer = Variable;
585 }
Devang Patelbf47fdb2011-08-10 20:55:27 +0000586 const SmallVector<LexicalScope *, 4> &Scopes = Scope->getChildren();
Devang Patel5bc9fec2011-02-19 01:31:27 +0000587 for (unsigned j = 0, M = Scopes.size(); j < M; ++j)
Devang Pateld0b5a5e2011-08-15 22:04:40 +0000588 if (DIE *Nested = constructScopeDIE(TheCU, Scopes[j]))
Devang Patel5bc9fec2011-02-19 01:31:27 +0000589 Children.push_back(Nested);
Devang Patel3c91b052010-03-08 20:52:55 +0000590 DIE *ScopeDIE = NULL;
591 if (Scope->getInlinedAt())
Devang Pateld3024342011-08-15 22:24:32 +0000592 ScopeDIE = constructInlinedScopeDIE(TheCU, Scope);
Devang Patel3c91b052010-03-08 20:52:55 +0000593 else if (DS.isSubprogram()) {
Devang Patel0dd45582010-06-28 20:53:04 +0000594 ProcessedSPNodes.insert(DS);
Devang Patel8aa61472010-07-07 22:20:57 +0000595 if (Scope->isAbstractScope()) {
Manman Ren742671b2013-05-29 17:16:59 +0000596 ScopeDIE = TheCU->getDIE(DS);
Devang Patel8aa61472010-07-07 22:20:57 +0000597 // Note down abstract DIE.
598 if (ScopeDIE)
599 AbstractSPDies.insert(std::make_pair(DS, ScopeDIE));
600 }
Devang Patel3c91b052010-03-08 20:52:55 +0000601 else
Devang Pateld3024342011-08-15 22:24:32 +0000602 ScopeDIE = updateSubprogramScopeDIE(TheCU, DS);
Devang Patel3c91b052010-03-08 20:52:55 +0000603 }
Devang Patel5bc9fec2011-02-19 01:31:27 +0000604 else {
605 // There is no need to emit empty lexical block DIE.
David Blaikied2e0f7e2013-05-06 23:33:07 +0000606 std::pair<ImportedEntityMap::const_iterator,
607 ImportedEntityMap::const_iterator> Range = std::equal_range(
608 ScopesWithImportedEntities.begin(), ScopesWithImportedEntities.end(),
Timur Iskhodzhanov664fbee2013-05-07 07:47:47 +0000609 std::pair<const MDNode *, const MDNode *>(DS, (const MDNode*)0),
610 CompareFirst());
David Blaikied2e0f7e2013-05-06 23:33:07 +0000611 if (Children.empty() && Range.first == Range.second)
Devang Patel5bc9fec2011-02-19 01:31:27 +0000612 return NULL;
Devang Pateld3024342011-08-15 22:24:32 +0000613 ScopeDIE = constructLexicalScopeDIE(TheCU, Scope);
David Blaikied2e0f7e2013-05-06 23:33:07 +0000614 for (ImportedEntityMap::const_iterator i = Range.first; i != Range.second; ++i)
David Blaikied1221e32013-05-08 06:01:38 +0000615 constructImportedEntityDIE(TheCU, i->second, ScopeDIE);
Devang Patel5bc9fec2011-02-19 01:31:27 +0000616 }
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000617
Devang Patelaead63c2010-03-29 22:59:58 +0000618 if (!ScopeDIE) return NULL;
Jim Grosbach1e20b962010-07-21 21:21:52 +0000619
Devang Patel5bc9fec2011-02-19 01:31:27 +0000620 // Add children
621 for (SmallVector<DIE *, 8>::iterator I = Children.begin(),
622 E = Children.end(); I != E; ++I)
623 ScopeDIE->addChild(*I);
Devang Patel193f7202009-11-24 01:14:22 +0000624
Eric Christophere5212782012-09-12 23:36:19 +0000625 if (DS.isSubprogram() && ObjectPointer != NULL)
626 TheCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer,
627 dwarf::DW_FORM_ref4, ObjectPointer);
628
Jim Grosbach1e20b962010-07-21 21:21:52 +0000629 if (DS.isSubprogram())
Eric Christopher0ffe2b42011-11-10 19:25:34 +0000630 TheCU->addPubTypes(DISubprogram(DS));
Jim Grosbach1e20b962010-07-21 21:21:52 +0000631
Eric Christopher0ffe2b42011-11-10 19:25:34 +0000632 return ScopeDIE;
Devang Patel53bb5c92009-11-10 23:06:00 +0000633}
634
Eric Christopherb6dc8652012-11-27 22:43:45 +0000635// Look up the source id with the given directory and source file names.
636// If none currently exists, create a new id and insert it in the
637// SourceIds map. This can update DirectoryNames and SourceFileNames maps
638// as well.
Eric Christopher7ee5f5d2012-11-21 00:34:35 +0000639unsigned DwarfDebug::getOrCreateSourceID(StringRef FileName,
Manman Ren3de61b42013-03-07 01:42:00 +0000640 StringRef DirName, unsigned CUID) {
641 // If we use .loc in assembly, we can't separate .file entries according to
642 // compile units. Thus all files will belong to the default compile unit.
643 if (Asm->TM.hasMCUseLoc() &&
644 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer)
645 CUID = 0;
646
Devang Patel1905a182010-09-16 20:57:49 +0000647 // If FE did not provide a file name, then assume stdin.
648 if (FileName.empty())
Manman Ren3de61b42013-03-07 01:42:00 +0000649 return getOrCreateSourceID("<stdin>", StringRef(), CUID);
Devang Patel23670e52011-03-24 20:30:50 +0000650
Nick Lewycky6c1a7032011-11-02 20:55:33 +0000651 // TODO: this might not belong here. See if we can factor this better.
652 if (DirName == CompilationDir)
653 DirName = "";
654
Manman Ren3de61b42013-03-07 01:42:00 +0000655 // FileIDCUMap stores the current ID for the given compile unit.
656 unsigned SrcId = FileIDCUMap[CUID] + 1;
Devang Patel1905a182010-09-16 20:57:49 +0000657
Manman Ren3de61b42013-03-07 01:42:00 +0000658 // We look up the CUID/file/dir by concatenating them with a zero byte.
Benjamin Kramer74612c22012-03-11 14:56:26 +0000659 SmallString<128> NamePair;
Manman Ren5044a932013-04-06 01:02:38 +0000660 NamePair += utostr(CUID);
Manman Ren3de61b42013-03-07 01:42:00 +0000661 NamePair += '\0';
Benjamin Kramer74612c22012-03-11 14:56:26 +0000662 NamePair += DirName;
663 NamePair += '\0'; // Zero bytes are not allowed in paths.
664 NamePair += FileName;
665
666 StringMapEntry<unsigned> &Ent = SourceIdMap.GetOrCreateValue(NamePair, SrcId);
667 if (Ent.getValue() != SrcId)
668 return Ent.getValue();
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000669
Manman Ren3de61b42013-03-07 01:42:00 +0000670 FileIDCUMap[CUID] = SrcId;
Rafael Espindola5c055632010-11-18 02:04:25 +0000671 // Print out a .file directive to specify files for .loc directives.
Manman Ren3de61b42013-03-07 01:42:00 +0000672 Asm->OutStreamer.EmitDwarfFileDirective(SrcId, DirName, FileName, CUID);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000673
674 return SrcId;
675}
676
Eric Christopher72c16552012-12-20 21:58:40 +0000677// Create new CompileUnit for the given metadata node with tag
678// DW_TAG_compile_unit.
Devang Patel94c7ddb2011-08-16 22:09:43 +0000679CompileUnit *DwarfDebug::constructCompileUnit(const MDNode *N) {
Devang Patele4b27562009-08-28 23:24:31 +0000680 DICompileUnit DIUnit(N);
Devang Patel65dbc902009-11-25 17:36:49 +0000681 StringRef FN = DIUnit.getFilename();
Nick Lewycky6c1a7032011-11-02 20:55:33 +0000682 CompilationDir = DIUnit.getDirectory();
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000683
684 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Eli Benderskyd4a05e02012-12-03 18:45:45 +0000685 CompileUnit *NewCU = new CompileUnit(GlobalCUIndexCount++,
Eric Christopher9c57ad22013-05-08 00:58:51 +0000686 DIUnit.getLanguage(), Die, N, Asm,
Eric Christopher2e5d8702012-12-20 21:58:36 +0000687 this, &InfoHolder);
Manman Ren3de61b42013-03-07 01:42:00 +0000688
689 FileIDCUMap[NewCU->getUniqueID()] = 0;
690 // Call this to emit a .file directive if it wasn't emitted for the source
691 // file this CU comes from yet.
692 getOrCreateSourceID(FN, CompilationDir, NewCU->getUniqueID());
693
Nick Lewycky390c40d2011-10-27 06:44:11 +0000694 NewCU->addString(Die, dwarf::DW_AT_producer, DIUnit.getProducer());
Devang Patel3cbee302011-04-12 22:53:02 +0000695 NewCU->addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data2,
696 DIUnit.getLanguage());
Nick Lewycky390c40d2011-10-27 06:44:11 +0000697 NewCU->addString(Die, dwarf::DW_AT_name, FN);
Eric Christophere0828ec2013-04-09 19:23:15 +0000698
Eric Christopher6635cad2012-08-01 18:19:01 +0000699 // 2.17.1 requires that we use DW_AT_low_pc for a single entry point
Eric Christophere0828ec2013-04-09 19:23:15 +0000700 // into an entity. We're using 0 (or a NULL label) for this. For
701 // split dwarf it's in the skeleton CU so omit it here.
702 if (!useSplitDwarf())
703 NewCU->addLabelAddress(Die, dwarf::DW_AT_low_pc, NULL);
Manman Ren43213cf2013-02-05 21:52:47 +0000704
705 // Define start line table label for each Compile Unit.
706 MCSymbol *LineTableStartSym = Asm->GetTempSymbol("line_table_start",
707 NewCU->getUniqueID());
708 Asm->OutStreamer.getContext().setMCLineTableSymbol(LineTableStartSym,
709 NewCU->getUniqueID());
710
Manman Ren01cb18e2013-05-21 00:57:22 +0000711 // Use a single line table if we are using .loc and generating assembly.
712 bool UseTheFirstCU =
713 (Asm->TM.hasMCUseLoc() &&
714 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer) ||
715 (NewCU->getUniqueID() == 0);
716
Devang Patel4a602ca2010-03-22 23:11:36 +0000717 // DW_AT_stmt_list is a offset of line number information for this
Eric Christophere0828ec2013-04-09 19:23:15 +0000718 // compile unit in debug_line section. For split dwarf this is
719 // left in the skeleton CU and so not included.
Manman Renf2d89ff2013-02-09 00:41:44 +0000720 // The line table entries are not always emitted in assembly, so it
721 // is not okay to use line_table_start here.
Eric Christophere0828ec2013-04-09 19:23:15 +0000722 if (!useSplitDwarf()) {
723 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
724 NewCU->addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Manman Ren01cb18e2013-05-21 00:57:22 +0000725 UseTheFirstCU ?
Eric Christophere0828ec2013-04-09 19:23:15 +0000726 Asm->GetTempSymbol("section_line") : LineTableStartSym);
Manman Ren01cb18e2013-05-21 00:57:22 +0000727 else if (UseTheFirstCU)
Eric Christophere0828ec2013-04-09 19:23:15 +0000728 NewCU->addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
729 else
730 NewCU->addDelta(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
731 LineTableStartSym, DwarfLineSectionSym);
732 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000733
Eric Christophere0828ec2013-04-09 19:23:15 +0000734 // If we're using split dwarf the compilation dir is going to be in the
735 // skeleton CU and so we don't need to duplicate it here.
736 if (!useSplitDwarf() && !CompilationDir.empty())
Nick Lewycky6c1a7032011-11-02 20:55:33 +0000737 NewCU->addString(Die, dwarf::DW_AT_comp_dir, CompilationDir);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000738 if (DIUnit.isOptimized())
Eric Christopher873cf0a2012-08-24 01:14:27 +0000739 NewCU->addFlag(Die, dwarf::DW_AT_APPLE_optimized);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000740
Devang Patel65dbc902009-11-25 17:36:49 +0000741 StringRef Flags = DIUnit.getFlags();
742 if (!Flags.empty())
Nick Lewycky390c40d2011-10-27 06:44:11 +0000743 NewCU->addString(Die, dwarf::DW_AT_APPLE_flags, Flags);
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000744
Nick Lewyckyd5d52132011-10-17 23:27:36 +0000745 if (unsigned RVer = DIUnit.getRunTimeVersion())
Devang Patel3cbee302011-04-12 22:53:02 +0000746 NewCU->addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000747 dwarf::DW_FORM_data1, RVer);
748
Devang Patel163a9f72010-05-10 22:49:55 +0000749 if (!FirstCU)
750 FirstCU = NewCU;
Eric Christopher208cc6f2013-02-05 07:31:55 +0000751
Eric Christopher0e3e9b72012-12-10 23:34:43 +0000752 InfoHolder.addUnit(NewCU);
753
Devang Patel163a9f72010-05-10 22:49:55 +0000754 CUMap.insert(std::make_pair(N, NewCU));
Devang Patel94c7ddb2011-08-16 22:09:43 +0000755 return NewCU;
Devang Patel163a9f72010-05-10 22:49:55 +0000756}
757
Eric Christopherb6dc8652012-11-27 22:43:45 +0000758// Construct subprogram DIE.
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000759void DwarfDebug::constructSubprogramDIE(CompileUnit *TheCU,
Devang Patel3655a212011-08-15 23:36:40 +0000760 const MDNode *N) {
Rafael Espindolab0527282011-11-04 19:00:29 +0000761 CompileUnit *&CURef = SPMap[N];
762 if (CURef)
763 return;
764 CURef = TheCU;
765
Devang Patele4b27562009-08-28 23:24:31 +0000766 DISubprogram SP(N);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000767 if (!SP.isDefinition())
768 // This is a method declaration which will be handled while constructing
769 // class type.
Devang Patel13e16b62009-06-26 01:49:18 +0000770 return;
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000771
Devang Pateldbc64af2011-08-15 17:24:54 +0000772 DIE *SubprogramDie = TheCU->getOrCreateSubprogramDIE(SP);
Stuart Hastings639336e2010-04-06 21:38:29 +0000773
774 // Add to map.
Devang Patel163a9f72010-05-10 22:49:55 +0000775 TheCU->insertDIE(N, SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000776
777 // Add to context owner.
Devang Patel3cbee302011-04-12 22:53:02 +0000778 TheCU->addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel0000fad2009-12-08 23:21:45 +0000779
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +0000780 // Expose as global, if requested.
781 if (GenerateDwarfPubNamesSection)
782 TheCU->addGlobalName(SP.getName(), SubprogramDie);
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000783}
784
David Blaikie20d9e412013-05-07 21:35:53 +0000785void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU,
David Blaikiec462db62013-04-22 06:12:31 +0000786 const MDNode *N) {
David Blaikie20d9e412013-05-07 21:35:53 +0000787 DIImportedEntity Module(N);
David Blaikiec462db62013-04-22 06:12:31 +0000788 if (!Module.Verify())
789 return;
David Blaikied2e0f7e2013-05-06 23:33:07 +0000790 if (DIE *D = TheCU->getOrCreateContextDIE(Module.getContext()))
David Blaikied1221e32013-05-08 06:01:38 +0000791 constructImportedEntityDIE(TheCU, Module, D);
David Blaikied2e0f7e2013-05-06 23:33:07 +0000792}
793
David Blaikied1221e32013-05-08 06:01:38 +0000794void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU, const MDNode *N,
David Blaikied2e0f7e2013-05-06 23:33:07 +0000795 DIE *Context) {
David Blaikie20d9e412013-05-07 21:35:53 +0000796 DIImportedEntity Module(N);
David Blaikied2e0f7e2013-05-06 23:33:07 +0000797 if (!Module.Verify())
798 return;
David Blaikied1221e32013-05-08 06:01:38 +0000799 return constructImportedEntityDIE(TheCU, Module, Context);
David Blaikied2e0f7e2013-05-06 23:33:07 +0000800}
801
David Blaikied1221e32013-05-08 06:01:38 +0000802void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU,
David Blaikie20d9e412013-05-07 21:35:53 +0000803 const DIImportedEntity &Module,
David Blaikied2e0f7e2013-05-06 23:33:07 +0000804 DIE *Context) {
805 assert(Module.Verify() &&
806 "Use one of the MDNode * overloads to handle invalid metadata");
807 assert(Context && "Should always have a context for an imported_module");
David Blaikie20d9e412013-05-07 21:35:53 +0000808 DIE *IMDie = new DIE(Module.getTag());
David Blaikiec462db62013-04-22 06:12:31 +0000809 TheCU->insertDIE(Module, IMDie);
David Blaikie20d9e412013-05-07 21:35:53 +0000810 DIE *EntityDie;
811 DIDescriptor Entity = Module.getEntity();
812 if (Entity.isNameSpace())
813 EntityDie = TheCU->getOrCreateNameSpace(DINameSpace(Entity));
814 else if (Entity.isSubprogram())
815 EntityDie = TheCU->getOrCreateSubprogramDIE(DISubprogram(Entity));
David Blaikieaa76a932013-05-08 06:01:41 +0000816 else if (Entity.isType())
817 EntityDie = TheCU->getOrCreateTypeDIE(DIType(Entity));
David Blaikie20d9e412013-05-07 21:35:53 +0000818 else
David Blaikieaa76a932013-05-08 06:01:41 +0000819 EntityDie = TheCU->getDIE(Entity);
David Blaikiec462db62013-04-22 06:12:31 +0000820 unsigned FileID = getOrCreateSourceID(Module.getContext().getFilename(),
821 Module.getContext().getDirectory(),
822 TheCU->getUniqueID());
823 TheCU->addUInt(IMDie, dwarf::DW_AT_decl_file, 0, FileID);
824 TheCU->addUInt(IMDie, dwarf::DW_AT_decl_line, 0, Module.getLineNumber());
David Blaikie20d9e412013-05-07 21:35:53 +0000825 TheCU->addDIEEntry(IMDie, dwarf::DW_AT_import, dwarf::DW_FORM_ref4, EntityDie);
David Blaikie7b72cc72013-05-20 22:50:35 +0000826 StringRef Name = Module.getName();
827 if (!Name.empty())
828 TheCU->addString(IMDie, dwarf::DW_AT_name, Name);
David Blaikied2e0f7e2013-05-06 23:33:07 +0000829 Context->addChild(IMDie);
David Blaikiec462db62013-04-22 06:12:31 +0000830}
831
Eric Christopherb6dc8652012-11-27 22:43:45 +0000832// Emit all Dwarf sections that should come prior to the content. Create
833// global DIEs and emit initial debug info sections. This is invoked by
834// the target AsmPrinter.
Eric Christopherc4639d62012-11-19 22:42:15 +0000835void DwarfDebug::beginModule() {
Devang Pateleac9c072010-04-27 19:46:33 +0000836 if (DisableDebugInfoPrinting)
837 return;
838
Eric Christopherc4639d62012-11-19 22:42:15 +0000839 const Module *M = MMI->getModule();
840
Nick Lewycky3bbb6f72011-07-29 03:49:23 +0000841 // If module has named metadata anchors then use them, otherwise scan the
842 // module using debug info finder to collect debug info.
Devang Patel30692ab2011-05-03 16:45:22 +0000843 NamedMDNode *CU_Nodes = M->getNamedMetadata("llvm.dbg.cu");
David Blaikiec0ec8a42013-03-11 23:39:23 +0000844 if (!CU_Nodes)
Devang Patel02e603f2011-08-15 23:47:24 +0000845 return;
Devang Patel30692ab2011-05-03 16:45:22 +0000846
David Blaikiec0ec8a42013-03-11 23:39:23 +0000847 // Emit initial sections so we can reference labels later.
848 emitSectionLabels();
849
850 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
851 DICompileUnit CUNode(CU_Nodes->getOperand(i));
852 CompileUnit *CU = constructCompileUnit(CUNode);
David Blaikie20d9e412013-05-07 21:35:53 +0000853 DIArray ImportedEntities = CUNode.getImportedEntities();
854 for (unsigned i = 0, e = ImportedEntities.getNumElements(); i != e; ++i)
David Blaikied2e0f7e2013-05-06 23:33:07 +0000855 ScopesWithImportedEntities.push_back(std::make_pair(
David Blaikie20d9e412013-05-07 21:35:53 +0000856 DIImportedEntity(ImportedEntities.getElement(i)).getContext(),
857 ImportedEntities.getElement(i)));
David Blaikied2e0f7e2013-05-06 23:33:07 +0000858 std::sort(ScopesWithImportedEntities.begin(),
859 ScopesWithImportedEntities.end(), CompareFirst());
David Blaikiec0ec8a42013-03-11 23:39:23 +0000860 DIArray GVs = CUNode.getGlobalVariables();
861 for (unsigned i = 0, e = GVs.getNumElements(); i != e; ++i)
862 CU->createGlobalVariableDIE(GVs.getElement(i));
863 DIArray SPs = CUNode.getSubprograms();
864 for (unsigned i = 0, e = SPs.getNumElements(); i != e; ++i)
865 constructSubprogramDIE(CU, SPs.getElement(i));
866 DIArray EnumTypes = CUNode.getEnumTypes();
867 for (unsigned i = 0, e = EnumTypes.getNumElements(); i != e; ++i)
868 CU->getOrCreateTypeDIE(EnumTypes.getElement(i));
869 DIArray RetainedTypes = CUNode.getRetainedTypes();
870 for (unsigned i = 0, e = RetainedTypes.getNumElements(); i != e; ++i)
871 CU->getOrCreateTypeDIE(RetainedTypes.getElement(i));
David Blaikiec462db62013-04-22 06:12:31 +0000872 // Emit imported_modules last so that the relevant context is already
873 // available.
David Blaikie20d9e412013-05-07 21:35:53 +0000874 for (unsigned i = 0, e = ImportedEntities.getNumElements(); i != e; ++i)
875 constructImportedEntityDIE(CU, ImportedEntities.getElement(i));
Eric Christopherc126c322013-03-29 20:23:02 +0000876 // If we're splitting the dwarf out now that we've got the entire
877 // CU then construct a skeleton CU based upon it.
878 if (useSplitDwarf()) {
Eric Christopher13367122013-04-24 12:56:18 +0000879 // This should be a unique identifier when we want to build .dwp files.
Eric Christopher1b0cd2f2013-04-22 07:51:08 +0000880 CU->addUInt(CU->getCUDie(), dwarf::DW_AT_GNU_dwo_id,
881 dwarf::DW_FORM_data8, 0);
Eric Christopherc126c322013-03-29 20:23:02 +0000882 // Now construct the skeleton CU associated.
883 constructSkeletonCU(CUNode);
884 }
David Blaikiec0ec8a42013-03-11 23:39:23 +0000885 }
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000886
Chris Lattnerd850ac72010-04-05 02:19:28 +0000887 // Tell MMI that we have debug info.
888 MMI->setDebugInfoAvailability(true);
Eric Christopher0f1c7f62012-11-19 22:42:10 +0000889
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000890 // Prime section data.
Chris Lattnerf0144122009-07-28 03:13:23 +0000891 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000892}
893
Eric Christopher4117bec2012-11-22 00:59:49 +0000894// Attach DW_AT_inline attribute with inlined subprogram DIEs.
895void DwarfDebug::computeInlinedDIEs() {
Devang Patel53bb5c92009-11-10 23:06:00 +0000896 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
897 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
Eric Christopherbdab8002012-11-27 00:13:51 +0000898 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
Devang Patel53bb5c92009-11-10 23:06:00 +0000899 DIE *ISP = *AI;
Devang Patel3cbee302011-04-12 22:53:02 +0000900 FirstCU->addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patel53bb5c92009-11-10 23:06:00 +0000901 }
Rafael Espindolad1ac3a42011-11-12 01:57:54 +0000902 for (DenseMap<const MDNode *, DIE *>::iterator AI = AbstractSPDies.begin(),
Eric Christopherbdab8002012-11-27 00:13:51 +0000903 AE = AbstractSPDies.end(); AI != AE; ++AI) {
Rafael Espindolad1ac3a42011-11-12 01:57:54 +0000904 DIE *ISP = AI->second;
905 if (InlinedSubprogramDIEs.count(ISP))
906 continue;
907 FirstCU->addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
908 }
Eric Christopher4117bec2012-11-22 00:59:49 +0000909}
910
911// Collect info for variables that were optimized out.
912void DwarfDebug::collectDeadVariables() {
913 const Module *M = MMI->getModule();
914 DenseMap<const MDNode *, LexicalScope *> DeadFnScopeMap;
915
916 if (NamedMDNode *CU_Nodes = M->getNamedMetadata("llvm.dbg.cu")) {
917 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
918 DICompileUnit TheCU(CU_Nodes->getOperand(i));
919 DIArray Subprograms = TheCU.getSubprograms();
920 for (unsigned i = 0, e = Subprograms.getNumElements(); i != e; ++i) {
Eric Christopherbdab8002012-11-27 00:13:51 +0000921 DISubprogram SP(Subprograms.getElement(i));
922 if (ProcessedSPNodes.count(SP) != 0) continue;
923 if (!SP.Verify()) continue;
924 if (!SP.isDefinition()) continue;
925 DIArray Variables = SP.getVariables();
926 if (Variables.getNumElements() == 0) continue;
Eric Christopher4117bec2012-11-22 00:59:49 +0000927
Eric Christopherbdab8002012-11-27 00:13:51 +0000928 LexicalScope *Scope =
929 new LexicalScope(NULL, DIDescriptor(SP), NULL, false);
930 DeadFnScopeMap[SP] = Scope;
Eric Christopher4117bec2012-11-22 00:59:49 +0000931
Eric Christopherbdab8002012-11-27 00:13:51 +0000932 // Construct subprogram DIE and add variables DIEs.
933 CompileUnit *SPCU = CUMap.lookup(TheCU);
934 assert(SPCU && "Unable to find Compile Unit!");
935 constructSubprogramDIE(SPCU, SP);
936 DIE *ScopeDIE = SPCU->getDIE(SP);
937 for (unsigned vi = 0, ve = Variables.getNumElements(); vi != ve; ++vi) {
938 DIVariable DV(Variables.getElement(vi));
939 if (!DV.Verify()) continue;
940 DbgVariable *NewVar = new DbgVariable(DV, NULL);
941 if (DIE *VariableDIE =
942 SPCU->constructVariableDIE(NewVar, Scope->isAbstractScope()))
943 ScopeDIE->addChild(VariableDIE);
944 }
Eric Christopher4117bec2012-11-22 00:59:49 +0000945 }
946 }
947 }
948 DeleteContainerSeconds(DeadFnScopeMap);
949}
950
951void DwarfDebug::finalizeModuleInfo() {
952 // Collect info for variables that were optimized out.
953 collectDeadVariables();
954
955 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
956 computeInlinedDIEs();
Devang Patel53bb5c92009-11-10 23:06:00 +0000957
Eric Christopher6635cad2012-08-01 18:19:01 +0000958 // Emit DW_AT_containing_type attribute to connect types with their
959 // vtable holding type.
Devang Pateldbc64af2011-08-15 17:24:54 +0000960 for (DenseMap<const MDNode *, CompileUnit *>::iterator CUI = CUMap.begin(),
Eric Christopherbdab8002012-11-27 00:13:51 +0000961 CUE = CUMap.end(); CUI != CUE; ++CUI) {
Devang Pateldbc64af2011-08-15 17:24:54 +0000962 CompileUnit *TheCU = CUI->second;
963 TheCU->constructContainingTypeDIEs();
Devang Patel5d11eb02009-12-03 19:11:07 +0000964 }
965
Eric Christopher4117bec2012-11-22 00:59:49 +0000966 // Compute DIE offsets and sizes.
Eric Christopher0e3e9b72012-12-10 23:34:43 +0000967 InfoHolder.computeSizeAndOffsets();
968 if (useSplitDwarf())
969 SkeletonHolder.computeSizeAndOffsets();
Eric Christopher4117bec2012-11-22 00:59:49 +0000970}
971
972void DwarfDebug::endSections() {
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000973 // Standard sections final addresses.
Chris Lattner6c2f9e12009-08-19 05:49:37 +0000974 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnerc0215722010-04-04 19:25:43 +0000975 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner6c2f9e12009-08-19 05:49:37 +0000976 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnerc0215722010-04-04 19:25:43 +0000977 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000978
979 // End text sections.
Benjamin Kramerb4c9d9c2012-10-31 13:45:49 +0000980 for (unsigned I = 0, E = SectionMap.size(); I != E; ++I) {
981 Asm->OutStreamer.SwitchSection(SectionMap[I]);
982 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", I+1));
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000983 }
Eric Christopher4117bec2012-11-22 00:59:49 +0000984}
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000985
Eric Christopherb6dc8652012-11-27 22:43:45 +0000986// Emit all Dwarf sections that should come after the content.
Eric Christopher4117bec2012-11-22 00:59:49 +0000987void DwarfDebug::endModule() {
988
989 if (!FirstCU) return;
990
991 // End any existing sections.
992 // TODO: Does this need to happen?
993 endSections();
994
995 // Finalize the debug info for the module.
996 finalizeModuleInfo();
Bill Wendlingf0fb9872009-05-20 23:19:06 +0000997
Eric Christopher4daaed12012-12-10 19:51:21 +0000998 if (!useSplitDwarf()) {
Eric Christopher42885022012-11-27 22:43:42 +0000999 // Emit all the DIEs into a debug info section.
1000 emitDebugInfo();
Eric Christopher74802f72012-11-27 00:41:54 +00001001
Eric Christopher42885022012-11-27 22:43:42 +00001002 // Corresponding abbreviations into a abbrev section.
1003 emitAbbreviations();
1004
1005 // Emit info into a debug loc section.
1006 emitDebugLoc();
1007
1008 // Emit info into a debug aranges section.
1009 emitDebugARanges();
1010
1011 // Emit info into a debug ranges section.
1012 emitDebugRanges();
1013
1014 // Emit info into a debug macinfo section.
1015 emitDebugMacInfo();
1016
1017 // Emit inline info.
1018 // TODO: When we don't need the option anymore we
1019 // can remove all of the code that this section
1020 // depends upon.
1021 if (useDarwinGDBCompat())
1022 emitDebugInlineInfo();
1023 } else {
Eric Christopher0b944ee2012-12-11 19:42:09 +00001024 // TODO: Fill this in for separated debug sections and separate
Eric Christopher42885022012-11-27 22:43:42 +00001025 // out information into new sections.
1026
Eric Christopher98e237f2012-11-30 23:59:06 +00001027 // Emit the debug info section and compile units.
Eric Christopher42885022012-11-27 22:43:42 +00001028 emitDebugInfo();
Eric Christopher98e237f2012-11-30 23:59:06 +00001029 emitDebugInfoDWO();
Eric Christopher42885022012-11-27 22:43:42 +00001030
1031 // Corresponding abbreviations into a abbrev section.
1032 emitAbbreviations();
Eric Christopher6eebe472012-12-19 22:02:53 +00001033 emitDebugAbbrevDWO();
Eric Christopher42885022012-11-27 22:43:42 +00001034
1035 // Emit info into a debug loc section.
1036 emitDebugLoc();
1037
1038 // Emit info into a debug aranges section.
1039 emitDebugARanges();
1040
1041 // Emit info into a debug ranges section.
1042 emitDebugRanges();
1043
1044 // Emit info into a debug macinfo section.
1045 emitDebugMacInfo();
1046
Eric Christopher72f7bfb2013-01-15 23:56:56 +00001047 // Emit DWO addresses.
1048 InfoHolder.emitAddresses(Asm->getObjFileLowering().getDwarfAddrSection());
1049
Eric Christopher42885022012-11-27 22:43:42 +00001050 // Emit inline info.
1051 // TODO: When we don't need the option anymore we
1052 // can remove all of the code that this section
1053 // depends upon.
1054 if (useDarwinGDBCompat())
1055 emitDebugInlineInfo();
1056 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001057
Eric Christopher9d9f5a52012-08-23 07:32:06 +00001058 // Emit info into the dwarf accelerator table sections.
Eric Christopher20f47ab2012-08-23 22:36:40 +00001059 if (useDwarfAccelTables()) {
Eric Christopher09ac3d82011-11-07 09:24:32 +00001060 emitAccelNames();
1061 emitAccelObjC();
1062 emitAccelNamespaces();
1063 emitAccelTypes();
1064 }
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001065
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001066 // Emit info into a debug pubnames section, if requested.
1067 if (GenerateDwarfPubNamesSection)
1068 emitDebugPubnames();
1069
Devang Patel193f7202009-11-24 01:14:22 +00001070 // Emit info into a debug pubtypes section.
Eric Christopher360f0062012-08-23 07:10:56 +00001071 // TODO: When we don't need the option anymore we can
1072 // remove all of the code that adds to the table.
Eric Christopher20f47ab2012-08-23 22:36:40 +00001073 if (useDarwinGDBCompat())
Eric Christopher360f0062012-08-23 07:10:56 +00001074 emitDebugPubTypes();
Devang Patel193f7202009-11-24 01:14:22 +00001075
Eric Christopher42885022012-11-27 22:43:42 +00001076 // Finally emit string information into a string table.
Eric Christopherfcdbecb2012-11-27 06:49:23 +00001077 emitDebugStr();
Eric Christopher64f824c2012-12-27 02:14:01 +00001078 if (useSplitDwarf())
1079 emitDebugStrDWO();
Eric Christopherfcdbecb2012-11-27 06:49:23 +00001080
Devang Patele9a1cca2010-08-02 17:32:15 +00001081 // clean up.
Devang Patel94c7ddb2011-08-16 22:09:43 +00001082 SPMap.clear();
Devang Patel163a9f72010-05-10 22:49:55 +00001083 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
1084 E = CUMap.end(); I != E; ++I)
1085 delete I->second;
Eric Christopher9ec87b32012-12-10 19:51:18 +00001086
Eric Christopher01776a52013-02-06 21:53:56 +00001087 for (SmallVector<CompileUnit *, 1>::iterator I = SkeletonCUs.begin(),
1088 E = SkeletonCUs.end(); I != E; ++I)
1089 delete *I;
Eric Christopher9ec87b32012-12-10 19:51:18 +00001090
Eric Christopher98e237f2012-11-30 23:59:06 +00001091 // Reset these for the next Module if we have one.
1092 FirstCU = NULL;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001093}
1094
Eric Christopherb6dc8652012-11-27 22:43:45 +00001095// Find abstract variable, if any, associated with Var.
Devang Patelb549bcf2011-08-10 21:50:54 +00001096DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &DV,
Chris Lattnerde4845c2010-04-02 19:42:39 +00001097 DebugLoc ScopeLoc) {
Devang Patelb549bcf2011-08-10 21:50:54 +00001098 LLVMContext &Ctx = DV->getContext();
1099 // More then one inlined variable corresponds to one abstract variable.
1100 DIVariable Var = cleanseInlinedVariable(DV, Ctx);
Devang Patel2db49d72010-05-07 18:11:54 +00001101 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var);
Devang Patel53bb5c92009-11-10 23:06:00 +00001102 if (AbsDbgVariable)
1103 return AbsDbgVariable;
1104
Devang Patelbf47fdb2011-08-10 20:55:27 +00001105 LexicalScope *Scope = LScopes.findAbstractScope(ScopeLoc.getScope(Ctx));
Devang Patel53bb5c92009-11-10 23:06:00 +00001106 if (!Scope)
1107 return NULL;
1108
Devang Patel5a1a67c2011-08-15 19:01:20 +00001109 AbsDbgVariable = new DbgVariable(Var, NULL);
Devang Patelbf47fdb2011-08-10 20:55:27 +00001110 addScopeVariable(Scope, AbsDbgVariable);
Devang Patel2db49d72010-05-07 18:11:54 +00001111 AbstractVariables[Var] = AbsDbgVariable;
Devang Patel53bb5c92009-11-10 23:06:00 +00001112 return AbsDbgVariable;
1113}
1114
Eric Christopherb6dc8652012-11-27 22:43:45 +00001115// If Var is a current function argument then add it to CurrentFnArguments list.
Devang Patel0478c152011-03-01 22:58:55 +00001116bool DwarfDebug::addCurrentFnArgument(const MachineFunction *MF,
Devang Patelbf47fdb2011-08-10 20:55:27 +00001117 DbgVariable *Var, LexicalScope *Scope) {
1118 if (!LScopes.isCurrentFunctionScope(Scope))
Devang Patel0478c152011-03-01 22:58:55 +00001119 return false;
1120 DIVariable DV = Var->getVariable();
1121 if (DV.getTag() != dwarf::DW_TAG_arg_variable)
1122 return false;
1123 unsigned ArgNo = DV.getArgNumber();
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001124 if (ArgNo == 0)
Devang Patel0478c152011-03-01 22:58:55 +00001125 return false;
1126
Devang Patelcb3a6572011-03-03 20:02:02 +00001127 size_t Size = CurrentFnArguments.size();
1128 if (Size == 0)
Devang Patel0478c152011-03-01 22:58:55 +00001129 CurrentFnArguments.resize(MF->getFunction()->arg_size());
Devang Patelbbd0f452011-03-03 21:49:41 +00001130 // llvm::Function argument size is not good indicator of how many
Devang Patel6f676be2011-03-03 20:08:10 +00001131 // arguments does the function have at source level.
1132 if (ArgNo > Size)
Devang Patelcb3a6572011-03-03 20:02:02 +00001133 CurrentFnArguments.resize(ArgNo * 2);
Devang Patel0478c152011-03-01 22:58:55 +00001134 CurrentFnArguments[ArgNo - 1] = Var;
1135 return true;
1136}
1137
Eric Christopherb6dc8652012-11-27 22:43:45 +00001138// Collect variable information from side table maintained by MMI.
Jim Grosbach1e20b962010-07-21 21:21:52 +00001139void
Nick Lewycky3bbb6f72011-07-29 03:49:23 +00001140DwarfDebug::collectVariableInfoFromMMITable(const MachineFunction *MF,
Devang Patelee432862010-05-20 19:57:06 +00001141 SmallPtrSet<const MDNode *, 16> &Processed) {
Devang Patele717faa2009-10-06 01:26:37 +00001142 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1143 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1144 VE = VMap.end(); VI != VE; ++VI) {
Devang Patele9f8f5e2010-05-07 20:54:48 +00001145 const MDNode *Var = VI->first;
Devang Patel53bb5c92009-11-10 23:06:00 +00001146 if (!Var) continue;
Devang Patel98e1cac2010-05-14 21:01:35 +00001147 Processed.insert(Var);
Chris Lattnerde4845c2010-04-02 19:42:39 +00001148 DIVariable DV(Var);
1149 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patel53bb5c92009-11-10 23:06:00 +00001150
Devang Patelbf47fdb2011-08-10 20:55:27 +00001151 LexicalScope *Scope = LScopes.findLexicalScope(VP.second);
Jim Grosbach1e20b962010-07-21 21:21:52 +00001152
Devang Patelfb0ee432009-11-10 23:20:04 +00001153 // If variable scope is not found then skip this variable.
Chris Lattnerde4845c2010-04-02 19:42:39 +00001154 if (Scope == 0)
Devang Patelfb0ee432009-11-10 23:20:04 +00001155 continue;
Devang Patel53bb5c92009-11-10 23:06:00 +00001156
Devang Patel26c1e562010-05-20 16:36:41 +00001157 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.second);
Devang Patel5a1a67c2011-08-15 19:01:20 +00001158 DbgVariable *RegVar = new DbgVariable(DV, AbsDbgVariable);
Devang Patelff9dd0a2011-08-15 21:24:36 +00001159 RegVar->setFrameIndex(VP.first);
Devang Patel0478c152011-03-01 22:58:55 +00001160 if (!addCurrentFnArgument(MF, RegVar, Scope))
Devang Patelbf47fdb2011-08-10 20:55:27 +00001161 addScopeVariable(Scope, RegVar);
Devang Patel5a1a67c2011-08-15 19:01:20 +00001162 if (AbsDbgVariable)
Devang Patelff9dd0a2011-08-15 21:24:36 +00001163 AbsDbgVariable->setFrameIndex(VP.first);
Devang Patele717faa2009-10-06 01:26:37 +00001164 }
Devang Patelee432862010-05-20 19:57:06 +00001165}
Devang Patel90a48ad2010-03-15 18:33:46 +00001166
Eric Christopherb6dc8652012-11-27 22:43:45 +00001167// Return true if debug value, encoded by DBG_VALUE instruction, is in a
1168// defined reg.
Devang Patelc3f5f782010-05-25 23:40:22 +00001169static bool isDbgValueInDefinedReg(const MachineInstr *MI) {
Nick Lewycky746cb672011-10-26 22:55:33 +00001170 assert(MI->isDebugValue() && "Invalid DBG_VALUE machine instruction!");
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001171 return MI->getNumOperands() == 3 &&
1172 MI->getOperand(0).isReg() && MI->getOperand(0).getReg() &&
Adrian Prantl86a87d92013-04-30 22:35:14 +00001173 MI->getOperand(1).isImm() && MI->getOperand(1).getImm() == 0;
Devang Patelc3f5f782010-05-25 23:40:22 +00001174}
1175
Eric Christopherb6dc8652012-11-27 22:43:45 +00001176// Get .debug_loc entry for the instruction range starting at MI.
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001177static DotDebugLocEntry getDebugLocEntry(AsmPrinter *Asm,
1178 const MCSymbol *FLabel,
Devang Patel90b40412011-07-08 17:09:57 +00001179 const MCSymbol *SLabel,
1180 const MachineInstr *MI) {
1181 const MDNode *Var = MI->getOperand(MI->getNumOperands() - 1).getMetadata();
1182
1183 if (MI->getNumOperands() != 3) {
1184 MachineLocation MLoc = Asm->getDebugValueLocation(MI);
1185 return DotDebugLocEntry(FLabel, SLabel, MLoc, Var);
1186 }
Adrian Prantl86a87d92013-04-30 22:35:14 +00001187 if (MI->getOperand(0).isReg() && MI->getOperand(1).isImm()) {
Devang Patel90b40412011-07-08 17:09:57 +00001188 MachineLocation MLoc;
Adrian Prantl86a87d92013-04-30 22:35:14 +00001189 // TODO: Currently an offset of 0 in a DBG_VALUE means
1190 // we need to generate a direct register value.
1191 // There is no way to specify an indirect value with offset 0.
1192 if (MI->getOperand(1).getImm() == 0)
Adrian Prantl13131e62013-04-26 21:57:17 +00001193 MLoc.set(MI->getOperand(0).getReg());
1194 else
1195 MLoc.set(MI->getOperand(0).getReg(), MI->getOperand(1).getImm());
Devang Patel90b40412011-07-08 17:09:57 +00001196 return DotDebugLocEntry(FLabel, SLabel, MLoc, Var);
1197 }
1198 if (MI->getOperand(0).isImm())
1199 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getImm());
1200 if (MI->getOperand(0).isFPImm())
1201 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getFPImm());
1202 if (MI->getOperand(0).isCImm())
1203 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getCImm());
1204
Craig Topper5e25ee82012-02-05 08:31:47 +00001205 llvm_unreachable("Unexpected 3 operand DBG_VALUE instruction!");
Devang Patel90b40412011-07-08 17:09:57 +00001206}
1207
Eric Christopherb6dc8652012-11-27 22:43:45 +00001208// Find variables for each lexical scope.
Jim Grosbach1e20b962010-07-21 21:21:52 +00001209void
Devang Patel78e127d2010-06-25 22:07:34 +00001210DwarfDebug::collectVariableInfo(const MachineFunction *MF,
1211 SmallPtrSet<const MDNode *, 16> &Processed) {
Jim Grosbach1e20b962010-07-21 21:21:52 +00001212
Eric Christopherb6dc8652012-11-27 22:43:45 +00001213 // collection info from MMI table.
Devang Patelee432862010-05-20 19:57:06 +00001214 collectVariableInfoFromMMITable(MF, Processed);
1215
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001216 for (SmallVectorImpl<const MDNode*>::const_iterator
1217 UVI = UserVariables.begin(), UVE = UserVariables.end(); UVI != UVE;
1218 ++UVI) {
1219 const MDNode *Var = *UVI;
1220 if (Processed.count(Var))
Devang Patelee432862010-05-20 19:57:06 +00001221 continue;
1222
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001223 // History contains relevant DBG_VALUE instructions for Var and instructions
1224 // clobbering it.
1225 SmallVectorImpl<const MachineInstr*> &History = DbgValues[Var];
1226 if (History.empty())
1227 continue;
1228 const MachineInstr *MInsn = History.front();
Devang Patelc3f5f782010-05-25 23:40:22 +00001229
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001230 DIVariable DV(Var);
Devang Patelbf47fdb2011-08-10 20:55:27 +00001231 LexicalScope *Scope = NULL;
Devang Pateld8720f42010-05-27 20:25:04 +00001232 if (DV.getTag() == dwarf::DW_TAG_arg_variable &&
1233 DISubprogram(DV.getContext()).describes(MF->getFunction()))
Devang Patelbf47fdb2011-08-10 20:55:27 +00001234 Scope = LScopes.getCurrentFunctionScope();
David Blaikiec0ec8a42013-03-11 23:39:23 +00001235 else if (MDNode *IA = DV.getInlinedAt())
1236 Scope = LScopes.findInlinedScope(DebugLoc::getFromDILocation(IA));
1237 else
1238 Scope = LScopes.findLexicalScope(cast<MDNode>(DV->getOperand(1)));
Devang Patelee432862010-05-20 19:57:06 +00001239 // If variable scope is not found then skip this variable.
Devang Patelc0c5a262010-05-21 00:10:20 +00001240 if (!Scope)
Devang Patelee432862010-05-20 19:57:06 +00001241 continue;
1242
1243 Processed.insert(DV);
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001244 assert(MInsn->isDebugValue() && "History must begin with debug value");
Devang Patel5a1a67c2011-08-15 19:01:20 +00001245 DbgVariable *AbsVar = findAbstractVariable(DV, MInsn->getDebugLoc());
1246 DbgVariable *RegVar = new DbgVariable(DV, AbsVar);
Devang Patel0478c152011-03-01 22:58:55 +00001247 if (!addCurrentFnArgument(MF, RegVar, Scope))
Devang Patelbf47fdb2011-08-10 20:55:27 +00001248 addScopeVariable(Scope, RegVar);
Devang Patel5a1a67c2011-08-15 19:01:20 +00001249 if (AbsVar)
Devang Patelff9dd0a2011-08-15 21:24:36 +00001250 AbsVar->setMInsn(MInsn);
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001251
Eric Christopherc56e3f02012-10-08 20:48:54 +00001252 // Simplify ranges that are fully coalesced.
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001253 if (History.size() <= 1 || (History.size() == 2 &&
1254 MInsn->isIdenticalTo(History.back()))) {
Devang Patelff9dd0a2011-08-15 21:24:36 +00001255 RegVar->setMInsn(MInsn);
Devang Patelc3f5f782010-05-25 23:40:22 +00001256 continue;
1257 }
1258
Eric Christopher498703b2013-01-28 17:33:26 +00001259 // Handle multiple DBG_VALUE instructions describing one variable.
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001260 RegVar->setDotDebugLocOffset(DotDebugLocEntries.size());
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001261
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001262 for (SmallVectorImpl<const MachineInstr*>::const_iterator
1263 HI = History.begin(), HE = History.end(); HI != HE; ++HI) {
1264 const MachineInstr *Begin = *HI;
1265 assert(Begin->isDebugValue() && "Invalid History entry");
Jakob Stoklund Olesene17232e2011-03-22 00:21:41 +00001266
Devang Patel4ada1d72011-06-01 23:00:17 +00001267 // Check if DBG_VALUE is truncating a range.
1268 if (Begin->getNumOperands() > 1 && Begin->getOperand(0).isReg()
1269 && !Begin->getOperand(0).getReg())
1270 continue;
1271
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001272 // Compute the range for a register location.
1273 const MCSymbol *FLabel = getLabelBeforeInsn(Begin);
1274 const MCSymbol *SLabel = 0;
1275
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001276 if (HI + 1 == HE)
1277 // If Begin is the last instruction in History then its value is valid
Chris Lattner7a2bdde2011-04-15 05:18:47 +00001278 // until the end of the function.
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001279 SLabel = FunctionEndSym;
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001280 else {
1281 const MachineInstr *End = HI[1];
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001282 DEBUG(dbgs() << "DotDebugLoc Pair:\n"
Devang Patel476df5f2011-07-07 21:44:42 +00001283 << "\t" << *Begin << "\t" << *End << "\n");
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001284 if (End->isDebugValue())
1285 SLabel = getLabelBeforeInsn(End);
1286 else {
1287 // End is a normal instruction clobbering the range.
1288 SLabel = getLabelAfterInsn(End);
1289 assert(SLabel && "Forgot label after clobber instruction");
1290 ++HI;
1291 }
1292 }
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001293
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001294 // The value is valid until the next DBG_VALUE or clobber.
Eric Christopherabbb2002011-12-16 23:42:31 +00001295 DotDebugLocEntries.push_back(getDebugLocEntry(Asm, FLabel, SLabel,
1296 Begin));
Devang Patelc3f5f782010-05-25 23:40:22 +00001297 }
1298 DotDebugLocEntries.push_back(DotDebugLocEntry());
Devang Patel90a48ad2010-03-15 18:33:46 +00001299 }
Devang Patel98e1cac2010-05-14 21:01:35 +00001300
1301 // Collect info for variables that were optimized out.
Devang Patel93d39be2011-08-19 23:28:12 +00001302 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
1303 DIArray Variables = DISubprogram(FnScope->getScopeNode()).getVariables();
1304 for (unsigned i = 0, e = Variables.getNumElements(); i != e; ++i) {
1305 DIVariable DV(Variables.getElement(i));
1306 if (!DV || !DV.Verify() || !Processed.insert(DV))
1307 continue;
1308 if (LexicalScope *Scope = LScopes.findLexicalScope(DV.getContext()))
1309 addScopeVariable(Scope, new DbgVariable(DV, NULL));
Devang Patel98e1cac2010-05-14 21:01:35 +00001310 }
Devang Patelc3f5f782010-05-25 23:40:22 +00001311}
Devang Patel98e1cac2010-05-14 21:01:35 +00001312
Eric Christopherb6dc8652012-11-27 22:43:45 +00001313// Return Label preceding the instruction.
Eric Christopher72f7bfb2013-01-15 23:56:56 +00001314MCSymbol *DwarfDebug::getLabelBeforeInsn(const MachineInstr *MI) {
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001315 MCSymbol *Label = LabelsBeforeInsn.lookup(MI);
1316 assert(Label && "Didn't insert label before instruction");
1317 return Label;
Devang Patelc3f5f782010-05-25 23:40:22 +00001318}
1319
Eric Christopherb6dc8652012-11-27 22:43:45 +00001320// Return Label immediately following the instruction.
Eric Christopher72f7bfb2013-01-15 23:56:56 +00001321MCSymbol *DwarfDebug::getLabelAfterInsn(const MachineInstr *MI) {
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001322 return LabelsAfterInsn.lookup(MI);
Devang Patele717faa2009-10-06 01:26:37 +00001323}
1324
Eric Christopherb6dc8652012-11-27 22:43:45 +00001325// Process beginning of an instruction.
Devang Patelcbbe2872010-10-26 17:49:02 +00001326void DwarfDebug::beginInstruction(const MachineInstr *MI) {
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001327 // Check if source location changes, but ignore DBG_VALUE locations.
1328 if (!MI->isDebugValue()) {
1329 DebugLoc DL = MI->getDebugLoc();
1330 if (DL != PrevInstLoc && (!DL.isUnknown() || UnknownLocations)) {
Eric Christopher60b35f42012-04-05 20:39:05 +00001331 unsigned Flags = 0;
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001332 PrevInstLoc = DL;
Devang Patel4243e672011-05-11 19:22:19 +00001333 if (DL == PrologEndLoc) {
1334 Flags |= DWARF2_FLAG_PROLOGUE_END;
1335 PrologEndLoc = DebugLoc();
1336 }
Eric Christopher60b35f42012-04-05 20:39:05 +00001337 if (PrologEndLoc.isUnknown())
1338 Flags |= DWARF2_FLAG_IS_STMT;
1339
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001340 if (!DL.isUnknown()) {
1341 const MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
Devang Patel4243e672011-05-11 19:22:19 +00001342 recordSourceLine(DL.getLine(), DL.getCol(), Scope, Flags);
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001343 } else
Devang Patel4243e672011-05-11 19:22:19 +00001344 recordSourceLine(0, 0, 0, 0);
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001345 }
Devang Patelc3f5f782010-05-25 23:40:22 +00001346 }
Devang Patelaead63c2010-03-29 22:59:58 +00001347
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001348 // Insert labels where requested.
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001349 DenseMap<const MachineInstr*, MCSymbol*>::iterator I =
1350 LabelsBeforeInsn.find(MI);
1351
1352 // No label needed.
1353 if (I == LabelsBeforeInsn.end())
1354 return;
1355
1356 // Label already assigned.
1357 if (I->second)
Devang Patelb2b31a62010-05-26 19:37:24 +00001358 return;
Devang Patel553881b2010-03-29 17:20:31 +00001359
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001360 if (!PrevLabel) {
Devang Patel77051f52010-05-26 21:23:46 +00001361 PrevLabel = MMI->getContext().CreateTempSymbol();
1362 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patelb2b31a62010-05-26 19:37:24 +00001363 }
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001364 I->second = PrevLabel;
Devang Patel0d20ac82009-10-06 01:50:42 +00001365}
1366
Eric Christopherb6dc8652012-11-27 22:43:45 +00001367// Process end of an instruction.
Devang Patelcbbe2872010-10-26 17:49:02 +00001368void DwarfDebug::endInstruction(const MachineInstr *MI) {
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001369 // Don't create a new label after DBG_VALUE instructions.
1370 // They don't generate code.
1371 if (!MI->isDebugValue())
1372 PrevLabel = 0;
1373
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001374 DenseMap<const MachineInstr*, MCSymbol*>::iterator I =
1375 LabelsAfterInsn.find(MI);
1376
1377 // No label needed.
1378 if (I == LabelsAfterInsn.end())
1379 return;
1380
1381 // Label already assigned.
1382 if (I->second)
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001383 return;
1384
1385 // We need a label after this instruction.
1386 if (!PrevLabel) {
1387 PrevLabel = MMI->getContext().CreateTempSymbol();
1388 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patel1c246352010-04-08 16:50:29 +00001389 }
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001390 I->second = PrevLabel;
Devang Patel53bb5c92009-11-10 23:06:00 +00001391}
1392
Eric Christopherb6dc8652012-11-27 22:43:45 +00001393// Each LexicalScope has first instruction and last instruction to mark
1394// beginning and end of a scope respectively. Create an inverse map that list
1395// scopes starts (and ends) with an instruction. One instruction may start (or
1396// end) multiple scopes. Ignore scopes that are not reachable.
Devang Patele37b0c62010-04-08 18:43:56 +00001397void DwarfDebug::identifyScopeMarkers() {
Devang Patelbf47fdb2011-08-10 20:55:27 +00001398 SmallVector<LexicalScope *, 4> WorkList;
1399 WorkList.push_back(LScopes.getCurrentFunctionScope());
Devang Patel42aafd72010-01-20 02:05:23 +00001400 while (!WorkList.empty()) {
Devang Patelbf47fdb2011-08-10 20:55:27 +00001401 LexicalScope *S = WorkList.pop_back_val();
Jim Grosbach1e20b962010-07-21 21:21:52 +00001402
Devang Patelbf47fdb2011-08-10 20:55:27 +00001403 const SmallVector<LexicalScope *, 4> &Children = S->getChildren();
Jim Grosbach1e20b962010-07-21 21:21:52 +00001404 if (!Children.empty())
Devang Patelbf47fdb2011-08-10 20:55:27 +00001405 for (SmallVector<LexicalScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel42aafd72010-01-20 02:05:23 +00001406 SE = Children.end(); SI != SE; ++SI)
1407 WorkList.push_back(*SI);
1408
Devang Patel53bb5c92009-11-10 23:06:00 +00001409 if (S->isAbstractScope())
1410 continue;
Jim Grosbach1e20b962010-07-21 21:21:52 +00001411
Devang Patelbf47fdb2011-08-10 20:55:27 +00001412 const SmallVector<InsnRange, 4> &Ranges = S->getRanges();
Devang Pateleac9c072010-04-27 19:46:33 +00001413 if (Ranges.empty())
1414 continue;
Devang Patelbf47fdb2011-08-10 20:55:27 +00001415 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Pateleac9c072010-04-27 19:46:33 +00001416 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patelbf47fdb2011-08-10 20:55:27 +00001417 assert(RI->first && "InsnRange does not have first instruction!");
1418 assert(RI->second && "InsnRange does not have second instruction!");
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001419 requestLabelBeforeInsn(RI->first);
1420 requestLabelAfterInsn(RI->second);
Devang Pateleac9c072010-04-27 19:46:33 +00001421 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001422 }
Devang Patelaf9e8472009-10-01 20:31:14 +00001423}
1424
Eric Christopherb6dc8652012-11-27 22:43:45 +00001425// Get MDNode for DebugLoc's scope.
Devang Patela3f48672011-05-09 22:14:49 +00001426static MDNode *getScopeNode(DebugLoc DL, const LLVMContext &Ctx) {
1427 if (MDNode *InlinedAt = DL.getInlinedAt(Ctx))
1428 return getScopeNode(DebugLoc::getFromDILocation(InlinedAt), Ctx);
1429 return DL.getScope(Ctx);
1430}
1431
Eric Christopherb6dc8652012-11-27 22:43:45 +00001432// Walk up the scope chain of given debug loc and find line number info
1433// for the function.
Devang Patel4243e672011-05-11 19:22:19 +00001434static DebugLoc getFnDebugLoc(DebugLoc DL, const LLVMContext &Ctx) {
1435 const MDNode *Scope = getScopeNode(DL, Ctx);
1436 DISubprogram SP = getDISubprogram(Scope);
Eric Christopher6126a1e2012-04-03 00:43:49 +00001437 if (SP.Verify()) {
1438 // Check for number of operands since the compatibility is
1439 // cheap here.
Eric Christopherfa5b0502012-04-03 17:55:42 +00001440 if (SP->getNumOperands() > 19)
Eric Christopher6126a1e2012-04-03 00:43:49 +00001441 return DebugLoc::get(SP.getScopeLineNumber(), 0, SP);
1442 else
1443 return DebugLoc::get(SP.getLineNumber(), 0, SP);
1444 }
1445
Devang Patel4243e672011-05-11 19:22:19 +00001446 return DebugLoc();
1447}
1448
Eric Christopherb6dc8652012-11-27 22:43:45 +00001449// Gather pre-function debug information. Assumes being called immediately
1450// after the function entry point has been emitted.
Chris Lattnereec791a2010-01-26 23:18:02 +00001451void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner994cb122010-04-05 03:52:55 +00001452 if (!MMI->hasDebugInfo()) return;
Devang Patelbf47fdb2011-08-10 20:55:27 +00001453 LScopes.initialize(*MF);
1454 if (LScopes.empty()) return;
1455 identifyScopeMarkers();
Devang Patel60b35bd2009-10-06 18:37:31 +00001456
Manman Ren43213cf2013-02-05 21:52:47 +00001457 // Set DwarfCompileUnitID in MCContext to the Compile Unit this function
1458 // belongs to.
1459 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
1460 CompileUnit *TheCU = SPMap.lookup(FnScope->getScopeNode());
1461 assert(TheCU && "Unable to find compile unit!");
Manman Ren01cb18e2013-05-21 00:57:22 +00001462 if (Asm->TM.hasMCUseLoc() &&
1463 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer)
1464 // Use a single line table if we are using .loc and generating assembly.
1465 Asm->OutStreamer.getContext().setDwarfCompileUnitID(0);
1466 else
1467 Asm->OutStreamer.getContext().setDwarfCompileUnitID(TheCU->getUniqueID());
Manman Ren43213cf2013-02-05 21:52:47 +00001468
Devang Pateleac9c072010-04-27 19:46:33 +00001469 FunctionBeginSym = Asm->GetTempSymbol("func_begin",
1470 Asm->getFunctionNumber());
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001471 // Assumes in correct section after the entry point.
Devang Pateleac9c072010-04-27 19:46:33 +00001472 Asm->OutStreamer.EmitLabel(FunctionBeginSym);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001473
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001474 assert(UserVariables.empty() && DbgValues.empty() && "Maps weren't cleaned");
1475
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001476 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
Eric Christopherb6dc8652012-11-27 22:43:45 +00001477 // LiveUserVar - Map physreg numbers to the MDNode they contain.
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001478 std::vector<const MDNode*> LiveUserVar(TRI->getNumRegs());
1479
Devang Patelb2b31a62010-05-26 19:37:24 +00001480 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001481 I != E; ++I) {
1482 bool AtBlockEntry = true;
Devang Patelb2b31a62010-05-26 19:37:24 +00001483 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1484 II != IE; ++II) {
1485 const MachineInstr *MI = II;
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001486
Devang Patelb2b31a62010-05-26 19:37:24 +00001487 if (MI->isDebugValue()) {
Nick Lewycky746cb672011-10-26 22:55:33 +00001488 assert(MI->getNumOperands() > 1 && "Invalid machine instruction!");
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001489
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001490 // Keep track of user variables.
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001491 const MDNode *Var =
1492 MI->getOperand(MI->getNumOperands() - 1).getMetadata();
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001493
1494 // Variable is in a register, we need to check for clobbers.
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001495 if (isDbgValueInDefinedReg(MI))
1496 LiveUserVar[MI->getOperand(0).getReg()] = Var;
1497
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001498 // Check the history of this variable.
1499 SmallVectorImpl<const MachineInstr*> &History = DbgValues[Var];
1500 if (History.empty()) {
1501 UserVariables.push_back(Var);
1502 // The first mention of a function argument gets the FunctionBeginSym
1503 // label, so arguments are visible when breaking at function entry.
1504 DIVariable DV(Var);
1505 if (DV.Verify() && DV.getTag() == dwarf::DW_TAG_arg_variable &&
1506 DISubprogram(getDISubprogram(DV.getContext()))
1507 .describes(MF->getFunction()))
1508 LabelsBeforeInsn[MI] = FunctionBeginSym;
1509 } else {
1510 // We have seen this variable before. Try to coalesce DBG_VALUEs.
1511 const MachineInstr *Prev = History.back();
1512 if (Prev->isDebugValue()) {
1513 // Coalesce identical entries at the end of History.
1514 if (History.size() >= 2 &&
Devang Patel79862892011-07-07 00:14:27 +00001515 Prev->isIdenticalTo(History[History.size() - 2])) {
Eric Christopher02c1a642012-10-08 20:48:49 +00001516 DEBUG(dbgs() << "Coalescing identical DBG_VALUE entries:\n"
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001517 << "\t" << *Prev
Devang Patel79862892011-07-07 00:14:27 +00001518 << "\t" << *History[History.size() - 2] << "\n");
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001519 History.pop_back();
Devang Patel79862892011-07-07 00:14:27 +00001520 }
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001521
1522 // Terminate old register assignments that don't reach MI;
1523 MachineFunction::const_iterator PrevMBB = Prev->getParent();
1524 if (PrevMBB != I && (!AtBlockEntry || llvm::next(PrevMBB) != I) &&
1525 isDbgValueInDefinedReg(Prev)) {
1526 // Previous register assignment needs to terminate at the end of
1527 // its basic block.
1528 MachineBasicBlock::const_iterator LastMI =
1529 PrevMBB->getLastNonDebugInstr();
Devang Patel79862892011-07-07 00:14:27 +00001530 if (LastMI == PrevMBB->end()) {
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001531 // Drop DBG_VALUE for empty range.
Eric Christopher02c1a642012-10-08 20:48:49 +00001532 DEBUG(dbgs() << "Dropping DBG_VALUE for empty range:\n"
Devang Patel79862892011-07-07 00:14:27 +00001533 << "\t" << *Prev << "\n");
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001534 History.pop_back();
Devang Patel79862892011-07-07 00:14:27 +00001535 }
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001536 else {
1537 // Terminate after LastMI.
1538 History.push_back(LastMI);
1539 }
1540 }
1541 }
1542 }
1543 History.push_back(MI);
Devang Patelb2b31a62010-05-26 19:37:24 +00001544 } else {
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001545 // Not a DBG_VALUE instruction.
1546 if (!MI->isLabel())
1547 AtBlockEntry = false;
1548
Eric Christopher0313ced2012-10-04 20:46:14 +00001549 // First known non-DBG_VALUE and non-frame setup location marks
1550 // the beginning of the function body.
1551 if (!MI->getFlag(MachineInstr::FrameSetup) &&
1552 (PrologEndLoc.isUnknown() && !MI->getDebugLoc().isUnknown()))
Devang Patel4243e672011-05-11 19:22:19 +00001553 PrologEndLoc = MI->getDebugLoc();
1554
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001555 // Check if the instruction clobbers any registers with debug vars.
1556 for (MachineInstr::const_mop_iterator MOI = MI->operands_begin(),
1557 MOE = MI->operands_end(); MOI != MOE; ++MOI) {
1558 if (!MOI->isReg() || !MOI->isDef() || !MOI->getReg())
1559 continue;
Jakob Stoklund Olesen396618b2012-06-01 23:28:30 +00001560 for (MCRegAliasIterator AI(MOI->getReg(), TRI, true);
1561 AI.isValid(); ++AI) {
1562 unsigned Reg = *AI;
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001563 const MDNode *Var = LiveUserVar[Reg];
1564 if (!Var)
1565 continue;
1566 // Reg is now clobbered.
1567 LiveUserVar[Reg] = 0;
1568
1569 // Was MD last defined by a DBG_VALUE referring to Reg?
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001570 DbgValueHistoryMap::iterator HistI = DbgValues.find(Var);
1571 if (HistI == DbgValues.end())
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001572 continue;
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001573 SmallVectorImpl<const MachineInstr*> &History = HistI->second;
1574 if (History.empty())
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001575 continue;
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001576 const MachineInstr *Prev = History.back();
1577 // Sanity-check: Register assignments are terminated at the end of
1578 // their block.
1579 if (!Prev->isDebugValue() || Prev->getParent() != MI->getParent())
1580 continue;
1581 // Is the variable still in Reg?
1582 if (!isDbgValueInDefinedReg(Prev) ||
1583 Prev->getOperand(0).getReg() != Reg)
1584 continue;
1585 // Var is clobbered. Make sure the next instruction gets a label.
1586 History.push_back(MI);
Jakob Stoklund Olesen28cf1152011-03-22 22:33:08 +00001587 }
1588 }
Devang Patelb2b31a62010-05-26 19:37:24 +00001589 }
Devang Patelb2b31a62010-05-26 19:37:24 +00001590 }
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001591 }
1592
1593 for (DbgValueHistoryMap::iterator I = DbgValues.begin(), E = DbgValues.end();
1594 I != E; ++I) {
1595 SmallVectorImpl<const MachineInstr*> &History = I->second;
1596 if (History.empty())
1597 continue;
1598
1599 // Make sure the final register assignments are terminated.
1600 const MachineInstr *Prev = History.back();
1601 if (Prev->isDebugValue() && isDbgValueInDefinedReg(Prev)) {
1602 const MachineBasicBlock *PrevMBB = Prev->getParent();
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001603 MachineBasicBlock::const_iterator LastMI =
Devang Patel5bc942c2011-08-10 23:58:09 +00001604 PrevMBB->getLastNonDebugInstr();
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001605 if (LastMI == PrevMBB->end())
1606 // Drop DBG_VALUE for empty range.
1607 History.pop_back();
1608 else {
1609 // Terminate after LastMI.
1610 History.push_back(LastMI);
1611 }
1612 }
1613 // Request labels for the full history.
1614 for (unsigned i = 0, e = History.size(); i != e; ++i) {
1615 const MachineInstr *MI = History[i];
1616 if (MI->isDebugValue())
1617 requestLabelBeforeInsn(MI);
1618 else
1619 requestLabelAfterInsn(MI);
1620 }
1621 }
Devang Patelb2b31a62010-05-26 19:37:24 +00001622
Jakob Stoklund Olesen15a3ea02011-03-25 17:20:59 +00001623 PrevInstLoc = DebugLoc();
Devang Patelb2b31a62010-05-26 19:37:24 +00001624 PrevLabel = FunctionBeginSym;
Devang Patel4243e672011-05-11 19:22:19 +00001625
1626 // Record beginning of function.
1627 if (!PrologEndLoc.isUnknown()) {
1628 DebugLoc FnStartDL = getFnDebugLoc(PrologEndLoc,
1629 MF->getFunction()->getContext());
1630 recordSourceLine(FnStartDL.getLine(), FnStartDL.getCol(),
1631 FnStartDL.getScope(MF->getFunction()->getContext()),
David Blaikie836cfc42012-12-04 22:02:33 +00001632 // We'd like to list the prologue as "not statements" but GDB behaves
1633 // poorly if we do that. Revisit this with caution/GDB (7.5+) testing.
David Blaikieb36c5312012-12-04 21:05:36 +00001634 DWARF2_FLAG_IS_STMT);
Devang Patel4243e672011-05-11 19:22:19 +00001635 }
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001636}
1637
Devang Patelbf47fdb2011-08-10 20:55:27 +00001638void DwarfDebug::addScopeVariable(LexicalScope *LS, DbgVariable *Var) {
1639// SmallVector<DbgVariable *, 8> &Vars = ScopeVariables.lookup(LS);
1640 ScopeVariables[LS].push_back(Var);
1641// Vars.push_back(Var);
1642}
1643
Eric Christopherb6dc8652012-11-27 22:43:45 +00001644// Gather and emit post-function debug information.
Chris Lattnereec791a2010-01-26 23:18:02 +00001645void DwarfDebug::endFunction(const MachineFunction *MF) {
Devang Patelbf47fdb2011-08-10 20:55:27 +00001646 if (!MMI->hasDebugInfo() || LScopes.empty()) return;
Devang Patel70d75ca2009-11-12 19:02:56 +00001647
Devang Patelbf47fdb2011-08-10 20:55:27 +00001648 // Define end label for subprogram.
1649 FunctionEndSym = Asm->GetTempSymbol("func_end",
1650 Asm->getFunctionNumber());
1651 // Assumes in correct section after the entry point.
1652 Asm->OutStreamer.EmitLabel(FunctionEndSym);
Manman Ren43213cf2013-02-05 21:52:47 +00001653 // Set DwarfCompileUnitID in MCContext to default value.
1654 Asm->OutStreamer.getContext().setDwarfCompileUnitID(0);
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001655
Devang Patelbf47fdb2011-08-10 20:55:27 +00001656 SmallPtrSet<const MDNode *, 16> ProcessedVars;
1657 collectVariableInfo(MF, ProcessedVars);
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001658
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001659 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
Devang Patel94c7ddb2011-08-16 22:09:43 +00001660 CompileUnit *TheCU = SPMap.lookup(FnScope->getScopeNode());
Nick Lewycky746cb672011-10-26 22:55:33 +00001661 assert(TheCU && "Unable to find compile unit!");
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001662
Devang Patelbf47fdb2011-08-10 20:55:27 +00001663 // Construct abstract scopes.
Devang Patelcd9f6c52011-08-12 18:10:19 +00001664 ArrayRef<LexicalScope *> AList = LScopes.getAbstractScopesList();
1665 for (unsigned i = 0, e = AList.size(); i != e; ++i) {
1666 LexicalScope *AScope = AList[i];
1667 DISubprogram SP(AScope->getScopeNode());
Devang Patelbf47fdb2011-08-10 20:55:27 +00001668 if (SP.Verify()) {
1669 // Collect info for variables that were optimized out.
Devang Patel93d39be2011-08-19 23:28:12 +00001670 DIArray Variables = SP.getVariables();
1671 for (unsigned i = 0, e = Variables.getNumElements(); i != e; ++i) {
1672 DIVariable DV(Variables.getElement(i));
1673 if (!DV || !DV.Verify() || !ProcessedVars.insert(DV))
1674 continue;
Alexey Samsonovb67bd332012-07-06 08:45:08 +00001675 // Check that DbgVariable for DV wasn't created earlier, when
1676 // findAbstractVariable() was called for inlined instance of DV.
1677 LLVMContext &Ctx = DV->getContext();
1678 DIVariable CleanDV = cleanseInlinedVariable(DV, Ctx);
1679 if (AbstractVariables.lookup(CleanDV))
1680 continue;
Devang Patel93d39be2011-08-19 23:28:12 +00001681 if (LexicalScope *Scope = LScopes.findAbstractScope(DV.getContext()))
1682 addScopeVariable(Scope, new DbgVariable(DV, NULL));
Devang Patel78e127d2010-06-25 22:07:34 +00001683 }
1684 }
Devang Patelcd9f6c52011-08-12 18:10:19 +00001685 if (ProcessedSPNodes.count(AScope->getScopeNode()) == 0)
Manman Ren742671b2013-05-29 17:16:59 +00001686 constructScopeDIE(TheCU, AScope);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001687 }
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001688
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001689 DIE *CurFnDIE = constructScopeDIE(TheCU, FnScope);
Eric Christopher0f1c7f62012-11-19 22:42:10 +00001690
Nick Lewycky8a8d4792011-12-02 22:16:29 +00001691 if (!MF->getTarget().Options.DisableFramePointerElim(*MF))
Eric Christopher873cf0a2012-08-24 01:14:27 +00001692 TheCU->addFlag(CurFnDIE, dwarf::DW_AT_APPLE_omit_frame_ptr);
Devang Pateld0b5a5e2011-08-15 22:04:40 +00001693
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001694 // Clear debug info
Devang Patelbf47fdb2011-08-10 20:55:27 +00001695 for (DenseMap<LexicalScope *, SmallVector<DbgVariable *, 8> >::iterator
1696 I = ScopeVariables.begin(), E = ScopeVariables.end(); I != E; ++I)
1697 DeleteContainerPointers(I->second);
1698 ScopeVariables.clear();
Devang Pateleac0c9d2011-04-22 18:09:57 +00001699 DeleteContainerPointers(CurrentFnArguments);
Jakob Stoklund Olesenadb877d2011-03-26 02:19:36 +00001700 UserVariables.clear();
1701 DbgValues.clear();
Jeffrey Yasskin5c213dc2010-03-12 17:45:06 +00001702 AbstractVariables.clear();
Devang Pateleac9c072010-04-27 19:46:33 +00001703 LabelsBeforeInsn.clear();
1704 LabelsAfterInsn.clear();
Devang Patelf2548ca2010-04-16 23:33:45 +00001705 PrevLabel = NULL;
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001706}
1707
Eric Christopherb6dc8652012-11-27 22:43:45 +00001708// Register a source line with debug info. Returns the unique label that was
1709// emitted and which provides correspondence to the source line list.
Devang Patel4243e672011-05-11 19:22:19 +00001710void DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, const MDNode *S,
1711 unsigned Flags) {
Devang Patel65dbc902009-11-25 17:36:49 +00001712 StringRef Fn;
Devang Patel23670e52011-03-24 20:30:50 +00001713 StringRef Dir;
Dan Gohman1cc0d622010-05-05 23:41:32 +00001714 unsigned Src = 1;
1715 if (S) {
1716 DIDescriptor Scope(S);
Devang Patelf84548d2009-10-05 18:03:19 +00001717
Dan Gohman1cc0d622010-05-05 23:41:32 +00001718 if (Scope.isCompileUnit()) {
1719 DICompileUnit CU(S);
Dan Gohman1cc0d622010-05-05 23:41:32 +00001720 Fn = CU.getFilename();
Devang Patel23670e52011-03-24 20:30:50 +00001721 Dir = CU.getDirectory();
Devang Patel3cabc9d2010-10-28 17:30:52 +00001722 } else if (Scope.isFile()) {
1723 DIFile F(S);
Devang Patel3cabc9d2010-10-28 17:30:52 +00001724 Fn = F.getFilename();
Devang Patel23670e52011-03-24 20:30:50 +00001725 Dir = F.getDirectory();
Dan Gohman1cc0d622010-05-05 23:41:32 +00001726 } else if (Scope.isSubprogram()) {
1727 DISubprogram SP(S);
Dan Gohman1cc0d622010-05-05 23:41:32 +00001728 Fn = SP.getFilename();
Devang Patel23670e52011-03-24 20:30:50 +00001729 Dir = SP.getDirectory();
Eric Christopher6618a242011-10-11 22:59:11 +00001730 } else if (Scope.isLexicalBlockFile()) {
1731 DILexicalBlockFile DBF(S);
1732 Fn = DBF.getFilename();
1733 Dir = DBF.getDirectory();
Dan Gohman1cc0d622010-05-05 23:41:32 +00001734 } else if (Scope.isLexicalBlock()) {
1735 DILexicalBlock DB(S);
Dan Gohman1cc0d622010-05-05 23:41:32 +00001736 Fn = DB.getFilename();
Devang Patel23670e52011-03-24 20:30:50 +00001737 Dir = DB.getDirectory();
Dan Gohman1cc0d622010-05-05 23:41:32 +00001738 } else
Craig Topper5e25ee82012-02-05 08:31:47 +00001739 llvm_unreachable("Unexpected scope info");
Dan Gohman1cc0d622010-05-05 23:41:32 +00001740
Manman Ren3de61b42013-03-07 01:42:00 +00001741 Src = getOrCreateSourceID(Fn, Dir,
1742 Asm->OutStreamer.getContext().getDwarfCompileUnitID());
Dan Gohman1cc0d622010-05-05 23:41:32 +00001743 }
Nick Lewycky3bbb6f72011-07-29 03:49:23 +00001744 Asm->OutStreamer.EmitDwarfLocDirective(Src, Line, Col, Flags, 0, 0, Fn);
Bill Wendlingf0fb9872009-05-20 23:19:06 +00001745}
1746
Bill Wendling829e67b2009-05-20 23:22:40 +00001747//===----------------------------------------------------------------------===//
1748// Emit Methods
1749//===----------------------------------------------------------------------===//
1750
Eric Christopherb6dc8652012-11-27 22:43:45 +00001751// Compute the size and offset of a DIE.
Jim Grosbach7ab38df2009-11-22 19:20:36 +00001752unsigned
Eric Christopher0e3e9b72012-12-10 23:34:43 +00001753DwarfUnits::computeSizeAndOffset(DIE *Die, unsigned Offset) {
Bill Wendling94d04b82009-05-20 23:21:38 +00001754 // Get the children.
1755 const std::vector<DIE *> &Children = Die->getChildren();
1756
Bill Wendling94d04b82009-05-20 23:21:38 +00001757 // Record the abbreviation.
Devang Patel2c4ceb12009-11-21 02:48:08 +00001758 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling94d04b82009-05-20 23:21:38 +00001759
1760 // Get the abbreviation for this DIE.
1761 unsigned AbbrevNumber = Die->getAbbrevNumber();
Eric Christopher0e3e9b72012-12-10 23:34:43 +00001762 const DIEAbbrev *Abbrev = Abbreviations->at(AbbrevNumber - 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00001763
1764 // Set DIE offset
1765 Die->setOffset(Offset);
1766
1767 // Start the size with the size of abbreviation code.
Chris Lattneraf76e592009-08-22 20:48:53 +00001768 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00001769
Eric Christopherf7cef702013-03-29 23:34:06 +00001770 const SmallVectorImpl<DIEValue*> &Values = Die->getValues();
1771 const SmallVectorImpl<DIEAbbrevData> &AbbrevData = Abbrev->getData();
Bill Wendling94d04b82009-05-20 23:21:38 +00001772
1773 // Size the DIE attribute values.
1774 for (unsigned i = 0, N = Values.size(); i < N; ++i)
1775 // Size attribute value.
Chris Lattnera37d5382010-04-05 00:18:22 +00001776 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling94d04b82009-05-20 23:21:38 +00001777
1778 // Size the DIE children if any.
1779 if (!Children.empty()) {
1780 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
1781 "Children flag not set");
1782
1783 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Eric Christopherfbd19752012-11-20 22:14:13 +00001784 Offset = computeSizeAndOffset(Children[j], Offset);
Bill Wendling94d04b82009-05-20 23:21:38 +00001785
1786 // End of children marker.
1787 Offset += sizeof(int8_t);
1788 }
1789
1790 Die->setSize(Offset - Die->getOffset());
1791 return Offset;
1792}
1793
Eric Christopherb6dc8652012-11-27 22:43:45 +00001794// Compute the size and offset of all the DIEs.
Eric Christopher0e3e9b72012-12-10 23:34:43 +00001795void DwarfUnits::computeSizeAndOffsets() {
Manman Renbc3e96f2013-03-12 18:27:15 +00001796 // Offset from the beginning of debug info section.
1797 unsigned AccuOffset = 0;
Eric Christopherf7cef702013-03-29 23:34:06 +00001798 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(),
Eric Christopher0e3e9b72012-12-10 23:34:43 +00001799 E = CUs.end(); I != E; ++I) {
Manman Renbc3e96f2013-03-12 18:27:15 +00001800 (*I)->setDebugInfoOffset(AccuOffset);
Eric Christopher98e237f2012-11-30 23:59:06 +00001801 unsigned Offset =
1802 sizeof(int32_t) + // Length of Compilation Unit Info
1803 sizeof(int16_t) + // DWARF version number
1804 sizeof(int32_t) + // Offset Into Abbrev. Section
1805 sizeof(int8_t); // Pointer Size (in bytes)
1806
Manman Renbc3e96f2013-03-12 18:27:15 +00001807 unsigned EndOffset = computeSizeAndOffset((*I)->getCUDie(), Offset);
1808 AccuOffset += EndOffset;
Devang Patel163a9f72010-05-10 22:49:55 +00001809 }
Bill Wendling94d04b82009-05-20 23:21:38 +00001810}
1811
Eric Christopherb6dc8652012-11-27 22:43:45 +00001812// Emit initial Dwarf sections with a label at the start of each one.
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001813void DwarfDebug::emitSectionLabels() {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001814 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001815
Bill Wendling94d04b82009-05-20 23:21:38 +00001816 // Dwarf sections base addresses.
Jim Grosbach1e20b962010-07-21 21:21:52 +00001817 DwarfInfoSectionSym =
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001818 emitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
Jim Grosbach1e20b962010-07-21 21:21:52 +00001819 DwarfAbbrevSectionSym =
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001820 emitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Eric Christopher6eebe472012-12-19 22:02:53 +00001821 if (useSplitDwarf())
1822 DwarfAbbrevDWOSectionSym =
1823 emitSectionSym(Asm, TLOF.getDwarfAbbrevDWOSection(),
1824 "section_abbrev_dwo");
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001825 emitSectionSym(Asm, TLOF.getDwarfARangesSection());
Jim Grosbach1e20b962010-07-21 21:21:52 +00001826
Chris Lattner9c69e285532010-04-04 22:59:04 +00001827 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001828 emitSectionSym(Asm, MacroInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00001829
Eric Christopher7a0103c2013-02-07 21:19:50 +00001830 DwarfLineSectionSym =
1831 emitSectionSym(Asm, TLOF.getDwarfLineSection(), "section_line");
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001832 emitSectionSym(Asm, TLOF.getDwarfLocSection());
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00001833 if (GenerateDwarfPubNamesSection)
1834 emitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001835 emitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Jim Grosbach1e20b962010-07-21 21:21:52 +00001836 DwarfStrSectionSym =
Eric Christopher64f824c2012-12-27 02:14:01 +00001837 emitSectionSym(Asm, TLOF.getDwarfStrSection(), "info_string");
Eric Christopher9a9e73b2013-04-07 03:43:09 +00001838 if (useSplitDwarf()) {
Eric Christopher64f824c2012-12-27 02:14:01 +00001839 DwarfStrDWOSectionSym =
1840 emitSectionSym(Asm, TLOF.getDwarfStrDWOSection(), "skel_string");
Eric Christopher9a9e73b2013-04-07 03:43:09 +00001841 DwarfAddrSectionSym =
1842 emitSectionSym(Asm, TLOF.getDwarfAddrSection(), "addr_sec");
1843 }
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001844 DwarfDebugRangeSectionSym = emitSectionSym(Asm, TLOF.getDwarfRangesSection(),
Devang Patelf2548ca2010-04-16 23:33:45 +00001845 "debug_range");
Bill Wendling94d04b82009-05-20 23:21:38 +00001846
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001847 DwarfDebugLocSectionSym = emitSectionSym(Asm, TLOF.getDwarfLocSection(),
Devang Patelc3f5f782010-05-25 23:40:22 +00001848 "section_debug_loc");
1849
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00001850 TextSectionSym = emitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
1851 emitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00001852}
1853
Eric Christopherb6dc8652012-11-27 22:43:45 +00001854// Recursively emits a debug information entry.
Eric Christopher6eebe472012-12-19 22:02:53 +00001855void DwarfDebug::emitDIE(DIE *Die, std::vector<DIEAbbrev *> *Abbrevs) {
Bill Wendling94d04b82009-05-20 23:21:38 +00001856 // Get the abbreviation for this DIE.
1857 unsigned AbbrevNumber = Die->getAbbrevNumber();
Eric Christopher6eebe472012-12-19 22:02:53 +00001858 const DIEAbbrev *Abbrev = Abbrevs->at(AbbrevNumber - 1);
Bill Wendling94d04b82009-05-20 23:21:38 +00001859
Bill Wendling94d04b82009-05-20 23:21:38 +00001860 // Emit the code (index) for the abbreviation.
Chris Lattner3f53c832010-04-04 18:52:31 +00001861 if (Asm->isVerbose())
Chris Lattner894d75a2010-01-22 23:18:42 +00001862 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
1863 Twine::utohexstr(Die->getOffset()) + ":0x" +
1864 Twine::utohexstr(Die->getSize()) + " " +
1865 dwarf::TagString(Abbrev->getTag()));
Chris Lattner7e1a8f82010-04-04 19:09:29 +00001866 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling94d04b82009-05-20 23:21:38 +00001867
Eric Christopherf7cef702013-03-29 23:34:06 +00001868 const SmallVectorImpl<DIEValue*> &Values = Die->getValues();
1869 const SmallVectorImpl<DIEAbbrevData> &AbbrevData = Abbrev->getData();
Bill Wendling94d04b82009-05-20 23:21:38 +00001870
1871 // Emit the DIE attribute values.
1872 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
1873 unsigned Attr = AbbrevData[i].getAttribute();
1874 unsigned Form = AbbrevData[i].getForm();
1875 assert(Form && "Too many attributes for DIE (check abbreviation)");
1876
Chris Lattner3f53c832010-04-04 18:52:31 +00001877 if (Asm->isVerbose())
Chris Lattnera8013622010-01-24 18:54:17 +00001878 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
Jim Grosbach1e20b962010-07-21 21:21:52 +00001879
Bill Wendling94d04b82009-05-20 23:21:38 +00001880 switch (Attr) {
Bill Wendling94d04b82009-05-20 23:21:38 +00001881 case dwarf::DW_AT_abstract_origin: {
1882 DIEEntry *E = cast<DIEEntry>(Values[i]);
1883 DIE *Origin = E->getEntry();
Devang Patel53bb5c92009-11-10 23:06:00 +00001884 unsigned Addr = Origin->getOffset();
Manman Renbc3e96f2013-03-12 18:27:15 +00001885 if (Form == dwarf::DW_FORM_ref_addr) {
1886 // For DW_FORM_ref_addr, output the offset from beginning of debug info
1887 // section. Origin->getOffset() returns the offset from start of the
1888 // compile unit.
1889 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
1890 Addr += Holder.getCUOffset(Origin->getCompileUnit());
1891 }
Manman Ren624a93e2013-04-04 23:13:11 +00001892 Asm->EmitInt32(Addr);
Bill Wendling94d04b82009-05-20 23:21:38 +00001893 break;
1894 }
Devang Patelf2548ca2010-04-16 23:33:45 +00001895 case dwarf::DW_AT_ranges: {
1896 // DW_AT_range Value encodes offset in debug_range section.
1897 DIEInteger *V = cast<DIEInteger>(Values[i]);
Devang Patelb1fcfbe2010-09-02 16:43:44 +00001898
Nick Lewyckyffccd922012-06-22 01:25:12 +00001899 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections()) {
Devang Patelb1fcfbe2010-09-02 16:43:44 +00001900 Asm->EmitLabelPlusOffset(DwarfDebugRangeSectionSym,
1901 V->getValue(),
1902 4);
1903 } else {
1904 Asm->EmitLabelOffsetDifference(DwarfDebugRangeSectionSym,
1905 V->getValue(),
1906 DwarfDebugRangeSectionSym,
1907 4);
1908 }
Devang Patelf2548ca2010-04-16 23:33:45 +00001909 break;
1910 }
Devang Patelc3f5f782010-05-25 23:40:22 +00001911 case dwarf::DW_AT_location: {
Nick Lewyckyffccd922012-06-22 01:25:12 +00001912 if (DIELabel *L = dyn_cast<DIELabel>(Values[i])) {
1913 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
1914 Asm->EmitLabelReference(L->getValue(), 4);
1915 else
1916 Asm->EmitLabelDifference(L->getValue(), DwarfDebugLocSectionSym, 4);
1917 } else {
Devang Patelc3f5f782010-05-25 23:40:22 +00001918 Values[i]->EmitValue(Asm, Form);
Nick Lewyckyffccd922012-06-22 01:25:12 +00001919 }
Devang Patelc3f5f782010-05-25 23:40:22 +00001920 break;
1921 }
Devang Patel2a361602010-09-29 19:08:08 +00001922 case dwarf::DW_AT_accessibility: {
1923 if (Asm->isVerbose()) {
1924 DIEInteger *V = cast<DIEInteger>(Values[i]);
1925 Asm->OutStreamer.AddComment(dwarf::AccessibilityString(V->getValue()));
1926 }
1927 Values[i]->EmitValue(Asm, Form);
1928 break;
1929 }
Bill Wendling94d04b82009-05-20 23:21:38 +00001930 default:
1931 // Emit an attribute using the defined form.
Chris Lattnerd38fee82010-04-05 00:13:49 +00001932 Values[i]->EmitValue(Asm, Form);
Bill Wendling94d04b82009-05-20 23:21:38 +00001933 break;
1934 }
Bill Wendling94d04b82009-05-20 23:21:38 +00001935 }
1936
1937 // Emit the DIE children if any.
1938 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
1939 const std::vector<DIE *> &Children = Die->getChildren();
1940
1941 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Eric Christopher6eebe472012-12-19 22:02:53 +00001942 emitDIE(Children[j], Abbrevs);
Bill Wendling94d04b82009-05-20 23:21:38 +00001943
Chris Lattner3f53c832010-04-04 18:52:31 +00001944 if (Asm->isVerbose())
Chris Lattner233f52b2010-03-09 23:52:58 +00001945 Asm->OutStreamer.AddComment("End Of Children Mark");
1946 Asm->EmitInt8(0);
Bill Wendling94d04b82009-05-20 23:21:38 +00001947 }
1948}
1949
Eric Christopherb1e66d02012-12-15 00:04:07 +00001950// Emit the various dwarf units to the unit section USection with
1951// the abbreviations going into ASection.
1952void DwarfUnits::emitUnits(DwarfDebug *DD,
1953 const MCSection *USection,
1954 const MCSection *ASection,
1955 const MCSymbol *ASectionSym) {
1956 Asm->OutStreamer.SwitchSection(USection);
Eric Christopherf7cef702013-03-29 23:34:06 +00001957 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(),
Eric Christopherb1e66d02012-12-15 00:04:07 +00001958 E = CUs.end(); I != E; ++I) {
1959 CompileUnit *TheCU = *I;
Devang Patel163a9f72010-05-10 22:49:55 +00001960 DIE *Die = TheCU->getCUDie();
Jim Grosbach1e20b962010-07-21 21:21:52 +00001961
Devang Patel163a9f72010-05-10 22:49:55 +00001962 // Emit the compile units header.
Eric Christopherb1e66d02012-12-15 00:04:07 +00001963 Asm->OutStreamer
1964 .EmitLabel(Asm->GetTempSymbol(USection->getLabelBeginName(),
1965 TheCU->getUniqueID()));
Jim Grosbach1e20b962010-07-21 21:21:52 +00001966
Devang Patel163a9f72010-05-10 22:49:55 +00001967 // Emit size of content not including length itself
1968 unsigned ContentSize = Die->getSize() +
1969 sizeof(int16_t) + // DWARF version number
1970 sizeof(int32_t) + // Offset Into Abbrev. Section
Devang Patel65705d52011-04-13 19:41:17 +00001971 sizeof(int8_t); // Pointer Size (in bytes)
Jim Grosbach1e20b962010-07-21 21:21:52 +00001972
Devang Patel163a9f72010-05-10 22:49:55 +00001973 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
1974 Asm->EmitInt32(ContentSize);
1975 Asm->OutStreamer.AddComment("DWARF version number");
Manman Ren742671b2013-05-29 17:16:59 +00001976 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel163a9f72010-05-10 22:49:55 +00001977 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Eric Christopherb1e66d02012-12-15 00:04:07 +00001978 Asm->EmitSectionOffset(Asm->GetTempSymbol(ASection->getLabelBeginName()),
1979 ASectionSym);
Devang Patel163a9f72010-05-10 22:49:55 +00001980 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chandler Carruth426c2bf2012-11-01 09:14:31 +00001981 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
Jim Grosbach1e20b962010-07-21 21:21:52 +00001982
Eric Christopher6eebe472012-12-19 22:02:53 +00001983 DD->emitDIE(Die, Abbreviations);
Eric Christopherb1e66d02012-12-15 00:04:07 +00001984 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol(USection->getLabelEndName(),
Eli Benderskyd4a05e02012-12-03 18:45:45 +00001985 TheCU->getUniqueID()));
Devang Patel163a9f72010-05-10 22:49:55 +00001986 }
Bill Wendling94d04b82009-05-20 23:21:38 +00001987}
1988
Manman Renbc3e96f2013-03-12 18:27:15 +00001989/// For a given compile unit DIE, returns offset from beginning of debug info.
1990unsigned DwarfUnits::getCUOffset(DIE *Die) {
Manman Ren4c6f8952013-03-13 18:41:27 +00001991 assert(Die->getTag() == dwarf::DW_TAG_compile_unit &&
1992 "Input DIE should be compile unit in getCUOffset.");
Eric Christopherf7cef702013-03-29 23:34:06 +00001993 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(),
Manman Renbc3e96f2013-03-12 18:27:15 +00001994 E = CUs.end(); I != E; ++I) {
1995 CompileUnit *TheCU = *I;
1996 if (TheCU->getCUDie() == Die)
1997 return TheCU->getDebugInfoOffset();
1998 }
Manman Ren4c6f8952013-03-13 18:41:27 +00001999 llvm_unreachable("The compile unit DIE should belong to CUs in DwarfUnits.");
Manman Renbc3e96f2013-03-12 18:27:15 +00002000}
2001
Eric Christopher98e237f2012-11-30 23:59:06 +00002002// Emit the debug info section.
2003void DwarfDebug::emitDebugInfo() {
Eric Christopherb1e66d02012-12-15 00:04:07 +00002004 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
2005
2006 Holder.emitUnits(this, Asm->getObjFileLowering().getDwarfInfoSection(),
2007 Asm->getObjFileLowering().getDwarfAbbrevSection(),
2008 DwarfAbbrevSectionSym);
Eric Christopher98e237f2012-11-30 23:59:06 +00002009}
2010
Eric Christopherb6dc8652012-11-27 22:43:45 +00002011// Emit the abbreviation section.
Eric Christopher7dc68db2012-11-20 23:30:11 +00002012void DwarfDebug::emitAbbreviations() {
Eric Christopher6eebe472012-12-19 22:02:53 +00002013 if (!useSplitDwarf())
2014 emitAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevSection(),
2015 &Abbreviations);
2016 else
2017 emitSkeletonAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevSection());
2018}
Bill Wendling94d04b82009-05-20 23:21:38 +00002019
Eric Christopher6eebe472012-12-19 22:02:53 +00002020void DwarfDebug::emitAbbrevs(const MCSection *Section,
2021 std::vector<DIEAbbrev *> *Abbrevs) {
2022 // Check to see if it is worth the effort.
2023 if (!Abbrevs->empty()) {
2024 // Start the debug abbrev section.
2025 Asm->OutStreamer.SwitchSection(Section);
2026
2027 MCSymbol *Begin = Asm->GetTempSymbol(Section->getLabelBeginName());
Eric Christopher44fedba2012-12-13 03:00:38 +00002028 Asm->OutStreamer.EmitLabel(Begin);
Bill Wendling94d04b82009-05-20 23:21:38 +00002029
2030 // For each abbrevation.
Eric Christopher6eebe472012-12-19 22:02:53 +00002031 for (unsigned i = 0, N = Abbrevs->size(); i < N; ++i) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002032 // Get abbreviation data
Eric Christopher6eebe472012-12-19 22:02:53 +00002033 const DIEAbbrev *Abbrev = Abbrevs->at(i);
Bill Wendling94d04b82009-05-20 23:21:38 +00002034
2035 // Emit the abbrevations code (base 1 index.)
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002036 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling94d04b82009-05-20 23:21:38 +00002037
2038 // Emit the abbreviations data.
Chris Lattnerd38fee82010-04-05 00:13:49 +00002039 Abbrev->Emit(Asm);
Bill Wendling94d04b82009-05-20 23:21:38 +00002040 }
2041
2042 // Mark end of abbreviations.
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002043 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling94d04b82009-05-20 23:21:38 +00002044
Eric Christopher6eebe472012-12-19 22:02:53 +00002045 MCSymbol *End = Asm->GetTempSymbol(Section->getLabelEndName());
Eric Christopher44fedba2012-12-13 03:00:38 +00002046 Asm->OutStreamer.EmitLabel(End);
Bill Wendling94d04b82009-05-20 23:21:38 +00002047 }
2048}
2049
Eric Christopherb6dc8652012-11-27 22:43:45 +00002050// Emit the last address of the section and the end of the line matrix.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002051void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002052 // Define last address of section.
Chris Lattner233f52b2010-03-09 23:52:58 +00002053 Asm->OutStreamer.AddComment("Extended Op");
2054 Asm->EmitInt8(0);
Jim Grosbach1e20b962010-07-21 21:21:52 +00002055
Chris Lattner233f52b2010-03-09 23:52:58 +00002056 Asm->OutStreamer.AddComment("Op size");
Chandler Carruth426c2bf2012-11-01 09:14:31 +00002057 Asm->EmitInt8(Asm->getDataLayout().getPointerSize() + 1);
Chris Lattner233f52b2010-03-09 23:52:58 +00002058 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2059 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2060
2061 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerd85fc6e2010-03-10 01:17:49 +00002062
Chris Lattnerc0215722010-04-04 19:25:43 +00002063 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Eric Christopherca1dd052013-01-09 01:35:34 +00002064 Asm->getDataLayout().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002065
2066 // Mark end of matrix.
Chris Lattner233f52b2010-03-09 23:52:58 +00002067 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2068 Asm->EmitInt8(0);
Chris Lattner0ad9c912010-01-22 22:09:00 +00002069 Asm->EmitInt8(1);
Chris Lattner894d75a2010-01-22 23:18:42 +00002070 Asm->EmitInt8(1);
Bill Wendling94d04b82009-05-20 23:21:38 +00002071}
2072
Eric Christopherb6dc8652012-11-27 22:43:45 +00002073// Emit visible names into a hashed accelerator table section.
Eric Christopher09ac3d82011-11-07 09:24:32 +00002074void DwarfDebug::emitAccelNames() {
2075 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2076 dwarf::DW_FORM_data4));
2077 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2078 E = CUMap.end(); I != E; ++I) {
2079 CompileUnit *TheCU = I->second;
Eric Christopher0ffe2b42011-11-10 19:25:34 +00002080 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelNames();
2081 for (StringMap<std::vector<DIE*> >::const_iterator
Eric Christopher09ac3d82011-11-07 09:24:32 +00002082 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer03406c42013-05-11 18:24:28 +00002083 StringRef Name = GI->getKey();
Eric Christopherfa03db02012-01-06 23:03:34 +00002084 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher0ffe2b42011-11-10 19:25:34 +00002085 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2086 DE = Entities.end(); DI != DE; ++DI)
2087 AT.AddName(Name, (*DI));
Eric Christopher09ac3d82011-11-07 09:24:32 +00002088 }
2089 }
2090
2091 AT.FinalizeTable(Asm, "Names");
2092 Asm->OutStreamer.SwitchSection(
2093 Asm->getObjFileLowering().getDwarfAccelNamesSection());
2094 MCSymbol *SectionBegin = Asm->GetTempSymbol("names_begin");
2095 Asm->OutStreamer.EmitLabel(SectionBegin);
2096
2097 // Emit the full data.
Eric Christopher2e5d8702012-12-20 21:58:36 +00002098 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher09ac3d82011-11-07 09:24:32 +00002099}
2100
Eric Christopher72c16552012-12-20 21:58:40 +00002101// Emit objective C classes and categories into a hashed accelerator table
2102// section.
Eric Christopher09ac3d82011-11-07 09:24:32 +00002103void DwarfDebug::emitAccelObjC() {
2104 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2105 dwarf::DW_FORM_data4));
2106 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2107 E = CUMap.end(); I != E; ++I) {
2108 CompileUnit *TheCU = I->second;
2109 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelObjC();
2110 for (StringMap<std::vector<DIE*> >::const_iterator
2111 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer03406c42013-05-11 18:24:28 +00002112 StringRef Name = GI->getKey();
Eric Christopherfa03db02012-01-06 23:03:34 +00002113 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher09ac3d82011-11-07 09:24:32 +00002114 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2115 DE = Entities.end(); DI != DE; ++DI)
2116 AT.AddName(Name, (*DI));
2117 }
2118 }
2119
2120 AT.FinalizeTable(Asm, "ObjC");
2121 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2122 .getDwarfAccelObjCSection());
2123 MCSymbol *SectionBegin = Asm->GetTempSymbol("objc_begin");
2124 Asm->OutStreamer.EmitLabel(SectionBegin);
2125
2126 // Emit the full data.
Eric Christopher2e5d8702012-12-20 21:58:36 +00002127 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher09ac3d82011-11-07 09:24:32 +00002128}
2129
Eric Christopherb6dc8652012-11-27 22:43:45 +00002130// Emit namespace dies into a hashed accelerator table.
Eric Christopher09ac3d82011-11-07 09:24:32 +00002131void DwarfDebug::emitAccelNamespaces() {
2132 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2133 dwarf::DW_FORM_data4));
2134 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2135 E = CUMap.end(); I != E; ++I) {
2136 CompileUnit *TheCU = I->second;
Eric Christopher8bd36ea2011-11-10 21:47:55 +00002137 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelNamespace();
2138 for (StringMap<std::vector<DIE*> >::const_iterator
Eric Christopher09ac3d82011-11-07 09:24:32 +00002139 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer03406c42013-05-11 18:24:28 +00002140 StringRef Name = GI->getKey();
Eric Christopherfa03db02012-01-06 23:03:34 +00002141 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher8bd36ea2011-11-10 21:47:55 +00002142 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2143 DE = Entities.end(); DI != DE; ++DI)
2144 AT.AddName(Name, (*DI));
Eric Christopher09ac3d82011-11-07 09:24:32 +00002145 }
2146 }
2147
2148 AT.FinalizeTable(Asm, "namespac");
2149 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2150 .getDwarfAccelNamespaceSection());
2151 MCSymbol *SectionBegin = Asm->GetTempSymbol("namespac_begin");
2152 Asm->OutStreamer.EmitLabel(SectionBegin);
2153
2154 // Emit the full data.
Eric Christopher2e5d8702012-12-20 21:58:36 +00002155 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher09ac3d82011-11-07 09:24:32 +00002156}
2157
Eric Christopherb6dc8652012-11-27 22:43:45 +00002158// Emit type dies into a hashed accelerator table.
Eric Christopher09ac3d82011-11-07 09:24:32 +00002159void DwarfDebug::emitAccelTypes() {
Eric Christopherc36145f2012-01-06 04:35:23 +00002160 std::vector<DwarfAccelTable::Atom> Atoms;
2161 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2162 dwarf::DW_FORM_data4));
2163 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeTag,
2164 dwarf::DW_FORM_data2));
2165 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeTypeFlags,
2166 dwarf::DW_FORM_data1));
2167 DwarfAccelTable AT(Atoms);
Eric Christopher09ac3d82011-11-07 09:24:32 +00002168 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2169 E = CUMap.end(); I != E; ++I) {
2170 CompileUnit *TheCU = I->second;
Eric Christopherc36145f2012-01-06 04:35:23 +00002171 const StringMap<std::vector<std::pair<DIE*, unsigned > > > &Names
2172 = TheCU->getAccelTypes();
2173 for (StringMap<std::vector<std::pair<DIE*, unsigned> > >::const_iterator
Eric Christopher09ac3d82011-11-07 09:24:32 +00002174 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer03406c42013-05-11 18:24:28 +00002175 StringRef Name = GI->getKey();
Eric Christopherfa03db02012-01-06 23:03:34 +00002176 const std::vector<std::pair<DIE *, unsigned> > &Entities = GI->second;
Eric Christopherc36145f2012-01-06 04:35:23 +00002177 for (std::vector<std::pair<DIE *, unsigned> >::const_iterator DI
2178 = Entities.begin(), DE = Entities.end(); DI !=DE; ++DI)
2179 AT.AddName(Name, (*DI).first, (*DI).second);
Eric Christopher09ac3d82011-11-07 09:24:32 +00002180 }
2181 }
2182
2183 AT.FinalizeTable(Asm, "types");
2184 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2185 .getDwarfAccelTypesSection());
2186 MCSymbol *SectionBegin = Asm->GetTempSymbol("types_begin");
2187 Asm->OutStreamer.EmitLabel(SectionBegin);
2188
2189 // Emit the full data.
Eric Christopher2e5d8702012-12-20 21:58:36 +00002190 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher09ac3d82011-11-07 09:24:32 +00002191}
2192
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00002193/// emitDebugPubnames - Emit visible names into a debug pubnames section.
2194///
2195void DwarfDebug::emitDebugPubnames() {
2196 const MCSection *ISec = Asm->getObjFileLowering().getDwarfInfoSection();
2197
2198 typedef DenseMap<const MDNode*, CompileUnit*> CUMapType;
2199 for (CUMapType::iterator I = CUMap.begin(), E = CUMap.end(); I != E; ++I) {
2200 CompileUnit *TheCU = I->second;
2201 unsigned ID = TheCU->getUniqueID();
2202
2203 if (TheCU->getGlobalNames().empty())
2204 continue;
2205
2206 // Start the dwarf pubnames section.
2207 Asm->OutStreamer.SwitchSection(
2208 Asm->getObjFileLowering().getDwarfPubNamesSection());
2209
2210 Asm->OutStreamer.AddComment("Length of Public Names Info");
2211 Asm->EmitLabelDifference(Asm->GetTempSymbol("pubnames_end", ID),
2212 Asm->GetTempSymbol("pubnames_begin", ID), 4);
2213
2214 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin", ID));
2215
2216 Asm->OutStreamer.AddComment("DWARF Version");
Manman Ren742671b2013-05-29 17:16:59 +00002217 Asm->EmitInt16(dwarf::DWARF_VERSION);
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00002218
2219 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
2220 Asm->EmitSectionOffset(Asm->GetTempSymbol(ISec->getLabelBeginName(), ID),
2221 DwarfInfoSectionSym);
2222
2223 Asm->OutStreamer.AddComment("Compilation Unit Length");
2224 Asm->EmitLabelDifference(Asm->GetTempSymbol(ISec->getLabelEndName(), ID),
2225 Asm->GetTempSymbol(ISec->getLabelBeginName(), ID),
2226 4);
2227
2228 const StringMap<DIE*> &Globals = TheCU->getGlobalNames();
2229 for (StringMap<DIE*>::const_iterator
2230 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2231 const char *Name = GI->getKeyData();
2232 const DIE *Entity = GI->second;
2233
2234 Asm->OutStreamer.AddComment("DIE offset");
2235 Asm->EmitInt32(Entity->getOffset());
2236
2237 if (Asm->isVerbose())
2238 Asm->OutStreamer.AddComment("External Name");
Benjamin Kramer03406c42013-05-11 18:24:28 +00002239 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Krzysztof Parzyszekc5ef7ee2013-02-12 18:00:14 +00002240 }
2241
2242 Asm->OutStreamer.AddComment("End Mark");
2243 Asm->EmitInt32(0);
2244 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end", ID));
2245 }
2246}
2247
Devang Patel193f7202009-11-24 01:14:22 +00002248void DwarfDebug::emitDebugPubTypes() {
Devang Patel163a9f72010-05-10 22:49:55 +00002249 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2250 E = CUMap.end(); I != E; ++I) {
2251 CompileUnit *TheCU = I->second;
Eric Christopher63701182011-11-07 09:18:35 +00002252 // Start the dwarf pubtypes section.
Devang Patel163a9f72010-05-10 22:49:55 +00002253 Asm->OutStreamer.SwitchSection(
2254 Asm->getObjFileLowering().getDwarfPubTypesSection());
2255 Asm->OutStreamer.AddComment("Length of Public Types Info");
2256 Asm->EmitLabelDifference(
Eli Benderskyd4a05e02012-12-03 18:45:45 +00002257 Asm->GetTempSymbol("pubtypes_end", TheCU->getUniqueID()),
2258 Asm->GetTempSymbol("pubtypes_begin", TheCU->getUniqueID()), 4);
Jim Grosbach1e20b962010-07-21 21:21:52 +00002259
Devang Patel163a9f72010-05-10 22:49:55 +00002260 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
Eli Benderskyd4a05e02012-12-03 18:45:45 +00002261 TheCU->getUniqueID()));
Jim Grosbach1e20b962010-07-21 21:21:52 +00002262
Devang Patel163a9f72010-05-10 22:49:55 +00002263 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
Manman Ren742671b2013-05-29 17:16:59 +00002264 Asm->EmitInt16(dwarf::DWARF_VERSION);
Jim Grosbach1e20b962010-07-21 21:21:52 +00002265
Devang Patel163a9f72010-05-10 22:49:55 +00002266 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Eric Christophercf6b8ad2012-12-15 00:04:04 +00002267 const MCSection *ISec = Asm->getObjFileLowering().getDwarfInfoSection();
2268 Asm->EmitSectionOffset(Asm->GetTempSymbol(ISec->getLabelBeginName(),
Eli Benderskyd4a05e02012-12-03 18:45:45 +00002269 TheCU->getUniqueID()),
Devang Patel163a9f72010-05-10 22:49:55 +00002270 DwarfInfoSectionSym);
Jim Grosbach1e20b962010-07-21 21:21:52 +00002271
Devang Patel163a9f72010-05-10 22:49:55 +00002272 Asm->OutStreamer.AddComment("Compilation Unit Length");
Eric Christophercf6b8ad2012-12-15 00:04:04 +00002273 Asm->EmitLabelDifference(Asm->GetTempSymbol(ISec->getLabelEndName(),
Eli Benderskyd4a05e02012-12-03 18:45:45 +00002274 TheCU->getUniqueID()),
Eric Christophercf6b8ad2012-12-15 00:04:04 +00002275 Asm->GetTempSymbol(ISec->getLabelBeginName(),
Eli Benderskyd4a05e02012-12-03 18:45:45 +00002276 TheCU->getUniqueID()),
Devang Patel163a9f72010-05-10 22:49:55 +00002277 4);
Jim Grosbach1e20b962010-07-21 21:21:52 +00002278
Devang Patel163a9f72010-05-10 22:49:55 +00002279 const StringMap<DIE*> &Globals = TheCU->getGlobalTypes();
2280 for (StringMap<DIE*>::const_iterator
2281 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2282 const char *Name = GI->getKeyData();
Nick Lewycky3bbb6f72011-07-29 03:49:23 +00002283 DIE *Entity = GI->second;
Jim Grosbach1e20b962010-07-21 21:21:52 +00002284
Devang Patel163a9f72010-05-10 22:49:55 +00002285 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
2286 Asm->EmitInt32(Entity->getOffset());
Jim Grosbach1e20b962010-07-21 21:21:52 +00002287
Devang Patel163a9f72010-05-10 22:49:55 +00002288 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Benjamin Kramer983c4572011-11-09 18:16:11 +00002289 // Emit the name with a terminating null byte.
Eric Christopher68ca5622013-01-09 01:57:54 +00002290 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1));
Devang Patel163a9f72010-05-10 22:49:55 +00002291 }
Jim Grosbach1e20b962010-07-21 21:21:52 +00002292
Devang Patel163a9f72010-05-10 22:49:55 +00002293 Asm->OutStreamer.AddComment("End Mark");
Jim Grosbach1e20b962010-07-21 21:21:52 +00002294 Asm->EmitInt32(0);
Devang Patel163a9f72010-05-10 22:49:55 +00002295 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
Eli Benderskyd4a05e02012-12-03 18:45:45 +00002296 TheCU->getUniqueID()));
Devang Patel193f7202009-11-24 01:14:22 +00002297 }
Devang Patel193f7202009-11-24 01:14:22 +00002298}
2299
Eric Christopher64f824c2012-12-27 02:14:01 +00002300// Emit strings into a string section.
Eric Christopherdd8e9f32013-01-07 19:32:41 +00002301void DwarfUnits::emitStrings(const MCSection *StrSection,
2302 const MCSection *OffsetSection = NULL,
2303 const MCSymbol *StrSecSym = NULL) {
Eric Christopher64f824c2012-12-27 02:14:01 +00002304
Eric Christopherb6714222013-01-08 22:22:06 +00002305 if (StringPool.empty()) return;
Jim Grosbach1e20b962010-07-21 21:21:52 +00002306
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002307 // Start the dwarf str section.
Eric Christopherdd8e9f32013-01-07 19:32:41 +00002308 Asm->OutStreamer.SwitchSection(StrSection);
Bill Wendling94d04b82009-05-20 23:21:38 +00002309
Chris Lattnerbc733f52010-03-13 02:17:42 +00002310 // Get all of the string pool entries and put them in an array by their ID so
2311 // we can sort them.
Jim Grosbach1e20b962010-07-21 21:21:52 +00002312 SmallVector<std::pair<unsigned,
Eric Christopherff348452013-01-07 22:40:45 +00002313 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
Jim Grosbach1e20b962010-07-21 21:21:52 +00002314
Chris Lattnerbc733f52010-03-13 02:17:42 +00002315 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
Eric Christopherb6714222013-01-08 22:22:06 +00002316 I = StringPool.begin(), E = StringPool.end();
Eric Christopher72c16552012-12-20 21:58:40 +00002317 I != E; ++I)
Chris Lattnerbc733f52010-03-13 02:17:42 +00002318 Entries.push_back(std::make_pair(I->second.second, &*I));
Jim Grosbach1e20b962010-07-21 21:21:52 +00002319
Chris Lattnerbc733f52010-03-13 02:17:42 +00002320 array_pod_sort(Entries.begin(), Entries.end());
Jim Grosbach1e20b962010-07-21 21:21:52 +00002321
Chris Lattnerbc733f52010-03-13 02:17:42 +00002322 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner0d9d70f2010-03-09 23:38:23 +00002323 // Emit a label for reference from debug information entries.
Chris Lattnerbc733f52010-03-13 02:17:42 +00002324 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Jim Grosbach1e20b962010-07-21 21:21:52 +00002325
Benjamin Kramer983c4572011-11-09 18:16:11 +00002326 // Emit the string itself with a terminating null byte.
Benjamin Kramer0c45f7d2011-11-09 12:12:04 +00002327 Asm->OutStreamer.EmitBytes(StringRef(Entries[i].second->getKeyData(),
Eric Christopherca1dd052013-01-09 01:35:34 +00002328 Entries[i].second->getKeyLength()+1));
Bill Wendling94d04b82009-05-20 23:21:38 +00002329 }
Eric Christopherdd8e9f32013-01-07 19:32:41 +00002330
2331 // If we've got an offset section go ahead and emit that now as well.
2332 if (OffsetSection) {
2333 Asm->OutStreamer.SwitchSection(OffsetSection);
2334 unsigned offset = 0;
Eric Christopher72f7bfb2013-01-15 23:56:56 +00002335 unsigned size = 4; // FIXME: DWARF64 is 8.
Eric Christopherdd8e9f32013-01-07 19:32:41 +00002336 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Eric Christopher1ced2082013-01-09 03:52:05 +00002337 Asm->OutStreamer.EmitIntValue(offset, size);
Eric Christopherdd8e9f32013-01-07 19:32:41 +00002338 offset += Entries[i].second->getKeyLength() + 1;
2339 }
2340 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002341}
2342
Eric Christopher72f7bfb2013-01-15 23:56:56 +00002343// Emit strings into a string section.
2344void DwarfUnits::emitAddresses(const MCSection *AddrSection) {
2345
2346 if (AddressPool.empty()) return;
2347
2348 // Start the dwarf addr section.
2349 Asm->OutStreamer.SwitchSection(AddrSection);
2350
2351 // Get all of the string pool entries and put them in an array by their ID so
2352 // we can sort them.
2353 SmallVector<std::pair<unsigned,
2354 std::pair<MCSymbol*, unsigned>* >, 64> Entries;
2355
2356 for (DenseMap<MCSymbol*, std::pair<MCSymbol*, unsigned> >::iterator
2357 I = AddressPool.begin(), E = AddressPool.end();
2358 I != E; ++I)
2359 Entries.push_back(std::make_pair(I->second.second, &(I->second)));
2360
2361 array_pod_sort(Entries.begin(), Entries.end());
2362
2363 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
2364 // Emit a label for reference from debug information entries.
2365 MCSymbol *Sym = Entries[i].second->first;
2366 if (Sym)
2367 Asm->EmitLabelReference(Entries[i].second->first,
2368 Asm->getDataLayout().getPointerSize());
2369 else
2370 Asm->OutStreamer.EmitIntValue(0, Asm->getDataLayout().getPointerSize());
2371 }
2372
2373}
2374
Eric Christopher64f824c2012-12-27 02:14:01 +00002375// Emit visible names into a debug str section.
2376void DwarfDebug::emitDebugStr() {
2377 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
2378 Holder.emitStrings(Asm->getObjFileLowering().getDwarfStrSection());
2379}
2380
Eric Christopherb6dc8652012-11-27 22:43:45 +00002381// Emit visible names into a debug loc section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002382void DwarfDebug::emitDebugLoc() {
Devang Patel80250682010-05-26 23:55:23 +00002383 if (DotDebugLocEntries.empty())
2384 return;
2385
Eric Christopherf7cef702013-03-29 23:34:06 +00002386 for (SmallVectorImpl<DotDebugLocEntry>::iterator
Devang Patel6c3ea902011-02-04 22:57:18 +00002387 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
2388 I != E; ++I) {
2389 DotDebugLocEntry &Entry = *I;
2390 if (I + 1 != DotDebugLocEntries.end())
2391 Entry.Merge(I+1);
2392 }
2393
Daniel Dunbar83320a02011-03-16 22:16:39 +00002394 // Start the dwarf loc section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002395 Asm->OutStreamer.SwitchSection(
Devang Patelc3f5f782010-05-25 23:40:22 +00002396 Asm->getObjFileLowering().getDwarfLocSection());
Chandler Carruth426c2bf2012-11-01 09:14:31 +00002397 unsigned char Size = Asm->getDataLayout().getPointerSize();
Devang Patel80250682010-05-26 23:55:23 +00002398 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", 0));
2399 unsigned index = 1;
Eric Christopherf7cef702013-03-29 23:34:06 +00002400 for (SmallVectorImpl<DotDebugLocEntry>::iterator
Jim Grosbach1e20b962010-07-21 21:21:52 +00002401 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
Devang Patel61409622010-07-07 20:12:52 +00002402 I != E; ++I, ++index) {
Devang Patel6c3ea902011-02-04 22:57:18 +00002403 DotDebugLocEntry &Entry = *I;
2404 if (Entry.isMerged()) continue;
Devang Patelc3f5f782010-05-25 23:40:22 +00002405 if (Entry.isEmpty()) {
Eric Christopherca1dd052013-01-09 01:35:34 +00002406 Asm->OutStreamer.EmitIntValue(0, Size);
2407 Asm->OutStreamer.EmitIntValue(0, Size);
Devang Patel80250682010-05-26 23:55:23 +00002408 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", index));
Devang Patelc3f5f782010-05-25 23:40:22 +00002409 } else {
Eric Christopher1ced2082013-01-09 03:52:05 +00002410 Asm->OutStreamer.EmitSymbolValue(Entry.Begin, Size);
2411 Asm->OutStreamer.EmitSymbolValue(Entry.End, Size);
Devang Patelc26f5442011-04-28 02:22:40 +00002412 DIVariable DV(Entry.Variable);
Rafael Espindola5b23b7f2011-05-27 22:05:41 +00002413 Asm->OutStreamer.AddComment("Loc expr size");
2414 MCSymbol *begin = Asm->OutStreamer.getContext().CreateTempSymbol();
2415 MCSymbol *end = Asm->OutStreamer.getContext().CreateTempSymbol();
2416 Asm->EmitLabelDifference(end, begin, 2);
2417 Asm->OutStreamer.EmitLabel(begin);
Devang Patel80efd4e2011-07-08 16:49:43 +00002418 if (Entry.isInt()) {
Devang Patelc4329072011-06-01 22:03:25 +00002419 DIBasicType BTy(DV.getType());
2420 if (BTy.Verify() &&
Eric Christopher0f1c7f62012-11-19 22:42:10 +00002421 (BTy.getEncoding() == dwarf::DW_ATE_signed
Devang Patelc4329072011-06-01 22:03:25 +00002422 || BTy.getEncoding() == dwarf::DW_ATE_signed_char)) {
2423 Asm->OutStreamer.AddComment("DW_OP_consts");
2424 Asm->EmitInt8(dwarf::DW_OP_consts);
Devang Patel80efd4e2011-07-08 16:49:43 +00002425 Asm->EmitSLEB128(Entry.getInt());
Devang Patelc4329072011-06-01 22:03:25 +00002426 } else {
2427 Asm->OutStreamer.AddComment("DW_OP_constu");
2428 Asm->EmitInt8(dwarf::DW_OP_constu);
Devang Patel80efd4e2011-07-08 16:49:43 +00002429 Asm->EmitULEB128(Entry.getInt());
Devang Patelc4329072011-06-01 22:03:25 +00002430 }
Devang Patel80efd4e2011-07-08 16:49:43 +00002431 } else if (Entry.isLocation()) {
Eric Christopher0f1c7f62012-11-19 22:42:10 +00002432 if (!DV.hasComplexAddress())
Devang Patel80efd4e2011-07-08 16:49:43 +00002433 // Regular entry.
Devang Patelc26f5442011-04-28 02:22:40 +00002434 Asm->EmitDwarfRegOp(Entry.Loc);
Devang Patel80efd4e2011-07-08 16:49:43 +00002435 else {
2436 // Complex address entry.
2437 unsigned N = DV.getNumAddrElements();
2438 unsigned i = 0;
2439 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
2440 if (Entry.Loc.getOffset()) {
2441 i = 2;
2442 Asm->EmitDwarfRegOp(Entry.Loc);
2443 Asm->OutStreamer.AddComment("DW_OP_deref");
2444 Asm->EmitInt8(dwarf::DW_OP_deref);
2445 Asm->OutStreamer.AddComment("DW_OP_plus_uconst");
2446 Asm->EmitInt8(dwarf::DW_OP_plus_uconst);
2447 Asm->EmitSLEB128(DV.getAddrElement(1));
2448 } else {
2449 // If first address element is OpPlus then emit
2450 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
2451 MachineLocation Loc(Entry.Loc.getReg(), DV.getAddrElement(1));
2452 Asm->EmitDwarfRegOp(Loc);
2453 i = 2;
2454 }
2455 } else {
2456 Asm->EmitDwarfRegOp(Entry.Loc);
2457 }
Eric Christopher0f1c7f62012-11-19 22:42:10 +00002458
Devang Patel80efd4e2011-07-08 16:49:43 +00002459 // Emit remaining complex address elements.
2460 for (; i < N; ++i) {
2461 uint64_t Element = DV.getAddrElement(i);
2462 if (Element == DIBuilder::OpPlus) {
2463 Asm->EmitInt8(dwarf::DW_OP_plus_uconst);
2464 Asm->EmitULEB128(DV.getAddrElement(++i));
Eric Christopher50120762012-05-08 18:56:00 +00002465 } else if (Element == DIBuilder::OpDeref) {
Eric Christophera80f2d12012-05-08 21:24:39 +00002466 if (!Entry.Loc.isReg())
Eric Christopher50120762012-05-08 18:56:00 +00002467 Asm->EmitInt8(dwarf::DW_OP_deref);
2468 } else
2469 llvm_unreachable("unknown Opcode found in complex address");
Devang Patel80efd4e2011-07-08 16:49:43 +00002470 }
Devang Patelc26f5442011-04-28 02:22:40 +00002471 }
Devang Patelc26f5442011-04-28 02:22:40 +00002472 }
Devang Patel80efd4e2011-07-08 16:49:43 +00002473 // else ... ignore constant fp. There is not any good way to
2474 // to represent them here in dwarf.
Rafael Espindola5b23b7f2011-05-27 22:05:41 +00002475 Asm->OutStreamer.EmitLabel(end);
Devang Patelc3f5f782010-05-25 23:40:22 +00002476 }
2477 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002478}
2479
Eric Christopherb6dc8652012-11-27 22:43:45 +00002480// Emit visible names into a debug aranges section.
Eric Christopher7ee5f5d2012-11-21 00:34:35 +00002481void DwarfDebug::emitDebugARanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002482 // Start the dwarf aranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002483 Asm->OutStreamer.SwitchSection(
2484 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling94d04b82009-05-20 23:21:38 +00002485}
2486
Eric Christopherb6dc8652012-11-27 22:43:45 +00002487// Emit visible names into a debug ranges section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002488void DwarfDebug::emitDebugRanges() {
Bill Wendling94d04b82009-05-20 23:21:38 +00002489 // Start the dwarf ranges section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002490 Asm->OutStreamer.SwitchSection(
Devang Patelf2548ca2010-04-16 23:33:45 +00002491 Asm->getObjFileLowering().getDwarfRangesSection());
Chandler Carruth426c2bf2012-11-01 09:14:31 +00002492 unsigned char Size = Asm->getDataLayout().getPointerSize();
Eric Christopherf7cef702013-03-29 23:34:06 +00002493 for (SmallVectorImpl<const MCSymbol *>::iterator
Jim Grosbach1e20b962010-07-21 21:21:52 +00002494 I = DebugRangeSymbols.begin(), E = DebugRangeSymbols.end();
Devang Pateleac9c072010-04-27 19:46:33 +00002495 I != E; ++I) {
2496 if (*I)
Eric Christopher1ced2082013-01-09 03:52:05 +00002497 Asm->OutStreamer.EmitSymbolValue(const_cast<MCSymbol*>(*I), Size);
Devang Patelf2548ca2010-04-16 23:33:45 +00002498 else
Eric Christopherca1dd052013-01-09 01:35:34 +00002499 Asm->OutStreamer.EmitIntValue(0, Size);
Devang Patelf2548ca2010-04-16 23:33:45 +00002500 }
Bill Wendling94d04b82009-05-20 23:21:38 +00002501}
2502
Eric Christopherb6dc8652012-11-27 22:43:45 +00002503// Emit visible names into a debug macinfo section.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002504void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarf612ff62009-09-19 20:40:05 +00002505 if (const MCSection *LineInfo =
Chris Lattner18a4c162009-08-02 07:24:22 +00002506 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling94d04b82009-05-20 23:21:38 +00002507 // Start the dwarf macinfo section.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002508 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling94d04b82009-05-20 23:21:38 +00002509 }
2510}
2511
Eric Christopherb6dc8652012-11-27 22:43:45 +00002512// Emit inline info using following format.
2513// Section Header:
2514// 1. length of section
2515// 2. Dwarf version number
2516// 3. address size.
2517//
2518// Entries (one "entry" for each function that was inlined):
2519//
2520// 1. offset into __debug_str section for MIPS linkage name, if exists;
2521// otherwise offset into __debug_str for regular function name.
2522// 2. offset into __debug_str section for regular function name.
2523// 3. an unsigned LEB128 number indicating the number of distinct inlining
2524// instances for the function.
2525//
2526// The rest of the entry consists of a {die_offset, low_pc} pair for each
2527// inlined instance; the die_offset points to the inlined_subroutine die in the
2528// __debug_info section, and the low_pc is the starting address for the
2529// inlining instance.
Devang Patel2c4ceb12009-11-21 02:48:08 +00002530void DwarfDebug::emitDebugInlineInfo() {
Eric Christopherb83e2bb2012-03-02 02:11:47 +00002531 if (!Asm->MAI->doesDwarfUseInlineInfoSection())
Bill Wendling94d04b82009-05-20 23:21:38 +00002532 return;
2533
Devang Patel163a9f72010-05-10 22:49:55 +00002534 if (!FirstCU)
Bill Wendling94d04b82009-05-20 23:21:38 +00002535 return;
2536
Chris Lattner6c2f9e12009-08-19 05:49:37 +00002537 Asm->OutStreamer.SwitchSection(
2538 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattner0ad9c912010-01-22 22:09:00 +00002539
Chris Lattner233f52b2010-03-09 23:52:58 +00002540 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnera6437182010-04-04 19:58:12 +00002541 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
2542 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling94d04b82009-05-20 23:21:38 +00002543
Chris Lattnerc0215722010-04-04 19:25:43 +00002544 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00002545
Chris Lattner233f52b2010-03-09 23:52:58 +00002546 Asm->OutStreamer.AddComment("Dwarf Version");
Manman Ren742671b2013-05-29 17:16:59 +00002547 Asm->EmitInt16(dwarf::DWARF_VERSION);
Chris Lattner233f52b2010-03-09 23:52:58 +00002548 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chandler Carruth426c2bf2012-11-01 09:14:31 +00002549 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002550
Eric Christopherf7cef702013-03-29 23:34:06 +00002551 for (SmallVectorImpl<const MDNode *>::iterator I = InlinedSPNodes.begin(),
Devang Patel53bb5c92009-11-10 23:06:00 +00002552 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach31ef40e2009-11-21 23:12:12 +00002553
Devang Patele9f8f5e2010-05-07 20:54:48 +00002554 const MDNode *Node = *I;
2555 DenseMap<const MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach7ab38df2009-11-22 19:20:36 +00002556 = InlineInfo.find(Node);
Eric Christopherf7cef702013-03-29 23:34:06 +00002557 SmallVectorImpl<InlineInfoLabels> &Labels = II->second;
Devang Patele4b27562009-08-28 23:24:31 +00002558 DISubprogram SP(Node);
Devang Patel65dbc902009-11-25 17:36:49 +00002559 StringRef LName = SP.getLinkageName();
2560 StringRef Name = SP.getName();
Bill Wendling94d04b82009-05-20 23:21:38 +00002561
Chris Lattner233f52b2010-03-09 23:52:58 +00002562 Asm->OutStreamer.AddComment("MIPS linkage name");
Eric Christopher50e26612012-03-02 01:57:52 +00002563 if (LName.empty())
Eric Christopher2e5d8702012-12-20 21:58:36 +00002564 Asm->EmitSectionOffset(InfoHolder.getStringPoolEntry(Name),
2565 DwarfStrSectionSym);
Eric Christopher50e26612012-03-02 01:57:52 +00002566 else
Eric Christopher2e5d8702012-12-20 21:58:36 +00002567 Asm->EmitSectionOffset(InfoHolder
2568 .getStringPoolEntry(getRealLinkageName(LName)),
Chris Lattner6189ed12010-04-04 23:25:33 +00002569 DwarfStrSectionSym);
Devang Patel53bb5c92009-11-10 23:06:00 +00002570
Chris Lattner233f52b2010-03-09 23:52:58 +00002571 Asm->OutStreamer.AddComment("Function name");
Eric Christopher2e5d8702012-12-20 21:58:36 +00002572 Asm->EmitSectionOffset(InfoHolder.getStringPoolEntry(Name),
2573 DwarfStrSectionSym);
Chris Lattner7e1a8f82010-04-04 19:09:29 +00002574 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling94d04b82009-05-20 23:21:38 +00002575
Eric Christopherf7cef702013-03-29 23:34:06 +00002576 for (SmallVectorImpl<InlineInfoLabels>::iterator LI = Labels.begin(),
Bill Wendling94d04b82009-05-20 23:21:38 +00002577 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner3f53c832010-04-04 18:52:31 +00002578 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner6ed0f902010-03-09 00:31:02 +00002579 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling94d04b82009-05-20 23:21:38 +00002580
Chris Lattner3f53c832010-04-04 18:52:31 +00002581 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattnerd38fee82010-04-05 00:13:49 +00002582 Asm->OutStreamer.EmitSymbolValue(LI->first,
Eric Christopher1ced2082013-01-09 03:52:05 +00002583 Asm->getDataLayout().getPointerSize());
Bill Wendling94d04b82009-05-20 23:21:38 +00002584 }
2585 }
2586
Chris Lattnerc0215722010-04-04 19:25:43 +00002587 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling94d04b82009-05-20 23:21:38 +00002588}
Eric Christopher98e237f2012-11-30 23:59:06 +00002589
Eric Christopher0b944ee2012-12-11 19:42:09 +00002590// DWARF5 Experimental Separate Dwarf emitters.
Eric Christopher98e237f2012-11-30 23:59:06 +00002591
2592// This DIE has the following attributes: DW_AT_comp_dir, DW_AT_stmt_list,
2593// DW_AT_low_pc, DW_AT_high_pc, DW_AT_ranges, DW_AT_dwo_name, DW_AT_dwo_id,
2594// DW_AT_ranges_base, DW_AT_addr_base. If DW_AT_ranges is present,
2595// DW_AT_low_pc and DW_AT_high_pc are not used, and vice versa.
Eric Christopher4daaed12012-12-10 19:51:21 +00002596CompileUnit *DwarfDebug::constructSkeletonCU(const MDNode *N) {
Eric Christopher98e237f2012-11-30 23:59:06 +00002597 DICompileUnit DIUnit(N);
Eric Christopher98e237f2012-11-30 23:59:06 +00002598 CompilationDir = DIUnit.getDirectory();
Eric Christopher98e237f2012-11-30 23:59:06 +00002599
2600 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Eli Benderskyd4a05e02012-12-03 18:45:45 +00002601 CompileUnit *NewCU = new CompileUnit(GlobalCUIndexCount++,
Eric Christopher9c57ad22013-05-08 00:58:51 +00002602 DIUnit.getLanguage(), Die, N, Asm,
Eric Christopher64f824c2012-12-27 02:14:01 +00002603 this, &SkeletonHolder);
Eric Christopher446b88f2013-01-17 03:00:04 +00002604
Eric Christopher3ce51a92013-02-22 23:50:08 +00002605 NewCU->addLocalString(Die, dwarf::DW_AT_GNU_dwo_name,
2606 DIUnit.getSplitDebugFilename());
Eric Christopher98e237f2012-11-30 23:59:06 +00002607
Eric Christopher208cc6f2013-02-05 07:31:55 +00002608 // This should be a unique identifier when we want to build .dwp files.
2609 NewCU->addUInt(Die, dwarf::DW_AT_GNU_dwo_id, dwarf::DW_FORM_data8, 0);
Eric Christopherd96c72a2013-01-17 02:59:59 +00002610
Eric Christopher1b0cd2f2013-04-22 07:51:08 +00002611 // Relocate to the beginning of the addr_base section, else 0 for the
2612 // beginning of the one for this compile unit.
Eric Christopher9a9e73b2013-04-07 03:43:09 +00002613 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
2614 NewCU->addLabel(Die, dwarf::DW_AT_GNU_addr_base, dwarf::DW_FORM_sec_offset,
2615 DwarfAddrSectionSym);
2616 else
Eric Christopher1b0cd2f2013-04-22 07:51:08 +00002617 NewCU->addUInt(Die, dwarf::DW_AT_GNU_addr_base,
2618 dwarf::DW_FORM_sec_offset, 0);
Eric Christopher98e237f2012-11-30 23:59:06 +00002619
2620 // 2.17.1 requires that we use DW_AT_low_pc for a single entry point
Eric Christopher72f7bfb2013-01-15 23:56:56 +00002621 // into an entity. We're using 0, or a NULL label for this.
Eric Christopher98e237f2012-11-30 23:59:06 +00002622 NewCU->addUInt(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, 0);
Eric Christopher72f7bfb2013-01-15 23:56:56 +00002623
Eric Christopher98e237f2012-11-30 23:59:06 +00002624 // DW_AT_stmt_list is a offset of line number information for this
2625 // compile unit in debug_line section.
Eric Christopher9a9e73b2013-04-07 03:43:09 +00002626 // FIXME: Should handle multiple compile units.
Eric Christopher98e237f2012-11-30 23:59:06 +00002627 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Eric Christopher446b88f2013-01-17 03:00:04 +00002628 NewCU->addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset,
Eric Christopher7a0103c2013-02-07 21:19:50 +00002629 DwarfLineSectionSym);
Eric Christopher98e237f2012-11-30 23:59:06 +00002630 else
Eric Christopher446b88f2013-01-17 03:00:04 +00002631 NewCU->addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset, 0);
Eric Christopher98e237f2012-11-30 23:59:06 +00002632
2633 if (!CompilationDir.empty())
Eric Christopherdd8e9f32013-01-07 19:32:41 +00002634 NewCU->addLocalString(Die, dwarf::DW_AT_comp_dir, CompilationDir);
Eric Christopher98e237f2012-11-30 23:59:06 +00002635
Eric Christopher0e3e9b72012-12-10 23:34:43 +00002636 SkeletonHolder.addUnit(NewCU);
Eric Christopher01776a52013-02-06 21:53:56 +00002637 SkeletonCUs.push_back(NewCU);
Eric Christopher0e3e9b72012-12-10 23:34:43 +00002638
Eric Christopher98e237f2012-11-30 23:59:06 +00002639 return NewCU;
2640}
2641
Eric Christopher6eebe472012-12-19 22:02:53 +00002642void DwarfDebug::emitSkeletonAbbrevs(const MCSection *Section) {
2643 assert(useSplitDwarf() && "No split dwarf debug info?");
2644 emitAbbrevs(Section, &SkeletonAbbrevs);
Eric Christopher98e237f2012-11-30 23:59:06 +00002645}
2646
Eric Christopher0b944ee2012-12-11 19:42:09 +00002647// Emit the .debug_info.dwo section for separated dwarf. This contains the
2648// compile units that would normally be in debug_info.
Eric Christopher98e237f2012-11-30 23:59:06 +00002649void DwarfDebug::emitDebugInfoDWO() {
Eric Christopher4daaed12012-12-10 19:51:21 +00002650 assert(useSplitDwarf() && "No split dwarf debug info?");
Eric Christopherb1e66d02012-12-15 00:04:07 +00002651 InfoHolder.emitUnits(this, Asm->getObjFileLowering().getDwarfInfoDWOSection(),
Eric Christopher6eebe472012-12-19 22:02:53 +00002652 Asm->getObjFileLowering().getDwarfAbbrevDWOSection(),
2653 DwarfAbbrevDWOSectionSym);
2654}
2655
2656// Emit the .debug_abbrev.dwo section for separated dwarf. This contains the
2657// abbreviations for the .debug_info.dwo section.
2658void DwarfDebug::emitDebugAbbrevDWO() {
2659 assert(useSplitDwarf() && "No split dwarf?");
Eric Christopher72c16552012-12-20 21:58:40 +00002660 emitAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevDWOSection(),
2661 &Abbreviations);
Eric Christopher98e237f2012-11-30 23:59:06 +00002662}
Eric Christopher64f824c2012-12-27 02:14:01 +00002663
2664// Emit the .debug_str.dwo section for separated dwarf. This contains the
2665// string section and is identical in format to traditional .debug_str
2666// sections.
2667void DwarfDebug::emitDebugStrDWO() {
2668 assert(useSplitDwarf() && "No split dwarf?");
Eric Christopherff348452013-01-07 22:40:45 +00002669 const MCSection *OffSec = Asm->getObjFileLowering()
2670 .getDwarfStrOffDWOSection();
Eric Christopherdd8e9f32013-01-07 19:32:41 +00002671 const MCSymbol *StrSym = DwarfStrSectionSym;
2672 InfoHolder.emitStrings(Asm->getObjFileLowering().getDwarfStrDWOSection(),
2673 OffSec, StrSym);
Eric Christopher64f824c2012-12-27 02:14:01 +00002674}