blob: 0731b90568667a879c8e1259b0f27bd681c72ac7 [file] [log] [blame]
Bill Wendling2f921f82009-05-15 09:23:25 +00001//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
Chris Lattnerb14490d2010-03-09 00:39:24 +000013
Devang Patel80ae3492009-08-28 23:24:31 +000014#define DEBUG_TYPE "dwarfdebug"
Bill Wendling2f921f82009-05-15 09:23:25 +000015#include "DwarfDebug.h"
Chris Lattner3f3fb972010-04-05 05:24:55 +000016#include "DIE.h"
Eric Christopher4996c702011-11-07 09:24:32 +000017#include "DwarfAccelTable.h"
Devang Patel5eb43192011-04-12 17:40:32 +000018#include "DwarfCompileUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/STLExtras.h"
20#include "llvm/ADT/Statistic.h"
21#include "llvm/ADT/StringExtras.h"
22#include "llvm/ADT/Triple.h"
David Greene829b3e82009-08-19 21:52:55 +000023#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000024#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000025#include "llvm/DIBuilder.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/DebugInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000027#include "llvm/IR/Constants.h"
28#include "llvm/IR/DataLayout.h"
29#include "llvm/IR/Instructions.h"
30#include "llvm/IR/Module.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000031#include "llvm/MC/MCAsmInfo.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000032#include "llvm/MC/MCSection.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000033#include "llvm/MC/MCStreamer.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000034#include "llvm/MC/MCSymbol.h"
Devang Patel6c74a872010-04-27 19:46:33 +000035#include "llvm/Support/CommandLine.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000036#include "llvm/Support/Debug.h"
37#include "llvm/Support/ErrorHandling.h"
Chris Lattnerf5c834f2010-01-22 22:09:00 +000038#include "llvm/Support/FormattedStream.h"
Michael J. Spencer447762d2010-11-29 18:16:10 +000039#include "llvm/Support/Path.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000040#include "llvm/Support/Timer.h"
41#include "llvm/Support/ValueHandle.h"
42#include "llvm/Target/TargetFrameLowering.h"
43#include "llvm/Target/TargetLoweringObjectFile.h"
44#include "llvm/Target/TargetMachine.h"
45#include "llvm/Target/TargetOptions.h"
46#include "llvm/Target/TargetRegisterInfo.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000047using namespace llvm;
48
Jim Grosbacha8683bb2010-07-21 21:21:52 +000049static cl::opt<bool> DisableDebugInfoPrinting("disable-debug-info-print",
Devang Patel30265c42010-07-07 20:12:52 +000050 cl::Hidden,
Devang Patel6c74a872010-04-27 19:46:33 +000051 cl::desc("Disable debug info printing"));
52
Dan Gohman7421ae42010-05-07 01:08:53 +000053static cl::opt<bool> UnknownLocations("use-unknown-locations", cl::Hidden,
Chris Lattner0ab5e2c2011-04-15 05:18:47 +000054 cl::desc("Make an absence of debug location information explicit."),
Dan Gohman7421ae42010-05-07 01:08:53 +000055 cl::init(false));
56
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +000057static cl::opt<bool> GenerateDwarfPubNamesSection("generate-dwarf-pubnames",
Eric Christopher55909492013-04-03 05:26:07 +000058 cl::Hidden, cl::init(false),
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +000059 cl::desc("Generate DWARF pubnames section"));
60
Eric Christopher20b76a72012-08-23 22:36:40 +000061namespace {
62 enum DefaultOnOff {
63 Default, Enable, Disable
64 };
65}
Eric Christopher4996c702011-11-07 09:24:32 +000066
Eric Christopher20b76a72012-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 Christopher978fbff2012-08-23 07:10:46 +000077 cl::desc("Compatibility with Darwin gdb."),
Eric Christopher20b76a72012-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 Christopher978fbff2012-08-23 07:10:46 +000084
Eric Christophercdf218d2012-12-10 19:51:21 +000085static cl::opt<DefaultOnOff> SplitDwarf("split-dwarf", cl::Hidden,
86 cl::desc("Output prototype dwarf split debug info."),
Eric Christopher29424312012-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 Wendlingfcc14142010-04-07 09:28:04 +000094namespace {
95 const char *DWARFGroupName = "DWARF Emission";
96 const char *DbgTimerName = "DWARF Debug Writer";
David Blaikie684fc532013-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 Wendlingfcc14142010-04-07 09:28:04 +0000103} // end anonymous namespace
104
Bill Wendling2f921f82009-05-15 09:23:25 +0000105//===----------------------------------------------------------------------===//
106
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000107// Configuration values for initial hash set sizes (log2).
108//
Bill Wendling2f921f82009-05-15 09:23:25 +0000109static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-05-15 09:23:25 +0000110
111namespace llvm {
112
Nick Lewycky019d2552011-07-29 03:49:23 +0000113DIType DbgVariable::getType() const {
Devang Patelf20c4f72011-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 Christopher6a841382012-11-19 22:42:10 +0000124
Devang Patelf20c4f72011-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 Christopher6a841382012-11-19 22:42:10 +0000127
Devang Patelf20c4f72011-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 Christopher6a841382012-11-19 22:42:10 +0000133
Devang Patelf20c4f72011-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 Christopher6a841382012-11-19 22:42:10 +0000136
Devang Patelf20c4f72011-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 Christopher6a841382012-11-19 22:42:10 +0000144
Devang Patelf20c4f72011-04-12 22:53:02 +0000145 if (tag == dwarf::DW_TAG_pointer_type) {
146 DIDerivedType DTy = DIDerivedType(Ty);
147 subType = DTy.getTypeDerivedFrom();
148 }
Eric Christopher6a841382012-11-19 22:42:10 +0000149
Devang Patelf20c4f72011-04-12 22:53:02 +0000150 DICompositeType blockStruct = DICompositeType(subType);
151 DIArray Elements = blockStruct.getTypeArray();
Eric Christopher6a841382012-11-19 22:42:10 +0000152
Devang Patelf20c4f72011-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 Patel6d9f9fe2010-08-09 21:01:39 +0000158 }
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000159 }
Devang Patelf20c4f72011-04-12 22:53:02 +0000160 return Ty;
161}
Bill Wendling2f921f82009-05-15 09:23:25 +0000162
Chris Lattnerf5d06362010-04-05 04:09:20 +0000163} // end llvm namespace
Bill Wendling2f921f82009-05-15 09:23:25 +0000164
Chris Lattnerf0d6bd32010-04-05 05:11:15 +0000165DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Eric Christopherd79f5482012-12-10 19:51:13 +0000166 : Asm(A), MMI(Asm->MMI), FirstCU(0),
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000167 AbbreviationsSet(InitAbbreviationsSetSize),
Eric Christopher27614582013-01-08 22:22:06 +0000168 SourceIdMap(DIEValueAllocator),
Eric Christopherc8a310e2012-12-10 23:34:43 +0000169 PrevLabel(NULL), GlobalCUIndexCount(0),
Eric Christopher27614582013-01-08 22:22:06 +0000170 InfoHolder(A, &AbbreviationsSet, &Abbreviations, "info_string",
171 DIEValueAllocator),
Eric Christopher3c5a1912012-12-19 22:02:53 +0000172 SkeletonAbbrevSet(InitAbbreviationsSetSize),
Eric Christopher27614582013-01-08 22:22:06 +0000173 SkeletonHolder(A, &SkeletonAbbrevSet, &SkeletonAbbrevs, "skel_string",
174 DIEValueAllocator) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000175
Rafael Espindolaa7160962011-05-06 14:56:22 +0000176 DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
Chris Lattnere58b5472010-04-04 23:10:38 +0000177 DwarfStrSectionSym = TextSectionSym = 0;
Eric Christopher74804332013-02-07 21:19:50 +0000178 DwarfDebugRangeSectionSym = DwarfDebugLocSectionSym = DwarfLineSectionSym = 0;
Eric Christopher55863be2013-04-07 03:43:09 +0000179 DwarfAddrSectionSym = 0;
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000180 DwarfAbbrevDWOSectionSym = DwarfStrDWOSectionSym = 0;
Devang Patel9fc11702010-05-25 23:40:22 +0000181 FunctionBeginSym = FunctionEndSym = 0;
Eric Christopherad9fe892012-04-02 17:58:52 +0000182
Eric Christopher978fbff2012-08-23 07:10:46 +0000183 // Turn on accelerator tables and older gdb compatibility
184 // for Darwin.
Eric Christopher203e12b2013-04-27 01:07:52 +0000185 bool IsDarwin = Triple(A->getTargetTriple()).isOSDarwin();
Eric Christopher20b76a72012-08-23 22:36:40 +0000186 if (DarwinGDBCompat == Default) {
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000187 if (IsDarwin)
188 IsDarwinGDBCompat = true;
Eric Christopher20b76a72012-08-23 22:36:40 +0000189 else
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000190 IsDarwinGDBCompat = false;
Eric Christopher20b76a72012-08-23 22:36:40 +0000191 } else
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000192 IsDarwinGDBCompat = DarwinGDBCompat == Enable ? true : false;
Eric Christopher4977f212012-08-23 22:36:36 +0000193
Eric Christopher20b76a72012-08-23 22:36:40 +0000194 if (DwarfAccelTables == Default) {
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000195 if (IsDarwin)
196 HasDwarfAccelTables = true;
Eric Christopher20b76a72012-08-23 22:36:40 +0000197 else
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000198 HasDwarfAccelTables = false;
Eric Christopher20b76a72012-08-23 22:36:40 +0000199 } else
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000200 HasDwarfAccelTables = DwarfAccelTables == Enable ? true : false;
Eric Christopher20b76a72012-08-23 22:36:40 +0000201
Eric Christophercdf218d2012-12-10 19:51:21 +0000202 if (SplitDwarf == Default)
203 HasSplitDwarf = false;
Eric Christopher29424312012-11-12 22:22:20 +0000204 else
Eric Christophercdf218d2012-12-10 19:51:21 +0000205 HasSplitDwarf = SplitDwarf == Enable ? true : false;
Eric Christopher29424312012-11-12 22:22:20 +0000206
Dan Gohman6e681a52010-06-18 15:56:31 +0000207 {
208 NamedRegionTimer T(DbgTimerName, DWARFGroupName, TimePassesIsEnabled);
Eric Christopher58f41952012-11-19 22:42:15 +0000209 beginModule();
Torok Edwinf8dba242010-04-07 10:44:46 +0000210 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000211}
212DwarfDebug::~DwarfDebug() {
Bill Wendling2f921f82009-05-15 09:23:25 +0000213}
214
Eric Christopheracdcbdb2012-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 Christopher7b30f2e42012-11-21 00:34:35 +0000217static MCSymbol *emitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Eric Christophera7b61892011-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 Christophere698f532012-12-20 21:58:36 +0000227MCSymbol *DwarfUnits::getStringPoolSym() {
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000228 return Asm->GetTempSymbol(StringPref);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000229}
230
Eric Christophere698f532012-12-20 21:58:36 +0000231MCSymbol *DwarfUnits::getStringPoolEntry(StringRef Str) {
232 std::pair<MCSymbol*, unsigned> &Entry =
Eric Christopher27614582013-01-08 22:22:06 +0000233 StringPool.GetOrCreateValue(Str).getValue();
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000234 if (Entry.first) return Entry.first;
235
236 Entry.second = NextStringPoolNumber++;
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000237 return Entry.first = Asm->GetTempSymbol(StringPref, Entry.second);
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000238}
239
Eric Christopher2cbd5762013-01-07 19:32:41 +0000240unsigned DwarfUnits::getStringPoolIndex(StringRef Str) {
241 std::pair<MCSymbol*, unsigned> &Entry =
Eric Christopher27614582013-01-08 22:22:06 +0000242 StringPool.GetOrCreateValue(Str).getValue();
Eric Christopher2cbd5762013-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
David Blaikiedea547b2013-06-28 18:47:14 +0000250unsigned DwarfUnits::getAddrPoolIndex(const MCSymbol *Sym) {
David Blaikie8466ca82013-07-01 23:55:52 +0000251 return getAddrPoolIndex(MCSymbolRefExpr::Create(Sym, Asm->OutContext));
252}
253
254unsigned DwarfUnits::getAddrPoolIndex(const MCSymbolRefExpr *Sym) {
255 std::pair<DenseMap<const MCSymbolRefExpr *, unsigned>::iterator, bool> P =
David Blaikieb8ef7852013-06-28 18:47:19 +0000256 AddressPool.insert(std::make_pair(Sym, NextAddrPoolNumber));
David Blaikiea67de2b2013-06-28 18:55:13 +0000257 if (P.second)
258 ++NextAddrPoolNumber;
David Blaikieb8ef7852013-06-28 18:47:19 +0000259 return P.first->second;
Eric Christopher962c9082013-01-15 23:56:56 +0000260}
261
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000262// Define a unique number for the abbreviation.
263//
Eric Christopherc8a310e2012-12-10 23:34:43 +0000264void DwarfUnits::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000265 // Check the set for priors.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000266 DIEAbbrev *InSet = AbbreviationsSet->GetOrInsertNode(&Abbrev);
Bill Wendling2f921f82009-05-15 09:23:25 +0000267
268 // If it's newly added.
269 if (InSet == &Abbrev) {
270 // Add to abbreviation list.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000271 Abbreviations->push_back(&Abbrev);
Bill Wendling2f921f82009-05-15 09:23:25 +0000272
273 // Assign the vector position + 1 as its number.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000274 Abbrev.setNumber(Abbreviations->size());
Bill Wendling2f921f82009-05-15 09:23:25 +0000275 } else {
276 // Assign existing abbreviation number.
277 Abbrev.setNumber(InSet->getNumber());
278 }
279}
280
Eric Christopherd9843b32011-11-10 19:25:34 +0000281static bool isObjCClass(StringRef Name) {
282 return Name.startswith("+") || Name.startswith("-");
283}
284
285static bool hasObjCCategory(StringRef Name) {
286 if (!isObjCClass(Name)) return false;
287
288 size_t pos = Name.find(')');
289 if (pos != std::string::npos) {
290 if (Name[pos+1] != ' ') return false;
291 return true;
292 }
293 return false;
294}
295
296static void getObjCClassCategory(StringRef In, StringRef &Class,
297 StringRef &Category) {
298 if (!hasObjCCategory(In)) {
299 Class = In.slice(In.find('[') + 1, In.find(' '));
300 Category = "";
301 return;
302 }
303
304 Class = In.slice(In.find('[') + 1, In.find('('));
305 Category = In.slice(In.find('[') + 1, In.find(' '));
306 return;
307}
308
309static StringRef getObjCMethodName(StringRef In) {
310 return In.slice(In.find(' ') + 1, In.find(']'));
311}
312
313// Add the various names to the Dwarf accelerator table names.
314static void addSubprogramNames(CompileUnit *TheCU, DISubprogram SP,
315 DIE* Die) {
316 if (!SP.isDefinition()) return;
Eric Christopher6a841382012-11-19 22:42:10 +0000317
Eric Christopherd9843b32011-11-10 19:25:34 +0000318 TheCU->addAccelName(SP.getName(), Die);
319
320 // If the linkage name is different than the name, go ahead and output
321 // that as well into the name table.
322 if (SP.getLinkageName() != "" && SP.getName() != SP.getLinkageName())
323 TheCU->addAccelName(SP.getLinkageName(), Die);
324
325 // If this is an Objective-C selector name add it to the ObjC accelerator
326 // too.
327 if (isObjCClass(SP.getName())) {
328 StringRef Class, Category;
329 getObjCClassCategory(SP.getName(), Class, Category);
330 TheCU->addAccelObjC(Class, Die);
331 if (Category != "")
332 TheCU->addAccelObjC(Category, Die);
333 // Also add the base method name to the name table.
334 TheCU->addAccelName(getObjCMethodName(SP.getName()), Die);
335 }
336}
337
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000338// Find DIE for the given subprogram and attach appropriate DW_AT_low_pc
339// and DW_AT_high_pc attributes. If there are global variables in this
340// scope then create and insert DIEs for these variables.
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000341DIE *DwarfDebug::updateSubprogramScopeDIE(CompileUnit *SPCU,
342 const MDNode *SPNode) {
Devang Patel1a0df9a2010-05-10 22:49:55 +0000343 DIE *SPDie = SPCU->getDIE(SPNode);
Devang Patela37a95e2010-07-07 22:20:57 +0000344
Chris Lattner3a383cb2010-04-05 00:13:49 +0000345 assert(SPDie && "Unable to find subprogram DIE!");
346 DISubprogram SP(SPNode);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000347
Bill Wendlingf720bf62012-11-07 05:19:04 +0000348 // If we're updating an abstract DIE, then we will be adding the children and
349 // object pointer later on. But what we don't want to do is process the
350 // concrete DIE twice.
Manman Ren14a029d2013-03-12 18:27:15 +0000351 DIE *AbsSPDIE = AbstractSPDies.lookup(SPNode);
352 if (AbsSPDIE) {
353 bool InSameCU = (AbsSPDIE->getCompileUnit() == SPCU->getCUDie());
Bill Wendlingf720bf62012-11-07 05:19:04 +0000354 // Pick up abstract subprogram DIE.
Devang Patela37a95e2010-07-07 22:20:57 +0000355 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Manman Ren14a029d2013-03-12 18:27:15 +0000356 // If AbsSPDIE belongs to a different CU, use DW_FORM_ref_addr instead of
357 // DW_FORM_ref4.
Devang Patelf20c4f72011-04-12 22:53:02 +0000358 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_abstract_origin,
Manman Ren14a029d2013-03-12 18:27:15 +0000359 InSameCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
360 AbsSPDIE);
Devang Patela37a95e2010-07-07 22:20:57 +0000361 SPCU->addDie(SPDie);
Bill Wendlingd9bb9b62012-11-07 04:42:18 +0000362 } else {
363 DISubprogram SPDecl = SP.getFunctionDeclaration();
364 if (!SPDecl.isSubprogram()) {
365 // There is not any need to generate specification DIE for a function
366 // defined at compile unit level. If a function is defined inside another
367 // function then gdb prefers the definition at top level and but does not
368 // expect specification DIE in parent function. So avoid creating
369 // specification DIE for a function defined inside a function.
370 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
371 !SP.getContext().isFile() &&
372 !isSubprogramContext(SP.getContext())) {
373 SPCU->addFlag(SPDie, dwarf::DW_AT_declaration);
374
375 // Add arguments.
376 DICompositeType SPTy = SP.getType();
377 DIArray Args = SPTy.getTypeArray();
378 unsigned SPTag = SPTy.getTag();
379 if (SPTag == dwarf::DW_TAG_subroutine_type)
380 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
381 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
382 DIType ATy = DIType(Args.getElement(i));
383 SPCU->addType(Arg, ATy);
384 if (ATy.isArtificial())
385 SPCU->addFlag(Arg, dwarf::DW_AT_artificial);
386 if (ATy.isObjectPointer())
387 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_object_pointer,
388 dwarf::DW_FORM_ref4, Arg);
389 SPDie->addChild(Arg);
390 }
391 DIE *SPDeclDie = SPDie;
392 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Eric Christopher6a841382012-11-19 22:42:10 +0000393 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_specification,
394 dwarf::DW_FORM_ref4, SPDeclDie);
Bill Wendlingd9bb9b62012-11-07 04:42:18 +0000395 SPCU->addDie(SPDie);
396 }
397 }
Devang Patela37a95e2010-07-07 22:20:57 +0000398 }
399
Eric Christopher962c9082013-01-15 23:56:56 +0000400 SPCU->addLabelAddress(SPDie, dwarf::DW_AT_low_pc,
401 Asm->GetTempSymbol("func_begin",
402 Asm->getFunctionNumber()));
403 SPCU->addLabelAddress(SPDie, dwarf::DW_AT_high_pc,
404 Asm->GetTempSymbol("func_end",
405 Asm->getFunctionNumber()));
Chris Lattner3a383cb2010-04-05 00:13:49 +0000406 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
407 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
Devang Patelf20c4f72011-04-12 22:53:02 +0000408 SPCU->addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patel6efc8e52010-02-06 01:02:37 +0000409
Eric Christopherd9843b32011-11-10 19:25:34 +0000410 // Add name to the name table, we do this here because we're guaranteed
411 // to have concrete versions of our DW_TAG_subprogram nodes.
412 addSubprogramNames(SPCU, SP, SPDie);
Eric Christopher6a841382012-11-19 22:42:10 +0000413
Chris Lattner3a383cb2010-04-05 00:13:49 +0000414 return SPDie;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000415}
416
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000417// Construct new DW_TAG_lexical_block for this scope and attach
418// DW_AT_low_pc/DW_AT_high_pc labels.
Eric Christopher6a841382012-11-19 22:42:10 +0000419DIE *DwarfDebug::constructLexicalScopeDIE(CompileUnit *TheCU,
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000420 LexicalScope *Scope) {
Devang Patel6c74a872010-04-27 19:46:33 +0000421 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
422 if (Scope->isAbstractScope())
423 return ScopeDIE;
424
Devang Patel7e623022011-08-10 20:55:27 +0000425 const SmallVector<InsnRange, 4> &Ranges = Scope->getRanges();
Devang Patel6c74a872010-04-27 19:46:33 +0000426 if (Ranges.empty())
427 return 0;
428
Devang Patel7e623022011-08-10 20:55:27 +0000429 SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin();
Devang Patel6c74a872010-04-27 19:46:33 +0000430 if (Ranges.size() > 1) {
431 // .debug_range section has not been laid out yet. Emit offset in
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000432 // .debug_range as a uint, size 4, for now. emitDIE will handle
Devang Patel6c74a872010-04-27 19:46:33 +0000433 // DW_AT_ranges appropriately.
Devang Patelf20c4f72011-04-12 22:53:02 +0000434 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
Eric Christopher6a841382012-11-19 22:42:10 +0000435 DebugRangeSymbols.size()
Chandler Carruth5da3f052012-11-01 09:14:31 +0000436 * Asm->getDataLayout().getPointerSize());
Devang Patel7e623022011-08-10 20:55:27 +0000437 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Patel6c74a872010-04-27 19:46:33 +0000438 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patel9fc11702010-05-25 23:40:22 +0000439 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
440 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
Devang Patel6c74a872010-04-27 19:46:33 +0000441 }
442 DebugRangeSymbols.push_back(NULL);
443 DebugRangeSymbols.push_back(NULL);
444 return ScopeDIE;
445 }
446
Eric Christopher962c9082013-01-15 23:56:56 +0000447 MCSymbol *Start = getLabelBeforeInsn(RI->first);
448 MCSymbol *End = getLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +0000449
Devang Patel9fc11702010-05-25 23:40:22 +0000450 if (End == 0) return 0;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000451
Chris Lattnere13c3722010-03-09 01:58:53 +0000452 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
453 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000454
Eric Christopher962c9082013-01-15 23:56:56 +0000455 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_low_pc, Start);
456 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_high_pc, End);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000457
458 return ScopeDIE;
459}
460
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000461// This scope represents inlined body of a function. Construct DIE to
462// represent this concrete inlined copy of the function.
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000463DIE *DwarfDebug::constructInlinedScopeDIE(CompileUnit *TheCU,
464 LexicalScope *Scope) {
Devang Patel7e623022011-08-10 20:55:27 +0000465 const SmallVector<InsnRange, 4> &Ranges = Scope->getRanges();
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000466 assert(Ranges.empty() == false &&
467 "LexicalScope does not have instruction markers!");
Devang Patel6c74a872010-04-27 19:46:33 +0000468
Devang Patelf098ce22011-07-27 00:34:13 +0000469 if (!Scope->getScopeNode())
470 return NULL;
471 DIScope DS(Scope->getScopeNode());
472 DISubprogram InlinedSP = getDISubprogram(DS);
Manman Ren4213c392013-05-29 17:16:59 +0000473 DIE *OriginDIE = TheCU->getDIE(InlinedSP);
Devang Patelf098ce22011-07-27 00:34:13 +0000474 if (!OriginDIE) {
Bill Wendling10e0e2e2012-10-30 17:51:02 +0000475 DEBUG(dbgs() << "Unable to find original DIE for an inlined subprogram.");
Devang Patelf098ce22011-07-27 00:34:13 +0000476 return NULL;
477 }
478
Devang Patel7e623022011-08-10 20:55:27 +0000479 SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin();
Eric Christopher962c9082013-01-15 23:56:56 +0000480 MCSymbol *StartLabel = getLabelBeforeInsn(RI->first);
481 MCSymbol *EndLabel = getLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +0000482
Devang Patel4c6bd662010-07-08 22:39:20 +0000483 if (StartLabel == 0 || EndLabel == 0) {
Bill Wendling10e0e2e2012-10-30 17:51:02 +0000484 llvm_unreachable("Unexpected Start and End labels for an inlined scope!");
Devang Patel6c74a872010-04-27 19:46:33 +0000485 }
Chris Lattnere13c3722010-03-09 01:58:53 +0000486 assert(StartLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +0000487 "Invalid starting label for an inlined scope!");
Chris Lattnere13c3722010-03-09 01:58:53 +0000488 assert(EndLabel->isDefined() &&
Chris Lattnerc3b70f62010-03-09 01:51:43 +0000489 "Invalid end label for an inlined scope!");
Devang Patel6c74a872010-04-27 19:46:33 +0000490
Devang Patel73bc1722011-05-05 17:54:26 +0000491 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
Devang Patelf20c4f72011-04-12 22:53:02 +0000492 TheCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Manman Ren4213c392013-05-29 17:16:59 +0000493 dwarf::DW_FORM_ref4, OriginDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000494
Devang Patelf098ce22011-07-27 00:34:13 +0000495 if (Ranges.size() > 1) {
496 // .debug_range section has not been laid out yet. Emit offset in
497 // .debug_range as a uint, size 4, for now. emitDIE will handle
498 // DW_AT_ranges appropriately.
499 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
Eric Christopher6a841382012-11-19 22:42:10 +0000500 DebugRangeSymbols.size()
Chandler Carruth5da3f052012-11-01 09:14:31 +0000501 * Asm->getDataLayout().getPointerSize());
Devang Patel7e623022011-08-10 20:55:27 +0000502 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Patelf098ce22011-07-27 00:34:13 +0000503 RE = Ranges.end(); RI != RE; ++RI) {
504 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
505 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
506 }
507 DebugRangeSymbols.push_back(NULL);
508 DebugRangeSymbols.push_back(NULL);
509 } else {
Eric Christopher962c9082013-01-15 23:56:56 +0000510 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_low_pc, StartLabel);
511 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_high_pc, EndLabel);
Devang Patelf098ce22011-07-27 00:34:13 +0000512 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000513
514 InlinedSubprogramDIEs.insert(OriginDIE);
515
516 // Track the start label for this inlined function.
Devang Patelf098ce22011-07-27 00:34:13 +0000517 //.debug_inlined section specification does not clearly state how
518 // to emit inlined scope that is split into multiple instruction ranges.
519 // For now, use first instruction range and emit low_pc/high_pc pair and
520 // corresponding .debug_inlined section entry for this pair.
Devang Patel32cc43c2010-05-07 20:54:48 +0000521 DenseMap<const MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000522 I = InlineInfo.find(InlinedSP);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000523
524 if (I == InlineInfo.end()) {
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000525 InlineInfo[InlinedSP].push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patelcfa8e9d2010-05-07 18:11:54 +0000526 InlinedSPNodes.push_back(InlinedSP);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000527 } else
Chris Lattner085b6522010-03-09 00:31:02 +0000528 I->second.push_back(std::make_pair(StartLabel, ScopeDIE));
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000529
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000530 DILocation DL(Scope->getInlinedAt());
Eric Christopher0925c622012-03-26 21:38:38 +0000531 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0,
Manman Ren1e427202013-03-07 01:42:00 +0000532 getOrCreateSourceID(DL.getFilename(), DL.getDirectory(),
533 TheCU->getUniqueID()));
Devang Patelf20c4f72011-04-12 22:53:02 +0000534 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000535
Eric Christopher8dda5d02011-12-04 06:02:38 +0000536 // Add name to the name table, we do this here because we're guaranteed
537 // to have concrete versions of our DW_TAG_inlined_subprogram nodes.
538 addSubprogramNames(TheCU, InlinedSP, ScopeDIE);
Eric Christopher6a841382012-11-19 22:42:10 +0000539
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000540 return ScopeDIE;
541}
542
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000543// Construct a DIE for this scope.
Devang Patel3acc70e2011-08-15 22:04:40 +0000544DIE *DwarfDebug::constructScopeDIE(CompileUnit *TheCU, LexicalScope *Scope) {
Devang Patel3b548aa2010-03-08 20:52:55 +0000545 if (!Scope || !Scope->getScopeNode())
546 return NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000547
Manman Ren53f3f9f2013-01-31 20:05:14 +0000548 DIScope DS(Scope->getScopeNode());
549 // Early return to avoid creating dangling variable|scope DIEs.
Manman Ren4213c392013-05-29 17:16:59 +0000550 if (!Scope->getInlinedAt() && DS.isSubprogram() && Scope->isAbstractScope() &&
551 !TheCU->getDIE(DS))
552 return NULL;
Manman Ren53f3f9f2013-01-31 20:05:14 +0000553
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000554 SmallVector<DIE *, 8> Children;
Eric Christophere3417762012-09-12 23:36:19 +0000555 DIE *ObjectPointer = NULL;
Devang Patel6c622ef2011-03-01 22:58:55 +0000556
557 // Collect arguments for current function.
Devang Patel7e623022011-08-10 20:55:27 +0000558 if (LScopes.isCurrentFunctionScope(Scope))
Devang Patel6c622ef2011-03-01 22:58:55 +0000559 for (unsigned i = 0, N = CurrentFnArguments.size(); i < N; ++i)
560 if (DbgVariable *ArgDV = CurrentFnArguments[i])
Eric Christopher6a841382012-11-19 22:42:10 +0000561 if (DIE *Arg =
Eric Christophere3417762012-09-12 23:36:19 +0000562 TheCU->constructVariableDIE(ArgDV, Scope->isAbstractScope())) {
Devang Patel6c622ef2011-03-01 22:58:55 +0000563 Children.push_back(Arg);
Eric Christophere3417762012-09-12 23:36:19 +0000564 if (ArgDV->isObjectPointer()) ObjectPointer = Arg;
565 }
Devang Patel6c622ef2011-03-01 22:58:55 +0000566
Eric Christopherf84354b2011-10-03 15:49:16 +0000567 // Collect lexical scope children first.
Devang Patel7e623022011-08-10 20:55:27 +0000568 const SmallVector<DbgVariable *, 8> &Variables = ScopeVariables.lookup(Scope);
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000569 for (unsigned i = 0, N = Variables.size(); i < N; ++i)
Eric Christopher6a841382012-11-19 22:42:10 +0000570 if (DIE *Variable =
Eric Christopherc1c8a1b2012-09-21 22:18:52 +0000571 TheCU->constructVariableDIE(Variables[i], Scope->isAbstractScope())) {
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000572 Children.push_back(Variable);
Eric Christopherc1c8a1b2012-09-21 22:18:52 +0000573 if (Variables[i]->isObjectPointer()) ObjectPointer = Variable;
574 }
Devang Patel7e623022011-08-10 20:55:27 +0000575 const SmallVector<LexicalScope *, 4> &Scopes = Scope->getChildren();
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000576 for (unsigned j = 0, M = Scopes.size(); j < M; ++j)
Devang Patel3acc70e2011-08-15 22:04:40 +0000577 if (DIE *Nested = constructScopeDIE(TheCU, Scopes[j]))
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000578 Children.push_back(Nested);
Devang Patel3b548aa2010-03-08 20:52:55 +0000579 DIE *ScopeDIE = NULL;
580 if (Scope->getInlinedAt())
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000581 ScopeDIE = constructInlinedScopeDIE(TheCU, Scope);
Devang Patel3b548aa2010-03-08 20:52:55 +0000582 else if (DS.isSubprogram()) {
Devang Pateld10b2af2010-06-28 20:53:04 +0000583 ProcessedSPNodes.insert(DS);
Devang Patela37a95e2010-07-07 22:20:57 +0000584 if (Scope->isAbstractScope()) {
Manman Ren4213c392013-05-29 17:16:59 +0000585 ScopeDIE = TheCU->getDIE(DS);
Devang Patela37a95e2010-07-07 22:20:57 +0000586 // Note down abstract DIE.
587 if (ScopeDIE)
588 AbstractSPDies.insert(std::make_pair(DS, ScopeDIE));
589 }
Devang Patel3b548aa2010-03-08 20:52:55 +0000590 else
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000591 ScopeDIE = updateSubprogramScopeDIE(TheCU, DS);
Devang Patel3b548aa2010-03-08 20:52:55 +0000592 }
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000593 else {
594 // There is no need to emit empty lexical block DIE.
David Blaikie684fc532013-05-06 23:33:07 +0000595 std::pair<ImportedEntityMap::const_iterator,
596 ImportedEntityMap::const_iterator> Range = std::equal_range(
597 ScopesWithImportedEntities.begin(), ScopesWithImportedEntities.end(),
Timur Iskhodzhanovec4afe62013-05-07 07:47:47 +0000598 std::pair<const MDNode *, const MDNode *>(DS, (const MDNode*)0),
599 CompareFirst());
David Blaikie684fc532013-05-06 23:33:07 +0000600 if (Children.empty() && Range.first == Range.second)
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000601 return NULL;
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000602 ScopeDIE = constructLexicalScopeDIE(TheCU, Scope);
Eric Christopher5fdd68e2013-06-24 23:20:02 +0000603 for (ImportedEntityMap::const_iterator i = Range.first; i != Range.second;
604 ++i)
David Blaikie4dd2de72013-05-08 06:01:38 +0000605 constructImportedEntityDIE(TheCU, i->second, ScopeDIE);
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000606 }
Eric Christopher6a841382012-11-19 22:42:10 +0000607
Devang Patel23b2ae62010-03-29 22:59:58 +0000608 if (!ScopeDIE) return NULL;
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000609
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000610 // Add children
611 for (SmallVector<DIE *, 8>::iterator I = Children.begin(),
612 E = Children.end(); I != E; ++I)
613 ScopeDIE->addChild(*I);
Devang Patel04d2f2d2009-11-24 01:14:22 +0000614
Eric Christophere3417762012-09-12 23:36:19 +0000615 if (DS.isSubprogram() && ObjectPointer != NULL)
616 TheCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer,
617 dwarf::DW_FORM_ref4, ObjectPointer);
618
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000619 if (DS.isSubprogram())
Eric Christopherd9843b32011-11-10 19:25:34 +0000620 TheCU->addPubTypes(DISubprogram(DS));
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000621
Eric Christopherd9843b32011-11-10 19:25:34 +0000622 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000623}
624
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000625// Look up the source id with the given directory and source file names.
626// If none currently exists, create a new id and insert it in the
627// SourceIds map. This can update DirectoryNames and SourceFileNames maps
628// as well.
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000629unsigned DwarfDebug::getOrCreateSourceID(StringRef FileName,
Manman Ren1e427202013-03-07 01:42:00 +0000630 StringRef DirName, unsigned CUID) {
631 // If we use .loc in assembly, we can't separate .file entries according to
632 // compile units. Thus all files will belong to the default compile unit.
633 if (Asm->TM.hasMCUseLoc() &&
634 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer)
635 CUID = 0;
636
Devang Patel871d0b12010-09-16 20:57:49 +0000637 // If FE did not provide a file name, then assume stdin.
638 if (FileName.empty())
Manman Ren1e427202013-03-07 01:42:00 +0000639 return getOrCreateSourceID("<stdin>", StringRef(), CUID);
Devang Patele01b75c2011-03-24 20:30:50 +0000640
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000641 // TODO: this might not belong here. See if we can factor this better.
642 if (DirName == CompilationDir)
643 DirName = "";
644
Manman Ren1e427202013-03-07 01:42:00 +0000645 // FileIDCUMap stores the current ID for the given compile unit.
646 unsigned SrcId = FileIDCUMap[CUID] + 1;
Devang Patel871d0b12010-09-16 20:57:49 +0000647
Manman Ren1e427202013-03-07 01:42:00 +0000648 // We look up the CUID/file/dir by concatenating them with a zero byte.
Benjamin Kramer71b19732012-03-11 14:56:26 +0000649 SmallString<128> NamePair;
Manman Ren5b22f9f2013-04-06 01:02:38 +0000650 NamePair += utostr(CUID);
Manman Ren1e427202013-03-07 01:42:00 +0000651 NamePair += '\0';
Benjamin Kramer71b19732012-03-11 14:56:26 +0000652 NamePair += DirName;
653 NamePair += '\0'; // Zero bytes are not allowed in paths.
654 NamePair += FileName;
655
656 StringMapEntry<unsigned> &Ent = SourceIdMap.GetOrCreateValue(NamePair, SrcId);
657 if (Ent.getValue() != SrcId)
658 return Ent.getValue();
Bill Wendling2b128d72009-05-20 23:19:06 +0000659
Manman Ren1e427202013-03-07 01:42:00 +0000660 FileIDCUMap[CUID] = SrcId;
Rafael Espindola67c6ab82010-11-18 02:04:25 +0000661 // Print out a .file directive to specify files for .loc directives.
Manman Ren1e427202013-03-07 01:42:00 +0000662 Asm->OutStreamer.EmitDwarfFileDirective(SrcId, DirName, FileName, CUID);
Bill Wendling2b128d72009-05-20 23:19:06 +0000663
664 return SrcId;
665}
666
Eric Christopher48fef592012-12-20 21:58:40 +0000667// Create new CompileUnit for the given metadata node with tag
668// DW_TAG_compile_unit.
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000669CompileUnit *DwarfDebug::constructCompileUnit(const MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +0000670 DICompileUnit DIUnit(N);
Devang Patel2d9caf92009-11-25 17:36:49 +0000671 StringRef FN = DIUnit.getFilename();
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000672 CompilationDir = DIUnit.getDirectory();
Bill Wendling2b128d72009-05-20 23:19:06 +0000673
674 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Eli Benderskyb42d1462012-12-03 18:45:45 +0000675 CompileUnit *NewCU = new CompileUnit(GlobalCUIndexCount++,
Eric Christopherc57baee2013-05-08 00:58:51 +0000676 DIUnit.getLanguage(), Die, N, Asm,
Eric Christophere698f532012-12-20 21:58:36 +0000677 this, &InfoHolder);
Manman Ren1e427202013-03-07 01:42:00 +0000678
679 FileIDCUMap[NewCU->getUniqueID()] = 0;
680 // Call this to emit a .file directive if it wasn't emitted for the source
681 // file this CU comes from yet.
682 getOrCreateSourceID(FN, CompilationDir, NewCU->getUniqueID());
683
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000684 NewCU->addString(Die, dwarf::DW_AT_producer, DIUnit.getProducer());
Devang Patelf20c4f72011-04-12 22:53:02 +0000685 NewCU->addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data2,
686 DIUnit.getLanguage());
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000687 NewCU->addString(Die, dwarf::DW_AT_name, FN);
Eric Christopher52ce7182013-04-09 19:23:15 +0000688
Eric Christopherb1b94512012-08-01 18:19:01 +0000689 // 2.17.1 requires that we use DW_AT_low_pc for a single entry point
Eric Christopher52ce7182013-04-09 19:23:15 +0000690 // into an entity. We're using 0 (or a NULL label) for this. For
691 // split dwarf it's in the skeleton CU so omit it here.
692 if (!useSplitDwarf())
693 NewCU->addLabelAddress(Die, dwarf::DW_AT_low_pc, NULL);
Manman Ren4e042a62013-02-05 21:52:47 +0000694
695 // Define start line table label for each Compile Unit.
696 MCSymbol *LineTableStartSym = Asm->GetTempSymbol("line_table_start",
697 NewCU->getUniqueID());
698 Asm->OutStreamer.getContext().setMCLineTableSymbol(LineTableStartSym,
699 NewCU->getUniqueID());
700
Manman Ren9d4c7352013-05-21 00:57:22 +0000701 // Use a single line table if we are using .loc and generating assembly.
702 bool UseTheFirstCU =
703 (Asm->TM.hasMCUseLoc() &&
704 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer) ||
705 (NewCU->getUniqueID() == 0);
706
Devang Pateld22ed622010-03-22 23:11:36 +0000707 // DW_AT_stmt_list is a offset of line number information for this
Eric Christopher52ce7182013-04-09 19:23:15 +0000708 // compile unit in debug_line section. For split dwarf this is
709 // left in the skeleton CU and so not included.
Manman Rend2c95eb2013-02-09 00:41:44 +0000710 // The line table entries are not always emitted in assembly, so it
711 // is not okay to use line_table_start here.
Eric Christopher52ce7182013-04-09 19:23:15 +0000712 if (!useSplitDwarf()) {
713 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
714 NewCU->addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
Manman Ren9d4c7352013-05-21 00:57:22 +0000715 UseTheFirstCU ?
Eric Christopher52ce7182013-04-09 19:23:15 +0000716 Asm->GetTempSymbol("section_line") : LineTableStartSym);
Manman Ren9d4c7352013-05-21 00:57:22 +0000717 else if (UseTheFirstCU)
Eric Christopher52ce7182013-04-09 19:23:15 +0000718 NewCU->addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
719 else
720 NewCU->addDelta(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
721 LineTableStartSym, DwarfLineSectionSym);
722 }
Bill Wendling2b128d72009-05-20 23:19:06 +0000723
Eric Christopher52ce7182013-04-09 19:23:15 +0000724 // If we're using split dwarf the compilation dir is going to be in the
725 // skeleton CU and so we don't need to duplicate it here.
726 if (!useSplitDwarf() && !CompilationDir.empty())
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000727 NewCU->addString(Die, dwarf::DW_AT_comp_dir, CompilationDir);
Bill Wendling2b128d72009-05-20 23:19:06 +0000728 if (DIUnit.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +0000729 NewCU->addFlag(Die, dwarf::DW_AT_APPLE_optimized);
Bill Wendling2b128d72009-05-20 23:19:06 +0000730
Devang Patel2d9caf92009-11-25 17:36:49 +0000731 StringRef Flags = DIUnit.getFlags();
732 if (!Flags.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000733 NewCU->addString(Die, dwarf::DW_AT_APPLE_flags, Flags);
Eric Christopher6a841382012-11-19 22:42:10 +0000734
Nick Lewycky479a8fe2011-10-17 23:27:36 +0000735 if (unsigned RVer = DIUnit.getRunTimeVersion())
Devang Patelf20c4f72011-04-12 22:53:02 +0000736 NewCU->addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +0000737 dwarf::DW_FORM_data1, RVer);
738
Devang Patel1a0df9a2010-05-10 22:49:55 +0000739 if (!FirstCU)
740 FirstCU = NewCU;
Eric Christopher7a2cdf72013-02-05 07:31:55 +0000741
Eric Christopherc8a310e2012-12-10 23:34:43 +0000742 InfoHolder.addUnit(NewCU);
743
Devang Patel1a0df9a2010-05-10 22:49:55 +0000744 CUMap.insert(std::make_pair(N, NewCU));
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000745 return NewCU;
Devang Patel1a0df9a2010-05-10 22:49:55 +0000746}
747
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000748// Construct subprogram DIE.
Eric Christopher6a841382012-11-19 22:42:10 +0000749void DwarfDebug::constructSubprogramDIE(CompileUnit *TheCU,
Devang Patel1f4f98d2011-08-15 23:36:40 +0000750 const MDNode *N) {
Rafael Espindola6cf4e832011-11-04 19:00:29 +0000751 CompileUnit *&CURef = SPMap[N];
752 if (CURef)
753 return;
754 CURef = TheCU;
755
Devang Patel80ae3492009-08-28 23:24:31 +0000756 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +0000757 if (!SP.isDefinition())
758 // This is a method declaration which will be handled while constructing
759 // class type.
Devang Patel0751a282009-06-26 01:49:18 +0000760 return;
Bill Wendling2b128d72009-05-20 23:19:06 +0000761
Devang Patel89543712011-08-15 17:24:54 +0000762 DIE *SubprogramDie = TheCU->getOrCreateSubprogramDIE(SP);
Stuart Hastings4bd3dd92010-04-06 21:38:29 +0000763
764 // Add to map.
Devang Patel1a0df9a2010-05-10 22:49:55 +0000765 TheCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +0000766
767 // Add to context owner.
Devang Patelf20c4f72011-04-12 22:53:02 +0000768 TheCU->addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +0000769
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +0000770 // Expose as global, if requested.
771 if (GenerateDwarfPubNamesSection)
772 TheCU->addGlobalName(SP.getName(), SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +0000773}
774
David Blaikie1fd43652013-05-07 21:35:53 +0000775void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU,
David Blaikief55abea2013-04-22 06:12:31 +0000776 const MDNode *N) {
David Blaikie1fd43652013-05-07 21:35:53 +0000777 DIImportedEntity Module(N);
David Blaikief55abea2013-04-22 06:12:31 +0000778 if (!Module.Verify())
779 return;
David Blaikie684fc532013-05-06 23:33:07 +0000780 if (DIE *D = TheCU->getOrCreateContextDIE(Module.getContext()))
David Blaikie4dd2de72013-05-08 06:01:38 +0000781 constructImportedEntityDIE(TheCU, Module, D);
David Blaikie684fc532013-05-06 23:33:07 +0000782}
783
David Blaikie4dd2de72013-05-08 06:01:38 +0000784void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU, const MDNode *N,
David Blaikie684fc532013-05-06 23:33:07 +0000785 DIE *Context) {
David Blaikie1fd43652013-05-07 21:35:53 +0000786 DIImportedEntity Module(N);
David Blaikie684fc532013-05-06 23:33:07 +0000787 if (!Module.Verify())
788 return;
David Blaikie4dd2de72013-05-08 06:01:38 +0000789 return constructImportedEntityDIE(TheCU, Module, Context);
David Blaikie684fc532013-05-06 23:33:07 +0000790}
791
David Blaikie4dd2de72013-05-08 06:01:38 +0000792void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU,
David Blaikie1fd43652013-05-07 21:35:53 +0000793 const DIImportedEntity &Module,
David Blaikie684fc532013-05-06 23:33:07 +0000794 DIE *Context) {
795 assert(Module.Verify() &&
796 "Use one of the MDNode * overloads to handle invalid metadata");
797 assert(Context && "Should always have a context for an imported_module");
David Blaikie1fd43652013-05-07 21:35:53 +0000798 DIE *IMDie = new DIE(Module.getTag());
David Blaikief55abea2013-04-22 06:12:31 +0000799 TheCU->insertDIE(Module, IMDie);
David Blaikie1fd43652013-05-07 21:35:53 +0000800 DIE *EntityDie;
801 DIDescriptor Entity = Module.getEntity();
802 if (Entity.isNameSpace())
803 EntityDie = TheCU->getOrCreateNameSpace(DINameSpace(Entity));
804 else if (Entity.isSubprogram())
805 EntityDie = TheCU->getOrCreateSubprogramDIE(DISubprogram(Entity));
David Blaikie3b6038b2013-05-08 06:01:41 +0000806 else if (Entity.isType())
807 EntityDie = TheCU->getOrCreateTypeDIE(DIType(Entity));
David Blaikie1fd43652013-05-07 21:35:53 +0000808 else
David Blaikie3b6038b2013-05-08 06:01:41 +0000809 EntityDie = TheCU->getDIE(Entity);
David Blaikief55abea2013-04-22 06:12:31 +0000810 unsigned FileID = getOrCreateSourceID(Module.getContext().getFilename(),
811 Module.getContext().getDirectory(),
812 TheCU->getUniqueID());
813 TheCU->addUInt(IMDie, dwarf::DW_AT_decl_file, 0, FileID);
814 TheCU->addUInt(IMDie, dwarf::DW_AT_decl_line, 0, Module.getLineNumber());
Eric Christopher5fdd68e2013-06-24 23:20:02 +0000815 TheCU->addDIEEntry(IMDie, dwarf::DW_AT_import, dwarf::DW_FORM_ref4,
816 EntityDie);
David Blaikiee63d5d12013-05-20 22:50:35 +0000817 StringRef Name = Module.getName();
818 if (!Name.empty())
819 TheCU->addString(IMDie, dwarf::DW_AT_name, Name);
David Blaikie684fc532013-05-06 23:33:07 +0000820 Context->addChild(IMDie);
David Blaikief55abea2013-04-22 06:12:31 +0000821}
822
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000823// Emit all Dwarf sections that should come prior to the content. Create
824// global DIEs and emit initial debug info sections. This is invoked by
825// the target AsmPrinter.
Eric Christopher58f41952012-11-19 22:42:15 +0000826void DwarfDebug::beginModule() {
Devang Patel6c74a872010-04-27 19:46:33 +0000827 if (DisableDebugInfoPrinting)
828 return;
829
Eric Christopher58f41952012-11-19 22:42:15 +0000830 const Module *M = MMI->getModule();
831
Nick Lewycky019d2552011-07-29 03:49:23 +0000832 // If module has named metadata anchors then use them, otherwise scan the
833 // module using debug info finder to collect debug info.
Devang Patele02e5852011-05-03 16:45:22 +0000834 NamedMDNode *CU_Nodes = M->getNamedMetadata("llvm.dbg.cu");
David Blaikiedc69ebb2013-03-11 23:39:23 +0000835 if (!CU_Nodes)
Devang Patel07bb9ee2011-08-15 23:47:24 +0000836 return;
Devang Patele02e5852011-05-03 16:45:22 +0000837
David Blaikiedc69ebb2013-03-11 23:39:23 +0000838 // Emit initial sections so we can reference labels later.
839 emitSectionLabels();
840
841 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
842 DICompileUnit CUNode(CU_Nodes->getOperand(i));
843 CompileUnit *CU = constructCompileUnit(CUNode);
David Blaikie1fd43652013-05-07 21:35:53 +0000844 DIArray ImportedEntities = CUNode.getImportedEntities();
845 for (unsigned i = 0, e = ImportedEntities.getNumElements(); i != e; ++i)
David Blaikie684fc532013-05-06 23:33:07 +0000846 ScopesWithImportedEntities.push_back(std::make_pair(
David Blaikie1fd43652013-05-07 21:35:53 +0000847 DIImportedEntity(ImportedEntities.getElement(i)).getContext(),
848 ImportedEntities.getElement(i)));
David Blaikie684fc532013-05-06 23:33:07 +0000849 std::sort(ScopesWithImportedEntities.begin(),
850 ScopesWithImportedEntities.end(), CompareFirst());
David Blaikiedc69ebb2013-03-11 23:39:23 +0000851 DIArray GVs = CUNode.getGlobalVariables();
852 for (unsigned i = 0, e = GVs.getNumElements(); i != e; ++i)
853 CU->createGlobalVariableDIE(GVs.getElement(i));
854 DIArray SPs = CUNode.getSubprograms();
855 for (unsigned i = 0, e = SPs.getNumElements(); i != e; ++i)
856 constructSubprogramDIE(CU, SPs.getElement(i));
857 DIArray EnumTypes = CUNode.getEnumTypes();
858 for (unsigned i = 0, e = EnumTypes.getNumElements(); i != e; ++i)
859 CU->getOrCreateTypeDIE(EnumTypes.getElement(i));
860 DIArray RetainedTypes = CUNode.getRetainedTypes();
861 for (unsigned i = 0, e = RetainedTypes.getNumElements(); i != e; ++i)
862 CU->getOrCreateTypeDIE(RetainedTypes.getElement(i));
David Blaikief55abea2013-04-22 06:12:31 +0000863 // Emit imported_modules last so that the relevant context is already
864 // available.
David Blaikie1fd43652013-05-07 21:35:53 +0000865 for (unsigned i = 0, e = ImportedEntities.getNumElements(); i != e; ++i)
866 constructImportedEntityDIE(CU, ImportedEntities.getElement(i));
Eric Christopher6be35032013-03-29 20:23:02 +0000867 // If we're splitting the dwarf out now that we've got the entire
868 // CU then construct a skeleton CU based upon it.
869 if (useSplitDwarf()) {
Eric Christopher4eb5eb52013-04-24 12:56:18 +0000870 // This should be a unique identifier when we want to build .dwp files.
Eric Christopher44c6aa62013-04-22 07:51:08 +0000871 CU->addUInt(CU->getCUDie(), dwarf::DW_AT_GNU_dwo_id,
872 dwarf::DW_FORM_data8, 0);
Eric Christopher6be35032013-03-29 20:23:02 +0000873 // Now construct the skeleton CU associated.
874 constructSkeletonCU(CUNode);
875 }
David Blaikiedc69ebb2013-03-11 23:39:23 +0000876 }
Eric Christopher6a841382012-11-19 22:42:10 +0000877
Chris Lattner7cfa70e2010-04-05 02:19:28 +0000878 // Tell MMI that we have debug info.
879 MMI->setDebugInfoAvailability(true);
Eric Christopher6a841382012-11-19 22:42:10 +0000880
Bill Wendling2b128d72009-05-20 23:19:06 +0000881 // Prime section data.
Chris Lattner5e693ed2009-07-28 03:13:23 +0000882 SectionMap.insert(Asm->getObjFileLowering().getTextSection());
Bill Wendling2b128d72009-05-20 23:19:06 +0000883}
884
Eric Christopher960ac372012-11-22 00:59:49 +0000885// Attach DW_AT_inline attribute with inlined subprogram DIEs.
886void DwarfDebug::computeInlinedDIEs() {
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000887 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
888 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
Eric Christopher735401c2012-11-27 00:13:51 +0000889 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000890 DIE *ISP = *AI;
Devang Patelf20c4f72011-04-12 22:53:02 +0000891 FirstCU->addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000892 }
Rafael Espindolae7cc8bf2011-11-12 01:57:54 +0000893 for (DenseMap<const MDNode *, DIE *>::iterator AI = AbstractSPDies.begin(),
Eric Christopher735401c2012-11-27 00:13:51 +0000894 AE = AbstractSPDies.end(); AI != AE; ++AI) {
Rafael Espindolae7cc8bf2011-11-12 01:57:54 +0000895 DIE *ISP = AI->second;
896 if (InlinedSubprogramDIEs.count(ISP))
897 continue;
898 FirstCU->addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
899 }
Eric Christopher960ac372012-11-22 00:59:49 +0000900}
901
902// Collect info for variables that were optimized out.
903void DwarfDebug::collectDeadVariables() {
904 const Module *M = MMI->getModule();
905 DenseMap<const MDNode *, LexicalScope *> DeadFnScopeMap;
906
907 if (NamedMDNode *CU_Nodes = M->getNamedMetadata("llvm.dbg.cu")) {
908 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
909 DICompileUnit TheCU(CU_Nodes->getOperand(i));
910 DIArray Subprograms = TheCU.getSubprograms();
911 for (unsigned i = 0, e = Subprograms.getNumElements(); i != e; ++i) {
Eric Christopher735401c2012-11-27 00:13:51 +0000912 DISubprogram SP(Subprograms.getElement(i));
913 if (ProcessedSPNodes.count(SP) != 0) continue;
914 if (!SP.Verify()) continue;
915 if (!SP.isDefinition()) continue;
916 DIArray Variables = SP.getVariables();
917 if (Variables.getNumElements() == 0) continue;
Eric Christopher960ac372012-11-22 00:59:49 +0000918
Eric Christopher735401c2012-11-27 00:13:51 +0000919 LexicalScope *Scope =
920 new LexicalScope(NULL, DIDescriptor(SP), NULL, false);
921 DeadFnScopeMap[SP] = Scope;
Eric Christopher960ac372012-11-22 00:59:49 +0000922
Eric Christopher735401c2012-11-27 00:13:51 +0000923 // Construct subprogram DIE and add variables DIEs.
924 CompileUnit *SPCU = CUMap.lookup(TheCU);
925 assert(SPCU && "Unable to find Compile Unit!");
926 constructSubprogramDIE(SPCU, SP);
927 DIE *ScopeDIE = SPCU->getDIE(SP);
928 for (unsigned vi = 0, ve = Variables.getNumElements(); vi != ve; ++vi) {
929 DIVariable DV(Variables.getElement(vi));
930 if (!DV.Verify()) continue;
931 DbgVariable *NewVar = new DbgVariable(DV, NULL);
932 if (DIE *VariableDIE =
933 SPCU->constructVariableDIE(NewVar, Scope->isAbstractScope()))
934 ScopeDIE->addChild(VariableDIE);
935 }
Eric Christopher960ac372012-11-22 00:59:49 +0000936 }
937 }
938 }
939 DeleteContainerSeconds(DeadFnScopeMap);
940}
941
942void DwarfDebug::finalizeModuleInfo() {
943 // Collect info for variables that were optimized out.
944 collectDeadVariables();
945
946 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
947 computeInlinedDIEs();
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000948
Eric Christopherb1b94512012-08-01 18:19:01 +0000949 // Emit DW_AT_containing_type attribute to connect types with their
950 // vtable holding type.
Devang Patel89543712011-08-15 17:24:54 +0000951 for (DenseMap<const MDNode *, CompileUnit *>::iterator CUI = CUMap.begin(),
Eric Christopher735401c2012-11-27 00:13:51 +0000952 CUE = CUMap.end(); CUI != CUE; ++CUI) {
Devang Patel89543712011-08-15 17:24:54 +0000953 CompileUnit *TheCU = CUI->second;
954 TheCU->constructContainingTypeDIEs();
Devang Pateleb57c592009-12-03 19:11:07 +0000955 }
956
Eric Christopher960ac372012-11-22 00:59:49 +0000957 // Compute DIE offsets and sizes.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000958 InfoHolder.computeSizeAndOffsets();
959 if (useSplitDwarf())
960 SkeletonHolder.computeSizeAndOffsets();
Eric Christopher960ac372012-11-22 00:59:49 +0000961}
962
963void DwarfDebug::endSections() {
Bill Wendling2b128d72009-05-20 23:19:06 +0000964 // Standard sections final addresses.
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000965 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection());
Chris Lattnera179b522010-04-04 19:25:43 +0000966 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("text_end"));
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000967 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection());
Chris Lattnera179b522010-04-04 19:25:43 +0000968 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("data_end"));
Bill Wendling2b128d72009-05-20 23:19:06 +0000969
970 // End text sections.
Benjamin Kramer15591272012-10-31 13:45:49 +0000971 for (unsigned I = 0, E = SectionMap.size(); I != E; ++I) {
972 Asm->OutStreamer.SwitchSection(SectionMap[I]);
973 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("section_end", I+1));
Bill Wendling2b128d72009-05-20 23:19:06 +0000974 }
Eric Christopher960ac372012-11-22 00:59:49 +0000975}
Bill Wendling2b128d72009-05-20 23:19:06 +0000976
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000977// Emit all Dwarf sections that should come after the content.
Eric Christopher960ac372012-11-22 00:59:49 +0000978void DwarfDebug::endModule() {
979
980 if (!FirstCU) return;
981
982 // End any existing sections.
983 // TODO: Does this need to happen?
984 endSections();
985
986 // Finalize the debug info for the module.
987 finalizeModuleInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +0000988
Eric Christophercdf218d2012-12-10 19:51:21 +0000989 if (!useSplitDwarf()) {
Eric Christopher95198f502012-11-27 22:43:42 +0000990 // Emit all the DIEs into a debug info section.
991 emitDebugInfo();
Eric Christopher4c9b1192012-11-27 00:41:54 +0000992
Eric Christopher95198f502012-11-27 22:43:42 +0000993 // Corresponding abbreviations into a abbrev section.
994 emitAbbreviations();
995
996 // Emit info into a debug loc section.
997 emitDebugLoc();
998
999 // Emit info into a debug aranges section.
1000 emitDebugARanges();
1001
1002 // Emit info into a debug ranges section.
1003 emitDebugRanges();
1004
1005 // Emit info into a debug macinfo section.
1006 emitDebugMacInfo();
1007
1008 // Emit inline info.
1009 // TODO: When we don't need the option anymore we
1010 // can remove all of the code that this section
1011 // depends upon.
1012 if (useDarwinGDBCompat())
1013 emitDebugInlineInfo();
1014 } else {
Eric Christopherd692c1d2012-12-11 19:42:09 +00001015 // TODO: Fill this in for separated debug sections and separate
Eric Christopher95198f502012-11-27 22:43:42 +00001016 // out information into new sections.
1017
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001018 // Emit the debug info section and compile units.
Eric Christopher95198f502012-11-27 22:43:42 +00001019 emitDebugInfo();
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001020 emitDebugInfoDWO();
Eric Christopher95198f502012-11-27 22:43:42 +00001021
1022 // Corresponding abbreviations into a abbrev section.
1023 emitAbbreviations();
Eric Christopher3c5a1912012-12-19 22:02:53 +00001024 emitDebugAbbrevDWO();
Eric Christopher95198f502012-11-27 22:43:42 +00001025
1026 // Emit info into a debug loc section.
1027 emitDebugLoc();
1028
1029 // Emit info into a debug aranges section.
1030 emitDebugARanges();
1031
1032 // Emit info into a debug ranges section.
1033 emitDebugRanges();
1034
1035 // Emit info into a debug macinfo section.
1036 emitDebugMacInfo();
1037
Eric Christopher962c9082013-01-15 23:56:56 +00001038 // Emit DWO addresses.
1039 InfoHolder.emitAddresses(Asm->getObjFileLowering().getDwarfAddrSection());
1040
Eric Christopher95198f502012-11-27 22:43:42 +00001041 // Emit inline info.
1042 // TODO: When we don't need the option anymore we
1043 // can remove all of the code that this section
1044 // depends upon.
1045 if (useDarwinGDBCompat())
1046 emitDebugInlineInfo();
1047 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001048
Eric Christophera876b822012-08-23 07:32:06 +00001049 // Emit info into the dwarf accelerator table sections.
Eric Christopher20b76a72012-08-23 22:36:40 +00001050 if (useDwarfAccelTables()) {
Eric Christopher4996c702011-11-07 09:24:32 +00001051 emitAccelNames();
1052 emitAccelObjC();
1053 emitAccelNamespaces();
1054 emitAccelTypes();
1055 }
Eric Christopher6a841382012-11-19 22:42:10 +00001056
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00001057 // Emit info into a debug pubnames section, if requested.
1058 if (GenerateDwarfPubNamesSection)
1059 emitDebugPubnames();
1060
Devang Patel04d2f2d2009-11-24 01:14:22 +00001061 // Emit info into a debug pubtypes section.
Eric Christopher77826182012-08-23 07:10:56 +00001062 // TODO: When we don't need the option anymore we can
1063 // remove all of the code that adds to the table.
Eric Christopher20b76a72012-08-23 22:36:40 +00001064 if (useDarwinGDBCompat())
Eric Christopher77826182012-08-23 07:10:56 +00001065 emitDebugPubTypes();
Devang Patel04d2f2d2009-11-24 01:14:22 +00001066
Eric Christopher95198f502012-11-27 22:43:42 +00001067 // Finally emit string information into a string table.
Eric Christopher6e20a162012-11-27 06:49:23 +00001068 emitDebugStr();
Eric Christopher3bf29fd2012-12-27 02:14:01 +00001069 if (useSplitDwarf())
1070 emitDebugStrDWO();
Eric Christopher6e20a162012-11-27 06:49:23 +00001071
Devang Pateld0701282010-08-02 17:32:15 +00001072 // clean up.
Devang Pateleb1bb4e2011-08-16 22:09:43 +00001073 SPMap.clear();
Devang Patel1a0df9a2010-05-10 22:49:55 +00001074 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
1075 E = CUMap.end(); I != E; ++I)
1076 delete I->second;
Eric Christopher8afd7b62012-12-10 19:51:18 +00001077
Eric Christopher5b33b3c2013-02-06 21:53:56 +00001078 for (SmallVector<CompileUnit *, 1>::iterator I = SkeletonCUs.begin(),
1079 E = SkeletonCUs.end(); I != E; ++I)
1080 delete *I;
Eric Christopher8afd7b62012-12-10 19:51:18 +00001081
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001082 // Reset these for the next Module if we have one.
1083 FirstCU = NULL;
Bill Wendling2b128d72009-05-20 23:19:06 +00001084}
1085
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001086// Find abstract variable, if any, associated with Var.
Devang Patelbb23a4a2011-08-10 21:50:54 +00001087DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &DV,
Chris Lattner915c5f92010-04-02 19:42:39 +00001088 DebugLoc ScopeLoc) {
Devang Patelbb23a4a2011-08-10 21:50:54 +00001089 LLVMContext &Ctx = DV->getContext();
1090 // More then one inlined variable corresponds to one abstract variable.
1091 DIVariable Var = cleanseInlinedVariable(DV, Ctx);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001092 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001093 if (AbsDbgVariable)
1094 return AbsDbgVariable;
1095
Devang Patel7e623022011-08-10 20:55:27 +00001096 LexicalScope *Scope = LScopes.findAbstractScope(ScopeLoc.getScope(Ctx));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001097 if (!Scope)
1098 return NULL;
1099
Devang Patel99819b52011-08-15 19:01:20 +00001100 AbsDbgVariable = new DbgVariable(Var, NULL);
Devang Patel7e623022011-08-10 20:55:27 +00001101 addScopeVariable(Scope, AbsDbgVariable);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001102 AbstractVariables[Var] = AbsDbgVariable;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001103 return AbsDbgVariable;
1104}
1105
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001106// If Var is a current function argument then add it to CurrentFnArguments list.
Devang Patel6c622ef2011-03-01 22:58:55 +00001107bool DwarfDebug::addCurrentFnArgument(const MachineFunction *MF,
Devang Patel7e623022011-08-10 20:55:27 +00001108 DbgVariable *Var, LexicalScope *Scope) {
1109 if (!LScopes.isCurrentFunctionScope(Scope))
Devang Patel6c622ef2011-03-01 22:58:55 +00001110 return false;
1111 DIVariable DV = Var->getVariable();
1112 if (DV.getTag() != dwarf::DW_TAG_arg_variable)
1113 return false;
1114 unsigned ArgNo = DV.getArgNumber();
Eric Christopher6a841382012-11-19 22:42:10 +00001115 if (ArgNo == 0)
Devang Patel6c622ef2011-03-01 22:58:55 +00001116 return false;
1117
Devang Patel4ab660b2011-03-03 20:02:02 +00001118 size_t Size = CurrentFnArguments.size();
1119 if (Size == 0)
Devang Patel6c622ef2011-03-01 22:58:55 +00001120 CurrentFnArguments.resize(MF->getFunction()->arg_size());
Devang Patel63b3e762011-03-03 21:49:41 +00001121 // llvm::Function argument size is not good indicator of how many
Devang Patel34a7ab42011-03-03 20:08:10 +00001122 // arguments does the function have at source level.
1123 if (ArgNo > Size)
Devang Patel4ab660b2011-03-03 20:02:02 +00001124 CurrentFnArguments.resize(ArgNo * 2);
Devang Patel6c622ef2011-03-01 22:58:55 +00001125 CurrentFnArguments[ArgNo - 1] = Var;
1126 return true;
1127}
1128
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001129// Collect variable information from side table maintained by MMI.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001130void
Nick Lewycky019d2552011-07-29 03:49:23 +00001131DwarfDebug::collectVariableInfoFromMMITable(const MachineFunction *MF,
Devang Patel490c8ab2010-05-20 19:57:06 +00001132 SmallPtrSet<const MDNode *, 16> &Processed) {
Devang Patel475d32a2009-10-06 01:26:37 +00001133 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1134 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1135 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel32cc43c2010-05-07 20:54:48 +00001136 const MDNode *Var = VI->first;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001137 if (!Var) continue;
Devang Patele0a94bf2010-05-14 21:01:35 +00001138 Processed.insert(Var);
Chris Lattner915c5f92010-04-02 19:42:39 +00001139 DIVariable DV(Var);
1140 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001141
Devang Patel7e623022011-08-10 20:55:27 +00001142 LexicalScope *Scope = LScopes.findLexicalScope(VP.second);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001143
Devang Patelcdb7d442009-11-10 23:20:04 +00001144 // If variable scope is not found then skip this variable.
Chris Lattner915c5f92010-04-02 19:42:39 +00001145 if (Scope == 0)
Devang Patelcdb7d442009-11-10 23:20:04 +00001146 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001147
Devang Patele1c53f22010-05-20 16:36:41 +00001148 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.second);
Devang Patel99819b52011-08-15 19:01:20 +00001149 DbgVariable *RegVar = new DbgVariable(DV, AbsDbgVariable);
Devang Patel3e4a9652011-08-15 21:24:36 +00001150 RegVar->setFrameIndex(VP.first);
Devang Patel6c622ef2011-03-01 22:58:55 +00001151 if (!addCurrentFnArgument(MF, RegVar, Scope))
Devang Patel7e623022011-08-10 20:55:27 +00001152 addScopeVariable(Scope, RegVar);
Devang Patel99819b52011-08-15 19:01:20 +00001153 if (AbsDbgVariable)
Devang Patel3e4a9652011-08-15 21:24:36 +00001154 AbsDbgVariable->setFrameIndex(VP.first);
Devang Patel475d32a2009-10-06 01:26:37 +00001155 }
Devang Patel490c8ab2010-05-20 19:57:06 +00001156}
Devang Patela3e9c9c2010-03-15 18:33:46 +00001157
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001158// Return true if debug value, encoded by DBG_VALUE instruction, is in a
1159// defined reg.
Devang Patel9fc11702010-05-25 23:40:22 +00001160static bool isDbgValueInDefinedReg(const MachineInstr *MI) {
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001161 assert(MI->isDebugValue() && "Invalid DBG_VALUE machine instruction!");
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001162 return MI->getNumOperands() == 3 &&
1163 MI->getOperand(0).isReg() && MI->getOperand(0).getReg() &&
Adrian Prantla2888e72013-04-30 22:35:14 +00001164 MI->getOperand(1).isImm() && MI->getOperand(1).getImm() == 0;
Devang Patel9fc11702010-05-25 23:40:22 +00001165}
1166
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001167// Get .debug_loc entry for the instruction range starting at MI.
Eric Christopher6a841382012-11-19 22:42:10 +00001168static DotDebugLocEntry getDebugLocEntry(AsmPrinter *Asm,
1169 const MCSymbol *FLabel,
Devang Patel2442a892011-07-08 17:09:57 +00001170 const MCSymbol *SLabel,
1171 const MachineInstr *MI) {
1172 const MDNode *Var = MI->getOperand(MI->getNumOperands() - 1).getMetadata();
1173
David Blaikie0252265b2013-06-16 20:34:15 +00001174 assert(MI->getNumOperands() == 3);
Adrian Prantla2888e72013-04-30 22:35:14 +00001175 if (MI->getOperand(0).isReg() && MI->getOperand(1).isImm()) {
Devang Patel2442a892011-07-08 17:09:57 +00001176 MachineLocation MLoc;
Adrian Prantla2888e72013-04-30 22:35:14 +00001177 // TODO: Currently an offset of 0 in a DBG_VALUE means
1178 // we need to generate a direct register value.
1179 // There is no way to specify an indirect value with offset 0.
1180 if (MI->getOperand(1).getImm() == 0)
Adrian Prantld4c0dd42013-04-26 21:57:17 +00001181 MLoc.set(MI->getOperand(0).getReg());
1182 else
1183 MLoc.set(MI->getOperand(0).getReg(), MI->getOperand(1).getImm());
Devang Patel2442a892011-07-08 17:09:57 +00001184 return DotDebugLocEntry(FLabel, SLabel, MLoc, Var);
1185 }
1186 if (MI->getOperand(0).isImm())
1187 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getImm());
1188 if (MI->getOperand(0).isFPImm())
1189 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getFPImm());
1190 if (MI->getOperand(0).isCImm())
1191 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getCImm());
1192
Craig Topperee4dab52012-02-05 08:31:47 +00001193 llvm_unreachable("Unexpected 3 operand DBG_VALUE instruction!");
Devang Patel2442a892011-07-08 17:09:57 +00001194}
1195
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001196// Find variables for each lexical scope.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001197void
Devang Patel5c0f85c2010-06-25 22:07:34 +00001198DwarfDebug::collectVariableInfo(const MachineFunction *MF,
1199 SmallPtrSet<const MDNode *, 16> &Processed) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001200
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001201 // collection info from MMI table.
Devang Patel490c8ab2010-05-20 19:57:06 +00001202 collectVariableInfoFromMMITable(MF, Processed);
1203
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001204 for (SmallVectorImpl<const MDNode*>::const_iterator
1205 UVI = UserVariables.begin(), UVE = UserVariables.end(); UVI != UVE;
1206 ++UVI) {
1207 const MDNode *Var = *UVI;
1208 if (Processed.count(Var))
Devang Patel490c8ab2010-05-20 19:57:06 +00001209 continue;
1210
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001211 // History contains relevant DBG_VALUE instructions for Var and instructions
1212 // clobbering it.
1213 SmallVectorImpl<const MachineInstr*> &History = DbgValues[Var];
1214 if (History.empty())
1215 continue;
1216 const MachineInstr *MInsn = History.front();
Devang Patel9fc11702010-05-25 23:40:22 +00001217
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001218 DIVariable DV(Var);
Devang Patel7e623022011-08-10 20:55:27 +00001219 LexicalScope *Scope = NULL;
Devang Patel7a9dedf2010-05-27 20:25:04 +00001220 if (DV.getTag() == dwarf::DW_TAG_arg_variable &&
1221 DISubprogram(DV.getContext()).describes(MF->getFunction()))
Devang Patel7e623022011-08-10 20:55:27 +00001222 Scope = LScopes.getCurrentFunctionScope();
David Blaikiedc69ebb2013-03-11 23:39:23 +00001223 else if (MDNode *IA = DV.getInlinedAt())
1224 Scope = LScopes.findInlinedScope(DebugLoc::getFromDILocation(IA));
1225 else
1226 Scope = LScopes.findLexicalScope(cast<MDNode>(DV->getOperand(1)));
Devang Patel490c8ab2010-05-20 19:57:06 +00001227 // If variable scope is not found then skip this variable.
Devang Patelfbd6c452010-05-21 00:10:20 +00001228 if (!Scope)
Devang Patel490c8ab2010-05-20 19:57:06 +00001229 continue;
1230
1231 Processed.insert(DV);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001232 assert(MInsn->isDebugValue() && "History must begin with debug value");
Devang Patel99819b52011-08-15 19:01:20 +00001233 DbgVariable *AbsVar = findAbstractVariable(DV, MInsn->getDebugLoc());
1234 DbgVariable *RegVar = new DbgVariable(DV, AbsVar);
Devang Patel6c622ef2011-03-01 22:58:55 +00001235 if (!addCurrentFnArgument(MF, RegVar, Scope))
Devang Patel7e623022011-08-10 20:55:27 +00001236 addScopeVariable(Scope, RegVar);
Devang Patel99819b52011-08-15 19:01:20 +00001237 if (AbsVar)
Devang Patel3e4a9652011-08-15 21:24:36 +00001238 AbsVar->setMInsn(MInsn);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001239
Eric Christophercc10d202012-10-08 20:48:54 +00001240 // Simplify ranges that are fully coalesced.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001241 if (History.size() <= 1 || (History.size() == 2 &&
1242 MInsn->isIdenticalTo(History.back()))) {
Devang Patel3e4a9652011-08-15 21:24:36 +00001243 RegVar->setMInsn(MInsn);
Devang Patel9fc11702010-05-25 23:40:22 +00001244 continue;
1245 }
1246
Eric Christopher59cc0712013-01-28 17:33:26 +00001247 // Handle multiple DBG_VALUE instructions describing one variable.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001248 RegVar->setDotDebugLocOffset(DotDebugLocEntries.size());
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001249
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001250 for (SmallVectorImpl<const MachineInstr*>::const_iterator
1251 HI = History.begin(), HE = History.end(); HI != HE; ++HI) {
1252 const MachineInstr *Begin = *HI;
1253 assert(Begin->isDebugValue() && "Invalid History entry");
Jakob Stoklund Olesen9c057ee2011-03-22 00:21:41 +00001254
Devang Patele7181b52011-06-01 23:00:17 +00001255 // Check if DBG_VALUE is truncating a range.
1256 if (Begin->getNumOperands() > 1 && Begin->getOperand(0).isReg()
1257 && !Begin->getOperand(0).getReg())
1258 continue;
1259
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001260 // Compute the range for a register location.
1261 const MCSymbol *FLabel = getLabelBeforeInsn(Begin);
1262 const MCSymbol *SLabel = 0;
1263
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001264 if (HI + 1 == HE)
1265 // If Begin is the last instruction in History then its value is valid
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001266 // until the end of the function.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001267 SLabel = FunctionEndSym;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001268 else {
1269 const MachineInstr *End = HI[1];
Eric Christopher6a841382012-11-19 22:42:10 +00001270 DEBUG(dbgs() << "DotDebugLoc Pair:\n"
Devang Patel53b050a2011-07-07 21:44:42 +00001271 << "\t" << *Begin << "\t" << *End << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001272 if (End->isDebugValue())
1273 SLabel = getLabelBeforeInsn(End);
1274 else {
1275 // End is a normal instruction clobbering the range.
1276 SLabel = getLabelAfterInsn(End);
1277 assert(SLabel && "Forgot label after clobber instruction");
1278 ++HI;
1279 }
1280 }
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001281
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001282 // The value is valid until the next DBG_VALUE or clobber.
Eric Christopher365d0832011-12-16 23:42:31 +00001283 DotDebugLocEntries.push_back(getDebugLocEntry(Asm, FLabel, SLabel,
1284 Begin));
Devang Patel9fc11702010-05-25 23:40:22 +00001285 }
1286 DotDebugLocEntries.push_back(DotDebugLocEntry());
Devang Patela3e9c9c2010-03-15 18:33:46 +00001287 }
Devang Patele0a94bf2010-05-14 21:01:35 +00001288
1289 // Collect info for variables that were optimized out.
Devang Patel59e27c52011-08-19 23:28:12 +00001290 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
1291 DIArray Variables = DISubprogram(FnScope->getScopeNode()).getVariables();
1292 for (unsigned i = 0, e = Variables.getNumElements(); i != e; ++i) {
1293 DIVariable DV(Variables.getElement(i));
1294 if (!DV || !DV.Verify() || !Processed.insert(DV))
1295 continue;
1296 if (LexicalScope *Scope = LScopes.findLexicalScope(DV.getContext()))
1297 addScopeVariable(Scope, new DbgVariable(DV, NULL));
Devang Patele0a94bf2010-05-14 21:01:35 +00001298 }
Devang Patel9fc11702010-05-25 23:40:22 +00001299}
Devang Patele0a94bf2010-05-14 21:01:35 +00001300
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001301// Return Label preceding the instruction.
Eric Christopher962c9082013-01-15 23:56:56 +00001302MCSymbol *DwarfDebug::getLabelBeforeInsn(const MachineInstr *MI) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001303 MCSymbol *Label = LabelsBeforeInsn.lookup(MI);
1304 assert(Label && "Didn't insert label before instruction");
1305 return Label;
Devang Patel9fc11702010-05-25 23:40:22 +00001306}
1307
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001308// Return Label immediately following the instruction.
Eric Christopher962c9082013-01-15 23:56:56 +00001309MCSymbol *DwarfDebug::getLabelAfterInsn(const MachineInstr *MI) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001310 return LabelsAfterInsn.lookup(MI);
Devang Patel475d32a2009-10-06 01:26:37 +00001311}
1312
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001313// Process beginning of an instruction.
Devang Patelb5694e72010-10-26 17:49:02 +00001314void DwarfDebug::beginInstruction(const MachineInstr *MI) {
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001315 // Check if source location changes, but ignore DBG_VALUE locations.
1316 if (!MI->isDebugValue()) {
1317 DebugLoc DL = MI->getDebugLoc();
1318 if (DL != PrevInstLoc && (!DL.isUnknown() || UnknownLocations)) {
Eric Christopheraec8a822012-04-05 20:39:05 +00001319 unsigned Flags = 0;
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001320 PrevInstLoc = DL;
Devang Patel34a66202011-05-11 19:22:19 +00001321 if (DL == PrologEndLoc) {
1322 Flags |= DWARF2_FLAG_PROLOGUE_END;
1323 PrologEndLoc = DebugLoc();
1324 }
Eric Christopheraec8a822012-04-05 20:39:05 +00001325 if (PrologEndLoc.isUnknown())
1326 Flags |= DWARF2_FLAG_IS_STMT;
1327
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001328 if (!DL.isUnknown()) {
1329 const MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
Devang Patel34a66202011-05-11 19:22:19 +00001330 recordSourceLine(DL.getLine(), DL.getCol(), Scope, Flags);
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001331 } else
Devang Patel34a66202011-05-11 19:22:19 +00001332 recordSourceLine(0, 0, 0, 0);
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001333 }
Devang Patel9fc11702010-05-25 23:40:22 +00001334 }
Devang Patel23b2ae62010-03-29 22:59:58 +00001335
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001336 // Insert labels where requested.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001337 DenseMap<const MachineInstr*, MCSymbol*>::iterator I =
1338 LabelsBeforeInsn.find(MI);
1339
1340 // No label needed.
1341 if (I == LabelsBeforeInsn.end())
1342 return;
1343
1344 // Label already assigned.
1345 if (I->second)
Devang Patel002d54d2010-05-26 19:37:24 +00001346 return;
Devang Patelbd477be2010-03-29 17:20:31 +00001347
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001348 if (!PrevLabel) {
Devang Patelacc32a52010-05-26 21:23:46 +00001349 PrevLabel = MMI->getContext().CreateTempSymbol();
1350 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patel002d54d2010-05-26 19:37:24 +00001351 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001352 I->second = PrevLabel;
Devang Patel8db360d2009-10-06 01:50:42 +00001353}
1354
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001355// Process end of an instruction.
Devang Patelb5694e72010-10-26 17:49:02 +00001356void DwarfDebug::endInstruction(const MachineInstr *MI) {
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001357 // Don't create a new label after DBG_VALUE instructions.
1358 // They don't generate code.
1359 if (!MI->isDebugValue())
1360 PrevLabel = 0;
1361
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001362 DenseMap<const MachineInstr*, MCSymbol*>::iterator I =
1363 LabelsAfterInsn.find(MI);
1364
1365 // No label needed.
1366 if (I == LabelsAfterInsn.end())
1367 return;
1368
1369 // Label already assigned.
1370 if (I->second)
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001371 return;
1372
1373 // We need a label after this instruction.
1374 if (!PrevLabel) {
1375 PrevLabel = MMI->getContext().CreateTempSymbol();
1376 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patel3ebd8932010-04-08 16:50:29 +00001377 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001378 I->second = PrevLabel;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001379}
1380
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001381// Each LexicalScope has first instruction and last instruction to mark
1382// beginning and end of a scope respectively. Create an inverse map that list
1383// scopes starts (and ends) with an instruction. One instruction may start (or
1384// end) multiple scopes. Ignore scopes that are not reachable.
Devang Patel359b0132010-04-08 18:43:56 +00001385void DwarfDebug::identifyScopeMarkers() {
Devang Patel7e623022011-08-10 20:55:27 +00001386 SmallVector<LexicalScope *, 4> WorkList;
1387 WorkList.push_back(LScopes.getCurrentFunctionScope());
Devang Patel7771b7c2010-01-20 02:05:23 +00001388 while (!WorkList.empty()) {
Devang Patel7e623022011-08-10 20:55:27 +00001389 LexicalScope *S = WorkList.pop_back_val();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001390
Devang Patel7e623022011-08-10 20:55:27 +00001391 const SmallVector<LexicalScope *, 4> &Children = S->getChildren();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001392 if (!Children.empty())
Devang Patel7e623022011-08-10 20:55:27 +00001393 for (SmallVector<LexicalScope *, 4>::const_iterator SI = Children.begin(),
Devang Patel7771b7c2010-01-20 02:05:23 +00001394 SE = Children.end(); SI != SE; ++SI)
1395 WorkList.push_back(*SI);
1396
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001397 if (S->isAbstractScope())
1398 continue;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001399
Devang Patel7e623022011-08-10 20:55:27 +00001400 const SmallVector<InsnRange, 4> &Ranges = S->getRanges();
Devang Patel6c74a872010-04-27 19:46:33 +00001401 if (Ranges.empty())
1402 continue;
Devang Patel7e623022011-08-10 20:55:27 +00001403 for (SmallVector<InsnRange, 4>::const_iterator RI = Ranges.begin(),
Devang Patel6c74a872010-04-27 19:46:33 +00001404 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patel7e623022011-08-10 20:55:27 +00001405 assert(RI->first && "InsnRange does not have first instruction!");
1406 assert(RI->second && "InsnRange does not have second instruction!");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001407 requestLabelBeforeInsn(RI->first);
1408 requestLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +00001409 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001410 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001411}
1412
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001413// Get MDNode for DebugLoc's scope.
Devang Patel589845d2011-05-09 22:14:49 +00001414static MDNode *getScopeNode(DebugLoc DL, const LLVMContext &Ctx) {
1415 if (MDNode *InlinedAt = DL.getInlinedAt(Ctx))
1416 return getScopeNode(DebugLoc::getFromDILocation(InlinedAt), Ctx);
1417 return DL.getScope(Ctx);
1418}
1419
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001420// Walk up the scope chain of given debug loc and find line number info
1421// for the function.
Devang Patel34a66202011-05-11 19:22:19 +00001422static DebugLoc getFnDebugLoc(DebugLoc DL, const LLVMContext &Ctx) {
1423 const MDNode *Scope = getScopeNode(DL, Ctx);
1424 DISubprogram SP = getDISubprogram(Scope);
Eric Christopher34164192012-04-03 00:43:49 +00001425 if (SP.Verify()) {
1426 // Check for number of operands since the compatibility is
1427 // cheap here.
Eric Christopherb81e2b42012-04-03 17:55:42 +00001428 if (SP->getNumOperands() > 19)
Eric Christopher34164192012-04-03 00:43:49 +00001429 return DebugLoc::get(SP.getScopeLineNumber(), 0, SP);
1430 else
1431 return DebugLoc::get(SP.getLineNumber(), 0, SP);
1432 }
1433
Devang Patel34a66202011-05-11 19:22:19 +00001434 return DebugLoc();
1435}
1436
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001437// Gather pre-function debug information. Assumes being called immediately
1438// after the function entry point has been emitted.
Chris Lattner76555b52010-01-26 23:18:02 +00001439void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner196dbdc2010-04-05 03:52:55 +00001440 if (!MMI->hasDebugInfo()) return;
Devang Patel7e623022011-08-10 20:55:27 +00001441 LScopes.initialize(*MF);
1442 if (LScopes.empty()) return;
1443 identifyScopeMarkers();
Devang Patel4598eb62009-10-06 18:37:31 +00001444
Manman Ren4e042a62013-02-05 21:52:47 +00001445 // Set DwarfCompileUnitID in MCContext to the Compile Unit this function
1446 // belongs to.
1447 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
1448 CompileUnit *TheCU = SPMap.lookup(FnScope->getScopeNode());
1449 assert(TheCU && "Unable to find compile unit!");
Manman Ren9d4c7352013-05-21 00:57:22 +00001450 if (Asm->TM.hasMCUseLoc() &&
1451 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer)
1452 // Use a single line table if we are using .loc and generating assembly.
1453 Asm->OutStreamer.getContext().setDwarfCompileUnitID(0);
1454 else
1455 Asm->OutStreamer.getContext().setDwarfCompileUnitID(TheCU->getUniqueID());
Manman Ren4e042a62013-02-05 21:52:47 +00001456
Devang Patel6c74a872010-04-27 19:46:33 +00001457 FunctionBeginSym = Asm->GetTempSymbol("func_begin",
1458 Asm->getFunctionNumber());
Bill Wendling2b128d72009-05-20 23:19:06 +00001459 // Assumes in correct section after the entry point.
Devang Patel6c74a872010-04-27 19:46:33 +00001460 Asm->OutStreamer.EmitLabel(FunctionBeginSym);
Bill Wendling2b128d72009-05-20 23:19:06 +00001461
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001462 assert(UserVariables.empty() && DbgValues.empty() && "Maps weren't cleaned");
1463
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001464 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001465 // LiveUserVar - Map physreg numbers to the MDNode they contain.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001466 std::vector<const MDNode*> LiveUserVar(TRI->getNumRegs());
1467
Devang Patel002d54d2010-05-26 19:37:24 +00001468 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001469 I != E; ++I) {
1470 bool AtBlockEntry = true;
Devang Patel002d54d2010-05-26 19:37:24 +00001471 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1472 II != IE; ++II) {
1473 const MachineInstr *MI = II;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001474
Devang Patel002d54d2010-05-26 19:37:24 +00001475 if (MI->isDebugValue()) {
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001476 assert(MI->getNumOperands() > 1 && "Invalid machine instruction!");
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001477
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001478 // Keep track of user variables.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001479 const MDNode *Var =
1480 MI->getOperand(MI->getNumOperands() - 1).getMetadata();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001481
1482 // Variable is in a register, we need to check for clobbers.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001483 if (isDbgValueInDefinedReg(MI))
1484 LiveUserVar[MI->getOperand(0).getReg()] = Var;
1485
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001486 // Check the history of this variable.
1487 SmallVectorImpl<const MachineInstr*> &History = DbgValues[Var];
1488 if (History.empty()) {
1489 UserVariables.push_back(Var);
1490 // The first mention of a function argument gets the FunctionBeginSym
1491 // label, so arguments are visible when breaking at function entry.
1492 DIVariable DV(Var);
1493 if (DV.Verify() && DV.getTag() == dwarf::DW_TAG_arg_variable &&
1494 DISubprogram(getDISubprogram(DV.getContext()))
1495 .describes(MF->getFunction()))
1496 LabelsBeforeInsn[MI] = FunctionBeginSym;
1497 } else {
1498 // We have seen this variable before. Try to coalesce DBG_VALUEs.
1499 const MachineInstr *Prev = History.back();
1500 if (Prev->isDebugValue()) {
1501 // Coalesce identical entries at the end of History.
1502 if (History.size() >= 2 &&
Devang Patelb7a328e2011-07-07 00:14:27 +00001503 Prev->isIdenticalTo(History[History.size() - 2])) {
Eric Christopher85a495e2012-10-08 20:48:49 +00001504 DEBUG(dbgs() << "Coalescing identical DBG_VALUE entries:\n"
Eric Christopher6a841382012-11-19 22:42:10 +00001505 << "\t" << *Prev
Devang Patelb7a328e2011-07-07 00:14:27 +00001506 << "\t" << *History[History.size() - 2] << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001507 History.pop_back();
Devang Patelb7a328e2011-07-07 00:14:27 +00001508 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001509
1510 // Terminate old register assignments that don't reach MI;
1511 MachineFunction::const_iterator PrevMBB = Prev->getParent();
1512 if (PrevMBB != I && (!AtBlockEntry || llvm::next(PrevMBB) != I) &&
1513 isDbgValueInDefinedReg(Prev)) {
1514 // Previous register assignment needs to terminate at the end of
1515 // its basic block.
1516 MachineBasicBlock::const_iterator LastMI =
1517 PrevMBB->getLastNonDebugInstr();
Devang Patelb7a328e2011-07-07 00:14:27 +00001518 if (LastMI == PrevMBB->end()) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001519 // Drop DBG_VALUE for empty range.
Eric Christopher85a495e2012-10-08 20:48:49 +00001520 DEBUG(dbgs() << "Dropping DBG_VALUE for empty range:\n"
Devang Patelb7a328e2011-07-07 00:14:27 +00001521 << "\t" << *Prev << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001522 History.pop_back();
David Blaikieea2605d2013-06-20 00:25:24 +00001523 } else if (llvm::next(PrevMBB) != PrevMBB->getParent()->end())
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001524 // Terminate after LastMI.
1525 History.push_back(LastMI);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001526 }
1527 }
1528 }
1529 History.push_back(MI);
Devang Patel002d54d2010-05-26 19:37:24 +00001530 } else {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001531 // Not a DBG_VALUE instruction.
1532 if (!MI->isLabel())
1533 AtBlockEntry = false;
1534
Eric Christopher133195782012-10-04 20:46:14 +00001535 // First known non-DBG_VALUE and non-frame setup location marks
1536 // the beginning of the function body.
1537 if (!MI->getFlag(MachineInstr::FrameSetup) &&
1538 (PrologEndLoc.isUnknown() && !MI->getDebugLoc().isUnknown()))
Devang Patel34a66202011-05-11 19:22:19 +00001539 PrologEndLoc = MI->getDebugLoc();
1540
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001541 // Check if the instruction clobbers any registers with debug vars.
1542 for (MachineInstr::const_mop_iterator MOI = MI->operands_begin(),
1543 MOE = MI->operands_end(); MOI != MOE; ++MOI) {
1544 if (!MOI->isReg() || !MOI->isDef() || !MOI->getReg())
1545 continue;
Jakob Stoklund Olesen54038d72012-06-01 23:28:30 +00001546 for (MCRegAliasIterator AI(MOI->getReg(), TRI, true);
1547 AI.isValid(); ++AI) {
1548 unsigned Reg = *AI;
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001549 const MDNode *Var = LiveUserVar[Reg];
1550 if (!Var)
1551 continue;
1552 // Reg is now clobbered.
1553 LiveUserVar[Reg] = 0;
1554
1555 // Was MD last defined by a DBG_VALUE referring to Reg?
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001556 DbgValueHistoryMap::iterator HistI = DbgValues.find(Var);
1557 if (HistI == DbgValues.end())
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001558 continue;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001559 SmallVectorImpl<const MachineInstr*> &History = HistI->second;
1560 if (History.empty())
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001561 continue;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001562 const MachineInstr *Prev = History.back();
1563 // Sanity-check: Register assignments are terminated at the end of
1564 // their block.
1565 if (!Prev->isDebugValue() || Prev->getParent() != MI->getParent())
1566 continue;
1567 // Is the variable still in Reg?
1568 if (!isDbgValueInDefinedReg(Prev) ||
1569 Prev->getOperand(0).getReg() != Reg)
1570 continue;
1571 // Var is clobbered. Make sure the next instruction gets a label.
1572 History.push_back(MI);
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001573 }
1574 }
Devang Patel002d54d2010-05-26 19:37:24 +00001575 }
Devang Patel002d54d2010-05-26 19:37:24 +00001576 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001577 }
1578
1579 for (DbgValueHistoryMap::iterator I = DbgValues.begin(), E = DbgValues.end();
1580 I != E; ++I) {
1581 SmallVectorImpl<const MachineInstr*> &History = I->second;
1582 if (History.empty())
1583 continue;
1584
1585 // Make sure the final register assignments are terminated.
1586 const MachineInstr *Prev = History.back();
1587 if (Prev->isDebugValue() && isDbgValueInDefinedReg(Prev)) {
1588 const MachineBasicBlock *PrevMBB = Prev->getParent();
Eric Christopher6a841382012-11-19 22:42:10 +00001589 MachineBasicBlock::const_iterator LastMI =
Devang Patel784077e2011-08-10 23:58:09 +00001590 PrevMBB->getLastNonDebugInstr();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001591 if (LastMI == PrevMBB->end())
1592 // Drop DBG_VALUE for empty range.
1593 History.pop_back();
David Blaikieea2605d2013-06-20 00:25:24 +00001594 else if (PrevMBB != &PrevMBB->getParent()->back()) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001595 // Terminate after LastMI.
1596 History.push_back(LastMI);
1597 }
1598 }
1599 // Request labels for the full history.
1600 for (unsigned i = 0, e = History.size(); i != e; ++i) {
1601 const MachineInstr *MI = History[i];
1602 if (MI->isDebugValue())
1603 requestLabelBeforeInsn(MI);
1604 else
1605 requestLabelAfterInsn(MI);
1606 }
1607 }
Devang Patel002d54d2010-05-26 19:37:24 +00001608
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001609 PrevInstLoc = DebugLoc();
Devang Patel002d54d2010-05-26 19:37:24 +00001610 PrevLabel = FunctionBeginSym;
Devang Patel34a66202011-05-11 19:22:19 +00001611
1612 // Record beginning of function.
1613 if (!PrologEndLoc.isUnknown()) {
1614 DebugLoc FnStartDL = getFnDebugLoc(PrologEndLoc,
1615 MF->getFunction()->getContext());
1616 recordSourceLine(FnStartDL.getLine(), FnStartDL.getCol(),
1617 FnStartDL.getScope(MF->getFunction()->getContext()),
David Blaikie67cb31e2012-12-04 22:02:33 +00001618 // We'd like to list the prologue as "not statements" but GDB behaves
1619 // poorly if we do that. Revisit this with caution/GDB (7.5+) testing.
David Blaikie5a773bb2012-12-04 21:05:36 +00001620 DWARF2_FLAG_IS_STMT);
Devang Patel34a66202011-05-11 19:22:19 +00001621 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001622}
1623
Devang Patel7e623022011-08-10 20:55:27 +00001624void DwarfDebug::addScopeVariable(LexicalScope *LS, DbgVariable *Var) {
David Blaikie6f1a8062013-06-05 05:39:59 +00001625 SmallVectorImpl<DbgVariable *> &Vars = ScopeVariables[LS];
1626 DIVariable DV = Var->getVariable();
David Blaikie36d5d2f2013-06-06 21:04:51 +00001627 // Variables with positive arg numbers are parameters.
1628 if (unsigned ArgNum = DV.getArgNumber()) {
1629 // Keep all parameters in order at the start of the variable list to ensure
1630 // function types are correct (no out-of-order parameters)
1631 //
1632 // This could be improved by only doing it for optimized builds (unoptimized
1633 // builds have the right order to begin with), searching from the back (this
1634 // would catch the unoptimized case quickly), or doing a binary search
1635 // rather than linear search.
1636 SmallVectorImpl<DbgVariable *>::iterator I = Vars.begin();
1637 while (I != Vars.end()) {
1638 unsigned CurNum = (*I)->getVariable().getArgNumber();
1639 // A local (non-parameter) variable has been found, insert immediately
1640 // before it.
1641 if (CurNum == 0)
1642 break;
1643 // A later indexed parameter has been found, insert immediately before it.
David Blaikieb272a752013-06-06 22:28:26 +00001644 if (CurNum > ArgNum)
David Blaikie36d5d2f2013-06-06 21:04:51 +00001645 break;
David Blaikieb272a752013-06-06 22:28:26 +00001646 ++I;
David Blaikie6f1a8062013-06-05 05:39:59 +00001647 }
David Blaikie36d5d2f2013-06-06 21:04:51 +00001648 Vars.insert(I, Var);
1649 return;
David Blaikie6f1a8062013-06-05 05:39:59 +00001650 }
1651
1652 Vars.push_back(Var);
Devang Patel7e623022011-08-10 20:55:27 +00001653}
1654
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001655// Gather and emit post-function debug information.
Chris Lattner76555b52010-01-26 23:18:02 +00001656void DwarfDebug::endFunction(const MachineFunction *MF) {
Devang Patel7e623022011-08-10 20:55:27 +00001657 if (!MMI->hasDebugInfo() || LScopes.empty()) return;
Devang Patel2904aa92009-11-12 19:02:56 +00001658
Devang Patel7e623022011-08-10 20:55:27 +00001659 // Define end label for subprogram.
1660 FunctionEndSym = Asm->GetTempSymbol("func_end",
1661 Asm->getFunctionNumber());
1662 // Assumes in correct section after the entry point.
1663 Asm->OutStreamer.EmitLabel(FunctionEndSym);
Manman Ren4e042a62013-02-05 21:52:47 +00001664 // Set DwarfCompileUnitID in MCContext to default value.
1665 Asm->OutStreamer.getContext().setDwarfCompileUnitID(0);
Eric Christopher6a841382012-11-19 22:42:10 +00001666
Devang Patel7e623022011-08-10 20:55:27 +00001667 SmallPtrSet<const MDNode *, 16> ProcessedVars;
1668 collectVariableInfo(MF, ProcessedVars);
Eric Christopher6a841382012-11-19 22:42:10 +00001669
Devang Patel3acc70e2011-08-15 22:04:40 +00001670 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
Devang Pateleb1bb4e2011-08-16 22:09:43 +00001671 CompileUnit *TheCU = SPMap.lookup(FnScope->getScopeNode());
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001672 assert(TheCU && "Unable to find compile unit!");
Devang Patel3acc70e2011-08-15 22:04:40 +00001673
Devang Patel7e623022011-08-10 20:55:27 +00001674 // Construct abstract scopes.
Devang Patel44403472011-08-12 18:10:19 +00001675 ArrayRef<LexicalScope *> AList = LScopes.getAbstractScopesList();
1676 for (unsigned i = 0, e = AList.size(); i != e; ++i) {
1677 LexicalScope *AScope = AList[i];
1678 DISubprogram SP(AScope->getScopeNode());
Devang Patel7e623022011-08-10 20:55:27 +00001679 if (SP.Verify()) {
1680 // Collect info for variables that were optimized out.
Devang Patel59e27c52011-08-19 23:28:12 +00001681 DIArray Variables = SP.getVariables();
1682 for (unsigned i = 0, e = Variables.getNumElements(); i != e; ++i) {
1683 DIVariable DV(Variables.getElement(i));
1684 if (!DV || !DV.Verify() || !ProcessedVars.insert(DV))
1685 continue;
Alexey Samsonov39602782012-07-06 08:45:08 +00001686 // Check that DbgVariable for DV wasn't created earlier, when
1687 // findAbstractVariable() was called for inlined instance of DV.
1688 LLVMContext &Ctx = DV->getContext();
1689 DIVariable CleanDV = cleanseInlinedVariable(DV, Ctx);
1690 if (AbstractVariables.lookup(CleanDV))
1691 continue;
Devang Patel59e27c52011-08-19 23:28:12 +00001692 if (LexicalScope *Scope = LScopes.findAbstractScope(DV.getContext()))
1693 addScopeVariable(Scope, new DbgVariable(DV, NULL));
Devang Patel5c0f85c2010-06-25 22:07:34 +00001694 }
1695 }
Devang Patel44403472011-08-12 18:10:19 +00001696 if (ProcessedSPNodes.count(AScope->getScopeNode()) == 0)
Manman Ren4213c392013-05-29 17:16:59 +00001697 constructScopeDIE(TheCU, AScope);
Bill Wendling2b128d72009-05-20 23:19:06 +00001698 }
Eric Christopher6a841382012-11-19 22:42:10 +00001699
Devang Patel3acc70e2011-08-15 22:04:40 +00001700 DIE *CurFnDIE = constructScopeDIE(TheCU, FnScope);
Eric Christopher6a841382012-11-19 22:42:10 +00001701
Nick Lewycky50f02cb2011-12-02 22:16:29 +00001702 if (!MF->getTarget().Options.DisableFramePointerElim(*MF))
Eric Christopherbb69a272012-08-24 01:14:27 +00001703 TheCU->addFlag(CurFnDIE, dwarf::DW_AT_APPLE_omit_frame_ptr);
Devang Patel3acc70e2011-08-15 22:04:40 +00001704
Bill Wendling2b128d72009-05-20 23:19:06 +00001705 // Clear debug info
Devang Patel7e623022011-08-10 20:55:27 +00001706 for (DenseMap<LexicalScope *, SmallVector<DbgVariable *, 8> >::iterator
1707 I = ScopeVariables.begin(), E = ScopeVariables.end(); I != E; ++I)
1708 DeleteContainerPointers(I->second);
1709 ScopeVariables.clear();
Devang Patelad45d912011-04-22 18:09:57 +00001710 DeleteContainerPointers(CurrentFnArguments);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001711 UserVariables.clear();
1712 DbgValues.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001713 AbstractVariables.clear();
Devang Patel6c74a872010-04-27 19:46:33 +00001714 LabelsBeforeInsn.clear();
1715 LabelsAfterInsn.clear();
Devang Patel12563b32010-04-16 23:33:45 +00001716 PrevLabel = NULL;
Bill Wendling2b128d72009-05-20 23:19:06 +00001717}
1718
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001719// Register a source line with debug info. Returns the unique label that was
1720// emitted and which provides correspondence to the source line list.
Devang Patel34a66202011-05-11 19:22:19 +00001721void DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, const MDNode *S,
1722 unsigned Flags) {
Devang Patel2d9caf92009-11-25 17:36:49 +00001723 StringRef Fn;
Devang Patele01b75c2011-03-24 20:30:50 +00001724 StringRef Dir;
Dan Gohman50849c62010-05-05 23:41:32 +00001725 unsigned Src = 1;
1726 if (S) {
1727 DIDescriptor Scope(S);
Devang Patel2089d162009-10-05 18:03:19 +00001728
Dan Gohman50849c62010-05-05 23:41:32 +00001729 if (Scope.isCompileUnit()) {
1730 DICompileUnit CU(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001731 Fn = CU.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001732 Dir = CU.getDirectory();
Devang Patelc4b69052010-10-28 17:30:52 +00001733 } else if (Scope.isFile()) {
1734 DIFile F(S);
Devang Patelc4b69052010-10-28 17:30:52 +00001735 Fn = F.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001736 Dir = F.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001737 } else if (Scope.isSubprogram()) {
1738 DISubprogram SP(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001739 Fn = SP.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001740 Dir = SP.getDirectory();
Eric Christopher6647b832011-10-11 22:59:11 +00001741 } else if (Scope.isLexicalBlockFile()) {
1742 DILexicalBlockFile DBF(S);
1743 Fn = DBF.getFilename();
1744 Dir = DBF.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001745 } else if (Scope.isLexicalBlock()) {
1746 DILexicalBlock DB(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001747 Fn = DB.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001748 Dir = DB.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001749 } else
Craig Topperee4dab52012-02-05 08:31:47 +00001750 llvm_unreachable("Unexpected scope info");
Dan Gohman50849c62010-05-05 23:41:32 +00001751
Manman Ren1e427202013-03-07 01:42:00 +00001752 Src = getOrCreateSourceID(Fn, Dir,
1753 Asm->OutStreamer.getContext().getDwarfCompileUnitID());
Dan Gohman50849c62010-05-05 23:41:32 +00001754 }
Nick Lewycky019d2552011-07-29 03:49:23 +00001755 Asm->OutStreamer.EmitDwarfLocDirective(Src, Line, Col, Flags, 0, 0, Fn);
Bill Wendling2b128d72009-05-20 23:19:06 +00001756}
1757
Bill Wendling806535f2009-05-20 23:22:40 +00001758//===----------------------------------------------------------------------===//
1759// Emit Methods
1760//===----------------------------------------------------------------------===//
1761
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001762// Compute the size and offset of a DIE.
Jim Grosbach00e9c612009-11-22 19:20:36 +00001763unsigned
Eric Christopherc8a310e2012-12-10 23:34:43 +00001764DwarfUnits::computeSizeAndOffset(DIE *Die, unsigned Offset) {
Bill Wendling480ff322009-05-20 23:21:38 +00001765 // Get the children.
1766 const std::vector<DIE *> &Children = Die->getChildren();
1767
Bill Wendling480ff322009-05-20 23:21:38 +00001768 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00001769 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00001770
1771 // Get the abbreviation for this DIE.
1772 unsigned AbbrevNumber = Die->getAbbrevNumber();
Eric Christopherc8a310e2012-12-10 23:34:43 +00001773 const DIEAbbrev *Abbrev = Abbreviations->at(AbbrevNumber - 1);
Bill Wendling480ff322009-05-20 23:21:38 +00001774
1775 // Set DIE offset
1776 Die->setOffset(Offset);
1777
1778 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00001779 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00001780
Eric Christopher4887c8f2013-03-29 23:34:06 +00001781 const SmallVectorImpl<DIEValue*> &Values = Die->getValues();
1782 const SmallVectorImpl<DIEAbbrevData> &AbbrevData = Abbrev->getData();
Bill Wendling480ff322009-05-20 23:21:38 +00001783
1784 // Size the DIE attribute values.
1785 for (unsigned i = 0, N = Values.size(); i < N; ++i)
1786 // Size attribute value.
Chris Lattner5a00dea2010-04-05 00:18:22 +00001787 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling480ff322009-05-20 23:21:38 +00001788
1789 // Size the DIE children if any.
1790 if (!Children.empty()) {
1791 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
1792 "Children flag not set");
1793
1794 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Eric Christopher1f0cbb82012-11-20 22:14:13 +00001795 Offset = computeSizeAndOffset(Children[j], Offset);
Bill Wendling480ff322009-05-20 23:21:38 +00001796
1797 // End of children marker.
1798 Offset += sizeof(int8_t);
1799 }
1800
1801 Die->setSize(Offset - Die->getOffset());
1802 return Offset;
1803}
1804
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001805// Compute the size and offset of all the DIEs.
Eric Christopherc8a310e2012-12-10 23:34:43 +00001806void DwarfUnits::computeSizeAndOffsets() {
Manman Ren14a029d2013-03-12 18:27:15 +00001807 // Offset from the beginning of debug info section.
Eric Christopherd1c5a312013-05-30 00:43:35 +00001808 unsigned SecOffset = 0;
Eric Christopher4887c8f2013-03-29 23:34:06 +00001809 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(),
Eric Christopherc8a310e2012-12-10 23:34:43 +00001810 E = CUs.end(); I != E; ++I) {
Eric Christopherd1c5a312013-05-30 00:43:35 +00001811 (*I)->setDebugInfoOffset(SecOffset);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001812 unsigned Offset =
1813 sizeof(int32_t) + // Length of Compilation Unit Info
1814 sizeof(int16_t) + // DWARF version number
1815 sizeof(int32_t) + // Offset Into Abbrev. Section
1816 sizeof(int8_t); // Pointer Size (in bytes)
1817
Manman Ren14a029d2013-03-12 18:27:15 +00001818 unsigned EndOffset = computeSizeAndOffset((*I)->getCUDie(), Offset);
Eric Christopherd1c5a312013-05-30 00:43:35 +00001819 SecOffset += EndOffset;
Devang Patel1a0df9a2010-05-10 22:49:55 +00001820 }
Bill Wendling480ff322009-05-20 23:21:38 +00001821}
1822
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001823// Emit initial Dwarf sections with a label at the start of each one.
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001824void DwarfDebug::emitSectionLabels() {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001825 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001826
Bill Wendling480ff322009-05-20 23:21:38 +00001827 // Dwarf sections base addresses.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001828 DwarfInfoSectionSym =
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001829 emitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001830 DwarfAbbrevSectionSym =
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001831 emitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Eric Christopher3c5a1912012-12-19 22:02:53 +00001832 if (useSplitDwarf())
1833 DwarfAbbrevDWOSectionSym =
1834 emitSectionSym(Asm, TLOF.getDwarfAbbrevDWOSection(),
1835 "section_abbrev_dwo");
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001836 emitSectionSym(Asm, TLOF.getDwarfARangesSection());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001837
Chris Lattner6629ca92010-04-04 22:59:04 +00001838 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001839 emitSectionSym(Asm, MacroInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00001840
Eric Christopher74804332013-02-07 21:19:50 +00001841 DwarfLineSectionSym =
1842 emitSectionSym(Asm, TLOF.getDwarfLineSection(), "section_line");
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001843 emitSectionSym(Asm, TLOF.getDwarfLocSection());
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00001844 if (GenerateDwarfPubNamesSection)
1845 emitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001846 emitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001847 DwarfStrSectionSym =
Eric Christopher3bf29fd2012-12-27 02:14:01 +00001848 emitSectionSym(Asm, TLOF.getDwarfStrSection(), "info_string");
Eric Christopher55863be2013-04-07 03:43:09 +00001849 if (useSplitDwarf()) {
Eric Christopher3bf29fd2012-12-27 02:14:01 +00001850 DwarfStrDWOSectionSym =
1851 emitSectionSym(Asm, TLOF.getDwarfStrDWOSection(), "skel_string");
Eric Christopher55863be2013-04-07 03:43:09 +00001852 DwarfAddrSectionSym =
1853 emitSectionSym(Asm, TLOF.getDwarfAddrSection(), "addr_sec");
1854 }
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001855 DwarfDebugRangeSectionSym = emitSectionSym(Asm, TLOF.getDwarfRangesSection(),
Devang Patel12563b32010-04-16 23:33:45 +00001856 "debug_range");
Bill Wendling480ff322009-05-20 23:21:38 +00001857
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001858 DwarfDebugLocSectionSym = emitSectionSym(Asm, TLOF.getDwarfLocSection(),
Devang Patel9fc11702010-05-25 23:40:22 +00001859 "section_debug_loc");
1860
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001861 TextSectionSym = emitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
1862 emitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling480ff322009-05-20 23:21:38 +00001863}
1864
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001865// Recursively emits a debug information entry.
Eric Christopher3c5a1912012-12-19 22:02:53 +00001866void DwarfDebug::emitDIE(DIE *Die, std::vector<DIEAbbrev *> *Abbrevs) {
Bill Wendling480ff322009-05-20 23:21:38 +00001867 // Get the abbreviation for this DIE.
1868 unsigned AbbrevNumber = Die->getAbbrevNumber();
Eric Christopher3c5a1912012-12-19 22:02:53 +00001869 const DIEAbbrev *Abbrev = Abbrevs->at(AbbrevNumber - 1);
Bill Wendling480ff322009-05-20 23:21:38 +00001870
Bill Wendling480ff322009-05-20 23:21:38 +00001871 // Emit the code (index) for the abbreviation.
Chris Lattner7bde8c02010-04-04 18:52:31 +00001872 if (Asm->isVerbose())
Chris Lattnerfa823552010-01-22 23:18:42 +00001873 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
1874 Twine::utohexstr(Die->getOffset()) + ":0x" +
1875 Twine::utohexstr(Die->getSize()) + " " +
1876 dwarf::TagString(Abbrev->getTag()));
Chris Lattner9efd1182010-04-04 19:09:29 +00001877 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00001878
Eric Christopher4887c8f2013-03-29 23:34:06 +00001879 const SmallVectorImpl<DIEValue*> &Values = Die->getValues();
1880 const SmallVectorImpl<DIEAbbrevData> &AbbrevData = Abbrev->getData();
Bill Wendling480ff322009-05-20 23:21:38 +00001881
1882 // Emit the DIE attribute values.
1883 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
1884 unsigned Attr = AbbrevData[i].getAttribute();
1885 unsigned Form = AbbrevData[i].getForm();
1886 assert(Form && "Too many attributes for DIE (check abbreviation)");
1887
Chris Lattner7bde8c02010-04-04 18:52:31 +00001888 if (Asm->isVerbose())
Chris Lattner5adf9872010-01-24 18:54:17 +00001889 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001890
Bill Wendling480ff322009-05-20 23:21:38 +00001891 switch (Attr) {
Bill Wendling480ff322009-05-20 23:21:38 +00001892 case dwarf::DW_AT_abstract_origin: {
1893 DIEEntry *E = cast<DIEEntry>(Values[i]);
1894 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001895 unsigned Addr = Origin->getOffset();
Manman Ren14a029d2013-03-12 18:27:15 +00001896 if (Form == dwarf::DW_FORM_ref_addr) {
1897 // For DW_FORM_ref_addr, output the offset from beginning of debug info
1898 // section. Origin->getOffset() returns the offset from start of the
1899 // compile unit.
1900 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
1901 Addr += Holder.getCUOffset(Origin->getCompileUnit());
1902 }
Manman Renbdcb4462013-04-04 23:13:11 +00001903 Asm->EmitInt32(Addr);
Bill Wendling480ff322009-05-20 23:21:38 +00001904 break;
1905 }
Devang Patel12563b32010-04-16 23:33:45 +00001906 case dwarf::DW_AT_ranges: {
1907 // DW_AT_range Value encodes offset in debug_range section.
1908 DIEInteger *V = cast<DIEInteger>(Values[i]);
Devang Patelda3ef852010-09-02 16:43:44 +00001909
Nick Lewycky33da3362012-06-22 01:25:12 +00001910 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections()) {
Devang Patelda3ef852010-09-02 16:43:44 +00001911 Asm->EmitLabelPlusOffset(DwarfDebugRangeSectionSym,
1912 V->getValue(),
1913 4);
1914 } else {
1915 Asm->EmitLabelOffsetDifference(DwarfDebugRangeSectionSym,
1916 V->getValue(),
1917 DwarfDebugRangeSectionSym,
1918 4);
1919 }
Devang Patel12563b32010-04-16 23:33:45 +00001920 break;
1921 }
Devang Patel9fc11702010-05-25 23:40:22 +00001922 case dwarf::DW_AT_location: {
Nick Lewycky33da3362012-06-22 01:25:12 +00001923 if (DIELabel *L = dyn_cast<DIELabel>(Values[i])) {
1924 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
David Blaikief3cd7c52013-06-28 20:05:04 +00001925 Asm->EmitLabelReference(&L->getValue()->getSymbol(), 4);
Nick Lewycky33da3362012-06-22 01:25:12 +00001926 else
David Blaikief3cd7c52013-06-28 20:05:04 +00001927 Asm->EmitLabelDifference(&L->getValue()->getSymbol(), DwarfDebugLocSectionSym, 4);
Nick Lewycky33da3362012-06-22 01:25:12 +00001928 } else {
Devang Patel9fc11702010-05-25 23:40:22 +00001929 Values[i]->EmitValue(Asm, Form);
Nick Lewycky33da3362012-06-22 01:25:12 +00001930 }
Devang Patel9fc11702010-05-25 23:40:22 +00001931 break;
1932 }
Devang Patela1bd5a12010-09-29 19:08:08 +00001933 case dwarf::DW_AT_accessibility: {
1934 if (Asm->isVerbose()) {
1935 DIEInteger *V = cast<DIEInteger>(Values[i]);
1936 Asm->OutStreamer.AddComment(dwarf::AccessibilityString(V->getValue()));
1937 }
1938 Values[i]->EmitValue(Asm, Form);
1939 break;
1940 }
Bill Wendling480ff322009-05-20 23:21:38 +00001941 default:
1942 // Emit an attribute using the defined form.
Chris Lattner3a383cb2010-04-05 00:13:49 +00001943 Values[i]->EmitValue(Asm, Form);
Bill Wendling480ff322009-05-20 23:21:38 +00001944 break;
1945 }
Bill Wendling480ff322009-05-20 23:21:38 +00001946 }
1947
1948 // Emit the DIE children if any.
1949 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
1950 const std::vector<DIE *> &Children = Die->getChildren();
1951
1952 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Eric Christopher3c5a1912012-12-19 22:02:53 +00001953 emitDIE(Children[j], Abbrevs);
Bill Wendling480ff322009-05-20 23:21:38 +00001954
Chris Lattner7bde8c02010-04-04 18:52:31 +00001955 if (Asm->isVerbose())
Chris Lattner566cae92010-03-09 23:52:58 +00001956 Asm->OutStreamer.AddComment("End Of Children Mark");
1957 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00001958 }
1959}
1960
Eric Christophera2de8262012-12-15 00:04:07 +00001961// Emit the various dwarf units to the unit section USection with
1962// the abbreviations going into ASection.
1963void DwarfUnits::emitUnits(DwarfDebug *DD,
1964 const MCSection *USection,
1965 const MCSection *ASection,
1966 const MCSymbol *ASectionSym) {
1967 Asm->OutStreamer.SwitchSection(USection);
Eric Christopher4887c8f2013-03-29 23:34:06 +00001968 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(),
Eric Christophera2de8262012-12-15 00:04:07 +00001969 E = CUs.end(); I != E; ++I) {
1970 CompileUnit *TheCU = *I;
Devang Patel1a0df9a2010-05-10 22:49:55 +00001971 DIE *Die = TheCU->getCUDie();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001972
Devang Patel1a0df9a2010-05-10 22:49:55 +00001973 // Emit the compile units header.
Eric Christophera2de8262012-12-15 00:04:07 +00001974 Asm->OutStreamer
1975 .EmitLabel(Asm->GetTempSymbol(USection->getLabelBeginName(),
1976 TheCU->getUniqueID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001977
Devang Patel1a0df9a2010-05-10 22:49:55 +00001978 // Emit size of content not including length itself
1979 unsigned ContentSize = Die->getSize() +
1980 sizeof(int16_t) + // DWARF version number
1981 sizeof(int32_t) + // Offset Into Abbrev. Section
Devang Patele141234942011-04-13 19:41:17 +00001982 sizeof(int8_t); // Pointer Size (in bytes)
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001983
Devang Patel1a0df9a2010-05-10 22:49:55 +00001984 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
1985 Asm->EmitInt32(ContentSize);
1986 Asm->OutStreamer.AddComment("DWARF version number");
Manman Ren4213c392013-05-29 17:16:59 +00001987 Asm->EmitInt16(dwarf::DWARF_VERSION);
Devang Patel1a0df9a2010-05-10 22:49:55 +00001988 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Eric Christophera2de8262012-12-15 00:04:07 +00001989 Asm->EmitSectionOffset(Asm->GetTempSymbol(ASection->getLabelBeginName()),
1990 ASectionSym);
Devang Patel1a0df9a2010-05-10 22:49:55 +00001991 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chandler Carruth5da3f052012-11-01 09:14:31 +00001992 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001993
Eric Christopher3c5a1912012-12-19 22:02:53 +00001994 DD->emitDIE(Die, Abbreviations);
Eric Christophera2de8262012-12-15 00:04:07 +00001995 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol(USection->getLabelEndName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00001996 TheCU->getUniqueID()));
Devang Patel1a0df9a2010-05-10 22:49:55 +00001997 }
Bill Wendling480ff322009-05-20 23:21:38 +00001998}
1999
Manman Ren14a029d2013-03-12 18:27:15 +00002000/// For a given compile unit DIE, returns offset from beginning of debug info.
2001unsigned DwarfUnits::getCUOffset(DIE *Die) {
Manman Ren11fec382013-03-13 18:41:27 +00002002 assert(Die->getTag() == dwarf::DW_TAG_compile_unit &&
2003 "Input DIE should be compile unit in getCUOffset.");
Eric Christopher4887c8f2013-03-29 23:34:06 +00002004 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(),
Manman Ren14a029d2013-03-12 18:27:15 +00002005 E = CUs.end(); I != E; ++I) {
2006 CompileUnit *TheCU = *I;
2007 if (TheCU->getCUDie() == Die)
2008 return TheCU->getDebugInfoOffset();
2009 }
Manman Ren11fec382013-03-13 18:41:27 +00002010 llvm_unreachable("The compile unit DIE should belong to CUs in DwarfUnits.");
Manman Ren14a029d2013-03-12 18:27:15 +00002011}
2012
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002013// Emit the debug info section.
2014void DwarfDebug::emitDebugInfo() {
Eric Christophera2de8262012-12-15 00:04:07 +00002015 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
2016
2017 Holder.emitUnits(this, Asm->getObjFileLowering().getDwarfInfoSection(),
2018 Asm->getObjFileLowering().getDwarfAbbrevSection(),
2019 DwarfAbbrevSectionSym);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002020}
2021
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002022// Emit the abbreviation section.
Eric Christopher38371952012-11-20 23:30:11 +00002023void DwarfDebug::emitAbbreviations() {
Eric Christopher3c5a1912012-12-19 22:02:53 +00002024 if (!useSplitDwarf())
2025 emitAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevSection(),
2026 &Abbreviations);
2027 else
2028 emitSkeletonAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevSection());
2029}
Bill Wendling480ff322009-05-20 23:21:38 +00002030
Eric Christopher3c5a1912012-12-19 22:02:53 +00002031void DwarfDebug::emitAbbrevs(const MCSection *Section,
2032 std::vector<DIEAbbrev *> *Abbrevs) {
2033 // Check to see if it is worth the effort.
2034 if (!Abbrevs->empty()) {
2035 // Start the debug abbrev section.
2036 Asm->OutStreamer.SwitchSection(Section);
2037
2038 MCSymbol *Begin = Asm->GetTempSymbol(Section->getLabelBeginName());
Eric Christopher996b2b72012-12-13 03:00:38 +00002039 Asm->OutStreamer.EmitLabel(Begin);
Bill Wendling480ff322009-05-20 23:21:38 +00002040
2041 // For each abbrevation.
Eric Christopher3c5a1912012-12-19 22:02:53 +00002042 for (unsigned i = 0, N = Abbrevs->size(); i < N; ++i) {
Bill Wendling480ff322009-05-20 23:21:38 +00002043 // Get abbreviation data
Eric Christopher3c5a1912012-12-19 22:02:53 +00002044 const DIEAbbrev *Abbrev = Abbrevs->at(i);
Bill Wendling480ff322009-05-20 23:21:38 +00002045
2046 // Emit the abbrevations code (base 1 index.)
Chris Lattner9efd1182010-04-04 19:09:29 +00002047 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling480ff322009-05-20 23:21:38 +00002048
2049 // Emit the abbreviations data.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002050 Abbrev->Emit(Asm);
Bill Wendling480ff322009-05-20 23:21:38 +00002051 }
2052
2053 // Mark end of abbreviations.
Chris Lattner9efd1182010-04-04 19:09:29 +00002054 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling480ff322009-05-20 23:21:38 +00002055
Eric Christopher3c5a1912012-12-19 22:02:53 +00002056 MCSymbol *End = Asm->GetTempSymbol(Section->getLabelEndName());
Eric Christopher996b2b72012-12-13 03:00:38 +00002057 Asm->OutStreamer.EmitLabel(End);
Bill Wendling480ff322009-05-20 23:21:38 +00002058 }
2059}
2060
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002061// Emit the last address of the section and the end of the line matrix.
Devang Patel930143b2009-11-21 02:48:08 +00002062void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00002063 // Define last address of section.
Chris Lattner566cae92010-03-09 23:52:58 +00002064 Asm->OutStreamer.AddComment("Extended Op");
2065 Asm->EmitInt8(0);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002066
Chris Lattner566cae92010-03-09 23:52:58 +00002067 Asm->OutStreamer.AddComment("Op size");
Chandler Carruth5da3f052012-11-01 09:14:31 +00002068 Asm->EmitInt8(Asm->getDataLayout().getPointerSize() + 1);
Chris Lattner566cae92010-03-09 23:52:58 +00002069 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2070 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2071
2072 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002073
Chris Lattnera179b522010-04-04 19:25:43 +00002074 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Eric Christopherce0cfce2013-01-09 01:35:34 +00002075 Asm->getDataLayout().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002076
2077 // Mark end of matrix.
Chris Lattner566cae92010-03-09 23:52:58 +00002078 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2079 Asm->EmitInt8(0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002080 Asm->EmitInt8(1);
Chris Lattnerfa823552010-01-22 23:18:42 +00002081 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002082}
2083
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002084// Emit visible names into a hashed accelerator table section.
Eric Christopher4996c702011-11-07 09:24:32 +00002085void DwarfDebug::emitAccelNames() {
2086 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2087 dwarf::DW_FORM_data4));
2088 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2089 E = CUMap.end(); I != E; ++I) {
2090 CompileUnit *TheCU = I->second;
Eric Christopherd9843b32011-11-10 19:25:34 +00002091 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelNames();
2092 for (StringMap<std::vector<DIE*> >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002093 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002094 StringRef Name = GI->getKey();
Eric Christopher090fcc12012-01-06 23:03:34 +00002095 const std::vector<DIE *> &Entities = GI->second;
Eric Christopherd9843b32011-11-10 19:25:34 +00002096 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2097 DE = Entities.end(); DI != DE; ++DI)
2098 AT.AddName(Name, (*DI));
Eric Christopher4996c702011-11-07 09:24:32 +00002099 }
2100 }
2101
2102 AT.FinalizeTable(Asm, "Names");
2103 Asm->OutStreamer.SwitchSection(
2104 Asm->getObjFileLowering().getDwarfAccelNamesSection());
2105 MCSymbol *SectionBegin = Asm->GetTempSymbol("names_begin");
2106 Asm->OutStreamer.EmitLabel(SectionBegin);
2107
2108 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002109 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002110}
2111
Eric Christopher48fef592012-12-20 21:58:40 +00002112// Emit objective C classes and categories into a hashed accelerator table
2113// section.
Eric Christopher4996c702011-11-07 09:24:32 +00002114void DwarfDebug::emitAccelObjC() {
2115 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2116 dwarf::DW_FORM_data4));
2117 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2118 E = CUMap.end(); I != E; ++I) {
2119 CompileUnit *TheCU = I->second;
2120 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelObjC();
2121 for (StringMap<std::vector<DIE*> >::const_iterator
2122 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002123 StringRef Name = GI->getKey();
Eric Christopher090fcc12012-01-06 23:03:34 +00002124 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher4996c702011-11-07 09:24:32 +00002125 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2126 DE = Entities.end(); DI != DE; ++DI)
2127 AT.AddName(Name, (*DI));
2128 }
2129 }
2130
2131 AT.FinalizeTable(Asm, "ObjC");
2132 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2133 .getDwarfAccelObjCSection());
2134 MCSymbol *SectionBegin = Asm->GetTempSymbol("objc_begin");
2135 Asm->OutStreamer.EmitLabel(SectionBegin);
2136
2137 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002138 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002139}
2140
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002141// Emit namespace dies into a hashed accelerator table.
Eric Christopher4996c702011-11-07 09:24:32 +00002142void DwarfDebug::emitAccelNamespaces() {
2143 DwarfAccelTable AT(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2144 dwarf::DW_FORM_data4));
2145 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2146 E = CUMap.end(); I != E; ++I) {
2147 CompileUnit *TheCU = I->second;
Eric Christopher66b37db2011-11-10 21:47:55 +00002148 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelNamespace();
2149 for (StringMap<std::vector<DIE*> >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002150 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002151 StringRef Name = GI->getKey();
Eric Christopher090fcc12012-01-06 23:03:34 +00002152 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher66b37db2011-11-10 21:47:55 +00002153 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2154 DE = Entities.end(); DI != DE; ++DI)
2155 AT.AddName(Name, (*DI));
Eric Christopher4996c702011-11-07 09:24:32 +00002156 }
2157 }
2158
2159 AT.FinalizeTable(Asm, "namespac");
2160 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2161 .getDwarfAccelNamespaceSection());
2162 MCSymbol *SectionBegin = Asm->GetTempSymbol("namespac_begin");
2163 Asm->OutStreamer.EmitLabel(SectionBegin);
2164
2165 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002166 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002167}
2168
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002169// Emit type dies into a hashed accelerator table.
Eric Christopher4996c702011-11-07 09:24:32 +00002170void DwarfDebug::emitAccelTypes() {
Eric Christopher21bde872012-01-06 04:35:23 +00002171 std::vector<DwarfAccelTable::Atom> Atoms;
2172 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeDIEOffset,
2173 dwarf::DW_FORM_data4));
2174 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeTag,
2175 dwarf::DW_FORM_data2));
2176 Atoms.push_back(DwarfAccelTable::Atom(DwarfAccelTable::eAtomTypeTypeFlags,
2177 dwarf::DW_FORM_data1));
2178 DwarfAccelTable AT(Atoms);
Eric Christopher4996c702011-11-07 09:24:32 +00002179 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2180 E = CUMap.end(); I != E; ++I) {
2181 CompileUnit *TheCU = I->second;
Eric Christopher21bde872012-01-06 04:35:23 +00002182 const StringMap<std::vector<std::pair<DIE*, unsigned > > > &Names
2183 = TheCU->getAccelTypes();
2184 for (StringMap<std::vector<std::pair<DIE*, unsigned> > >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002185 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002186 StringRef Name = GI->getKey();
Eric Christopher090fcc12012-01-06 23:03:34 +00002187 const std::vector<std::pair<DIE *, unsigned> > &Entities = GI->second;
Eric Christopher21bde872012-01-06 04:35:23 +00002188 for (std::vector<std::pair<DIE *, unsigned> >::const_iterator DI
2189 = Entities.begin(), DE = Entities.end(); DI !=DE; ++DI)
2190 AT.AddName(Name, (*DI).first, (*DI).second);
Eric Christopher4996c702011-11-07 09:24:32 +00002191 }
2192 }
2193
2194 AT.FinalizeTable(Asm, "types");
2195 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2196 .getDwarfAccelTypesSection());
2197 MCSymbol *SectionBegin = Asm->GetTempSymbol("types_begin");
2198 Asm->OutStreamer.EmitLabel(SectionBegin);
2199
2200 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002201 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002202}
2203
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002204/// emitDebugPubnames - Emit visible names into a debug pubnames section.
2205///
2206void DwarfDebug::emitDebugPubnames() {
2207 const MCSection *ISec = Asm->getObjFileLowering().getDwarfInfoSection();
2208
2209 typedef DenseMap<const MDNode*, CompileUnit*> CUMapType;
2210 for (CUMapType::iterator I = CUMap.begin(), E = CUMap.end(); I != E; ++I) {
2211 CompileUnit *TheCU = I->second;
2212 unsigned ID = TheCU->getUniqueID();
2213
2214 if (TheCU->getGlobalNames().empty())
2215 continue;
2216
2217 // Start the dwarf pubnames section.
2218 Asm->OutStreamer.SwitchSection(
2219 Asm->getObjFileLowering().getDwarfPubNamesSection());
2220
2221 Asm->OutStreamer.AddComment("Length of Public Names Info");
2222 Asm->EmitLabelDifference(Asm->GetTempSymbol("pubnames_end", ID),
2223 Asm->GetTempSymbol("pubnames_begin", ID), 4);
2224
2225 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin", ID));
2226
2227 Asm->OutStreamer.AddComment("DWARF Version");
Manman Ren4213c392013-05-29 17:16:59 +00002228 Asm->EmitInt16(dwarf::DWARF_VERSION);
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002229
2230 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
2231 Asm->EmitSectionOffset(Asm->GetTempSymbol(ISec->getLabelBeginName(), ID),
2232 DwarfInfoSectionSym);
2233
2234 Asm->OutStreamer.AddComment("Compilation Unit Length");
2235 Asm->EmitLabelDifference(Asm->GetTempSymbol(ISec->getLabelEndName(), ID),
2236 Asm->GetTempSymbol(ISec->getLabelBeginName(), ID),
2237 4);
2238
2239 const StringMap<DIE*> &Globals = TheCU->getGlobalNames();
2240 for (StringMap<DIE*>::const_iterator
2241 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2242 const char *Name = GI->getKeyData();
2243 const DIE *Entity = GI->second;
2244
2245 Asm->OutStreamer.AddComment("DIE offset");
2246 Asm->EmitInt32(Entity->getOffset());
2247
2248 if (Asm->isVerbose())
2249 Asm->OutStreamer.AddComment("External Name");
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002250 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1), 0);
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002251 }
2252
2253 Asm->OutStreamer.AddComment("End Mark");
2254 Asm->EmitInt32(0);
2255 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end", ID));
2256 }
2257}
2258
Devang Patel04d2f2d2009-11-24 01:14:22 +00002259void DwarfDebug::emitDebugPubTypes() {
Devang Patel1a0df9a2010-05-10 22:49:55 +00002260 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2261 E = CUMap.end(); I != E; ++I) {
2262 CompileUnit *TheCU = I->second;
Eric Christopher6abc9c52011-11-07 09:18:35 +00002263 // Start the dwarf pubtypes section.
Devang Patel1a0df9a2010-05-10 22:49:55 +00002264 Asm->OutStreamer.SwitchSection(
2265 Asm->getObjFileLowering().getDwarfPubTypesSection());
2266 Asm->OutStreamer.AddComment("Length of Public Types Info");
2267 Asm->EmitLabelDifference(
Eli Benderskyb42d1462012-12-03 18:45:45 +00002268 Asm->GetTempSymbol("pubtypes_end", TheCU->getUniqueID()),
2269 Asm->GetTempSymbol("pubtypes_begin", TheCU->getUniqueID()), 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002270
Devang Patel1a0df9a2010-05-10 22:49:55 +00002271 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_begin",
Eli Benderskyb42d1462012-12-03 18:45:45 +00002272 TheCU->getUniqueID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002273
Devang Patel1a0df9a2010-05-10 22:49:55 +00002274 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DWARF Version");
Manman Ren4213c392013-05-29 17:16:59 +00002275 Asm->EmitInt16(dwarf::DWARF_VERSION);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002276
Devang Patel1a0df9a2010-05-10 22:49:55 +00002277 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Eric Christopher16485a52012-12-15 00:04:04 +00002278 const MCSection *ISec = Asm->getObjFileLowering().getDwarfInfoSection();
2279 Asm->EmitSectionOffset(Asm->GetTempSymbol(ISec->getLabelBeginName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00002280 TheCU->getUniqueID()),
Devang Patel1a0df9a2010-05-10 22:49:55 +00002281 DwarfInfoSectionSym);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002282
Devang Patel1a0df9a2010-05-10 22:49:55 +00002283 Asm->OutStreamer.AddComment("Compilation Unit Length");
Eric Christopher16485a52012-12-15 00:04:04 +00002284 Asm->EmitLabelDifference(Asm->GetTempSymbol(ISec->getLabelEndName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00002285 TheCU->getUniqueID()),
Eric Christopher16485a52012-12-15 00:04:04 +00002286 Asm->GetTempSymbol(ISec->getLabelBeginName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00002287 TheCU->getUniqueID()),
Devang Patel1a0df9a2010-05-10 22:49:55 +00002288 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002289
Devang Patel1a0df9a2010-05-10 22:49:55 +00002290 const StringMap<DIE*> &Globals = TheCU->getGlobalTypes();
2291 for (StringMap<DIE*>::const_iterator
2292 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2293 const char *Name = GI->getKeyData();
Nick Lewycky019d2552011-07-29 03:49:23 +00002294 DIE *Entity = GI->second;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002295
Devang Patel1a0df9a2010-05-10 22:49:55 +00002296 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
2297 Asm->EmitInt32(Entity->getOffset());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002298
Devang Patel1a0df9a2010-05-10 22:49:55 +00002299 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("External Name");
Benjamin Kramer966ed1b2011-11-09 18:16:11 +00002300 // Emit the name with a terminating null byte.
Eric Christophere3ab3d02013-01-09 01:57:54 +00002301 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1));
Devang Patel1a0df9a2010-05-10 22:49:55 +00002302 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002303
Devang Patel1a0df9a2010-05-10 22:49:55 +00002304 Asm->OutStreamer.AddComment("End Mark");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002305 Asm->EmitInt32(0);
Devang Patel1a0df9a2010-05-10 22:49:55 +00002306 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubtypes_end",
Eli Benderskyb42d1462012-12-03 18:45:45 +00002307 TheCU->getUniqueID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002308 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00002309}
2310
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002311// Emit strings into a string section.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002312void DwarfUnits::emitStrings(const MCSection *StrSection,
2313 const MCSection *OffsetSection = NULL,
2314 const MCSymbol *StrSecSym = NULL) {
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002315
Eric Christopher27614582013-01-08 22:22:06 +00002316 if (StringPool.empty()) return;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002317
Chris Lattner3d72a672010-03-09 23:38:23 +00002318 // Start the dwarf str section.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002319 Asm->OutStreamer.SwitchSection(StrSection);
Bill Wendling480ff322009-05-20 23:21:38 +00002320
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002321 // Get all of the string pool entries and put them in an array by their ID so
2322 // we can sort them.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002323 SmallVector<std::pair<unsigned,
Eric Christopherb800ff72013-01-07 22:40:45 +00002324 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002325
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002326 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
Eric Christopher27614582013-01-08 22:22:06 +00002327 I = StringPool.begin(), E = StringPool.end();
Eric Christopher48fef592012-12-20 21:58:40 +00002328 I != E; ++I)
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002329 Entries.push_back(std::make_pair(I->second.second, &*I));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002330
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002331 array_pod_sort(Entries.begin(), Entries.end());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002332
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002333 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner3d72a672010-03-09 23:38:23 +00002334 // Emit a label for reference from debug information entries.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002335 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002336
Benjamin Kramer966ed1b2011-11-09 18:16:11 +00002337 // Emit the string itself with a terminating null byte.
Benjamin Kramer148db362011-11-09 12:12:04 +00002338 Asm->OutStreamer.EmitBytes(StringRef(Entries[i].second->getKeyData(),
Eric Christopherce0cfce2013-01-09 01:35:34 +00002339 Entries[i].second->getKeyLength()+1));
Bill Wendling480ff322009-05-20 23:21:38 +00002340 }
Eric Christopher2cbd5762013-01-07 19:32:41 +00002341
2342 // If we've got an offset section go ahead and emit that now as well.
2343 if (OffsetSection) {
2344 Asm->OutStreamer.SwitchSection(OffsetSection);
2345 unsigned offset = 0;
Eric Christopher962c9082013-01-15 23:56:56 +00002346 unsigned size = 4; // FIXME: DWARF64 is 8.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002347 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Eric Christopherbf7bc492013-01-09 03:52:05 +00002348 Asm->OutStreamer.EmitIntValue(offset, size);
Eric Christopher2cbd5762013-01-07 19:32:41 +00002349 offset += Entries[i].second->getKeyLength() + 1;
2350 }
2351 }
Bill Wendling480ff322009-05-20 23:21:38 +00002352}
2353
Eric Christopher962c9082013-01-15 23:56:56 +00002354// Emit strings into a string section.
2355void DwarfUnits::emitAddresses(const MCSection *AddrSection) {
2356
2357 if (AddressPool.empty()) return;
2358
2359 // Start the dwarf addr section.
2360 Asm->OutStreamer.SwitchSection(AddrSection);
2361
David Blaikieb8ef7852013-06-28 18:47:19 +00002362 // Get all of the address pool entries and put them in an array by their ID so
Eric Christopher962c9082013-01-15 23:56:56 +00002363 // we can sort them.
David Blaikie8466ca82013-07-01 23:55:52 +00002364 SmallVector<std::pair<unsigned, const MCSymbolRefExpr *>, 64> Entries;
Eric Christopher962c9082013-01-15 23:56:56 +00002365
David Blaikie8466ca82013-07-01 23:55:52 +00002366 for (DenseMap<const MCSymbolRefExpr *, unsigned>::iterator
2367 I = AddressPool.begin(),
2368 E = AddressPool.end();
Eric Christopher962c9082013-01-15 23:56:56 +00002369 I != E; ++I)
David Blaikieb8ef7852013-06-28 18:47:19 +00002370 Entries.push_back(std::make_pair(I->second, I->first));
Eric Christopher962c9082013-01-15 23:56:56 +00002371
2372 array_pod_sort(Entries.begin(), Entries.end());
2373
2374 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
2375 // Emit a label for reference from debug information entries.
David Blaikie8466ca82013-07-01 23:55:52 +00002376 if (const MCSymbolRefExpr *Sym = Entries[i].second)
2377 Asm->OutStreamer.EmitValue(Sym, Asm->getDataLayout().getPointerSize());
Eric Christopher962c9082013-01-15 23:56:56 +00002378 else
2379 Asm->OutStreamer.EmitIntValue(0, Asm->getDataLayout().getPointerSize());
2380 }
2381
2382}
2383
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002384// Emit visible names into a debug str section.
2385void DwarfDebug::emitDebugStr() {
2386 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
2387 Holder.emitStrings(Asm->getObjFileLowering().getDwarfStrSection());
2388}
2389
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002390// Emit visible names into a debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00002391void DwarfDebug::emitDebugLoc() {
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002392 if (DotDebugLocEntries.empty())
2393 return;
2394
Eric Christopher4887c8f2013-03-29 23:34:06 +00002395 for (SmallVectorImpl<DotDebugLocEntry>::iterator
Devang Patel116a9d72011-02-04 22:57:18 +00002396 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
2397 I != E; ++I) {
2398 DotDebugLocEntry &Entry = *I;
2399 if (I + 1 != DotDebugLocEntries.end())
2400 Entry.Merge(I+1);
2401 }
2402
Daniel Dunbarfd95b012011-03-16 22:16:39 +00002403 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002404 Asm->OutStreamer.SwitchSection(
Devang Patel9fc11702010-05-25 23:40:22 +00002405 Asm->getObjFileLowering().getDwarfLocSection());
Chandler Carruth5da3f052012-11-01 09:14:31 +00002406 unsigned char Size = Asm->getDataLayout().getPointerSize();
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002407 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", 0));
2408 unsigned index = 1;
Eric Christopher4887c8f2013-03-29 23:34:06 +00002409 for (SmallVectorImpl<DotDebugLocEntry>::iterator
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002410 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
Devang Patel30265c42010-07-07 20:12:52 +00002411 I != E; ++I, ++index) {
Devang Patel116a9d72011-02-04 22:57:18 +00002412 DotDebugLocEntry &Entry = *I;
2413 if (Entry.isMerged()) continue;
Devang Patel9fc11702010-05-25 23:40:22 +00002414 if (Entry.isEmpty()) {
Eric Christopherce0cfce2013-01-09 01:35:34 +00002415 Asm->OutStreamer.EmitIntValue(0, Size);
2416 Asm->OutStreamer.EmitIntValue(0, Size);
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002417 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", index));
Devang Patel9fc11702010-05-25 23:40:22 +00002418 } else {
Eric Christopherbf7bc492013-01-09 03:52:05 +00002419 Asm->OutStreamer.EmitSymbolValue(Entry.Begin, Size);
2420 Asm->OutStreamer.EmitSymbolValue(Entry.End, Size);
Devang Patel3e021532011-04-28 02:22:40 +00002421 DIVariable DV(Entry.Variable);
Rafael Espindolad23bfb82011-05-27 22:05:41 +00002422 Asm->OutStreamer.AddComment("Loc expr size");
2423 MCSymbol *begin = Asm->OutStreamer.getContext().CreateTempSymbol();
2424 MCSymbol *end = Asm->OutStreamer.getContext().CreateTempSymbol();
2425 Asm->EmitLabelDifference(end, begin, 2);
2426 Asm->OutStreamer.EmitLabel(begin);
Devang Pateled9fd452011-07-08 16:49:43 +00002427 if (Entry.isInt()) {
Devang Patel324f8432011-06-01 22:03:25 +00002428 DIBasicType BTy(DV.getType());
2429 if (BTy.Verify() &&
Eric Christopher6a841382012-11-19 22:42:10 +00002430 (BTy.getEncoding() == dwarf::DW_ATE_signed
Devang Patel324f8432011-06-01 22:03:25 +00002431 || BTy.getEncoding() == dwarf::DW_ATE_signed_char)) {
2432 Asm->OutStreamer.AddComment("DW_OP_consts");
2433 Asm->EmitInt8(dwarf::DW_OP_consts);
Devang Pateled9fd452011-07-08 16:49:43 +00002434 Asm->EmitSLEB128(Entry.getInt());
Devang Patel324f8432011-06-01 22:03:25 +00002435 } else {
2436 Asm->OutStreamer.AddComment("DW_OP_constu");
2437 Asm->EmitInt8(dwarf::DW_OP_constu);
Devang Pateled9fd452011-07-08 16:49:43 +00002438 Asm->EmitULEB128(Entry.getInt());
Devang Patel324f8432011-06-01 22:03:25 +00002439 }
Devang Pateled9fd452011-07-08 16:49:43 +00002440 } else if (Entry.isLocation()) {
Eric Christopher6a841382012-11-19 22:42:10 +00002441 if (!DV.hasComplexAddress())
Devang Pateled9fd452011-07-08 16:49:43 +00002442 // Regular entry.
David Blaikie81a4dc72013-06-19 21:55:13 +00002443 Asm->EmitDwarfRegOp(Entry.Loc, DV.isIndirect());
Devang Pateled9fd452011-07-08 16:49:43 +00002444 else {
2445 // Complex address entry.
2446 unsigned N = DV.getNumAddrElements();
2447 unsigned i = 0;
2448 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
2449 if (Entry.Loc.getOffset()) {
2450 i = 2;
David Blaikie81a4dc72013-06-19 21:55:13 +00002451 Asm->EmitDwarfRegOp(Entry.Loc, DV.isIndirect());
Devang Pateled9fd452011-07-08 16:49:43 +00002452 Asm->OutStreamer.AddComment("DW_OP_deref");
2453 Asm->EmitInt8(dwarf::DW_OP_deref);
2454 Asm->OutStreamer.AddComment("DW_OP_plus_uconst");
2455 Asm->EmitInt8(dwarf::DW_OP_plus_uconst);
2456 Asm->EmitSLEB128(DV.getAddrElement(1));
2457 } else {
2458 // If first address element is OpPlus then emit
2459 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
2460 MachineLocation Loc(Entry.Loc.getReg(), DV.getAddrElement(1));
David Blaikie81a4dc72013-06-19 21:55:13 +00002461 Asm->EmitDwarfRegOp(Loc, DV.isIndirect());
Devang Pateled9fd452011-07-08 16:49:43 +00002462 i = 2;
2463 }
2464 } else {
David Blaikie81a4dc72013-06-19 21:55:13 +00002465 Asm->EmitDwarfRegOp(Entry.Loc, DV.isIndirect());
Devang Pateled9fd452011-07-08 16:49:43 +00002466 }
Eric Christopher6a841382012-11-19 22:42:10 +00002467
Devang Pateled9fd452011-07-08 16:49:43 +00002468 // Emit remaining complex address elements.
2469 for (; i < N; ++i) {
2470 uint64_t Element = DV.getAddrElement(i);
2471 if (Element == DIBuilder::OpPlus) {
2472 Asm->EmitInt8(dwarf::DW_OP_plus_uconst);
2473 Asm->EmitULEB128(DV.getAddrElement(++i));
Eric Christopher4d250522012-05-08 18:56:00 +00002474 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher8d2a77d2012-05-08 21:24:39 +00002475 if (!Entry.Loc.isReg())
Eric Christopher4d250522012-05-08 18:56:00 +00002476 Asm->EmitInt8(dwarf::DW_OP_deref);
2477 } else
2478 llvm_unreachable("unknown Opcode found in complex address");
Devang Pateled9fd452011-07-08 16:49:43 +00002479 }
Devang Patel3e021532011-04-28 02:22:40 +00002480 }
Devang Patel3e021532011-04-28 02:22:40 +00002481 }
Devang Pateled9fd452011-07-08 16:49:43 +00002482 // else ... ignore constant fp. There is not any good way to
2483 // to represent them here in dwarf.
Rafael Espindolad23bfb82011-05-27 22:05:41 +00002484 Asm->OutStreamer.EmitLabel(end);
Devang Patel9fc11702010-05-25 23:40:22 +00002485 }
2486 }
Bill Wendling480ff322009-05-20 23:21:38 +00002487}
2488
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002489// Emit visible names into a debug aranges section.
Eric Christopher7b30f2e42012-11-21 00:34:35 +00002490void DwarfDebug::emitDebugARanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002491 // Start the dwarf aranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002492 Asm->OutStreamer.SwitchSection(
2493 Asm->getObjFileLowering().getDwarfARangesSection());
Bill Wendling480ff322009-05-20 23:21:38 +00002494}
2495
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002496// Emit visible names into a debug ranges section.
Devang Patel930143b2009-11-21 02:48:08 +00002497void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002498 // Start the dwarf ranges section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002499 Asm->OutStreamer.SwitchSection(
Devang Patel12563b32010-04-16 23:33:45 +00002500 Asm->getObjFileLowering().getDwarfRangesSection());
Chandler Carruth5da3f052012-11-01 09:14:31 +00002501 unsigned char Size = Asm->getDataLayout().getPointerSize();
Eric Christopher4887c8f2013-03-29 23:34:06 +00002502 for (SmallVectorImpl<const MCSymbol *>::iterator
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002503 I = DebugRangeSymbols.begin(), E = DebugRangeSymbols.end();
Devang Patel6c74a872010-04-27 19:46:33 +00002504 I != E; ++I) {
2505 if (*I)
Eric Christopherbf7bc492013-01-09 03:52:05 +00002506 Asm->OutStreamer.EmitSymbolValue(const_cast<MCSymbol*>(*I), Size);
Devang Patel12563b32010-04-16 23:33:45 +00002507 else
Eric Christopherce0cfce2013-01-09 01:35:34 +00002508 Asm->OutStreamer.EmitIntValue(0, Size);
Devang Patel12563b32010-04-16 23:33:45 +00002509 }
Bill Wendling480ff322009-05-20 23:21:38 +00002510}
2511
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002512// Emit visible names into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00002513void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002514 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00002515 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00002516 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002517 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00002518 }
2519}
2520
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002521// Emit inline info using following format.
2522// Section Header:
2523// 1. length of section
2524// 2. Dwarf version number
2525// 3. address size.
2526//
2527// Entries (one "entry" for each function that was inlined):
2528//
2529// 1. offset into __debug_str section for MIPS linkage name, if exists;
2530// otherwise offset into __debug_str for regular function name.
2531// 2. offset into __debug_str section for regular function name.
2532// 3. an unsigned LEB128 number indicating the number of distinct inlining
2533// instances for the function.
2534//
2535// The rest of the entry consists of a {die_offset, low_pc} pair for each
2536// inlined instance; the die_offset points to the inlined_subroutine die in the
2537// __debug_info section, and the low_pc is the starting address for the
2538// inlining instance.
Devang Patel930143b2009-11-21 02:48:08 +00002539void DwarfDebug::emitDebugInlineInfo() {
Eric Christopher1df94bf2012-03-02 02:11:47 +00002540 if (!Asm->MAI->doesDwarfUseInlineInfoSection())
Bill Wendling480ff322009-05-20 23:21:38 +00002541 return;
2542
Devang Patel1a0df9a2010-05-10 22:49:55 +00002543 if (!FirstCU)
Bill Wendling480ff322009-05-20 23:21:38 +00002544 return;
2545
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002546 Asm->OutStreamer.SwitchSection(
2547 Asm->getObjFileLowering().getDwarfDebugInlineSection());
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002548
Chris Lattner566cae92010-03-09 23:52:58 +00002549 Asm->OutStreamer.AddComment("Length of Debug Inlined Information Entry");
Chris Lattnerf1429f12010-04-04 19:58:12 +00002550 Asm->EmitLabelDifference(Asm->GetTempSymbol("debug_inlined_end", 1),
2551 Asm->GetTempSymbol("debug_inlined_begin", 1), 4);
Bill Wendling480ff322009-05-20 23:21:38 +00002552
Chris Lattnera179b522010-04-04 19:25:43 +00002553 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_begin", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00002554
Chris Lattner566cae92010-03-09 23:52:58 +00002555 Asm->OutStreamer.AddComment("Dwarf Version");
Manman Ren4213c392013-05-29 17:16:59 +00002556 Asm->EmitInt16(dwarf::DWARF_VERSION);
Chris Lattner566cae92010-03-09 23:52:58 +00002557 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chandler Carruth5da3f052012-11-01 09:14:31 +00002558 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002559
Eric Christopher4887c8f2013-03-29 23:34:06 +00002560 for (SmallVectorImpl<const MDNode *>::iterator I = InlinedSPNodes.begin(),
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002561 E = InlinedSPNodes.end(); I != E; ++I) {
Jim Grosbach042483e2009-11-21 23:12:12 +00002562
Devang Patel32cc43c2010-05-07 20:54:48 +00002563 const MDNode *Node = *I;
2564 DenseMap<const MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II
Jim Grosbach00e9c612009-11-22 19:20:36 +00002565 = InlineInfo.find(Node);
Eric Christopher4887c8f2013-03-29 23:34:06 +00002566 SmallVectorImpl<InlineInfoLabels> &Labels = II->second;
Devang Patel80ae3492009-08-28 23:24:31 +00002567 DISubprogram SP(Node);
Devang Patel2d9caf92009-11-25 17:36:49 +00002568 StringRef LName = SP.getLinkageName();
2569 StringRef Name = SP.getName();
Bill Wendling480ff322009-05-20 23:21:38 +00002570
Chris Lattner566cae92010-03-09 23:52:58 +00002571 Asm->OutStreamer.AddComment("MIPS linkage name");
Eric Christopher77725312012-03-02 01:57:52 +00002572 if (LName.empty())
Eric Christophere698f532012-12-20 21:58:36 +00002573 Asm->EmitSectionOffset(InfoHolder.getStringPoolEntry(Name),
2574 DwarfStrSectionSym);
Eric Christopher77725312012-03-02 01:57:52 +00002575 else
Benjamin Kramer7c275642013-06-01 17:51:14 +00002576 Asm->EmitSectionOffset(
2577 InfoHolder.getStringPoolEntry(Function::getRealLinkageName(LName)),
2578 DwarfStrSectionSym);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002579
Chris Lattner566cae92010-03-09 23:52:58 +00002580 Asm->OutStreamer.AddComment("Function name");
Eric Christophere698f532012-12-20 21:58:36 +00002581 Asm->EmitSectionOffset(InfoHolder.getStringPoolEntry(Name),
2582 DwarfStrSectionSym);
Chris Lattner9efd1182010-04-04 19:09:29 +00002583 Asm->EmitULEB128(Labels.size(), "Inline count");
Bill Wendling480ff322009-05-20 23:21:38 +00002584
Eric Christopher4887c8f2013-03-29 23:34:06 +00002585 for (SmallVectorImpl<InlineInfoLabels>::iterator LI = Labels.begin(),
Bill Wendling480ff322009-05-20 23:21:38 +00002586 LE = Labels.end(); LI != LE; ++LI) {
Chris Lattner7bde8c02010-04-04 18:52:31 +00002587 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("DIE offset");
Chris Lattner085b6522010-03-09 00:31:02 +00002588 Asm->EmitInt32(LI->second->getOffset());
Bill Wendling480ff322009-05-20 23:21:38 +00002589
Chris Lattner7bde8c02010-04-04 18:52:31 +00002590 if (Asm->isVerbose()) Asm->OutStreamer.AddComment("low_pc");
Chris Lattner3a383cb2010-04-05 00:13:49 +00002591 Asm->OutStreamer.EmitSymbolValue(LI->first,
Eric Christopherbf7bc492013-01-09 03:52:05 +00002592 Asm->getDataLayout().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002593 }
2594 }
2595
Chris Lattnera179b522010-04-04 19:25:43 +00002596 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_inlined_end", 1));
Bill Wendling480ff322009-05-20 23:21:38 +00002597}
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002598
Eric Christopherd692c1d2012-12-11 19:42:09 +00002599// DWARF5 Experimental Separate Dwarf emitters.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002600
2601// This DIE has the following attributes: DW_AT_comp_dir, DW_AT_stmt_list,
2602// DW_AT_low_pc, DW_AT_high_pc, DW_AT_ranges, DW_AT_dwo_name, DW_AT_dwo_id,
2603// DW_AT_ranges_base, DW_AT_addr_base. If DW_AT_ranges is present,
2604// DW_AT_low_pc and DW_AT_high_pc are not used, and vice versa.
Eric Christophercdf218d2012-12-10 19:51:21 +00002605CompileUnit *DwarfDebug::constructSkeletonCU(const MDNode *N) {
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002606 DICompileUnit DIUnit(N);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002607 CompilationDir = DIUnit.getDirectory();
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002608
2609 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Eli Benderskyb42d1462012-12-03 18:45:45 +00002610 CompileUnit *NewCU = new CompileUnit(GlobalCUIndexCount++,
Eric Christopherc57baee2013-05-08 00:58:51 +00002611 DIUnit.getLanguage(), Die, N, Asm,
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002612 this, &SkeletonHolder);
Eric Christopher4c7765f2013-01-17 03:00:04 +00002613
Eric Christopherdae389b2013-02-22 23:50:08 +00002614 NewCU->addLocalString(Die, dwarf::DW_AT_GNU_dwo_name,
2615 DIUnit.getSplitDebugFilename());
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002616
Eric Christopher7a2cdf72013-02-05 07:31:55 +00002617 // This should be a unique identifier when we want to build .dwp files.
2618 NewCU->addUInt(Die, dwarf::DW_AT_GNU_dwo_id, dwarf::DW_FORM_data8, 0);
Eric Christopher18266172013-01-17 02:59:59 +00002619
Eric Christopher44c6aa62013-04-22 07:51:08 +00002620 // Relocate to the beginning of the addr_base section, else 0 for the
2621 // beginning of the one for this compile unit.
Eric Christopher55863be2013-04-07 03:43:09 +00002622 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
2623 NewCU->addLabel(Die, dwarf::DW_AT_GNU_addr_base, dwarf::DW_FORM_sec_offset,
2624 DwarfAddrSectionSym);
2625 else
Eric Christopher44c6aa62013-04-22 07:51:08 +00002626 NewCU->addUInt(Die, dwarf::DW_AT_GNU_addr_base,
2627 dwarf::DW_FORM_sec_offset, 0);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002628
2629 // 2.17.1 requires that we use DW_AT_low_pc for a single entry point
Eric Christopher962c9082013-01-15 23:56:56 +00002630 // into an entity. We're using 0, or a NULL label for this.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002631 NewCU->addUInt(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, 0);
Eric Christopher962c9082013-01-15 23:56:56 +00002632
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002633 // DW_AT_stmt_list is a offset of line number information for this
2634 // compile unit in debug_line section.
Eric Christopher55863be2013-04-07 03:43:09 +00002635 // FIXME: Should handle multiple compile units.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002636 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Eric Christopher4c7765f2013-01-17 03:00:04 +00002637 NewCU->addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset,
Eric Christopher74804332013-02-07 21:19:50 +00002638 DwarfLineSectionSym);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002639 else
Eric Christopher4c7765f2013-01-17 03:00:04 +00002640 NewCU->addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset, 0);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002641
2642 if (!CompilationDir.empty())
Eric Christopher2cbd5762013-01-07 19:32:41 +00002643 NewCU->addLocalString(Die, dwarf::DW_AT_comp_dir, CompilationDir);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002644
Eric Christopherc8a310e2012-12-10 23:34:43 +00002645 SkeletonHolder.addUnit(NewCU);
Eric Christopher5b33b3c2013-02-06 21:53:56 +00002646 SkeletonCUs.push_back(NewCU);
Eric Christopherc8a310e2012-12-10 23:34:43 +00002647
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002648 return NewCU;
2649}
2650
Eric Christopher3c5a1912012-12-19 22:02:53 +00002651void DwarfDebug::emitSkeletonAbbrevs(const MCSection *Section) {
2652 assert(useSplitDwarf() && "No split dwarf debug info?");
2653 emitAbbrevs(Section, &SkeletonAbbrevs);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002654}
2655
Eric Christopherd692c1d2012-12-11 19:42:09 +00002656// Emit the .debug_info.dwo section for separated dwarf. This contains the
2657// compile units that would normally be in debug_info.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002658void DwarfDebug::emitDebugInfoDWO() {
Eric Christophercdf218d2012-12-10 19:51:21 +00002659 assert(useSplitDwarf() && "No split dwarf debug info?");
Eric Christophera2de8262012-12-15 00:04:07 +00002660 InfoHolder.emitUnits(this, Asm->getObjFileLowering().getDwarfInfoDWOSection(),
Eric Christopher3c5a1912012-12-19 22:02:53 +00002661 Asm->getObjFileLowering().getDwarfAbbrevDWOSection(),
2662 DwarfAbbrevDWOSectionSym);
2663}
2664
2665// Emit the .debug_abbrev.dwo section for separated dwarf. This contains the
2666// abbreviations for the .debug_info.dwo section.
2667void DwarfDebug::emitDebugAbbrevDWO() {
2668 assert(useSplitDwarf() && "No split dwarf?");
Eric Christopher48fef592012-12-20 21:58:40 +00002669 emitAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevDWOSection(),
2670 &Abbreviations);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002671}
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002672
2673// Emit the .debug_str.dwo section for separated dwarf. This contains the
2674// string section and is identical in format to traditional .debug_str
2675// sections.
2676void DwarfDebug::emitDebugStrDWO() {
2677 assert(useSplitDwarf() && "No split dwarf?");
Eric Christopherb800ff72013-01-07 22:40:45 +00002678 const MCSection *OffSec = Asm->getObjFileLowering()
2679 .getDwarfStrOffDWOSection();
Eric Christopher2cbd5762013-01-07 19:32:41 +00002680 const MCSymbol *StrSym = DwarfStrSectionSym;
2681 InfoHolder.emitStrings(Asm->getObjFileLowering().getDwarfStrDWOSection(),
2682 OffSec, StrSym);
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002683}