blob: 76d63c722b314e246837beda9bb3465f2534769c [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 Christopher45731982013-08-08 23:45:55 +000017#include "DIEHash.h"
Eric Christopher4996c702011-11-07 09:24:32 +000018#include "DwarfAccelTable.h"
Devang Patel5eb43192011-04-12 17:40:32 +000019#include "DwarfCompileUnit.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000020#include "llvm/ADT/STLExtras.h"
21#include "llvm/ADT/Statistic.h"
22#include "llvm/ADT/StringExtras.h"
23#include "llvm/ADT/Triple.h"
David Greene829b3e82009-08-19 21:52:55 +000024#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000025#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/DIBuilder.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000027#include "llvm/DebugInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000028#include "llvm/IR/Constants.h"
29#include "llvm/IR/DataLayout.h"
30#include "llvm/IR/Instructions.h"
31#include "llvm/IR/Module.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000032#include "llvm/MC/MCAsmInfo.h"
Chris Lattner4d2c0f92009-07-31 18:48:30 +000033#include "llvm/MC/MCSection.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000034#include "llvm/MC/MCStreamer.h"
Chris Lattnere13c3722010-03-09 01:58:53 +000035#include "llvm/MC/MCSymbol.h"
Devang Patel6c74a872010-04-27 19:46:33 +000036#include "llvm/Support/CommandLine.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000037#include "llvm/Support/Debug.h"
David Majnemered89b5c2013-08-21 06:13:34 +000038#include "llvm/Support/Dwarf.h"
Daniel Dunbarcdf01b52009-10-13 06:47:08 +000039#include "llvm/Support/ErrorHandling.h"
Chris Lattnerf5c834f2010-01-22 22:09:00 +000040#include "llvm/Support/FormattedStream.h"
Eric Christopher67646432013-07-26 17:02:41 +000041#include "llvm/Support/MD5.h"
Michael J. Spencer447762d2010-11-29 18:16:10 +000042#include "llvm/Support/Path.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000043#include "llvm/Support/Timer.h"
44#include "llvm/Support/ValueHandle.h"
45#include "llvm/Target/TargetFrameLowering.h"
46#include "llvm/Target/TargetLoweringObjectFile.h"
47#include "llvm/Target/TargetMachine.h"
48#include "llvm/Target/TargetOptions.h"
49#include "llvm/Target/TargetRegisterInfo.h"
Bill Wendling2f921f82009-05-15 09:23:25 +000050using namespace llvm;
51
Eric Christopher7f2b5512013-07-23 22:16:41 +000052static cl::opt<bool>
53DisableDebugInfoPrinting("disable-debug-info-print", cl::Hidden,
54 cl::desc("Disable debug info printing"));
Devang Patel6c74a872010-04-27 19:46:33 +000055
Eric Christopher7f2b5512013-07-23 22:16:41 +000056static cl::opt<bool> UnknownLocations(
57 "use-unknown-locations", cl::Hidden,
58 cl::desc("Make an absence of debug location information explicit."),
59 cl::init(false));
Dan Gohman7421ae42010-05-07 01:08:53 +000060
Eric Christopher7f2b5512013-07-23 22:16:41 +000061static cl::opt<bool>
Eric Christopher67646432013-07-26 17:02:41 +000062GenerateODRHash("generate-odr-hash", cl::Hidden,
63 cl::desc("Add an ODR hash to external type DIEs."),
64 cl::init(false));
65
Eric Christopherd29614f2013-08-13 01:21:55 +000066static cl::opt<bool>
67GenerateCUHash("generate-cu-hash", cl::Hidden,
68 cl::desc("Add the CU hash as the dwo_id."),
69 cl::init(false));
70
Eric Christopherdd1a0122013-09-13 00:35:05 +000071static cl::opt<bool>
72GenerateGnuPubSections("generate-gnu-dwarf-pub-sections", cl::Hidden,
73 cl::desc("Generate GNU-style pubnames and pubtypes"),
74 cl::init(false));
75
Eric Christopher20b76a72012-08-23 22:36:40 +000076namespace {
Eric Christopher7f2b5512013-07-23 22:16:41 +000077enum DefaultOnOff {
78 Default,
79 Enable,
80 Disable
81};
Eric Christopher20b76a72012-08-23 22:36:40 +000082}
Eric Christopher4996c702011-11-07 09:24:32 +000083
Eric Christopher7f2b5512013-07-23 22:16:41 +000084static cl::opt<DefaultOnOff>
85DwarfAccelTables("dwarf-accel-tables", cl::Hidden,
86 cl::desc("Output prototype dwarf accelerator tables."),
87 cl::values(clEnumVal(Default, "Default for platform"),
88 clEnumVal(Enable, "Enabled"),
89 clEnumVal(Disable, "Disabled"), clEnumValEnd),
90 cl::init(Default));
Eric Christopher20b76a72012-08-23 22:36:40 +000091
Eric Christopher7f2b5512013-07-23 22:16:41 +000092static cl::opt<DefaultOnOff>
Eric Christopher7f2b5512013-07-23 22:16:41 +000093SplitDwarf("split-dwarf", cl::Hidden,
94 cl::desc("Output prototype dwarf split debug info."),
95 cl::values(clEnumVal(Default, "Default for platform"),
96 clEnumVal(Enable, "Enabled"),
97 clEnumVal(Disable, "Disabled"), clEnumValEnd),
98 cl::init(Default));
Eric Christopher29424312012-11-12 22:22:20 +000099
Eric Christopher7da24882013-08-19 21:07:38 +0000100static cl::opt<DefaultOnOff>
Eric Christopher4d36ca02013-08-26 23:24:35 +0000101DwarfPubSections("generate-dwarf-pub-sections", cl::Hidden,
102 cl::desc("Generate DWARF pubnames and pubtypes sections"),
103 cl::values(clEnumVal(Default, "Default for platform"),
104 clEnumVal(Enable, "Enabled"),
105 clEnumVal(Disable, "Disabled"), clEnumValEnd),
106 cl::init(Default));
Eric Christopher7da24882013-08-19 21:07:38 +0000107
Benjamin Kramerb12cf012013-08-24 12:54:27 +0000108static const char *const DWARFGroupName = "DWARF Emission";
109static const char *const DbgTimerName = "DWARF Debug Writer";
Bill Wendlingfcc14142010-04-07 09:28:04 +0000110
Bill Wendling2f921f82009-05-15 09:23:25 +0000111//===----------------------------------------------------------------------===//
112
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000113// Configuration values for initial hash set sizes (log2).
114//
Bill Wendling2f921f82009-05-15 09:23:25 +0000115static const unsigned InitAbbreviationsSetSize = 9; // log2(512)
Bill Wendling2f921f82009-05-15 09:23:25 +0000116
117namespace llvm {
118
Nick Lewycky019d2552011-07-29 03:49:23 +0000119DIType DbgVariable::getType() const {
Devang Patelf20c4f72011-04-12 22:53:02 +0000120 DIType Ty = Var.getType();
121 // FIXME: isBlockByrefVariable should be reformulated in terms of complex
122 // addresses instead.
123 if (Var.isBlockByrefVariable()) {
124 /* Byref variables, in Blocks, are declared by the programmer as
125 "SomeType VarName;", but the compiler creates a
126 __Block_byref_x_VarName struct, and gives the variable VarName
127 either the struct, or a pointer to the struct, as its type. This
128 is necessary for various behind-the-scenes things the compiler
129 needs to do with by-reference variables in blocks.
Eric Christopher6a841382012-11-19 22:42:10 +0000130
Devang Patelf20c4f72011-04-12 22:53:02 +0000131 However, as far as the original *programmer* is concerned, the
132 variable should still have type 'SomeType', as originally declared.
Eric Christopher6a841382012-11-19 22:42:10 +0000133
Devang Patelf20c4f72011-04-12 22:53:02 +0000134 The following function dives into the __Block_byref_x_VarName
135 struct to find the original type of the variable. This will be
136 passed back to the code generating the type for the Debug
137 Information Entry for the variable 'VarName'. 'VarName' will then
138 have the original type 'SomeType' in its debug information.
Eric Christopher6a841382012-11-19 22:42:10 +0000139
Devang Patelf20c4f72011-04-12 22:53:02 +0000140 The original type 'SomeType' will be the type of the field named
141 'VarName' inside the __Block_byref_x_VarName struct.
Eric Christopher6a841382012-11-19 22:42:10 +0000142
Devang Patelf20c4f72011-04-12 22:53:02 +0000143 NOTE: In order for this to not completely fail on the debugger
144 side, the Debug Information Entry for the variable VarName needs to
145 have a DW_AT_location that tells the debugger how to unwind through
146 the pointers and __Block_byref_x_VarName struct to find the actual
147 value of the variable. The function addBlockByrefType does this. */
148 DIType subType = Ty;
Eric Christopher31b05762013-08-08 01:41:00 +0000149 uint16_t tag = Ty.getTag();
Eric Christopher6a841382012-11-19 22:42:10 +0000150
Eric Christopher9adc55f2013-09-04 19:53:21 +0000151 if (tag == dwarf::DW_TAG_pointer_type)
152 subType = DIDerivedType(Ty).getTypeDerivedFrom();
Eric Christopher6a841382012-11-19 22:42:10 +0000153
Eric Christopher9adc55f2013-09-04 19:53:21 +0000154 DIArray Elements = DICompositeType(subType).getTypeArray();
Devang Patelf20c4f72011-04-12 22:53:02 +0000155 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) {
Eric Christopher9adc55f2013-09-04 19:53:21 +0000156 DIDerivedType DT = DIDerivedType(Elements.getElement(i));
Devang Patelf20c4f72011-04-12 22:53:02 +0000157 if (getName() == DT.getName())
158 return (DT.getTypeDerivedFrom());
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000159 }
Devang Patel6d9f9fe2010-08-09 21:01:39 +0000160 }
Devang Patelf20c4f72011-04-12 22:53:02 +0000161 return Ty;
162}
Bill Wendling2f921f82009-05-15 09:23:25 +0000163
Chris Lattnerf5d06362010-04-05 04:09:20 +0000164} // end llvm namespace
Bill Wendling2f921f82009-05-15 09:23:25 +0000165
Manman Renac8062b2013-07-02 23:40:10 +0000166/// Return Dwarf Version by checking module flags.
167static unsigned getDwarfVersionFromModule(const Module *M) {
Manman Ren8bfde892013-07-16 23:21:16 +0000168 Value *Val = M->getModuleFlag("Dwarf Version");
169 if (!Val)
Eric Christophere31e0722013-09-04 22:21:24 +0000170 return dwarf::DWARF_VERSION;
Manman Ren8bfde892013-07-16 23:21:16 +0000171 return cast<ConstantInt>(Val)->getZExtValue();
Manman Renac8062b2013-07-02 23:40:10 +0000172}
173
Chris Lattnerf0d6bd32010-04-05 05:11:15 +0000174DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
Eric Christopherd79f5482012-12-10 19:51:13 +0000175 : Asm(A), MMI(Asm->MMI), FirstCU(0),
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000176 AbbreviationsSet(InitAbbreviationsSetSize),
Eric Christopher27614582013-01-08 22:22:06 +0000177 SourceIdMap(DIEValueAllocator),
Eric Christopherc8a310e2012-12-10 23:34:43 +0000178 PrevLabel(NULL), GlobalCUIndexCount(0),
Eric Christopher27614582013-01-08 22:22:06 +0000179 InfoHolder(A, &AbbreviationsSet, &Abbreviations, "info_string",
180 DIEValueAllocator),
Eric Christopher3c5a1912012-12-19 22:02:53 +0000181 SkeletonAbbrevSet(InitAbbreviationsSetSize),
Eric Christopher27614582013-01-08 22:22:06 +0000182 SkeletonHolder(A, &SkeletonAbbrevSet, &SkeletonAbbrevs, "skel_string",
183 DIEValueAllocator) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000184
Rafael Espindolaa7160962011-05-06 14:56:22 +0000185 DwarfInfoSectionSym = DwarfAbbrevSectionSym = 0;
Chris Lattnere58b5472010-04-04 23:10:38 +0000186 DwarfStrSectionSym = TextSectionSym = 0;
Eric Christopher74804332013-02-07 21:19:50 +0000187 DwarfDebugRangeSectionSym = DwarfDebugLocSectionSym = DwarfLineSectionSym = 0;
Eric Christopher55863be2013-04-07 03:43:09 +0000188 DwarfAddrSectionSym = 0;
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000189 DwarfAbbrevDWOSectionSym = DwarfStrDWOSectionSym = 0;
Devang Patel9fc11702010-05-25 23:40:22 +0000190 FunctionBeginSym = FunctionEndSym = 0;
Eric Christopherad9fe892012-04-02 17:58:52 +0000191
Eric Christopher978fbff2012-08-23 07:10:46 +0000192 // Turn on accelerator tables and older gdb compatibility
Eric Christopher574b5c82013-08-19 21:41:38 +0000193 // for Darwin by default, pubnames by default for non-Darwin,
194 // and handle split dwarf.
Eric Christopher203e12b2013-04-27 01:07:52 +0000195 bool IsDarwin = Triple(A->getTargetTriple()).isOSDarwin();
Eric Christopher4977f212012-08-23 22:36:36 +0000196
Eric Christopher574b5c82013-08-19 21:41:38 +0000197 if (DwarfAccelTables == Default)
198 HasDwarfAccelTables = IsDarwin;
199 else
Eric Christopher5297df02013-08-26 20:58:35 +0000200 HasDwarfAccelTables = DwarfAccelTables == Enable;
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 Christopher574b5c82013-08-19 21:41:38 +0000205 HasSplitDwarf = SplitDwarf == Enable;
Eric Christopher29424312012-11-12 22:22:20 +0000206
Eric Christopher4d36ca02013-08-26 23:24:35 +0000207 if (DwarfPubSections == Default)
208 HasDwarfPubSections = !IsDarwin;
Eric Christopher574b5c82013-08-19 21:41:38 +0000209 else
Eric Christopher4d36ca02013-08-26 23:24:35 +0000210 HasDwarfPubSections = DwarfPubSections == Enable;
Eric Christopher7da24882013-08-19 21:07:38 +0000211
Manman Renac8062b2013-07-02 23:40:10 +0000212 DwarfVersion = getDwarfVersionFromModule(MMI->getModule());
213
Dan Gohman6e681a52010-06-18 15:56:31 +0000214 {
215 NamedRegionTimer T(DbgTimerName, DWARFGroupName, TimePassesIsEnabled);
Eric Christopher58f41952012-11-19 22:42:15 +0000216 beginModule();
Torok Edwinf8dba242010-04-07 10:44:46 +0000217 }
Bill Wendling2f921f82009-05-15 09:23:25 +0000218}
219DwarfDebug::~DwarfDebug() {
Bill Wendling2f921f82009-05-15 09:23:25 +0000220}
221
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000222// Switch to the specified MCSection and emit an assembler
223// temporary label to it if SymbolStem is specified.
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000224static MCSymbol *emitSectionSym(AsmPrinter *Asm, const MCSection *Section,
Eric Christophera7b61892011-11-07 09:18:38 +0000225 const char *SymbolStem = 0) {
226 Asm->OutStreamer.SwitchSection(Section);
227 if (!SymbolStem) return 0;
228
229 MCSymbol *TmpSym = Asm->GetTempSymbol(SymbolStem);
230 Asm->OutStreamer.EmitLabel(TmpSym);
231 return TmpSym;
232}
233
Eric Christophere698f532012-12-20 21:58:36 +0000234MCSymbol *DwarfUnits::getStringPoolSym() {
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000235 return Asm->GetTempSymbol(StringPref);
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000236}
237
Eric Christophere698f532012-12-20 21:58:36 +0000238MCSymbol *DwarfUnits::getStringPoolEntry(StringRef Str) {
239 std::pair<MCSymbol*, unsigned> &Entry =
Eric Christopher27614582013-01-08 22:22:06 +0000240 StringPool.GetOrCreateValue(Str).getValue();
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000241 if (Entry.first) return Entry.first;
242
243 Entry.second = NextStringPoolNumber++;
Eric Christopher3bf29fd2012-12-27 02:14:01 +0000244 return Entry.first = Asm->GetTempSymbol(StringPref, Entry.second);
Chris Lattnerb7aa9522010-03-13 02:17:42 +0000245}
246
Eric Christopher2cbd5762013-01-07 19:32:41 +0000247unsigned DwarfUnits::getStringPoolIndex(StringRef Str) {
248 std::pair<MCSymbol*, unsigned> &Entry =
Eric Christopher27614582013-01-08 22:22:06 +0000249 StringPool.GetOrCreateValue(Str).getValue();
Eric Christopher2cbd5762013-01-07 19:32:41 +0000250 if (Entry.first) return Entry.second;
251
252 Entry.second = NextStringPoolNumber++;
253 Entry.first = Asm->GetTempSymbol(StringPref, Entry.second);
254 return Entry.second;
255}
256
David Blaikiedea547b2013-06-28 18:47:14 +0000257unsigned DwarfUnits::getAddrPoolIndex(const MCSymbol *Sym) {
David Blaikie8466ca82013-07-01 23:55:52 +0000258 return getAddrPoolIndex(MCSymbolRefExpr::Create(Sym, Asm->OutContext));
259}
260
Ulrich Weigand8b3d2262013-07-02 18:46:46 +0000261unsigned DwarfUnits::getAddrPoolIndex(const MCExpr *Sym) {
262 std::pair<DenseMap<const MCExpr *, unsigned>::iterator, bool> P =
David Blaikieb8ef7852013-06-28 18:47:19 +0000263 AddressPool.insert(std::make_pair(Sym, NextAddrPoolNumber));
David Blaikiea67de2b2013-06-28 18:55:13 +0000264 if (P.second)
265 ++NextAddrPoolNumber;
David Blaikieb8ef7852013-06-28 18:47:19 +0000266 return P.first->second;
Eric Christopher962c9082013-01-15 23:56:56 +0000267}
268
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000269// Define a unique number for the abbreviation.
270//
Eric Christopherc8a310e2012-12-10 23:34:43 +0000271void DwarfUnits::assignAbbrevNumber(DIEAbbrev &Abbrev) {
Bill Wendling2f921f82009-05-15 09:23:25 +0000272 // Check the set for priors.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000273 DIEAbbrev *InSet = AbbreviationsSet->GetOrInsertNode(&Abbrev);
Bill Wendling2f921f82009-05-15 09:23:25 +0000274
275 // If it's newly added.
276 if (InSet == &Abbrev) {
277 // Add to abbreviation list.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000278 Abbreviations->push_back(&Abbrev);
Bill Wendling2f921f82009-05-15 09:23:25 +0000279
280 // Assign the vector position + 1 as its number.
Eric Christopherc8a310e2012-12-10 23:34:43 +0000281 Abbrev.setNumber(Abbreviations->size());
Bill Wendling2f921f82009-05-15 09:23:25 +0000282 } else {
283 // Assign existing abbreviation number.
284 Abbrev.setNumber(InSet->getNumber());
285 }
286}
287
Eric Christopherd9843b32011-11-10 19:25:34 +0000288static bool isObjCClass(StringRef Name) {
289 return Name.startswith("+") || Name.startswith("-");
290}
291
292static bool hasObjCCategory(StringRef Name) {
293 if (!isObjCClass(Name)) return false;
294
Benjamin Kramer260de742013-08-24 12:15:54 +0000295 return Name.find(") ") != StringRef::npos;
Eric Christopherd9843b32011-11-10 19:25:34 +0000296}
297
298static void getObjCClassCategory(StringRef In, StringRef &Class,
299 StringRef &Category) {
300 if (!hasObjCCategory(In)) {
301 Class = In.slice(In.find('[') + 1, In.find(' '));
302 Category = "";
303 return;
304 }
305
306 Class = In.slice(In.find('[') + 1, In.find('('));
307 Category = In.slice(In.find('[') + 1, In.find(' '));
308 return;
309}
310
311static StringRef getObjCMethodName(StringRef In) {
312 return In.slice(In.find(' ') + 1, In.find(']'));
313}
314
315// Add the various names to the Dwarf accelerator table names.
316static void addSubprogramNames(CompileUnit *TheCU, DISubprogram SP,
317 DIE* Die) {
318 if (!SP.isDefinition()) return;
Eric Christopher6a841382012-11-19 22:42:10 +0000319
Eric Christopherd9843b32011-11-10 19:25:34 +0000320 TheCU->addAccelName(SP.getName(), Die);
321
322 // If the linkage name is different than the name, go ahead and output
323 // that as well into the name table.
324 if (SP.getLinkageName() != "" && SP.getName() != SP.getLinkageName())
325 TheCU->addAccelName(SP.getLinkageName(), Die);
326
327 // If this is an Objective-C selector name add it to the ObjC accelerator
328 // too.
329 if (isObjCClass(SP.getName())) {
330 StringRef Class, Category;
331 getObjCClassCategory(SP.getName(), Class, Category);
332 TheCU->addAccelObjC(Class, Die);
333 if (Category != "")
334 TheCU->addAccelObjC(Category, Die);
335 // Also add the base method name to the name table.
336 TheCU->addAccelName(getObjCMethodName(SP.getName()), Die);
337 }
338}
339
Manman Ren3eb9dff2013-09-09 19:05:21 +0000340/// isSubprogramContext - Return true if Context is either a subprogram
341/// or another context nested inside a subprogram.
342bool DwarfDebug::isSubprogramContext(const MDNode *Context) {
343 if (!Context)
344 return false;
345 DIDescriptor D(Context);
346 if (D.isSubprogram())
347 return true;
348 if (D.isType())
Manman Ren116868e2013-09-09 19:47:11 +0000349 return isSubprogramContext(resolve(DIType(Context).getContext()));
Manman Ren3eb9dff2013-09-09 19:05:21 +0000350 return false;
351}
352
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000353// Find DIE for the given subprogram and attach appropriate DW_AT_low_pc
354// and DW_AT_high_pc attributes. If there are global variables in this
355// scope then create and insert DIEs for these variables.
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000356DIE *DwarfDebug::updateSubprogramScopeDIE(CompileUnit *SPCU,
357 const MDNode *SPNode) {
Devang Patel1a0df9a2010-05-10 22:49:55 +0000358 DIE *SPDie = SPCU->getDIE(SPNode);
Devang Patela37a95e2010-07-07 22:20:57 +0000359
Chris Lattner3a383cb2010-04-05 00:13:49 +0000360 assert(SPDie && "Unable to find subprogram DIE!");
361 DISubprogram SP(SPNode);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000362
Bill Wendlingf720bf62012-11-07 05:19:04 +0000363 // If we're updating an abstract DIE, then we will be adding the children and
364 // object pointer later on. But what we don't want to do is process the
365 // concrete DIE twice.
Manman Ren14a029d2013-03-12 18:27:15 +0000366 DIE *AbsSPDIE = AbstractSPDies.lookup(SPNode);
367 if (AbsSPDIE) {
368 bool InSameCU = (AbsSPDIE->getCompileUnit() == SPCU->getCUDie());
Bill Wendlingf720bf62012-11-07 05:19:04 +0000369 // Pick up abstract subprogram DIE.
Devang Patela37a95e2010-07-07 22:20:57 +0000370 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Manman Ren14a029d2013-03-12 18:27:15 +0000371 // If AbsSPDIE belongs to a different CU, use DW_FORM_ref_addr instead of
372 // DW_FORM_ref4.
Devang Patelf20c4f72011-04-12 22:53:02 +0000373 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_abstract_origin,
Manman Ren14a029d2013-03-12 18:27:15 +0000374 InSameCU ? dwarf::DW_FORM_ref4 : dwarf::DW_FORM_ref_addr,
375 AbsSPDIE);
Devang Patela37a95e2010-07-07 22:20:57 +0000376 SPCU->addDie(SPDie);
Bill Wendlingd9bb9b62012-11-07 04:42:18 +0000377 } else {
378 DISubprogram SPDecl = SP.getFunctionDeclaration();
379 if (!SPDecl.isSubprogram()) {
380 // There is not any need to generate specification DIE for a function
381 // defined at compile unit level. If a function is defined inside another
382 // function then gdb prefers the definition at top level and but does not
383 // expect specification DIE in parent function. So avoid creating
384 // specification DIE for a function defined inside a function.
385 if (SP.isDefinition() && !SP.getContext().isCompileUnit() &&
386 !SP.getContext().isFile() &&
387 !isSubprogramContext(SP.getContext())) {
388 SPCU->addFlag(SPDie, dwarf::DW_AT_declaration);
389
390 // Add arguments.
391 DICompositeType SPTy = SP.getType();
392 DIArray Args = SPTy.getTypeArray();
Eric Christopher31b05762013-08-08 01:41:00 +0000393 uint16_t SPTag = SPTy.getTag();
Bill Wendlingd9bb9b62012-11-07 04:42:18 +0000394 if (SPTag == dwarf::DW_TAG_subroutine_type)
395 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) {
396 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter);
397 DIType ATy = DIType(Args.getElement(i));
398 SPCU->addType(Arg, ATy);
399 if (ATy.isArtificial())
400 SPCU->addFlag(Arg, dwarf::DW_AT_artificial);
401 if (ATy.isObjectPointer())
402 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_object_pointer,
403 dwarf::DW_FORM_ref4, Arg);
404 SPDie->addChild(Arg);
405 }
406 DIE *SPDeclDie = SPDie;
407 SPDie = new DIE(dwarf::DW_TAG_subprogram);
Eric Christopher6a841382012-11-19 22:42:10 +0000408 SPCU->addDIEEntry(SPDie, dwarf::DW_AT_specification,
409 dwarf::DW_FORM_ref4, SPDeclDie);
Bill Wendlingd9bb9b62012-11-07 04:42:18 +0000410 SPCU->addDie(SPDie);
411 }
412 }
Devang Patela37a95e2010-07-07 22:20:57 +0000413 }
414
Eric Christopher962c9082013-01-15 23:56:56 +0000415 SPCU->addLabelAddress(SPDie, dwarf::DW_AT_low_pc,
416 Asm->GetTempSymbol("func_begin",
417 Asm->getFunctionNumber()));
418 SPCU->addLabelAddress(SPDie, dwarf::DW_AT_high_pc,
419 Asm->GetTempSymbol("func_end",
420 Asm->getFunctionNumber()));
Chris Lattner3a383cb2010-04-05 00:13:49 +0000421 const TargetRegisterInfo *RI = Asm->TM.getRegisterInfo();
422 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
Devang Patelf20c4f72011-04-12 22:53:02 +0000423 SPCU->addAddress(SPDie, dwarf::DW_AT_frame_base, Location);
Devang Patel6efc8e52010-02-06 01:02:37 +0000424
Eric Christopherd9843b32011-11-10 19:25:34 +0000425 // Add name to the name table, we do this here because we're guaranteed
426 // to have concrete versions of our DW_TAG_subprogram nodes.
427 addSubprogramNames(SPCU, SP, SPDie);
Eric Christopher6a841382012-11-19 22:42:10 +0000428
Chris Lattner3a383cb2010-04-05 00:13:49 +0000429 return SPDie;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000430}
431
Manman Ren5b2f4b02013-09-11 19:40:28 +0000432/// Check whether we should create a DIE for the given Scope, return true
433/// if we don't create a DIE (the corresponding DIE is null).
Manman Ren2312ed32013-09-10 18:40:41 +0000434bool DwarfDebug::isLexicalScopeDIENull(LexicalScope *Scope) {
435 if (Scope->isAbstractScope())
436 return false;
437
Manman Ren5b2f4b02013-09-11 19:40:28 +0000438 // We don't create a DIE if there is no Range.
Manman Ren2312ed32013-09-10 18:40:41 +0000439 const SmallVectorImpl<InsnRange> &Ranges = Scope->getRanges();
440 if (Ranges.empty())
441 return true;
442
443 if (Ranges.size() > 1)
444 return false;
445
Manman Ren5b2f4b02013-09-11 19:40:28 +0000446 // We don't create a DIE if we have a single Range and the end label
447 // is null.
Manman Ren2312ed32013-09-10 18:40:41 +0000448 SmallVectorImpl<InsnRange>::const_iterator RI = Ranges.begin();
449 MCSymbol *End = getLabelAfterInsn(RI->second);
450 return !End;
451}
452
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000453// Construct new DW_TAG_lexical_block for this scope and attach
454// DW_AT_low_pc/DW_AT_high_pc labels.
Eric Christopher6a841382012-11-19 22:42:10 +0000455DIE *DwarfDebug::constructLexicalScopeDIE(CompileUnit *TheCU,
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000456 LexicalScope *Scope) {
Manman Ren2312ed32013-09-10 18:40:41 +0000457 if (isLexicalScopeDIENull(Scope))
458 return 0;
459
Devang Patel6c74a872010-04-27 19:46:33 +0000460 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block);
461 if (Scope->isAbstractScope())
462 return ScopeDIE;
463
Craig Topper977e9cd2013-07-03 04:24:43 +0000464 const SmallVectorImpl<InsnRange> &Ranges = Scope->getRanges();
Eric Christopherdc42ea82013-07-03 01:57:28 +0000465 // If we have multiple ranges, emit them into the range section.
Devang Patel6c74a872010-04-27 19:46:33 +0000466 if (Ranges.size() > 1) {
467 // .debug_range section has not been laid out yet. Emit offset in
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000468 // .debug_range as a uint, size 4, for now. emitDIE will handle
Devang Patel6c74a872010-04-27 19:46:33 +0000469 // DW_AT_ranges appropriately.
Devang Patelf20c4f72011-04-12 22:53:02 +0000470 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
Eric Christopher6a841382012-11-19 22:42:10 +0000471 DebugRangeSymbols.size()
Chandler Carruth5da3f052012-11-01 09:14:31 +0000472 * Asm->getDataLayout().getPointerSize());
Craig Topperd8e43652013-07-03 04:17:25 +0000473 for (SmallVectorImpl<InsnRange>::const_iterator RI = Ranges.begin(),
Devang Patel6c74a872010-04-27 19:46:33 +0000474 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patel9fc11702010-05-25 23:40:22 +0000475 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
476 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
Devang Patel6c74a872010-04-27 19:46:33 +0000477 }
Eric Christopherc1110832013-07-03 01:22:29 +0000478
479 // Terminate the range list.
Devang Patel6c74a872010-04-27 19:46:33 +0000480 DebugRangeSymbols.push_back(NULL);
481 DebugRangeSymbols.push_back(NULL);
482 return ScopeDIE;
483 }
484
Eric Christopherdc42ea82013-07-03 01:57:28 +0000485 // Construct the address range for this DIE.
Craig Topperd8e43652013-07-03 04:17:25 +0000486 SmallVectorImpl<InsnRange>::const_iterator RI = Ranges.begin();
Eric Christopher962c9082013-01-15 23:56:56 +0000487 MCSymbol *Start = getLabelBeforeInsn(RI->first);
488 MCSymbol *End = getLabelAfterInsn(RI->second);
Manman Ren2312ed32013-09-10 18:40:41 +0000489 assert(End && "End label should not be null!");
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000490
Chris Lattnere13c3722010-03-09 01:58:53 +0000491 assert(Start->isDefined() && "Invalid starting label for an inlined scope!");
492 assert(End->isDefined() && "Invalid end label for an inlined scope!");
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000493
Eric Christopher962c9082013-01-15 23:56:56 +0000494 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_low_pc, Start);
495 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_high_pc, End);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000496
497 return ScopeDIE;
498}
499
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000500// This scope represents inlined body of a function. Construct DIE to
501// represent this concrete inlined copy of the function.
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000502DIE *DwarfDebug::constructInlinedScopeDIE(CompileUnit *TheCU,
503 LexicalScope *Scope) {
Craig Topper977e9cd2013-07-03 04:24:43 +0000504 const SmallVectorImpl<InsnRange> &Ranges = Scope->getRanges();
Nick Lewycky654f5ce2011-10-26 22:55:33 +0000505 assert(Ranges.empty() == false &&
506 "LexicalScope does not have instruction markers!");
Devang Patel6c74a872010-04-27 19:46:33 +0000507
Devang Patelf098ce22011-07-27 00:34:13 +0000508 if (!Scope->getScopeNode())
509 return NULL;
510 DIScope DS(Scope->getScopeNode());
511 DISubprogram InlinedSP = getDISubprogram(DS);
Manman Ren4213c392013-05-29 17:16:59 +0000512 DIE *OriginDIE = TheCU->getDIE(InlinedSP);
Devang Patelf098ce22011-07-27 00:34:13 +0000513 if (!OriginDIE) {
Bill Wendling10e0e2e2012-10-30 17:51:02 +0000514 DEBUG(dbgs() << "Unable to find original DIE for an inlined subprogram.");
Devang Patelf098ce22011-07-27 00:34:13 +0000515 return NULL;
516 }
517
Devang Patel73bc1722011-05-05 17:54:26 +0000518 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine);
Devang Patelf20c4f72011-04-12 22:53:02 +0000519 TheCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin,
Manman Ren4213c392013-05-29 17:16:59 +0000520 dwarf::DW_FORM_ref4, OriginDIE);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000521
Devang Patelf098ce22011-07-27 00:34:13 +0000522 if (Ranges.size() > 1) {
523 // .debug_range section has not been laid out yet. Emit offset in
524 // .debug_range as a uint, size 4, for now. emitDIE will handle
525 // DW_AT_ranges appropriately.
526 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_data4,
Eric Christopher6a841382012-11-19 22:42:10 +0000527 DebugRangeSymbols.size()
Chandler Carruth5da3f052012-11-01 09:14:31 +0000528 * Asm->getDataLayout().getPointerSize());
Craig Topperd8e43652013-07-03 04:17:25 +0000529 for (SmallVectorImpl<InsnRange>::const_iterator RI = Ranges.begin(),
Devang Patelf098ce22011-07-27 00:34:13 +0000530 RE = Ranges.end(); RI != RE; ++RI) {
531 DebugRangeSymbols.push_back(getLabelBeforeInsn(RI->first));
532 DebugRangeSymbols.push_back(getLabelAfterInsn(RI->second));
533 }
534 DebugRangeSymbols.push_back(NULL);
535 DebugRangeSymbols.push_back(NULL);
536 } else {
Craig Topperd8e43652013-07-03 04:17:25 +0000537 SmallVectorImpl<InsnRange>::const_iterator RI = Ranges.begin();
Eric Christopherf94eb2b2013-07-03 02:23:53 +0000538 MCSymbol *StartLabel = getLabelBeforeInsn(RI->first);
539 MCSymbol *EndLabel = getLabelAfterInsn(RI->second);
540
541 if (StartLabel == 0 || EndLabel == 0)
542 llvm_unreachable("Unexpected Start and End labels for an inlined scope!");
543
544 assert(StartLabel->isDefined() &&
545 "Invalid starting label for an inlined scope!");
546 assert(EndLabel->isDefined() && "Invalid end label for an inlined scope!");
547
Eric Christopher962c9082013-01-15 23:56:56 +0000548 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_low_pc, StartLabel);
549 TheCU->addLabelAddress(ScopeDIE, dwarf::DW_AT_high_pc, EndLabel);
Devang Patelf098ce22011-07-27 00:34:13 +0000550 }
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000551
552 InlinedSubprogramDIEs.insert(OriginDIE);
553
Eric Christopherf94eb2b2013-07-03 02:23:53 +0000554 // Add the call site information to the DIE.
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000555 DILocation DL(Scope->getInlinedAt());
Eric Christopher0925c622012-03-26 21:38:38 +0000556 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0,
Manman Ren1e427202013-03-07 01:42:00 +0000557 getOrCreateSourceID(DL.getFilename(), DL.getDirectory(),
558 TheCU->getUniqueID()));
Devang Patelf20c4f72011-04-12 22:53:02 +0000559 TheCU->addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber());
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000560
Eric Christopher8dda5d02011-12-04 06:02:38 +0000561 // Add name to the name table, we do this here because we're guaranteed
562 // to have concrete versions of our DW_TAG_inlined_subprogram nodes.
563 addSubprogramNames(TheCU, InlinedSP, ScopeDIE);
Eric Christopher6a841382012-11-19 22:42:10 +0000564
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000565 return ScopeDIE;
566}
567
Manman Ren2312ed32013-09-10 18:40:41 +0000568DIE *DwarfDebug::createScopeChildrenDIE(CompileUnit *TheCU, LexicalScope *Scope,
569 SmallVectorImpl<DIE*> &Children) {
570 DIE *ObjectPointer = NULL;
Devang Patel6c622ef2011-03-01 22:58:55 +0000571
572 // Collect arguments for current function.
Devang Patel7e623022011-08-10 20:55:27 +0000573 if (LScopes.isCurrentFunctionScope(Scope))
Devang Patel6c622ef2011-03-01 22:58:55 +0000574 for (unsigned i = 0, N = CurrentFnArguments.size(); i < N; ++i)
575 if (DbgVariable *ArgDV = CurrentFnArguments[i])
Eric Christopher6a841382012-11-19 22:42:10 +0000576 if (DIE *Arg =
Eric Christophere3417762012-09-12 23:36:19 +0000577 TheCU->constructVariableDIE(ArgDV, Scope->isAbstractScope())) {
Devang Patel6c622ef2011-03-01 22:58:55 +0000578 Children.push_back(Arg);
Eric Christophere3417762012-09-12 23:36:19 +0000579 if (ArgDV->isObjectPointer()) ObjectPointer = Arg;
580 }
Devang Patel6c622ef2011-03-01 22:58:55 +0000581
Eric Christopherf84354b2011-10-03 15:49:16 +0000582 // Collect lexical scope children first.
Craig Topper977e9cd2013-07-03 04:24:43 +0000583 const SmallVectorImpl<DbgVariable *> &Variables =ScopeVariables.lookup(Scope);
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000584 for (unsigned i = 0, N = Variables.size(); i < N; ++i)
Eric Christopher6a841382012-11-19 22:42:10 +0000585 if (DIE *Variable =
Eric Christopherc1c8a1b2012-09-21 22:18:52 +0000586 TheCU->constructVariableDIE(Variables[i], Scope->isAbstractScope())) {
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000587 Children.push_back(Variable);
Eric Christopherc1c8a1b2012-09-21 22:18:52 +0000588 if (Variables[i]->isObjectPointer()) ObjectPointer = Variable;
589 }
Craig Topper977e9cd2013-07-03 04:24:43 +0000590 const SmallVectorImpl<LexicalScope *> &Scopes = Scope->getChildren();
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000591 for (unsigned j = 0, M = Scopes.size(); j < M; ++j)
Devang Patel3acc70e2011-08-15 22:04:40 +0000592 if (DIE *Nested = constructScopeDIE(TheCU, Scopes[j]))
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000593 Children.push_back(Nested);
Manman Ren2312ed32013-09-10 18:40:41 +0000594 return ObjectPointer;
595}
596
597// Construct a DIE for this scope.
598DIE *DwarfDebug::constructScopeDIE(CompileUnit *TheCU, LexicalScope *Scope) {
599 if (!Scope || !Scope->getScopeNode())
600 return NULL;
601
602 DIScope DS(Scope->getScopeNode());
603
604 SmallVector<DIE *, 8> Children;
605 DIE *ObjectPointer = NULL;
606 bool ChildrenCreated = false;
607
Manman Ren5b2f4b02013-09-11 19:40:28 +0000608 // We try to create the scope DIE first, then the children DIEs. This will
609 // avoid creating un-used children then removing them later when we find out
610 // the scope DIE is null.
Devang Patel3b548aa2010-03-08 20:52:55 +0000611 DIE *ScopeDIE = NULL;
612 if (Scope->getInlinedAt())
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000613 ScopeDIE = constructInlinedScopeDIE(TheCU, Scope);
Devang Patel3b548aa2010-03-08 20:52:55 +0000614 else if (DS.isSubprogram()) {
Devang Pateld10b2af2010-06-28 20:53:04 +0000615 ProcessedSPNodes.insert(DS);
Devang Patela37a95e2010-07-07 22:20:57 +0000616 if (Scope->isAbstractScope()) {
Manman Ren4213c392013-05-29 17:16:59 +0000617 ScopeDIE = TheCU->getDIE(DS);
Devang Patela37a95e2010-07-07 22:20:57 +0000618 // Note down abstract DIE.
619 if (ScopeDIE)
620 AbstractSPDies.insert(std::make_pair(DS, ScopeDIE));
621 }
Devang Patel3b548aa2010-03-08 20:52:55 +0000622 else
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000623 ScopeDIE = updateSubprogramScopeDIE(TheCU, DS);
Devang Patel3b548aa2010-03-08 20:52:55 +0000624 }
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000625 else {
Manman Ren5b2f4b02013-09-11 19:40:28 +0000626 // Early exit when we know the scope DIE is going to be null.
Manman Ren2312ed32013-09-10 18:40:41 +0000627 if (isLexicalScopeDIENull(Scope))
628 return NULL;
Manman Ren5b2f4b02013-09-11 19:40:28 +0000629
630 // We create children here when we know the scope DIE is not going to be
631 // null and the children will be added to the scope DIE.
Manman Ren2312ed32013-09-10 18:40:41 +0000632 ObjectPointer = createScopeChildrenDIE(TheCU, Scope, Children);
633 ChildrenCreated = true;
Manman Ren5b2f4b02013-09-11 19:40:28 +0000634
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000635 // There is no need to emit empty lexical block DIE.
David Blaikie684fc532013-05-06 23:33:07 +0000636 std::pair<ImportedEntityMap::const_iterator,
637 ImportedEntityMap::const_iterator> Range = std::equal_range(
638 ScopesWithImportedEntities.begin(), ScopesWithImportedEntities.end(),
Timur Iskhodzhanovec4afe62013-05-07 07:47:47 +0000639 std::pair<const MDNode *, const MDNode *>(DS, (const MDNode*)0),
Benjamin Kramerb12cf012013-08-24 12:54:27 +0000640 less_first());
David Blaikie684fc532013-05-06 23:33:07 +0000641 if (Children.empty() && Range.first == Range.second)
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000642 return NULL;
Devang Pateld2dfc5e2011-08-15 22:24:32 +0000643 ScopeDIE = constructLexicalScopeDIE(TheCU, Scope);
Manman Ren2312ed32013-09-10 18:40:41 +0000644 assert(ScopeDIE && "Scope DIE should not be null.");
Eric Christopher5fdd68e2013-06-24 23:20:02 +0000645 for (ImportedEntityMap::const_iterator i = Range.first; i != Range.second;
646 ++i)
David Blaikie4dd2de72013-05-08 06:01:38 +0000647 constructImportedEntityDIE(TheCU, i->second, ScopeDIE);
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000648 }
Eric Christopher6a841382012-11-19 22:42:10 +0000649
Benjamin Kramer892daba2013-08-24 11:55:49 +0000650 if (!ScopeDIE) {
Manman Ren2312ed32013-09-10 18:40:41 +0000651 assert(Children.empty() &&
652 "We create children only when the scope DIE is not null.");
Benjamin Kramer892daba2013-08-24 11:55:49 +0000653 return NULL;
654 }
Manman Ren2312ed32013-09-10 18:40:41 +0000655 if (!ChildrenCreated)
Manman Ren5b2f4b02013-09-11 19:40:28 +0000656 // We create children when the scope DIE is not null.
Manman Ren2312ed32013-09-10 18:40:41 +0000657 ObjectPointer = createScopeChildrenDIE(TheCU, Scope, Children);
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000658
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000659 // Add children
Craig Topperd8e43652013-07-03 04:17:25 +0000660 for (SmallVectorImpl<DIE *>::iterator I = Children.begin(),
Devang Patel5f1b4cd2011-02-19 01:31:27 +0000661 E = Children.end(); I != E; ++I)
662 ScopeDIE->addChild(*I);
Devang Patel04d2f2d2009-11-24 01:14:22 +0000663
Eric Christophere3417762012-09-12 23:36:19 +0000664 if (DS.isSubprogram() && ObjectPointer != NULL)
665 TheCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer,
666 dwarf::DW_FORM_ref4, ObjectPointer);
667
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000668 if (DS.isSubprogram())
Eric Christopherd9843b32011-11-10 19:25:34 +0000669 TheCU->addPubTypes(DISubprogram(DS));
Jim Grosbacha8683bb2010-07-21 21:21:52 +0000670
Eric Christopherd9843b32011-11-10 19:25:34 +0000671 return ScopeDIE;
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000672}
673
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000674// Look up the source id with the given directory and source file names.
675// If none currently exists, create a new id and insert it in the
676// SourceIds map. This can update DirectoryNames and SourceFileNames maps
677// as well.
Eric Christopher7b30f2e42012-11-21 00:34:35 +0000678unsigned DwarfDebug::getOrCreateSourceID(StringRef FileName,
Manman Ren1e427202013-03-07 01:42:00 +0000679 StringRef DirName, unsigned CUID) {
680 // If we use .loc in assembly, we can't separate .file entries according to
681 // compile units. Thus all files will belong to the default compile unit.
682 if (Asm->TM.hasMCUseLoc() &&
683 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer)
684 CUID = 0;
685
Devang Patel871d0b12010-09-16 20:57:49 +0000686 // If FE did not provide a file name, then assume stdin.
687 if (FileName.empty())
Manman Ren1e427202013-03-07 01:42:00 +0000688 return getOrCreateSourceID("<stdin>", StringRef(), CUID);
Devang Patele01b75c2011-03-24 20:30:50 +0000689
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000690 // TODO: this might not belong here. See if we can factor this better.
691 if (DirName == CompilationDir)
692 DirName = "";
693
Manman Ren1e427202013-03-07 01:42:00 +0000694 // FileIDCUMap stores the current ID for the given compile unit.
695 unsigned SrcId = FileIDCUMap[CUID] + 1;
Devang Patel871d0b12010-09-16 20:57:49 +0000696
Manman Ren1e427202013-03-07 01:42:00 +0000697 // We look up the CUID/file/dir by concatenating them with a zero byte.
Benjamin Kramer71b19732012-03-11 14:56:26 +0000698 SmallString<128> NamePair;
Manman Ren5b22f9f2013-04-06 01:02:38 +0000699 NamePair += utostr(CUID);
Manman Ren1e427202013-03-07 01:42:00 +0000700 NamePair += '\0';
Benjamin Kramer71b19732012-03-11 14:56:26 +0000701 NamePair += DirName;
702 NamePair += '\0'; // Zero bytes are not allowed in paths.
703 NamePair += FileName;
704
705 StringMapEntry<unsigned> &Ent = SourceIdMap.GetOrCreateValue(NamePair, SrcId);
706 if (Ent.getValue() != SrcId)
707 return Ent.getValue();
Bill Wendling2b128d72009-05-20 23:19:06 +0000708
Manman Ren1e427202013-03-07 01:42:00 +0000709 FileIDCUMap[CUID] = SrcId;
Rafael Espindola67c6ab82010-11-18 02:04:25 +0000710 // Print out a .file directive to specify files for .loc directives.
Manman Ren1e427202013-03-07 01:42:00 +0000711 Asm->OutStreamer.EmitDwarfFileDirective(SrcId, DirName, FileName, CUID);
Bill Wendling2b128d72009-05-20 23:19:06 +0000712
713 return SrcId;
714}
715
Eric Christopher48fef592012-12-20 21:58:40 +0000716// Create new CompileUnit for the given metadata node with tag
717// DW_TAG_compile_unit.
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000718CompileUnit *DwarfDebug::constructCompileUnit(const MDNode *N) {
Devang Patel80ae3492009-08-28 23:24:31 +0000719 DICompileUnit DIUnit(N);
Devang Patel2d9caf92009-11-25 17:36:49 +0000720 StringRef FN = DIUnit.getFilename();
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000721 CompilationDir = DIUnit.getDirectory();
Bill Wendling2b128d72009-05-20 23:19:06 +0000722
723 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Eric Christopherbfceb2f2013-08-26 23:50:38 +0000724 CompileUnit *NewCU =
725 new CompileUnit(GlobalCUIndexCount++, Die, N, Asm, this, &InfoHolder);
Manman Ren1e427202013-03-07 01:42:00 +0000726
727 FileIDCUMap[NewCU->getUniqueID()] = 0;
728 // Call this to emit a .file directive if it wasn't emitted for the source
729 // file this CU comes from yet.
730 getOrCreateSourceID(FN, CompilationDir, NewCU->getUniqueID());
731
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000732 NewCU->addString(Die, dwarf::DW_AT_producer, DIUnit.getProducer());
Devang Patelf20c4f72011-04-12 22:53:02 +0000733 NewCU->addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data2,
734 DIUnit.getLanguage());
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000735 NewCU->addString(Die, dwarf::DW_AT_name, FN);
Eric Christopher52ce7182013-04-09 19:23:15 +0000736
Eric Christopherb1b94512012-08-01 18:19:01 +0000737 // 2.17.1 requires that we use DW_AT_low_pc for a single entry point
Eric Christopher52ce7182013-04-09 19:23:15 +0000738 // into an entity. We're using 0 (or a NULL label) for this. For
739 // split dwarf it's in the skeleton CU so omit it here.
740 if (!useSplitDwarf())
741 NewCU->addLabelAddress(Die, dwarf::DW_AT_low_pc, NULL);
Manman Ren4e042a62013-02-05 21:52:47 +0000742
743 // Define start line table label for each Compile Unit.
744 MCSymbol *LineTableStartSym = Asm->GetTempSymbol("line_table_start",
745 NewCU->getUniqueID());
746 Asm->OutStreamer.getContext().setMCLineTableSymbol(LineTableStartSym,
747 NewCU->getUniqueID());
748
Manman Ren9d4c7352013-05-21 00:57:22 +0000749 // Use a single line table if we are using .loc and generating assembly.
750 bool UseTheFirstCU =
751 (Asm->TM.hasMCUseLoc() &&
752 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer) ||
753 (NewCU->getUniqueID() == 0);
754
Devang Pateld22ed622010-03-22 23:11:36 +0000755 // DW_AT_stmt_list is a offset of line number information for this
Eric Christopher52ce7182013-04-09 19:23:15 +0000756 // compile unit in debug_line section. For split dwarf this is
757 // left in the skeleton CU and so not included.
Manman Rend2c95eb2013-02-09 00:41:44 +0000758 // The line table entries are not always emitted in assembly, so it
759 // is not okay to use line_table_start here.
Eric Christopher52ce7182013-04-09 19:23:15 +0000760 if (!useSplitDwarf()) {
761 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Carlo Kokbac096a2013-08-13 17:46:57 +0000762 NewCU->addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset,
Manman Ren9d4c7352013-05-21 00:57:22 +0000763 UseTheFirstCU ?
Eric Christopher52ce7182013-04-09 19:23:15 +0000764 Asm->GetTempSymbol("section_line") : LineTableStartSym);
Manman Ren9d4c7352013-05-21 00:57:22 +0000765 else if (UseTheFirstCU)
Eric Christopher52ce7182013-04-09 19:23:15 +0000766 NewCU->addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 0);
767 else
768 NewCU->addDelta(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4,
769 LineTableStartSym, DwarfLineSectionSym);
770 }
Bill Wendling2b128d72009-05-20 23:19:06 +0000771
Eric Christopher52ce7182013-04-09 19:23:15 +0000772 // If we're using split dwarf the compilation dir is going to be in the
773 // skeleton CU and so we don't need to duplicate it here.
774 if (!useSplitDwarf() && !CompilationDir.empty())
Nick Lewyckyd1ee7f82011-11-02 20:55:33 +0000775 NewCU->addString(Die, dwarf::DW_AT_comp_dir, CompilationDir);
Eric Christopherdd1a0122013-09-13 00:35:05 +0000776
777 // Flag to let the linker know we have emitted new style pubnames. Only
778 // emit it here if we don't have a skeleton CU for split dwarf.
779 if (!useSplitDwarf() && GenerateGnuPubSections)
780 NewCU->addFlag(Die, dwarf::DW_AT_GNU_pubnames);
781
Bill Wendling2b128d72009-05-20 23:19:06 +0000782 if (DIUnit.isOptimized())
Eric Christopherbb69a272012-08-24 01:14:27 +0000783 NewCU->addFlag(Die, dwarf::DW_AT_APPLE_optimized);
Bill Wendling2b128d72009-05-20 23:19:06 +0000784
Devang Patel2d9caf92009-11-25 17:36:49 +0000785 StringRef Flags = DIUnit.getFlags();
786 if (!Flags.empty())
Nick Lewyckyd59c0ca2011-10-27 06:44:11 +0000787 NewCU->addString(Die, dwarf::DW_AT_APPLE_flags, Flags);
Eric Christopher6a841382012-11-19 22:42:10 +0000788
Nick Lewycky479a8fe2011-10-17 23:27:36 +0000789 if (unsigned RVer = DIUnit.getRunTimeVersion())
Devang Patelf20c4f72011-04-12 22:53:02 +0000790 NewCU->addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers,
Bill Wendling2b128d72009-05-20 23:19:06 +0000791 dwarf::DW_FORM_data1, RVer);
792
Devang Patel1a0df9a2010-05-10 22:49:55 +0000793 if (!FirstCU)
794 FirstCU = NewCU;
Eric Christopher7a2cdf72013-02-05 07:31:55 +0000795
Eric Christopherc8a310e2012-12-10 23:34:43 +0000796 InfoHolder.addUnit(NewCU);
797
Devang Patel1a0df9a2010-05-10 22:49:55 +0000798 CUMap.insert(std::make_pair(N, NewCU));
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000799 return NewCU;
Devang Patel1a0df9a2010-05-10 22:49:55 +0000800}
801
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000802// Construct subprogram DIE.
Eric Christopher6a841382012-11-19 22:42:10 +0000803void DwarfDebug::constructSubprogramDIE(CompileUnit *TheCU,
Devang Patel1f4f98d2011-08-15 23:36:40 +0000804 const MDNode *N) {
Rafael Espindola6cf4e832011-11-04 19:00:29 +0000805 CompileUnit *&CURef = SPMap[N];
806 if (CURef)
807 return;
808 CURef = TheCU;
809
Devang Patel80ae3492009-08-28 23:24:31 +0000810 DISubprogram SP(N);
Bill Wendling2b128d72009-05-20 23:19:06 +0000811 if (!SP.isDefinition())
812 // This is a method declaration which will be handled while constructing
813 // class type.
Devang Patel0751a282009-06-26 01:49:18 +0000814 return;
Bill Wendling2b128d72009-05-20 23:19:06 +0000815
Devang Patel89543712011-08-15 17:24:54 +0000816 DIE *SubprogramDie = TheCU->getOrCreateSubprogramDIE(SP);
Stuart Hastings4bd3dd92010-04-06 21:38:29 +0000817
818 // Add to map.
Devang Patel1a0df9a2010-05-10 22:49:55 +0000819 TheCU->insertDIE(N, SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +0000820
821 // Add to context owner.
Devang Patelf20c4f72011-04-12 22:53:02 +0000822 TheCU->addToContextOwner(SubprogramDie, SP.getContext());
Devang Patel512001a2009-12-08 23:21:45 +0000823
Eric Christopherba506db2013-09-09 20:03:20 +0000824 // Expose as a global name.
825 TheCU->addGlobalName(SP.getName(), SubprogramDie);
Bill Wendling2b128d72009-05-20 23:19:06 +0000826}
827
David Blaikie1fd43652013-05-07 21:35:53 +0000828void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU,
David Blaikief55abea2013-04-22 06:12:31 +0000829 const MDNode *N) {
David Blaikie1fd43652013-05-07 21:35:53 +0000830 DIImportedEntity Module(N);
David Blaikief55abea2013-04-22 06:12:31 +0000831 if (!Module.Verify())
832 return;
David Blaikie684fc532013-05-06 23:33:07 +0000833 if (DIE *D = TheCU->getOrCreateContextDIE(Module.getContext()))
David Blaikie4dd2de72013-05-08 06:01:38 +0000834 constructImportedEntityDIE(TheCU, Module, D);
David Blaikie684fc532013-05-06 23:33:07 +0000835}
836
David Blaikie4dd2de72013-05-08 06:01:38 +0000837void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU, const MDNode *N,
David Blaikie684fc532013-05-06 23:33:07 +0000838 DIE *Context) {
David Blaikie1fd43652013-05-07 21:35:53 +0000839 DIImportedEntity Module(N);
David Blaikie684fc532013-05-06 23:33:07 +0000840 if (!Module.Verify())
841 return;
David Blaikie4dd2de72013-05-08 06:01:38 +0000842 return constructImportedEntityDIE(TheCU, Module, Context);
David Blaikie684fc532013-05-06 23:33:07 +0000843}
844
David Blaikie4dd2de72013-05-08 06:01:38 +0000845void DwarfDebug::constructImportedEntityDIE(CompileUnit *TheCU,
David Blaikie1fd43652013-05-07 21:35:53 +0000846 const DIImportedEntity &Module,
David Blaikie684fc532013-05-06 23:33:07 +0000847 DIE *Context) {
848 assert(Module.Verify() &&
849 "Use one of the MDNode * overloads to handle invalid metadata");
850 assert(Context && "Should always have a context for an imported_module");
David Blaikie1fd43652013-05-07 21:35:53 +0000851 DIE *IMDie = new DIE(Module.getTag());
David Blaikief55abea2013-04-22 06:12:31 +0000852 TheCU->insertDIE(Module, IMDie);
David Blaikie1fd43652013-05-07 21:35:53 +0000853 DIE *EntityDie;
854 DIDescriptor Entity = Module.getEntity();
855 if (Entity.isNameSpace())
856 EntityDie = TheCU->getOrCreateNameSpace(DINameSpace(Entity));
857 else if (Entity.isSubprogram())
858 EntityDie = TheCU->getOrCreateSubprogramDIE(DISubprogram(Entity));
David Blaikie3b6038b2013-05-08 06:01:41 +0000859 else if (Entity.isType())
860 EntityDie = TheCU->getOrCreateTypeDIE(DIType(Entity));
David Blaikie1fd43652013-05-07 21:35:53 +0000861 else
David Blaikie3b6038b2013-05-08 06:01:41 +0000862 EntityDie = TheCU->getDIE(Entity);
David Blaikief55abea2013-04-22 06:12:31 +0000863 unsigned FileID = getOrCreateSourceID(Module.getContext().getFilename(),
864 Module.getContext().getDirectory(),
865 TheCU->getUniqueID());
866 TheCU->addUInt(IMDie, dwarf::DW_AT_decl_file, 0, FileID);
867 TheCU->addUInt(IMDie, dwarf::DW_AT_decl_line, 0, Module.getLineNumber());
Eric Christopher5fdd68e2013-06-24 23:20:02 +0000868 TheCU->addDIEEntry(IMDie, dwarf::DW_AT_import, dwarf::DW_FORM_ref4,
869 EntityDie);
David Blaikiee63d5d12013-05-20 22:50:35 +0000870 StringRef Name = Module.getName();
871 if (!Name.empty())
872 TheCU->addString(IMDie, dwarf::DW_AT_name, Name);
David Blaikie684fc532013-05-06 23:33:07 +0000873 Context->addChild(IMDie);
David Blaikief55abea2013-04-22 06:12:31 +0000874}
875
Eric Christopheracdcbdb2012-11-27 22:43:45 +0000876// Emit all Dwarf sections that should come prior to the content. Create
877// global DIEs and emit initial debug info sections. This is invoked by
878// the target AsmPrinter.
Eric Christopher58f41952012-11-19 22:42:15 +0000879void DwarfDebug::beginModule() {
Devang Patel6c74a872010-04-27 19:46:33 +0000880 if (DisableDebugInfoPrinting)
881 return;
882
Eric Christopher58f41952012-11-19 22:42:15 +0000883 const Module *M = MMI->getModule();
884
Nick Lewycky019d2552011-07-29 03:49:23 +0000885 // If module has named metadata anchors then use them, otherwise scan the
886 // module using debug info finder to collect debug info.
Devang Patele02e5852011-05-03 16:45:22 +0000887 NamedMDNode *CU_Nodes = M->getNamedMetadata("llvm.dbg.cu");
David Blaikiedc69ebb2013-03-11 23:39:23 +0000888 if (!CU_Nodes)
Devang Patel07bb9ee2011-08-15 23:47:24 +0000889 return;
Manman Ren60352032013-09-05 18:48:31 +0000890 TypeIdentifierMap = generateDITypeIdentifierMap(CU_Nodes);
Devang Patele02e5852011-05-03 16:45:22 +0000891
David Blaikiedc69ebb2013-03-11 23:39:23 +0000892 // Emit initial sections so we can reference labels later.
893 emitSectionLabels();
894
895 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
896 DICompileUnit CUNode(CU_Nodes->getOperand(i));
897 CompileUnit *CU = constructCompileUnit(CUNode);
David Blaikie1fd43652013-05-07 21:35:53 +0000898 DIArray ImportedEntities = CUNode.getImportedEntities();
899 for (unsigned i = 0, e = ImportedEntities.getNumElements(); i != e; ++i)
David Blaikie684fc532013-05-06 23:33:07 +0000900 ScopesWithImportedEntities.push_back(std::make_pair(
David Blaikie1fd43652013-05-07 21:35:53 +0000901 DIImportedEntity(ImportedEntities.getElement(i)).getContext(),
902 ImportedEntities.getElement(i)));
David Blaikie684fc532013-05-06 23:33:07 +0000903 std::sort(ScopesWithImportedEntities.begin(),
Benjamin Kramerb12cf012013-08-24 12:54:27 +0000904 ScopesWithImportedEntities.end(), less_first());
David Blaikiedc69ebb2013-03-11 23:39:23 +0000905 DIArray GVs = CUNode.getGlobalVariables();
906 for (unsigned i = 0, e = GVs.getNumElements(); i != e; ++i)
907 CU->createGlobalVariableDIE(GVs.getElement(i));
908 DIArray SPs = CUNode.getSubprograms();
909 for (unsigned i = 0, e = SPs.getNumElements(); i != e; ++i)
910 constructSubprogramDIE(CU, SPs.getElement(i));
911 DIArray EnumTypes = CUNode.getEnumTypes();
912 for (unsigned i = 0, e = EnumTypes.getNumElements(); i != e; ++i)
913 CU->getOrCreateTypeDIE(EnumTypes.getElement(i));
914 DIArray RetainedTypes = CUNode.getRetainedTypes();
915 for (unsigned i = 0, e = RetainedTypes.getNumElements(); i != e; ++i)
916 CU->getOrCreateTypeDIE(RetainedTypes.getElement(i));
David Blaikief55abea2013-04-22 06:12:31 +0000917 // Emit imported_modules last so that the relevant context is already
918 // available.
David Blaikie1fd43652013-05-07 21:35:53 +0000919 for (unsigned i = 0, e = ImportedEntities.getNumElements(); i != e; ++i)
920 constructImportedEntityDIE(CU, ImportedEntities.getElement(i));
David Blaikiedc69ebb2013-03-11 23:39:23 +0000921 }
Eric Christopher6a841382012-11-19 22:42:10 +0000922
Chris Lattner7cfa70e2010-04-05 02:19:28 +0000923 // Tell MMI that we have debug info.
924 MMI->setDebugInfoAvailability(true);
Eric Christopher6a841382012-11-19 22:42:10 +0000925
Bill Wendling2b128d72009-05-20 23:19:06 +0000926 // Prime section data.
Richard Mitton21101b32013-09-19 23:21:01 +0000927 SectionMap[Asm->getObjFileLowering().getTextSection()];
Bill Wendling2b128d72009-05-20 23:19:06 +0000928}
929
Eric Christopher960ac372012-11-22 00:59:49 +0000930// Attach DW_AT_inline attribute with inlined subprogram DIEs.
931void DwarfDebug::computeInlinedDIEs() {
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000932 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
933 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(),
Eric Christopher735401c2012-11-27 00:13:51 +0000934 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) {
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000935 DIE *ISP = *AI;
Devang Patelf20c4f72011-04-12 22:53:02 +0000936 FirstCU->addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
Devang Patelf6eeaeb2009-11-10 23:06:00 +0000937 }
Rafael Espindolae7cc8bf2011-11-12 01:57:54 +0000938 for (DenseMap<const MDNode *, DIE *>::iterator AI = AbstractSPDies.begin(),
Eric Christopher735401c2012-11-27 00:13:51 +0000939 AE = AbstractSPDies.end(); AI != AE; ++AI) {
Rafael Espindolae7cc8bf2011-11-12 01:57:54 +0000940 DIE *ISP = AI->second;
941 if (InlinedSubprogramDIEs.count(ISP))
942 continue;
943 FirstCU->addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined);
944 }
Eric Christopher960ac372012-11-22 00:59:49 +0000945}
946
947// Collect info for variables that were optimized out.
948void DwarfDebug::collectDeadVariables() {
949 const Module *M = MMI->getModule();
950 DenseMap<const MDNode *, LexicalScope *> DeadFnScopeMap;
951
952 if (NamedMDNode *CU_Nodes = M->getNamedMetadata("llvm.dbg.cu")) {
953 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
954 DICompileUnit TheCU(CU_Nodes->getOperand(i));
955 DIArray Subprograms = TheCU.getSubprograms();
956 for (unsigned i = 0, e = Subprograms.getNumElements(); i != e; ++i) {
Eric Christopher735401c2012-11-27 00:13:51 +0000957 DISubprogram SP(Subprograms.getElement(i));
958 if (ProcessedSPNodes.count(SP) != 0) continue;
Manman Ren7504ed42013-07-08 18:33:29 +0000959 if (!SP.isSubprogram()) continue;
Eric Christopher735401c2012-11-27 00:13:51 +0000960 if (!SP.isDefinition()) continue;
961 DIArray Variables = SP.getVariables();
962 if (Variables.getNumElements() == 0) continue;
Eric Christopher960ac372012-11-22 00:59:49 +0000963
Eric Christopher735401c2012-11-27 00:13:51 +0000964 LexicalScope *Scope =
965 new LexicalScope(NULL, DIDescriptor(SP), NULL, false);
966 DeadFnScopeMap[SP] = Scope;
Eric Christopher960ac372012-11-22 00:59:49 +0000967
Eric Christopher735401c2012-11-27 00:13:51 +0000968 // Construct subprogram DIE and add variables DIEs.
969 CompileUnit *SPCU = CUMap.lookup(TheCU);
970 assert(SPCU && "Unable to find Compile Unit!");
971 constructSubprogramDIE(SPCU, SP);
972 DIE *ScopeDIE = SPCU->getDIE(SP);
973 for (unsigned vi = 0, ve = Variables.getNumElements(); vi != ve; ++vi) {
974 DIVariable DV(Variables.getElement(vi));
Manman Ren7504ed42013-07-08 18:33:29 +0000975 if (!DV.isVariable()) continue;
Chandler Carruth2a1c0d22013-07-27 11:09:58 +0000976 DbgVariable NewVar(DV, NULL);
Eric Christopher735401c2012-11-27 00:13:51 +0000977 if (DIE *VariableDIE =
Chandler Carruth2a1c0d22013-07-27 11:09:58 +0000978 SPCU->constructVariableDIE(&NewVar, Scope->isAbstractScope()))
Eric Christopher735401c2012-11-27 00:13:51 +0000979 ScopeDIE->addChild(VariableDIE);
980 }
Eric Christopher960ac372012-11-22 00:59:49 +0000981 }
982 }
983 }
984 DeleteContainerSeconds(DeadFnScopeMap);
985}
986
Eric Christopher45731982013-08-08 23:45:55 +0000987// Type Signature [7.27] and ODR Hash code.
Eric Christopher67646432013-07-26 17:02:41 +0000988
989/// \brief Grabs the string in whichever attribute is passed in and returns
Eric Christopher8552e222013-08-07 01:18:33 +0000990/// a reference to it. Returns "" if the attribute doesn't exist.
Eric Christopher67646432013-07-26 17:02:41 +0000991static StringRef getDIEStringAttr(DIE *Die, unsigned Attr) {
Eric Christopher8552e222013-08-07 01:18:33 +0000992 DIEValue *V = Die->findAttribute(Attr);
Eric Christopher67646432013-07-26 17:02:41 +0000993
Eric Christopher8552e222013-08-07 01:18:33 +0000994 if (DIEString *S = dyn_cast_or_null<DIEString>(V))
995 return S->getString();
996
Eric Christopher67646432013-07-26 17:02:41 +0000997 return StringRef("");
998}
999
Eric Christopher67646432013-07-26 17:02:41 +00001000/// Return true if the current DIE is contained within an anonymous namespace.
1001static bool isContainedInAnonNamespace(DIE *Die) {
1002 DIE *Parent = Die->getParent();
1003
1004 while (Parent) {
Eric Christophere414ece2013-07-29 23:53:08 +00001005 if (Parent->getTag() == dwarf::DW_TAG_namespace &&
1006 getDIEStringAttr(Parent, dwarf::DW_AT_name) == "")
Eric Christopher67646432013-07-26 17:02:41 +00001007 return true;
1008 Parent = Parent->getParent();
1009 }
1010
1011 return false;
1012}
1013
Eric Christopheraf15f8d2013-08-07 01:18:24 +00001014/// Test if the current CU language is C++ and that we have
1015/// a named type that is not contained in an anonymous namespace.
1016static bool shouldAddODRHash(CompileUnit *CU, DIE *Die) {
Eric Christopher341770d2013-08-07 08:35:10 +00001017 return CU->getLanguage() == dwarf::DW_LANG_C_plus_plus &&
1018 getDIEStringAttr(Die, dwarf::DW_AT_name) != "" &&
1019 !isContainedInAnonNamespace(Die);
Eric Christopher45731982013-08-08 23:45:55 +00001020}
Eric Christopheraf15f8d2013-08-07 01:18:24 +00001021
Eric Christopher960ac372012-11-22 00:59:49 +00001022void DwarfDebug::finalizeModuleInfo() {
1023 // Collect info for variables that were optimized out.
1024 collectDeadVariables();
1025
1026 // Attach DW_AT_inline attribute with inlined subprogram DIEs.
1027 computeInlinedDIEs();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001028
Eric Christopherf8542ec2013-07-29 22:24:32 +00001029 // Split out type units and conditionally add an ODR tag to the split
1030 // out type.
Eric Christopher67646432013-07-26 17:02:41 +00001031 // FIXME: Do type splitting.
1032 for (unsigned i = 0, e = TypeUnits.size(); i != e; ++i) {
Eric Christopher67646432013-07-26 17:02:41 +00001033 DIE *Die = TypeUnits[i];
Eric Christopher45731982013-08-08 23:45:55 +00001034 DIEHash Hash;
Eric Christopheraf15f8d2013-08-07 01:18:24 +00001035 // If we've requested ODR hashes and it's applicable for an ODR hash then
1036 // add the ODR signature now.
Eric Christopher45731982013-08-08 23:45:55 +00001037 // FIXME: This should be added onto the type unit, not the type, but this
1038 // works as an intermediate stage.
Eric Christopheraf15f8d2013-08-07 01:18:24 +00001039 if (GenerateODRHash && shouldAddODRHash(CUMap.begin()->second, Die))
Eric Christopher45731982013-08-08 23:45:55 +00001040 CUMap.begin()->second->addUInt(Die, dwarf::DW_AT_GNU_odr_signature,
1041 dwarf::DW_FORM_data8,
1042 Hash.computeDIEODRSignature(Die));
Eric Christopher67646432013-07-26 17:02:41 +00001043 }
1044
Eric Christopher60eb7692013-08-12 20:27:48 +00001045 // Handle anything that needs to be done on a per-cu basis.
1046 for (DenseMap<const MDNode *, CompileUnit *>::iterator CUI = CUMap.begin(),
1047 CUE = CUMap.end();
1048 CUI != CUE; ++CUI) {
1049 CompileUnit *TheCU = CUI->second;
1050 // Emit DW_AT_containing_type attribute to connect types with their
1051 // vtable holding type.
1052 TheCU->constructContainingTypeDIEs();
1053
1054 // If we're splitting the dwarf out now that we've got the entire
1055 // CU then construct a skeleton CU based upon it.
1056 if (useSplitDwarf()) {
Eric Christopherd29614f2013-08-13 01:21:55 +00001057 uint64_t ID = 0;
1058 if (GenerateCUHash) {
1059 DIEHash CUHash;
1060 ID = CUHash.computeCUSignature(TheCU->getCUDie());
1061 }
Eric Christopher60eb7692013-08-12 20:27:48 +00001062 // This should be a unique identifier when we want to build .dwp files.
1063 TheCU->addUInt(TheCU->getCUDie(), dwarf::DW_AT_GNU_dwo_id,
Eric Christopherd29614f2013-08-13 01:21:55 +00001064 dwarf::DW_FORM_data8, ID);
Eric Christopher60eb7692013-08-12 20:27:48 +00001065 // Now construct the skeleton CU associated.
Eric Christopher6fdf3242013-08-26 23:50:43 +00001066 CompileUnit *SkCU = constructSkeletonCU(TheCU);
Eric Christopher60eb7692013-08-12 20:27:48 +00001067 // This should be a unique identifier when we want to build .dwp files.
1068 SkCU->addUInt(SkCU->getCUDie(), dwarf::DW_AT_GNU_dwo_id,
Eric Christopherd29614f2013-08-13 01:21:55 +00001069 dwarf::DW_FORM_data8, ID);
Eric Christopher60eb7692013-08-12 20:27:48 +00001070 }
1071 }
1072
1073 // Compute DIE offsets and sizes.
Eric Christopherc8a310e2012-12-10 23:34:43 +00001074 InfoHolder.computeSizeAndOffsets();
1075 if (useSplitDwarf())
1076 SkeletonHolder.computeSizeAndOffsets();
Eric Christopher960ac372012-11-22 00:59:49 +00001077}
1078
1079void DwarfDebug::endSections() {
Richard Mitton21101b32013-09-19 23:21:01 +00001080 // Filter labels by section.
1081 for (size_t n = 0; n < Labels.size(); n++) {
1082 const SymbolCU &SCU = Labels[n];
1083 if (SCU.Sym->isInSection()) {
1084 // Make a note of this symbol and it's section.
1085 const MCSection *Section = &SCU.Sym->getSection();
1086 if (!Section->getKind().isMetadata())
1087 SectionMap[Section].push_back(SCU);
1088 } else {
1089 // Some symbols (e.g. common/bss on mach-o) can have no section but still
1090 // appear in the output. This sucks as we rely on sections to build
1091 // arange spans. We can do it without, but it's icky.
1092 SectionMap[NULL].push_back(SCU);
1093 }
1094 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001095
Richard Mitton21101b32013-09-19 23:21:01 +00001096 // Add terminating symbols for each section.
1097 for (SectionMapType::iterator it = SectionMap.begin(); it != SectionMap.end();
1098 it++) {
1099 const MCSection *Section = it->first;
1100 MCSymbol *Sym = NULL;
1101
1102 if (Section) {
1103 Sym = Asm->GetTempSymbol(Section->getLabelEndName());
1104 Asm->OutStreamer.SwitchSection(Section);
1105 Asm->OutStreamer.EmitLabel(Sym);
1106 }
1107
1108 // Insert a final terminator.
1109 SymbolCU Entry;
1110 Entry.CU = NULL;
1111 Entry.Sym = Sym;
1112 SectionMap[Section].push_back(Entry);
Bill Wendling2b128d72009-05-20 23:19:06 +00001113 }
Eric Christopher960ac372012-11-22 00:59:49 +00001114}
Bill Wendling2b128d72009-05-20 23:19:06 +00001115
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001116// Emit all Dwarf sections that should come after the content.
Eric Christopher960ac372012-11-22 00:59:49 +00001117void DwarfDebug::endModule() {
1118
1119 if (!FirstCU) return;
1120
1121 // End any existing sections.
1122 // TODO: Does this need to happen?
1123 endSections();
1124
1125 // Finalize the debug info for the module.
1126 finalizeModuleInfo();
Bill Wendling2b128d72009-05-20 23:19:06 +00001127
Eric Christophercdf218d2012-12-10 19:51:21 +00001128 if (!useSplitDwarf()) {
Eric Christopher95198f502012-11-27 22:43:42 +00001129 // Emit all the DIEs into a debug info section.
1130 emitDebugInfo();
Eric Christopher4c9b1192012-11-27 00:41:54 +00001131
Eric Christopher95198f502012-11-27 22:43:42 +00001132 // Corresponding abbreviations into a abbrev section.
1133 emitAbbreviations();
1134
1135 // Emit info into a debug loc section.
1136 emitDebugLoc();
1137
1138 // Emit info into a debug aranges section.
1139 emitDebugARanges();
1140
1141 // Emit info into a debug ranges section.
1142 emitDebugRanges();
1143
1144 // Emit info into a debug macinfo section.
1145 emitDebugMacInfo();
1146
Eric Christopher95198f502012-11-27 22:43:42 +00001147 } else {
Eric Christopherd692c1d2012-12-11 19:42:09 +00001148 // TODO: Fill this in for separated debug sections and separate
Eric Christopher95198f502012-11-27 22:43:42 +00001149 // out information into new sections.
1150
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001151 // Emit the debug info section and compile units.
Eric Christopher95198f502012-11-27 22:43:42 +00001152 emitDebugInfo();
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001153 emitDebugInfoDWO();
Eric Christopher95198f502012-11-27 22:43:42 +00001154
1155 // Corresponding abbreviations into a abbrev section.
1156 emitAbbreviations();
Eric Christopher3c5a1912012-12-19 22:02:53 +00001157 emitDebugAbbrevDWO();
Eric Christopher95198f502012-11-27 22:43:42 +00001158
1159 // Emit info into a debug loc section.
1160 emitDebugLoc();
1161
1162 // Emit info into a debug aranges section.
1163 emitDebugARanges();
1164
1165 // Emit info into a debug ranges section.
1166 emitDebugRanges();
1167
1168 // Emit info into a debug macinfo section.
1169 emitDebugMacInfo();
1170
Eric Christopher962c9082013-01-15 23:56:56 +00001171 // Emit DWO addresses.
1172 InfoHolder.emitAddresses(Asm->getObjFileLowering().getDwarfAddrSection());
1173
Eric Christopher95198f502012-11-27 22:43:42 +00001174 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001175
Eric Christophera876b822012-08-23 07:32:06 +00001176 // Emit info into the dwarf accelerator table sections.
Eric Christopher20b76a72012-08-23 22:36:40 +00001177 if (useDwarfAccelTables()) {
Eric Christopher4996c702011-11-07 09:24:32 +00001178 emitAccelNames();
1179 emitAccelObjC();
1180 emitAccelNamespaces();
1181 emitAccelTypes();
1182 }
Eric Christopher6a841382012-11-19 22:42:10 +00001183
Eric Christopher4b358182013-08-30 00:40:17 +00001184 // Emit the pubnames and pubtypes sections if requested.
1185 if (HasDwarfPubSections) {
David Blaikie70a33202013-09-19 17:33:35 +00001186 emitDebugPubNames(GenerateGnuPubSections);
1187 emitDebugPubTypes(GenerateGnuPubSections);
Eric Christopher4b358182013-08-30 00:40:17 +00001188 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00001189
Eric Christopher95198f502012-11-27 22:43:42 +00001190 // Finally emit string information into a string table.
Eric Christopher6e20a162012-11-27 06:49:23 +00001191 emitDebugStr();
Eric Christopher3bf29fd2012-12-27 02:14:01 +00001192 if (useSplitDwarf())
1193 emitDebugStrDWO();
Eric Christopher6e20a162012-11-27 06:49:23 +00001194
Devang Pateld0701282010-08-02 17:32:15 +00001195 // clean up.
Devang Pateleb1bb4e2011-08-16 22:09:43 +00001196 SPMap.clear();
Devang Patel1a0df9a2010-05-10 22:49:55 +00001197 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
1198 E = CUMap.end(); I != E; ++I)
1199 delete I->second;
Eric Christopher8afd7b62012-12-10 19:51:18 +00001200
Craig Topperd8e43652013-07-03 04:17:25 +00001201 for (SmallVectorImpl<CompileUnit *>::iterator I = SkeletonCUs.begin(),
Eric Christopher5b33b3c2013-02-06 21:53:56 +00001202 E = SkeletonCUs.end(); I != E; ++I)
1203 delete *I;
Eric Christopher8afd7b62012-12-10 19:51:18 +00001204
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001205 // Reset these for the next Module if we have one.
1206 FirstCU = NULL;
Bill Wendling2b128d72009-05-20 23:19:06 +00001207}
1208
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001209// Find abstract variable, if any, associated with Var.
Devang Patelbb23a4a2011-08-10 21:50:54 +00001210DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &DV,
Chris Lattner915c5f92010-04-02 19:42:39 +00001211 DebugLoc ScopeLoc) {
Devang Patelbb23a4a2011-08-10 21:50:54 +00001212 LLVMContext &Ctx = DV->getContext();
1213 // More then one inlined variable corresponds to one abstract variable.
1214 DIVariable Var = cleanseInlinedVariable(DV, Ctx);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001215 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var);
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001216 if (AbsDbgVariable)
1217 return AbsDbgVariable;
1218
Devang Patel7e623022011-08-10 20:55:27 +00001219 LexicalScope *Scope = LScopes.findAbstractScope(ScopeLoc.getScope(Ctx));
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001220 if (!Scope)
1221 return NULL;
1222
Devang Patel99819b52011-08-15 19:01:20 +00001223 AbsDbgVariable = new DbgVariable(Var, NULL);
Devang Patel7e623022011-08-10 20:55:27 +00001224 addScopeVariable(Scope, AbsDbgVariable);
Devang Patelcfa8e9d2010-05-07 18:11:54 +00001225 AbstractVariables[Var] = AbsDbgVariable;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001226 return AbsDbgVariable;
1227}
1228
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001229// If Var is a current function argument then add it to CurrentFnArguments list.
Devang Patel6c622ef2011-03-01 22:58:55 +00001230bool DwarfDebug::addCurrentFnArgument(const MachineFunction *MF,
Devang Patel7e623022011-08-10 20:55:27 +00001231 DbgVariable *Var, LexicalScope *Scope) {
1232 if (!LScopes.isCurrentFunctionScope(Scope))
Devang Patel6c622ef2011-03-01 22:58:55 +00001233 return false;
1234 DIVariable DV = Var->getVariable();
1235 if (DV.getTag() != dwarf::DW_TAG_arg_variable)
1236 return false;
1237 unsigned ArgNo = DV.getArgNumber();
Eric Christopher6a841382012-11-19 22:42:10 +00001238 if (ArgNo == 0)
Devang Patel6c622ef2011-03-01 22:58:55 +00001239 return false;
1240
Devang Patel4ab660b2011-03-03 20:02:02 +00001241 size_t Size = CurrentFnArguments.size();
1242 if (Size == 0)
Devang Patel6c622ef2011-03-01 22:58:55 +00001243 CurrentFnArguments.resize(MF->getFunction()->arg_size());
Devang Patel63b3e762011-03-03 21:49:41 +00001244 // llvm::Function argument size is not good indicator of how many
Devang Patel34a7ab42011-03-03 20:08:10 +00001245 // arguments does the function have at source level.
1246 if (ArgNo > Size)
Devang Patel4ab660b2011-03-03 20:02:02 +00001247 CurrentFnArguments.resize(ArgNo * 2);
Devang Patel6c622ef2011-03-01 22:58:55 +00001248 CurrentFnArguments[ArgNo - 1] = Var;
1249 return true;
1250}
1251
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001252// Collect variable information from side table maintained by MMI.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001253void
Nick Lewycky019d2552011-07-29 03:49:23 +00001254DwarfDebug::collectVariableInfoFromMMITable(const MachineFunction *MF,
Devang Patel490c8ab2010-05-20 19:57:06 +00001255 SmallPtrSet<const MDNode *, 16> &Processed) {
Devang Patel475d32a2009-10-06 01:26:37 +00001256 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo();
1257 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(),
1258 VE = VMap.end(); VI != VE; ++VI) {
Devang Patel32cc43c2010-05-07 20:54:48 +00001259 const MDNode *Var = VI->first;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001260 if (!Var) continue;
Devang Patele0a94bf2010-05-14 21:01:35 +00001261 Processed.insert(Var);
Chris Lattner915c5f92010-04-02 19:42:39 +00001262 DIVariable DV(Var);
1263 const std::pair<unsigned, DebugLoc> &VP = VI->second;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001264
Devang Patel7e623022011-08-10 20:55:27 +00001265 LexicalScope *Scope = LScopes.findLexicalScope(VP.second);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001266
Devang Patelcdb7d442009-11-10 23:20:04 +00001267 // If variable scope is not found then skip this variable.
Chris Lattner915c5f92010-04-02 19:42:39 +00001268 if (Scope == 0)
Devang Patelcdb7d442009-11-10 23:20:04 +00001269 continue;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001270
Devang Patele1c53f22010-05-20 16:36:41 +00001271 DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.second);
Devang Patel99819b52011-08-15 19:01:20 +00001272 DbgVariable *RegVar = new DbgVariable(DV, AbsDbgVariable);
Devang Patel3e4a9652011-08-15 21:24:36 +00001273 RegVar->setFrameIndex(VP.first);
Devang Patel6c622ef2011-03-01 22:58:55 +00001274 if (!addCurrentFnArgument(MF, RegVar, Scope))
Devang Patel7e623022011-08-10 20:55:27 +00001275 addScopeVariable(Scope, RegVar);
Devang Patel99819b52011-08-15 19:01:20 +00001276 if (AbsDbgVariable)
Devang Patel3e4a9652011-08-15 21:24:36 +00001277 AbsDbgVariable->setFrameIndex(VP.first);
Devang Patel475d32a2009-10-06 01:26:37 +00001278 }
Devang Patel490c8ab2010-05-20 19:57:06 +00001279}
Devang Patela3e9c9c2010-03-15 18:33:46 +00001280
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001281// Return true if debug value, encoded by DBG_VALUE instruction, is in a
1282// defined reg.
Devang Patel9fc11702010-05-25 23:40:22 +00001283static bool isDbgValueInDefinedReg(const MachineInstr *MI) {
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001284 assert(MI->isDebugValue() && "Invalid DBG_VALUE machine instruction!");
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001285 return MI->getNumOperands() == 3 &&
1286 MI->getOperand(0).isReg() && MI->getOperand(0).getReg() &&
Adrian Prantl418d1d12013-07-09 20:28:37 +00001287 (MI->getOperand(1).isImm() ||
1288 (MI->getOperand(1).isReg() && MI->getOperand(1).getReg() == 0U));
Devang Patel9fc11702010-05-25 23:40:22 +00001289}
1290
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001291// Get .debug_loc entry for the instruction range starting at MI.
Eric Christopher6a841382012-11-19 22:42:10 +00001292static DotDebugLocEntry getDebugLocEntry(AsmPrinter *Asm,
1293 const MCSymbol *FLabel,
Devang Patel2442a892011-07-08 17:09:57 +00001294 const MCSymbol *SLabel,
1295 const MachineInstr *MI) {
1296 const MDNode *Var = MI->getOperand(MI->getNumOperands() - 1).getMetadata();
1297
David Blaikie0252265b2013-06-16 20:34:15 +00001298 assert(MI->getNumOperands() == 3);
Adrian Prantl418d1d12013-07-09 20:28:37 +00001299 if (MI->getOperand(0).isReg()) {
Devang Patel2442a892011-07-08 17:09:57 +00001300 MachineLocation MLoc;
Adrian Prantl418d1d12013-07-09 20:28:37 +00001301 // If the second operand is an immediate, this is a
1302 // register-indirect address.
1303 if (!MI->getOperand(1).isImm())
Adrian Prantld4c0dd42013-04-26 21:57:17 +00001304 MLoc.set(MI->getOperand(0).getReg());
1305 else
1306 MLoc.set(MI->getOperand(0).getReg(), MI->getOperand(1).getImm());
Devang Patel2442a892011-07-08 17:09:57 +00001307 return DotDebugLocEntry(FLabel, SLabel, MLoc, Var);
1308 }
1309 if (MI->getOperand(0).isImm())
1310 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getImm());
1311 if (MI->getOperand(0).isFPImm())
1312 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getFPImm());
1313 if (MI->getOperand(0).isCImm())
1314 return DotDebugLocEntry(FLabel, SLabel, MI->getOperand(0).getCImm());
1315
Craig Topperee4dab52012-02-05 08:31:47 +00001316 llvm_unreachable("Unexpected 3 operand DBG_VALUE instruction!");
Devang Patel2442a892011-07-08 17:09:57 +00001317}
1318
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001319// Find variables for each lexical scope.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001320void
Devang Patel5c0f85c2010-06-25 22:07:34 +00001321DwarfDebug::collectVariableInfo(const MachineFunction *MF,
1322 SmallPtrSet<const MDNode *, 16> &Processed) {
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001323
Eric Christopher270a12c2013-07-03 21:37:03 +00001324 // Grab the variable info that was squirreled away in the MMI side-table.
Devang Patel490c8ab2010-05-20 19:57:06 +00001325 collectVariableInfoFromMMITable(MF, Processed);
1326
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001327 for (SmallVectorImpl<const MDNode*>::const_iterator
1328 UVI = UserVariables.begin(), UVE = UserVariables.end(); UVI != UVE;
1329 ++UVI) {
1330 const MDNode *Var = *UVI;
1331 if (Processed.count(Var))
Devang Patel490c8ab2010-05-20 19:57:06 +00001332 continue;
1333
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001334 // History contains relevant DBG_VALUE instructions for Var and instructions
1335 // clobbering it.
1336 SmallVectorImpl<const MachineInstr*> &History = DbgValues[Var];
1337 if (History.empty())
1338 continue;
1339 const MachineInstr *MInsn = History.front();
Devang Patel9fc11702010-05-25 23:40:22 +00001340
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001341 DIVariable DV(Var);
Devang Patel7e623022011-08-10 20:55:27 +00001342 LexicalScope *Scope = NULL;
Devang Patel7a9dedf2010-05-27 20:25:04 +00001343 if (DV.getTag() == dwarf::DW_TAG_arg_variable &&
1344 DISubprogram(DV.getContext()).describes(MF->getFunction()))
Devang Patel7e623022011-08-10 20:55:27 +00001345 Scope = LScopes.getCurrentFunctionScope();
David Blaikiedc69ebb2013-03-11 23:39:23 +00001346 else if (MDNode *IA = DV.getInlinedAt())
1347 Scope = LScopes.findInlinedScope(DebugLoc::getFromDILocation(IA));
1348 else
1349 Scope = LScopes.findLexicalScope(cast<MDNode>(DV->getOperand(1)));
Devang Patel490c8ab2010-05-20 19:57:06 +00001350 // If variable scope is not found then skip this variable.
Devang Patelfbd6c452010-05-21 00:10:20 +00001351 if (!Scope)
Devang Patel490c8ab2010-05-20 19:57:06 +00001352 continue;
1353
1354 Processed.insert(DV);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001355 assert(MInsn->isDebugValue() && "History must begin with debug value");
Devang Patel99819b52011-08-15 19:01:20 +00001356 DbgVariable *AbsVar = findAbstractVariable(DV, MInsn->getDebugLoc());
1357 DbgVariable *RegVar = new DbgVariable(DV, AbsVar);
Devang Patel6c622ef2011-03-01 22:58:55 +00001358 if (!addCurrentFnArgument(MF, RegVar, Scope))
Devang Patel7e623022011-08-10 20:55:27 +00001359 addScopeVariable(Scope, RegVar);
Devang Patel99819b52011-08-15 19:01:20 +00001360 if (AbsVar)
Devang Patel3e4a9652011-08-15 21:24:36 +00001361 AbsVar->setMInsn(MInsn);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001362
Eric Christophercc10d202012-10-08 20:48:54 +00001363 // Simplify ranges that are fully coalesced.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001364 if (History.size() <= 1 || (History.size() == 2 &&
1365 MInsn->isIdenticalTo(History.back()))) {
Devang Patel3e4a9652011-08-15 21:24:36 +00001366 RegVar->setMInsn(MInsn);
Devang Patel9fc11702010-05-25 23:40:22 +00001367 continue;
1368 }
1369
Eric Christopher59cc0712013-01-28 17:33:26 +00001370 // Handle multiple DBG_VALUE instructions describing one variable.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001371 RegVar->setDotDebugLocOffset(DotDebugLocEntries.size());
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001372
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001373 for (SmallVectorImpl<const MachineInstr*>::const_iterator
1374 HI = History.begin(), HE = History.end(); HI != HE; ++HI) {
1375 const MachineInstr *Begin = *HI;
1376 assert(Begin->isDebugValue() && "Invalid History entry");
Jakob Stoklund Olesen9c057ee2011-03-22 00:21:41 +00001377
Devang Patele7181b52011-06-01 23:00:17 +00001378 // Check if DBG_VALUE is truncating a range.
1379 if (Begin->getNumOperands() > 1 && Begin->getOperand(0).isReg()
1380 && !Begin->getOperand(0).getReg())
1381 continue;
1382
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001383 // Compute the range for a register location.
1384 const MCSymbol *FLabel = getLabelBeforeInsn(Begin);
1385 const MCSymbol *SLabel = 0;
1386
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001387 if (HI + 1 == HE)
1388 // If Begin is the last instruction in History then its value is valid
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001389 // until the end of the function.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001390 SLabel = FunctionEndSym;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001391 else {
1392 const MachineInstr *End = HI[1];
Eric Christopher6a841382012-11-19 22:42:10 +00001393 DEBUG(dbgs() << "DotDebugLoc Pair:\n"
Devang Patel53b050a2011-07-07 21:44:42 +00001394 << "\t" << *Begin << "\t" << *End << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001395 if (End->isDebugValue())
1396 SLabel = getLabelBeforeInsn(End);
1397 else {
1398 // End is a normal instruction clobbering the range.
1399 SLabel = getLabelAfterInsn(End);
1400 assert(SLabel && "Forgot label after clobber instruction");
1401 ++HI;
1402 }
1403 }
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001404
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001405 // The value is valid until the next DBG_VALUE or clobber.
Eric Christopher365d0832011-12-16 23:42:31 +00001406 DotDebugLocEntries.push_back(getDebugLocEntry(Asm, FLabel, SLabel,
1407 Begin));
Devang Patel9fc11702010-05-25 23:40:22 +00001408 }
1409 DotDebugLocEntries.push_back(DotDebugLocEntry());
Devang Patela3e9c9c2010-03-15 18:33:46 +00001410 }
Devang Patele0a94bf2010-05-14 21:01:35 +00001411
1412 // Collect info for variables that were optimized out.
Devang Patel59e27c52011-08-19 23:28:12 +00001413 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
1414 DIArray Variables = DISubprogram(FnScope->getScopeNode()).getVariables();
1415 for (unsigned i = 0, e = Variables.getNumElements(); i != e; ++i) {
1416 DIVariable DV(Variables.getElement(i));
Manman Ren7504ed42013-07-08 18:33:29 +00001417 if (!DV || !DV.isVariable() || !Processed.insert(DV))
Devang Patel59e27c52011-08-19 23:28:12 +00001418 continue;
1419 if (LexicalScope *Scope = LScopes.findLexicalScope(DV.getContext()))
1420 addScopeVariable(Scope, new DbgVariable(DV, NULL));
Devang Patele0a94bf2010-05-14 21:01:35 +00001421 }
Devang Patel9fc11702010-05-25 23:40:22 +00001422}
Devang Patele0a94bf2010-05-14 21:01:35 +00001423
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001424// Return Label preceding the instruction.
Eric Christopher962c9082013-01-15 23:56:56 +00001425MCSymbol *DwarfDebug::getLabelBeforeInsn(const MachineInstr *MI) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001426 MCSymbol *Label = LabelsBeforeInsn.lookup(MI);
1427 assert(Label && "Didn't insert label before instruction");
1428 return Label;
Devang Patel9fc11702010-05-25 23:40:22 +00001429}
1430
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001431// Return Label immediately following the instruction.
Eric Christopher962c9082013-01-15 23:56:56 +00001432MCSymbol *DwarfDebug::getLabelAfterInsn(const MachineInstr *MI) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001433 return LabelsAfterInsn.lookup(MI);
Devang Patel475d32a2009-10-06 01:26:37 +00001434}
1435
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001436// Process beginning of an instruction.
Devang Patelb5694e72010-10-26 17:49:02 +00001437void DwarfDebug::beginInstruction(const MachineInstr *MI) {
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001438 // Check if source location changes, but ignore DBG_VALUE locations.
1439 if (!MI->isDebugValue()) {
1440 DebugLoc DL = MI->getDebugLoc();
1441 if (DL != PrevInstLoc && (!DL.isUnknown() || UnknownLocations)) {
Eric Christopheraec8a822012-04-05 20:39:05 +00001442 unsigned Flags = 0;
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001443 PrevInstLoc = DL;
Devang Patel34a66202011-05-11 19:22:19 +00001444 if (DL == PrologEndLoc) {
1445 Flags |= DWARF2_FLAG_PROLOGUE_END;
1446 PrologEndLoc = DebugLoc();
1447 }
Eric Christopheraec8a822012-04-05 20:39:05 +00001448 if (PrologEndLoc.isUnknown())
1449 Flags |= DWARF2_FLAG_IS_STMT;
1450
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001451 if (!DL.isUnknown()) {
1452 const MDNode *Scope = DL.getScope(Asm->MF->getFunction()->getContext());
Devang Patel34a66202011-05-11 19:22:19 +00001453 recordSourceLine(DL.getLine(), DL.getCol(), Scope, Flags);
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001454 } else
Devang Patel34a66202011-05-11 19:22:19 +00001455 recordSourceLine(0, 0, 0, 0);
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001456 }
Devang Patel9fc11702010-05-25 23:40:22 +00001457 }
Devang Patel23b2ae62010-03-29 22:59:58 +00001458
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001459 // Insert labels where requested.
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001460 DenseMap<const MachineInstr*, MCSymbol*>::iterator I =
1461 LabelsBeforeInsn.find(MI);
1462
1463 // No label needed.
1464 if (I == LabelsBeforeInsn.end())
1465 return;
1466
1467 // Label already assigned.
1468 if (I->second)
Devang Patel002d54d2010-05-26 19:37:24 +00001469 return;
Devang Patelbd477be2010-03-29 17:20:31 +00001470
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001471 if (!PrevLabel) {
Devang Patelacc32a52010-05-26 21:23:46 +00001472 PrevLabel = MMI->getContext().CreateTempSymbol();
1473 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patel002d54d2010-05-26 19:37:24 +00001474 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001475 I->second = PrevLabel;
Devang Patel8db360d2009-10-06 01:50:42 +00001476}
1477
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001478// Process end of an instruction.
Devang Patelb5694e72010-10-26 17:49:02 +00001479void DwarfDebug::endInstruction(const MachineInstr *MI) {
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001480 // Don't create a new label after DBG_VALUE instructions.
1481 // They don't generate code.
1482 if (!MI->isDebugValue())
1483 PrevLabel = 0;
1484
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001485 DenseMap<const MachineInstr*, MCSymbol*>::iterator I =
1486 LabelsAfterInsn.find(MI);
1487
1488 // No label needed.
1489 if (I == LabelsAfterInsn.end())
1490 return;
1491
1492 // Label already assigned.
1493 if (I->second)
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001494 return;
1495
1496 // We need a label after this instruction.
1497 if (!PrevLabel) {
1498 PrevLabel = MMI->getContext().CreateTempSymbol();
1499 Asm->OutStreamer.EmitLabel(PrevLabel);
Devang Patel3ebd8932010-04-08 16:50:29 +00001500 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001501 I->second = PrevLabel;
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001502}
1503
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001504// Each LexicalScope has first instruction and last instruction to mark
1505// beginning and end of a scope respectively. Create an inverse map that list
1506// scopes starts (and ends) with an instruction. One instruction may start (or
1507// end) multiple scopes. Ignore scopes that are not reachable.
Devang Patel359b0132010-04-08 18:43:56 +00001508void DwarfDebug::identifyScopeMarkers() {
Devang Patel7e623022011-08-10 20:55:27 +00001509 SmallVector<LexicalScope *, 4> WorkList;
1510 WorkList.push_back(LScopes.getCurrentFunctionScope());
Devang Patel7771b7c2010-01-20 02:05:23 +00001511 while (!WorkList.empty()) {
Devang Patel7e623022011-08-10 20:55:27 +00001512 LexicalScope *S = WorkList.pop_back_val();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001513
Craig Topper977e9cd2013-07-03 04:24:43 +00001514 const SmallVectorImpl<LexicalScope *> &Children = S->getChildren();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001515 if (!Children.empty())
Craig Topperd8e43652013-07-03 04:17:25 +00001516 for (SmallVectorImpl<LexicalScope *>::const_iterator SI = Children.begin(),
Devang Patel7771b7c2010-01-20 02:05:23 +00001517 SE = Children.end(); SI != SE; ++SI)
1518 WorkList.push_back(*SI);
1519
Devang Patelf6eeaeb2009-11-10 23:06:00 +00001520 if (S->isAbstractScope())
1521 continue;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001522
Craig Topper977e9cd2013-07-03 04:24:43 +00001523 const SmallVectorImpl<InsnRange> &Ranges = S->getRanges();
Devang Patel6c74a872010-04-27 19:46:33 +00001524 if (Ranges.empty())
1525 continue;
Craig Topperd8e43652013-07-03 04:17:25 +00001526 for (SmallVectorImpl<InsnRange>::const_iterator RI = Ranges.begin(),
Devang Patel6c74a872010-04-27 19:46:33 +00001527 RE = Ranges.end(); RI != RE; ++RI) {
Devang Patel7e623022011-08-10 20:55:27 +00001528 assert(RI->first && "InsnRange does not have first instruction!");
1529 assert(RI->second && "InsnRange does not have second instruction!");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001530 requestLabelBeforeInsn(RI->first);
1531 requestLabelAfterInsn(RI->second);
Devang Patel6c74a872010-04-27 19:46:33 +00001532 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001533 }
Devang Patel75cc16c2009-10-01 20:31:14 +00001534}
1535
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001536// Get MDNode for DebugLoc's scope.
Devang Patel589845d2011-05-09 22:14:49 +00001537static MDNode *getScopeNode(DebugLoc DL, const LLVMContext &Ctx) {
1538 if (MDNode *InlinedAt = DL.getInlinedAt(Ctx))
1539 return getScopeNode(DebugLoc::getFromDILocation(InlinedAt), Ctx);
1540 return DL.getScope(Ctx);
1541}
1542
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001543// Walk up the scope chain of given debug loc and find line number info
1544// for the function.
Devang Patel34a66202011-05-11 19:22:19 +00001545static DebugLoc getFnDebugLoc(DebugLoc DL, const LLVMContext &Ctx) {
1546 const MDNode *Scope = getScopeNode(DL, Ctx);
1547 DISubprogram SP = getDISubprogram(Scope);
Manman Ren7504ed42013-07-08 18:33:29 +00001548 if (SP.isSubprogram()) {
Eric Christopher34164192012-04-03 00:43:49 +00001549 // Check for number of operands since the compatibility is
1550 // cheap here.
Eric Christopherb81e2b42012-04-03 17:55:42 +00001551 if (SP->getNumOperands() > 19)
Eric Christopher34164192012-04-03 00:43:49 +00001552 return DebugLoc::get(SP.getScopeLineNumber(), 0, SP);
1553 else
1554 return DebugLoc::get(SP.getLineNumber(), 0, SP);
1555 }
1556
Devang Patel34a66202011-05-11 19:22:19 +00001557 return DebugLoc();
1558}
1559
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001560// Gather pre-function debug information. Assumes being called immediately
1561// after the function entry point has been emitted.
Chris Lattner76555b52010-01-26 23:18:02 +00001562void DwarfDebug::beginFunction(const MachineFunction *MF) {
Chris Lattner196dbdc2010-04-05 03:52:55 +00001563 if (!MMI->hasDebugInfo()) return;
Devang Patel7e623022011-08-10 20:55:27 +00001564 LScopes.initialize(*MF);
1565 if (LScopes.empty()) return;
1566 identifyScopeMarkers();
Devang Patel4598eb62009-10-06 18:37:31 +00001567
Manman Ren4e042a62013-02-05 21:52:47 +00001568 // Set DwarfCompileUnitID in MCContext to the Compile Unit this function
1569 // belongs to.
1570 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
1571 CompileUnit *TheCU = SPMap.lookup(FnScope->getScopeNode());
1572 assert(TheCU && "Unable to find compile unit!");
Manman Ren9d4c7352013-05-21 00:57:22 +00001573 if (Asm->TM.hasMCUseLoc() &&
1574 Asm->OutStreamer.getKind() == MCStreamer::SK_AsmStreamer)
1575 // Use a single line table if we are using .loc and generating assembly.
1576 Asm->OutStreamer.getContext().setDwarfCompileUnitID(0);
1577 else
1578 Asm->OutStreamer.getContext().setDwarfCompileUnitID(TheCU->getUniqueID());
Manman Ren4e042a62013-02-05 21:52:47 +00001579
Devang Patel6c74a872010-04-27 19:46:33 +00001580 FunctionBeginSym = Asm->GetTempSymbol("func_begin",
1581 Asm->getFunctionNumber());
Bill Wendling2b128d72009-05-20 23:19:06 +00001582 // Assumes in correct section after the entry point.
Devang Patel6c74a872010-04-27 19:46:33 +00001583 Asm->OutStreamer.EmitLabel(FunctionBeginSym);
Bill Wendling2b128d72009-05-20 23:19:06 +00001584
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001585 assert(UserVariables.empty() && DbgValues.empty() && "Maps weren't cleaned");
1586
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001587 const TargetRegisterInfo *TRI = Asm->TM.getRegisterInfo();
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001588 // LiveUserVar - Map physreg numbers to the MDNode they contain.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001589 std::vector<const MDNode*> LiveUserVar(TRI->getNumRegs());
1590
Devang Patel002d54d2010-05-26 19:37:24 +00001591 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001592 I != E; ++I) {
1593 bool AtBlockEntry = true;
Devang Patel002d54d2010-05-26 19:37:24 +00001594 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
1595 II != IE; ++II) {
1596 const MachineInstr *MI = II;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001597
Devang Patel002d54d2010-05-26 19:37:24 +00001598 if (MI->isDebugValue()) {
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001599 assert(MI->getNumOperands() > 1 && "Invalid machine instruction!");
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001600
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001601 // Keep track of user variables.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001602 const MDNode *Var =
1603 MI->getOperand(MI->getNumOperands() - 1).getMetadata();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001604
1605 // Variable is in a register, we need to check for clobbers.
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001606 if (isDbgValueInDefinedReg(MI))
1607 LiveUserVar[MI->getOperand(0).getReg()] = Var;
1608
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001609 // Check the history of this variable.
1610 SmallVectorImpl<const MachineInstr*> &History = DbgValues[Var];
1611 if (History.empty()) {
1612 UserVariables.push_back(Var);
1613 // The first mention of a function argument gets the FunctionBeginSym
1614 // label, so arguments are visible when breaking at function entry.
1615 DIVariable DV(Var);
Manman Ren7504ed42013-07-08 18:33:29 +00001616 if (DV.isVariable() && DV.getTag() == dwarf::DW_TAG_arg_variable &&
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001617 DISubprogram(getDISubprogram(DV.getContext()))
1618 .describes(MF->getFunction()))
1619 LabelsBeforeInsn[MI] = FunctionBeginSym;
1620 } else {
1621 // We have seen this variable before. Try to coalesce DBG_VALUEs.
1622 const MachineInstr *Prev = History.back();
1623 if (Prev->isDebugValue()) {
1624 // Coalesce identical entries at the end of History.
1625 if (History.size() >= 2 &&
Devang Patelb7a328e2011-07-07 00:14:27 +00001626 Prev->isIdenticalTo(History[History.size() - 2])) {
Eric Christopher85a495e2012-10-08 20:48:49 +00001627 DEBUG(dbgs() << "Coalescing identical DBG_VALUE entries:\n"
Eric Christopher6a841382012-11-19 22:42:10 +00001628 << "\t" << *Prev
Devang Patelb7a328e2011-07-07 00:14:27 +00001629 << "\t" << *History[History.size() - 2] << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001630 History.pop_back();
Devang Patelb7a328e2011-07-07 00:14:27 +00001631 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001632
1633 // Terminate old register assignments that don't reach MI;
1634 MachineFunction::const_iterator PrevMBB = Prev->getParent();
1635 if (PrevMBB != I && (!AtBlockEntry || llvm::next(PrevMBB) != I) &&
1636 isDbgValueInDefinedReg(Prev)) {
1637 // Previous register assignment needs to terminate at the end of
1638 // its basic block.
1639 MachineBasicBlock::const_iterator LastMI =
1640 PrevMBB->getLastNonDebugInstr();
Devang Patelb7a328e2011-07-07 00:14:27 +00001641 if (LastMI == PrevMBB->end()) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001642 // Drop DBG_VALUE for empty range.
Eric Christopher85a495e2012-10-08 20:48:49 +00001643 DEBUG(dbgs() << "Dropping DBG_VALUE for empty range:\n"
Devang Patelb7a328e2011-07-07 00:14:27 +00001644 << "\t" << *Prev << "\n");
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001645 History.pop_back();
David Blaikieea2605d2013-06-20 00:25:24 +00001646 } else if (llvm::next(PrevMBB) != PrevMBB->getParent()->end())
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001647 // Terminate after LastMI.
1648 History.push_back(LastMI);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001649 }
1650 }
1651 }
1652 History.push_back(MI);
Devang Patel002d54d2010-05-26 19:37:24 +00001653 } else {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001654 // Not a DBG_VALUE instruction.
1655 if (!MI->isLabel())
1656 AtBlockEntry = false;
1657
Eric Christopher133195782012-10-04 20:46:14 +00001658 // First known non-DBG_VALUE and non-frame setup location marks
1659 // the beginning of the function body.
1660 if (!MI->getFlag(MachineInstr::FrameSetup) &&
1661 (PrologEndLoc.isUnknown() && !MI->getDebugLoc().isUnknown()))
Devang Patel34a66202011-05-11 19:22:19 +00001662 PrologEndLoc = MI->getDebugLoc();
1663
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001664 // Check if the instruction clobbers any registers with debug vars.
1665 for (MachineInstr::const_mop_iterator MOI = MI->operands_begin(),
1666 MOE = MI->operands_end(); MOI != MOE; ++MOI) {
1667 if (!MOI->isReg() || !MOI->isDef() || !MOI->getReg())
1668 continue;
Jakob Stoklund Olesen54038d72012-06-01 23:28:30 +00001669 for (MCRegAliasIterator AI(MOI->getReg(), TRI, true);
1670 AI.isValid(); ++AI) {
1671 unsigned Reg = *AI;
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001672 const MDNode *Var = LiveUserVar[Reg];
1673 if (!Var)
1674 continue;
1675 // Reg is now clobbered.
1676 LiveUserVar[Reg] = 0;
1677
1678 // Was MD last defined by a DBG_VALUE referring to Reg?
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001679 DbgValueHistoryMap::iterator HistI = DbgValues.find(Var);
1680 if (HistI == DbgValues.end())
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001681 continue;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001682 SmallVectorImpl<const MachineInstr*> &History = HistI->second;
1683 if (History.empty())
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001684 continue;
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001685 const MachineInstr *Prev = History.back();
1686 // Sanity-check: Register assignments are terminated at the end of
1687 // their block.
1688 if (!Prev->isDebugValue() || Prev->getParent() != MI->getParent())
1689 continue;
1690 // Is the variable still in Reg?
1691 if (!isDbgValueInDefinedReg(Prev) ||
1692 Prev->getOperand(0).getReg() != Reg)
1693 continue;
1694 // Var is clobbered. Make sure the next instruction gets a label.
1695 History.push_back(MI);
Jakob Stoklund Olesenec0ac3c2011-03-22 22:33:08 +00001696 }
1697 }
Devang Patel002d54d2010-05-26 19:37:24 +00001698 }
Devang Patel002d54d2010-05-26 19:37:24 +00001699 }
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001700 }
1701
1702 for (DbgValueHistoryMap::iterator I = DbgValues.begin(), E = DbgValues.end();
1703 I != E; ++I) {
1704 SmallVectorImpl<const MachineInstr*> &History = I->second;
1705 if (History.empty())
1706 continue;
1707
1708 // Make sure the final register assignments are terminated.
1709 const MachineInstr *Prev = History.back();
1710 if (Prev->isDebugValue() && isDbgValueInDefinedReg(Prev)) {
1711 const MachineBasicBlock *PrevMBB = Prev->getParent();
Eric Christopher6a841382012-11-19 22:42:10 +00001712 MachineBasicBlock::const_iterator LastMI =
Devang Patel784077e2011-08-10 23:58:09 +00001713 PrevMBB->getLastNonDebugInstr();
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001714 if (LastMI == PrevMBB->end())
1715 // Drop DBG_VALUE for empty range.
1716 History.pop_back();
David Blaikieea2605d2013-06-20 00:25:24 +00001717 else if (PrevMBB != &PrevMBB->getParent()->back()) {
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001718 // Terminate after LastMI.
1719 History.push_back(LastMI);
1720 }
1721 }
1722 // Request labels for the full history.
1723 for (unsigned i = 0, e = History.size(); i != e; ++i) {
1724 const MachineInstr *MI = History[i];
1725 if (MI->isDebugValue())
1726 requestLabelBeforeInsn(MI);
1727 else
1728 requestLabelAfterInsn(MI);
1729 }
1730 }
Devang Patel002d54d2010-05-26 19:37:24 +00001731
Jakob Stoklund Olesen1886a4c2011-03-25 17:20:59 +00001732 PrevInstLoc = DebugLoc();
Devang Patel002d54d2010-05-26 19:37:24 +00001733 PrevLabel = FunctionBeginSym;
Devang Patel34a66202011-05-11 19:22:19 +00001734
1735 // Record beginning of function.
1736 if (!PrologEndLoc.isUnknown()) {
1737 DebugLoc FnStartDL = getFnDebugLoc(PrologEndLoc,
1738 MF->getFunction()->getContext());
1739 recordSourceLine(FnStartDL.getLine(), FnStartDL.getCol(),
1740 FnStartDL.getScope(MF->getFunction()->getContext()),
David Blaikie67cb31e2012-12-04 22:02:33 +00001741 // We'd like to list the prologue as "not statements" but GDB behaves
1742 // poorly if we do that. Revisit this with caution/GDB (7.5+) testing.
David Blaikie5a773bb2012-12-04 21:05:36 +00001743 DWARF2_FLAG_IS_STMT);
Devang Patel34a66202011-05-11 19:22:19 +00001744 }
Bill Wendling2b128d72009-05-20 23:19:06 +00001745}
1746
Devang Patel7e623022011-08-10 20:55:27 +00001747void DwarfDebug::addScopeVariable(LexicalScope *LS, DbgVariable *Var) {
David Blaikie6f1a8062013-06-05 05:39:59 +00001748 SmallVectorImpl<DbgVariable *> &Vars = ScopeVariables[LS];
1749 DIVariable DV = Var->getVariable();
David Blaikie36d5d2f2013-06-06 21:04:51 +00001750 // Variables with positive arg numbers are parameters.
1751 if (unsigned ArgNum = DV.getArgNumber()) {
1752 // Keep all parameters in order at the start of the variable list to ensure
1753 // function types are correct (no out-of-order parameters)
1754 //
1755 // This could be improved by only doing it for optimized builds (unoptimized
1756 // builds have the right order to begin with), searching from the back (this
1757 // would catch the unoptimized case quickly), or doing a binary search
1758 // rather than linear search.
1759 SmallVectorImpl<DbgVariable *>::iterator I = Vars.begin();
1760 while (I != Vars.end()) {
1761 unsigned CurNum = (*I)->getVariable().getArgNumber();
1762 // A local (non-parameter) variable has been found, insert immediately
1763 // before it.
1764 if (CurNum == 0)
1765 break;
1766 // A later indexed parameter has been found, insert immediately before it.
David Blaikieb272a752013-06-06 22:28:26 +00001767 if (CurNum > ArgNum)
David Blaikie36d5d2f2013-06-06 21:04:51 +00001768 break;
David Blaikieb272a752013-06-06 22:28:26 +00001769 ++I;
David Blaikie6f1a8062013-06-05 05:39:59 +00001770 }
David Blaikie36d5d2f2013-06-06 21:04:51 +00001771 Vars.insert(I, Var);
1772 return;
David Blaikie6f1a8062013-06-05 05:39:59 +00001773 }
1774
1775 Vars.push_back(Var);
Devang Patel7e623022011-08-10 20:55:27 +00001776}
1777
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001778// Gather and emit post-function debug information.
Chris Lattner76555b52010-01-26 23:18:02 +00001779void DwarfDebug::endFunction(const MachineFunction *MF) {
Devang Patel7e623022011-08-10 20:55:27 +00001780 if (!MMI->hasDebugInfo() || LScopes.empty()) return;
Devang Patel2904aa92009-11-12 19:02:56 +00001781
Devang Patel7e623022011-08-10 20:55:27 +00001782 // Define end label for subprogram.
1783 FunctionEndSym = Asm->GetTempSymbol("func_end",
1784 Asm->getFunctionNumber());
1785 // Assumes in correct section after the entry point.
1786 Asm->OutStreamer.EmitLabel(FunctionEndSym);
Manman Ren4e042a62013-02-05 21:52:47 +00001787 // Set DwarfCompileUnitID in MCContext to default value.
1788 Asm->OutStreamer.getContext().setDwarfCompileUnitID(0);
Eric Christopher6a841382012-11-19 22:42:10 +00001789
Devang Patel7e623022011-08-10 20:55:27 +00001790 SmallPtrSet<const MDNode *, 16> ProcessedVars;
1791 collectVariableInfo(MF, ProcessedVars);
Eric Christopher6a841382012-11-19 22:42:10 +00001792
Devang Patel3acc70e2011-08-15 22:04:40 +00001793 LexicalScope *FnScope = LScopes.getCurrentFunctionScope();
Devang Pateleb1bb4e2011-08-16 22:09:43 +00001794 CompileUnit *TheCU = SPMap.lookup(FnScope->getScopeNode());
Nick Lewycky654f5ce2011-10-26 22:55:33 +00001795 assert(TheCU && "Unable to find compile unit!");
Devang Patel3acc70e2011-08-15 22:04:40 +00001796
Devang Patel7e623022011-08-10 20:55:27 +00001797 // Construct abstract scopes.
Devang Patel44403472011-08-12 18:10:19 +00001798 ArrayRef<LexicalScope *> AList = LScopes.getAbstractScopesList();
1799 for (unsigned i = 0, e = AList.size(); i != e; ++i) {
1800 LexicalScope *AScope = AList[i];
1801 DISubprogram SP(AScope->getScopeNode());
Manman Ren7504ed42013-07-08 18:33:29 +00001802 if (SP.isSubprogram()) {
Devang Patel7e623022011-08-10 20:55:27 +00001803 // Collect info for variables that were optimized out.
Devang Patel59e27c52011-08-19 23:28:12 +00001804 DIArray Variables = SP.getVariables();
1805 for (unsigned i = 0, e = Variables.getNumElements(); i != e; ++i) {
1806 DIVariable DV(Variables.getElement(i));
Manman Ren7504ed42013-07-08 18:33:29 +00001807 if (!DV || !DV.isVariable() || !ProcessedVars.insert(DV))
Devang Patel59e27c52011-08-19 23:28:12 +00001808 continue;
Alexey Samsonov39602782012-07-06 08:45:08 +00001809 // Check that DbgVariable for DV wasn't created earlier, when
1810 // findAbstractVariable() was called for inlined instance of DV.
1811 LLVMContext &Ctx = DV->getContext();
1812 DIVariable CleanDV = cleanseInlinedVariable(DV, Ctx);
1813 if (AbstractVariables.lookup(CleanDV))
1814 continue;
Devang Patel59e27c52011-08-19 23:28:12 +00001815 if (LexicalScope *Scope = LScopes.findAbstractScope(DV.getContext()))
1816 addScopeVariable(Scope, new DbgVariable(DV, NULL));
Devang Patel5c0f85c2010-06-25 22:07:34 +00001817 }
1818 }
Devang Patel44403472011-08-12 18:10:19 +00001819 if (ProcessedSPNodes.count(AScope->getScopeNode()) == 0)
Manman Ren4213c392013-05-29 17:16:59 +00001820 constructScopeDIE(TheCU, AScope);
Bill Wendling2b128d72009-05-20 23:19:06 +00001821 }
Eric Christopher6a841382012-11-19 22:42:10 +00001822
Devang Patel3acc70e2011-08-15 22:04:40 +00001823 DIE *CurFnDIE = constructScopeDIE(TheCU, FnScope);
Eric Christopher6a841382012-11-19 22:42:10 +00001824
Nick Lewycky50f02cb2011-12-02 22:16:29 +00001825 if (!MF->getTarget().Options.DisableFramePointerElim(*MF))
Eric Christopherbb69a272012-08-24 01:14:27 +00001826 TheCU->addFlag(CurFnDIE, dwarf::DW_AT_APPLE_omit_frame_ptr);
Devang Patel3acc70e2011-08-15 22:04:40 +00001827
Bill Wendling2b128d72009-05-20 23:19:06 +00001828 // Clear debug info
Craig Topper2b4a2012013-07-03 04:40:27 +00001829 for (ScopeVariablesMap::iterator
Devang Patel7e623022011-08-10 20:55:27 +00001830 I = ScopeVariables.begin(), E = ScopeVariables.end(); I != E; ++I)
1831 DeleteContainerPointers(I->second);
1832 ScopeVariables.clear();
Devang Patelad45d912011-04-22 18:09:57 +00001833 DeleteContainerPointers(CurrentFnArguments);
Jakob Stoklund Olesen9a624fa2011-03-26 02:19:36 +00001834 UserVariables.clear();
1835 DbgValues.clear();
Jeffrey Yasskin35b4e4f2010-03-12 17:45:06 +00001836 AbstractVariables.clear();
Devang Patel6c74a872010-04-27 19:46:33 +00001837 LabelsBeforeInsn.clear();
1838 LabelsAfterInsn.clear();
Devang Patel12563b32010-04-16 23:33:45 +00001839 PrevLabel = NULL;
Bill Wendling2b128d72009-05-20 23:19:06 +00001840}
1841
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001842// Register a source line with debug info. Returns the unique label that was
1843// emitted and which provides correspondence to the source line list.
Devang Patel34a66202011-05-11 19:22:19 +00001844void DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, const MDNode *S,
1845 unsigned Flags) {
Devang Patel2d9caf92009-11-25 17:36:49 +00001846 StringRef Fn;
Devang Patele01b75c2011-03-24 20:30:50 +00001847 StringRef Dir;
Dan Gohman50849c62010-05-05 23:41:32 +00001848 unsigned Src = 1;
1849 if (S) {
1850 DIDescriptor Scope(S);
Devang Patel2089d162009-10-05 18:03:19 +00001851
Dan Gohman50849c62010-05-05 23:41:32 +00001852 if (Scope.isCompileUnit()) {
1853 DICompileUnit CU(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001854 Fn = CU.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001855 Dir = CU.getDirectory();
Devang Patelc4b69052010-10-28 17:30:52 +00001856 } else if (Scope.isFile()) {
1857 DIFile F(S);
Devang Patelc4b69052010-10-28 17:30:52 +00001858 Fn = F.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001859 Dir = F.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001860 } else if (Scope.isSubprogram()) {
1861 DISubprogram SP(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001862 Fn = SP.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001863 Dir = SP.getDirectory();
Eric Christopher6647b832011-10-11 22:59:11 +00001864 } else if (Scope.isLexicalBlockFile()) {
1865 DILexicalBlockFile DBF(S);
1866 Fn = DBF.getFilename();
1867 Dir = DBF.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001868 } else if (Scope.isLexicalBlock()) {
1869 DILexicalBlock DB(S);
Dan Gohman50849c62010-05-05 23:41:32 +00001870 Fn = DB.getFilename();
Devang Patele01b75c2011-03-24 20:30:50 +00001871 Dir = DB.getDirectory();
Dan Gohman50849c62010-05-05 23:41:32 +00001872 } else
Craig Topperee4dab52012-02-05 08:31:47 +00001873 llvm_unreachable("Unexpected scope info");
Dan Gohman50849c62010-05-05 23:41:32 +00001874
Manman Ren1e427202013-03-07 01:42:00 +00001875 Src = getOrCreateSourceID(Fn, Dir,
1876 Asm->OutStreamer.getContext().getDwarfCompileUnitID());
Dan Gohman50849c62010-05-05 23:41:32 +00001877 }
Nick Lewycky019d2552011-07-29 03:49:23 +00001878 Asm->OutStreamer.EmitDwarfLocDirective(Src, Line, Col, Flags, 0, 0, Fn);
Bill Wendling2b128d72009-05-20 23:19:06 +00001879}
1880
Bill Wendling806535f2009-05-20 23:22:40 +00001881//===----------------------------------------------------------------------===//
1882// Emit Methods
1883//===----------------------------------------------------------------------===//
1884
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001885// Compute the size and offset of a DIE.
Jim Grosbach00e9c612009-11-22 19:20:36 +00001886unsigned
Eric Christopherc8a310e2012-12-10 23:34:43 +00001887DwarfUnits::computeSizeAndOffset(DIE *Die, unsigned Offset) {
Bill Wendling480ff322009-05-20 23:21:38 +00001888 // Get the children.
1889 const std::vector<DIE *> &Children = Die->getChildren();
1890
Bill Wendling480ff322009-05-20 23:21:38 +00001891 // Record the abbreviation.
Devang Patel930143b2009-11-21 02:48:08 +00001892 assignAbbrevNumber(Die->getAbbrev());
Bill Wendling480ff322009-05-20 23:21:38 +00001893
1894 // Get the abbreviation for this DIE.
1895 unsigned AbbrevNumber = Die->getAbbrevNumber();
Eric Christopherc8a310e2012-12-10 23:34:43 +00001896 const DIEAbbrev *Abbrev = Abbreviations->at(AbbrevNumber - 1);
Bill Wendling480ff322009-05-20 23:21:38 +00001897
1898 // Set DIE offset
1899 Die->setOffset(Offset);
1900
1901 // Start the size with the size of abbreviation code.
Chris Lattner7b26fce2009-08-22 20:48:53 +00001902 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00001903
Eric Christopher4887c8f2013-03-29 23:34:06 +00001904 const SmallVectorImpl<DIEValue*> &Values = Die->getValues();
1905 const SmallVectorImpl<DIEAbbrevData> &AbbrevData = Abbrev->getData();
Bill Wendling480ff322009-05-20 23:21:38 +00001906
1907 // Size the DIE attribute values.
1908 for (unsigned i = 0, N = Values.size(); i < N; ++i)
1909 // Size attribute value.
Chris Lattner5a00dea2010-04-05 00:18:22 +00001910 Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm());
Bill Wendling480ff322009-05-20 23:21:38 +00001911
1912 // Size the DIE children if any.
1913 if (!Children.empty()) {
1914 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes &&
1915 "Children flag not set");
1916
1917 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Eric Christopher1f0cbb82012-11-20 22:14:13 +00001918 Offset = computeSizeAndOffset(Children[j], Offset);
Bill Wendling480ff322009-05-20 23:21:38 +00001919
1920 // End of children marker.
1921 Offset += sizeof(int8_t);
1922 }
1923
1924 Die->setSize(Offset - Die->getOffset());
1925 return Offset;
1926}
1927
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001928// Compute the size and offset of all the DIEs.
Eric Christopherc8a310e2012-12-10 23:34:43 +00001929void DwarfUnits::computeSizeAndOffsets() {
Manman Ren14a029d2013-03-12 18:27:15 +00001930 // Offset from the beginning of debug info section.
Eric Christopherd1c5a312013-05-30 00:43:35 +00001931 unsigned SecOffset = 0;
Eric Christopher4887c8f2013-03-29 23:34:06 +00001932 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(),
Eric Christopherc8a310e2012-12-10 23:34:43 +00001933 E = CUs.end(); I != E; ++I) {
Eric Christopherd1c5a312013-05-30 00:43:35 +00001934 (*I)->setDebugInfoOffset(SecOffset);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00001935 unsigned Offset =
1936 sizeof(int32_t) + // Length of Compilation Unit Info
1937 sizeof(int16_t) + // DWARF version number
1938 sizeof(int32_t) + // Offset Into Abbrev. Section
1939 sizeof(int8_t); // Pointer Size (in bytes)
1940
Manman Ren14a029d2013-03-12 18:27:15 +00001941 unsigned EndOffset = computeSizeAndOffset((*I)->getCUDie(), Offset);
Eric Christopherd1c5a312013-05-30 00:43:35 +00001942 SecOffset += EndOffset;
Devang Patel1a0df9a2010-05-10 22:49:55 +00001943 }
Bill Wendling480ff322009-05-20 23:21:38 +00001944}
1945
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001946// Emit initial Dwarf sections with a label at the start of each one.
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001947void DwarfDebug::emitSectionLabels() {
Chris Lattner4b7dadb2009-08-19 05:49:37 +00001948 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00001949
Bill Wendling480ff322009-05-20 23:21:38 +00001950 // Dwarf sections base addresses.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001951 DwarfInfoSectionSym =
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001952 emitSectionSym(Asm, TLOF.getDwarfInfoSection(), "section_info");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001953 DwarfAbbrevSectionSym =
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001954 emitSectionSym(Asm, TLOF.getDwarfAbbrevSection(), "section_abbrev");
Eric Christopher3c5a1912012-12-19 22:02:53 +00001955 if (useSplitDwarf())
1956 DwarfAbbrevDWOSectionSym =
1957 emitSectionSym(Asm, TLOF.getDwarfAbbrevDWOSection(),
1958 "section_abbrev_dwo");
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001959 emitSectionSym(Asm, TLOF.getDwarfARangesSection());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001960
Chris Lattner6629ca92010-04-04 22:59:04 +00001961 if (const MCSection *MacroInfo = TLOF.getDwarfMacroInfoSection())
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001962 emitSectionSym(Asm, MacroInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00001963
Eric Christopher74804332013-02-07 21:19:50 +00001964 DwarfLineSectionSym =
1965 emitSectionSym(Asm, TLOF.getDwarfLineSection(), "section_line");
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001966 emitSectionSym(Asm, TLOF.getDwarfLocSection());
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001967 if (HasDwarfPubSections) {
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00001968 emitSectionSym(Asm, TLOF.getDwarfPubNamesSection());
Eric Christopherbf1ea3c2013-08-26 23:24:31 +00001969 emitSectionSym(Asm, TLOF.getDwarfPubTypesSection());
Eric Christopherdd1a0122013-09-13 00:35:05 +00001970 } else if (GenerateGnuPubSections) {
1971 emitSectionSym(Asm, TLOF.getDwarfGnuPubNamesSection());
1972 emitSectionSym(Asm, TLOF.getDwarfGnuPubTypesSection());
Michael Gottesmanc89466f2013-09-04 04:39:38 +00001973 }
Eric Christopherdd1a0122013-09-13 00:35:05 +00001974
Jim Grosbacha8683bb2010-07-21 21:21:52 +00001975 DwarfStrSectionSym =
Eric Christopher3bf29fd2012-12-27 02:14:01 +00001976 emitSectionSym(Asm, TLOF.getDwarfStrSection(), "info_string");
Eric Christopher55863be2013-04-07 03:43:09 +00001977 if (useSplitDwarf()) {
Eric Christopher3bf29fd2012-12-27 02:14:01 +00001978 DwarfStrDWOSectionSym =
1979 emitSectionSym(Asm, TLOF.getDwarfStrDWOSection(), "skel_string");
Eric Christopher55863be2013-04-07 03:43:09 +00001980 DwarfAddrSectionSym =
1981 emitSectionSym(Asm, TLOF.getDwarfAddrSection(), "addr_sec");
1982 }
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001983 DwarfDebugRangeSectionSym = emitSectionSym(Asm, TLOF.getDwarfRangesSection(),
Devang Patel12563b32010-04-16 23:33:45 +00001984 "debug_range");
Bill Wendling480ff322009-05-20 23:21:38 +00001985
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001986 DwarfDebugLocSectionSym = emitSectionSym(Asm, TLOF.getDwarfLocSection(),
Devang Patel9fc11702010-05-25 23:40:22 +00001987 "section_debug_loc");
1988
Eric Christopher7b30f2e42012-11-21 00:34:35 +00001989 TextSectionSym = emitSectionSym(Asm, TLOF.getTextSection(), "text_begin");
1990 emitSectionSym(Asm, TLOF.getDataSection());
Bill Wendling480ff322009-05-20 23:21:38 +00001991}
1992
Eric Christopheracdcbdb2012-11-27 22:43:45 +00001993// Recursively emits a debug information entry.
Eric Christopher3c5a1912012-12-19 22:02:53 +00001994void DwarfDebug::emitDIE(DIE *Die, std::vector<DIEAbbrev *> *Abbrevs) {
Bill Wendling480ff322009-05-20 23:21:38 +00001995 // Get the abbreviation for this DIE.
1996 unsigned AbbrevNumber = Die->getAbbrevNumber();
Eric Christopher3c5a1912012-12-19 22:02:53 +00001997 const DIEAbbrev *Abbrev = Abbrevs->at(AbbrevNumber - 1);
Bill Wendling480ff322009-05-20 23:21:38 +00001998
Bill Wendling480ff322009-05-20 23:21:38 +00001999 // Emit the code (index) for the abbreviation.
Chris Lattner7bde8c02010-04-04 18:52:31 +00002000 if (Asm->isVerbose())
Chris Lattnerfa823552010-01-22 23:18:42 +00002001 Asm->OutStreamer.AddComment("Abbrev [" + Twine(AbbrevNumber) + "] 0x" +
2002 Twine::utohexstr(Die->getOffset()) + ":0x" +
2003 Twine::utohexstr(Die->getSize()) + " " +
2004 dwarf::TagString(Abbrev->getTag()));
Chris Lattner9efd1182010-04-04 19:09:29 +00002005 Asm->EmitULEB128(AbbrevNumber);
Bill Wendling480ff322009-05-20 23:21:38 +00002006
Eric Christopher4887c8f2013-03-29 23:34:06 +00002007 const SmallVectorImpl<DIEValue*> &Values = Die->getValues();
2008 const SmallVectorImpl<DIEAbbrevData> &AbbrevData = Abbrev->getData();
Bill Wendling480ff322009-05-20 23:21:38 +00002009
2010 // Emit the DIE attribute values.
2011 for (unsigned i = 0, N = Values.size(); i < N; ++i) {
2012 unsigned Attr = AbbrevData[i].getAttribute();
2013 unsigned Form = AbbrevData[i].getForm();
2014 assert(Form && "Too many attributes for DIE (check abbreviation)");
2015
Chris Lattner7bde8c02010-04-04 18:52:31 +00002016 if (Asm->isVerbose())
Chris Lattner5adf9872010-01-24 18:54:17 +00002017 Asm->OutStreamer.AddComment(dwarf::AttributeString(Attr));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002018
Bill Wendling480ff322009-05-20 23:21:38 +00002019 switch (Attr) {
Bill Wendling480ff322009-05-20 23:21:38 +00002020 case dwarf::DW_AT_abstract_origin: {
2021 DIEEntry *E = cast<DIEEntry>(Values[i]);
2022 DIE *Origin = E->getEntry();
Devang Patelf6eeaeb2009-11-10 23:06:00 +00002023 unsigned Addr = Origin->getOffset();
Manman Ren14a029d2013-03-12 18:27:15 +00002024 if (Form == dwarf::DW_FORM_ref_addr) {
2025 // For DW_FORM_ref_addr, output the offset from beginning of debug info
2026 // section. Origin->getOffset() returns the offset from start of the
2027 // compile unit.
2028 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
2029 Addr += Holder.getCUOffset(Origin->getCompileUnit());
2030 }
Manman Renac8062b2013-07-02 23:40:10 +00002031 Asm->OutStreamer.EmitIntValue(Addr,
2032 Form == dwarf::DW_FORM_ref_addr ? DIEEntry::getRefAddrSize(Asm) : 4);
Bill Wendling480ff322009-05-20 23:21:38 +00002033 break;
2034 }
Devang Patel12563b32010-04-16 23:33:45 +00002035 case dwarf::DW_AT_ranges: {
2036 // DW_AT_range Value encodes offset in debug_range section.
2037 DIEInteger *V = cast<DIEInteger>(Values[i]);
Devang Patelda3ef852010-09-02 16:43:44 +00002038
Nick Lewycky33da3362012-06-22 01:25:12 +00002039 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections()) {
Devang Patelda3ef852010-09-02 16:43:44 +00002040 Asm->EmitLabelPlusOffset(DwarfDebugRangeSectionSym,
2041 V->getValue(),
2042 4);
2043 } else {
2044 Asm->EmitLabelOffsetDifference(DwarfDebugRangeSectionSym,
2045 V->getValue(),
2046 DwarfDebugRangeSectionSym,
2047 4);
2048 }
Devang Patel12563b32010-04-16 23:33:45 +00002049 break;
2050 }
Devang Patel9fc11702010-05-25 23:40:22 +00002051 case dwarf::DW_AT_location: {
Nick Lewycky33da3362012-06-22 01:25:12 +00002052 if (DIELabel *L = dyn_cast<DIELabel>(Values[i])) {
2053 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Ulrich Weigand396ba8b2013-07-02 18:46:26 +00002054 Asm->EmitLabelReference(L->getValue(), 4);
Nick Lewycky33da3362012-06-22 01:25:12 +00002055 else
Ulrich Weigand396ba8b2013-07-02 18:46:26 +00002056 Asm->EmitLabelDifference(L->getValue(), DwarfDebugLocSectionSym, 4);
Nick Lewycky33da3362012-06-22 01:25:12 +00002057 } else {
Devang Patel9fc11702010-05-25 23:40:22 +00002058 Values[i]->EmitValue(Asm, Form);
Nick Lewycky33da3362012-06-22 01:25:12 +00002059 }
Devang Patel9fc11702010-05-25 23:40:22 +00002060 break;
2061 }
Devang Patela1bd5a12010-09-29 19:08:08 +00002062 case dwarf::DW_AT_accessibility: {
2063 if (Asm->isVerbose()) {
2064 DIEInteger *V = cast<DIEInteger>(Values[i]);
2065 Asm->OutStreamer.AddComment(dwarf::AccessibilityString(V->getValue()));
2066 }
2067 Values[i]->EmitValue(Asm, Form);
2068 break;
2069 }
Bill Wendling480ff322009-05-20 23:21:38 +00002070 default:
2071 // Emit an attribute using the defined form.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002072 Values[i]->EmitValue(Asm, Form);
Bill Wendling480ff322009-05-20 23:21:38 +00002073 break;
2074 }
Bill Wendling480ff322009-05-20 23:21:38 +00002075 }
2076
2077 // Emit the DIE children if any.
2078 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) {
2079 const std::vector<DIE *> &Children = Die->getChildren();
2080
2081 for (unsigned j = 0, M = Children.size(); j < M; ++j)
Eric Christopher3c5a1912012-12-19 22:02:53 +00002082 emitDIE(Children[j], Abbrevs);
Bill Wendling480ff322009-05-20 23:21:38 +00002083
Chris Lattner7bde8c02010-04-04 18:52:31 +00002084 if (Asm->isVerbose())
Chris Lattner566cae92010-03-09 23:52:58 +00002085 Asm->OutStreamer.AddComment("End Of Children Mark");
2086 Asm->EmitInt8(0);
Bill Wendling480ff322009-05-20 23:21:38 +00002087 }
2088}
2089
Eric Christophera2de8262012-12-15 00:04:07 +00002090// Emit the various dwarf units to the unit section USection with
2091// the abbreviations going into ASection.
2092void DwarfUnits::emitUnits(DwarfDebug *DD,
2093 const MCSection *USection,
2094 const MCSection *ASection,
2095 const MCSymbol *ASectionSym) {
2096 Asm->OutStreamer.SwitchSection(USection);
Eric Christopher4887c8f2013-03-29 23:34:06 +00002097 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(),
Eric Christophera2de8262012-12-15 00:04:07 +00002098 E = CUs.end(); I != E; ++I) {
2099 CompileUnit *TheCU = *I;
Devang Patel1a0df9a2010-05-10 22:49:55 +00002100 DIE *Die = TheCU->getCUDie();
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002101
Devang Patel1a0df9a2010-05-10 22:49:55 +00002102 // Emit the compile units header.
Eric Christophera2de8262012-12-15 00:04:07 +00002103 Asm->OutStreamer
2104 .EmitLabel(Asm->GetTempSymbol(USection->getLabelBeginName(),
2105 TheCU->getUniqueID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002106
Devang Patel1a0df9a2010-05-10 22:49:55 +00002107 // Emit size of content not including length itself
2108 unsigned ContentSize = Die->getSize() +
2109 sizeof(int16_t) + // DWARF version number
2110 sizeof(int32_t) + // Offset Into Abbrev. Section
Devang Patele141234942011-04-13 19:41:17 +00002111 sizeof(int8_t); // Pointer Size (in bytes)
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002112
Devang Patel1a0df9a2010-05-10 22:49:55 +00002113 Asm->OutStreamer.AddComment("Length of Compilation Unit Info");
2114 Asm->EmitInt32(ContentSize);
2115 Asm->OutStreamer.AddComment("DWARF version number");
Manman Renac8062b2013-07-02 23:40:10 +00002116 Asm->EmitInt16(DD->getDwarfVersion());
Devang Patel1a0df9a2010-05-10 22:49:55 +00002117 Asm->OutStreamer.AddComment("Offset Into Abbrev. Section");
Eric Christophera2de8262012-12-15 00:04:07 +00002118 Asm->EmitSectionOffset(Asm->GetTempSymbol(ASection->getLabelBeginName()),
2119 ASectionSym);
Devang Patel1a0df9a2010-05-10 22:49:55 +00002120 Asm->OutStreamer.AddComment("Address Size (in bytes)");
Chandler Carruth5da3f052012-11-01 09:14:31 +00002121 Asm->EmitInt8(Asm->getDataLayout().getPointerSize());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002122
Eric Christopher3c5a1912012-12-19 22:02:53 +00002123 DD->emitDIE(Die, Abbreviations);
Eric Christophera2de8262012-12-15 00:04:07 +00002124 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol(USection->getLabelEndName(),
Eli Benderskyb42d1462012-12-03 18:45:45 +00002125 TheCU->getUniqueID()));
Devang Patel1a0df9a2010-05-10 22:49:55 +00002126 }
Bill Wendling480ff322009-05-20 23:21:38 +00002127}
2128
Manman Ren14a029d2013-03-12 18:27:15 +00002129/// For a given compile unit DIE, returns offset from beginning of debug info.
2130unsigned DwarfUnits::getCUOffset(DIE *Die) {
Manman Ren11fec382013-03-13 18:41:27 +00002131 assert(Die->getTag() == dwarf::DW_TAG_compile_unit &&
2132 "Input DIE should be compile unit in getCUOffset.");
Eric Christopherd25f7fc2013-08-08 01:41:05 +00002133 for (SmallVectorImpl<CompileUnit *>::iterator I = CUs.begin(), E = CUs.end();
2134 I != E; ++I) {
Manman Ren14a029d2013-03-12 18:27:15 +00002135 CompileUnit *TheCU = *I;
2136 if (TheCU->getCUDie() == Die)
2137 return TheCU->getDebugInfoOffset();
2138 }
Manman Ren11fec382013-03-13 18:41:27 +00002139 llvm_unreachable("The compile unit DIE should belong to CUs in DwarfUnits.");
Manman Ren14a029d2013-03-12 18:27:15 +00002140}
2141
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002142// Emit the debug info section.
2143void DwarfDebug::emitDebugInfo() {
Eric Christophera2de8262012-12-15 00:04:07 +00002144 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
2145
2146 Holder.emitUnits(this, Asm->getObjFileLowering().getDwarfInfoSection(),
2147 Asm->getObjFileLowering().getDwarfAbbrevSection(),
2148 DwarfAbbrevSectionSym);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002149}
2150
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002151// Emit the abbreviation section.
Eric Christopher38371952012-11-20 23:30:11 +00002152void DwarfDebug::emitAbbreviations() {
Eric Christopher3c5a1912012-12-19 22:02:53 +00002153 if (!useSplitDwarf())
2154 emitAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevSection(),
2155 &Abbreviations);
2156 else
2157 emitSkeletonAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevSection());
2158}
Bill Wendling480ff322009-05-20 23:21:38 +00002159
Eric Christopher3c5a1912012-12-19 22:02:53 +00002160void DwarfDebug::emitAbbrevs(const MCSection *Section,
2161 std::vector<DIEAbbrev *> *Abbrevs) {
2162 // Check to see if it is worth the effort.
2163 if (!Abbrevs->empty()) {
2164 // Start the debug abbrev section.
2165 Asm->OutStreamer.SwitchSection(Section);
2166
2167 MCSymbol *Begin = Asm->GetTempSymbol(Section->getLabelBeginName());
Eric Christopher996b2b72012-12-13 03:00:38 +00002168 Asm->OutStreamer.EmitLabel(Begin);
Bill Wendling480ff322009-05-20 23:21:38 +00002169
2170 // For each abbrevation.
Eric Christopher3c5a1912012-12-19 22:02:53 +00002171 for (unsigned i = 0, N = Abbrevs->size(); i < N; ++i) {
Bill Wendling480ff322009-05-20 23:21:38 +00002172 // Get abbreviation data
Eric Christopher3c5a1912012-12-19 22:02:53 +00002173 const DIEAbbrev *Abbrev = Abbrevs->at(i);
Bill Wendling480ff322009-05-20 23:21:38 +00002174
2175 // Emit the abbrevations code (base 1 index.)
Chris Lattner9efd1182010-04-04 19:09:29 +00002176 Asm->EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
Bill Wendling480ff322009-05-20 23:21:38 +00002177
2178 // Emit the abbreviations data.
Chris Lattner3a383cb2010-04-05 00:13:49 +00002179 Abbrev->Emit(Asm);
Bill Wendling480ff322009-05-20 23:21:38 +00002180 }
2181
2182 // Mark end of abbreviations.
Chris Lattner9efd1182010-04-04 19:09:29 +00002183 Asm->EmitULEB128(0, "EOM(3)");
Bill Wendling480ff322009-05-20 23:21:38 +00002184
Eric Christopher3c5a1912012-12-19 22:02:53 +00002185 MCSymbol *End = Asm->GetTempSymbol(Section->getLabelEndName());
Eric Christopher996b2b72012-12-13 03:00:38 +00002186 Asm->OutStreamer.EmitLabel(End);
Bill Wendling480ff322009-05-20 23:21:38 +00002187 }
2188}
2189
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002190// Emit the last address of the section and the end of the line matrix.
Devang Patel930143b2009-11-21 02:48:08 +00002191void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) {
Bill Wendling480ff322009-05-20 23:21:38 +00002192 // Define last address of section.
Chris Lattner566cae92010-03-09 23:52:58 +00002193 Asm->OutStreamer.AddComment("Extended Op");
2194 Asm->EmitInt8(0);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002195
Chris Lattner566cae92010-03-09 23:52:58 +00002196 Asm->OutStreamer.AddComment("Op size");
Chandler Carruth5da3f052012-11-01 09:14:31 +00002197 Asm->EmitInt8(Asm->getDataLayout().getPointerSize() + 1);
Chris Lattner566cae92010-03-09 23:52:58 +00002198 Asm->OutStreamer.AddComment("DW_LNE_set_address");
2199 Asm->EmitInt8(dwarf::DW_LNE_set_address);
2200
2201 Asm->OutStreamer.AddComment("Section end label");
Chris Lattnerb245dfb2010-03-10 01:17:49 +00002202
Chris Lattnera179b522010-04-04 19:25:43 +00002203 Asm->OutStreamer.EmitSymbolValue(Asm->GetTempSymbol("section_end",SectionEnd),
Eric Christopherce0cfce2013-01-09 01:35:34 +00002204 Asm->getDataLayout().getPointerSize());
Bill Wendling480ff322009-05-20 23:21:38 +00002205
2206 // Mark end of matrix.
Chris Lattner566cae92010-03-09 23:52:58 +00002207 Asm->OutStreamer.AddComment("DW_LNE_end_sequence");
2208 Asm->EmitInt8(0);
Chris Lattnerf5c834f2010-01-22 22:09:00 +00002209 Asm->EmitInt8(1);
Chris Lattnerfa823552010-01-22 23:18:42 +00002210 Asm->EmitInt8(1);
Bill Wendling480ff322009-05-20 23:21:38 +00002211}
2212
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002213// Emit visible names into a hashed accelerator table section.
Eric Christopher4996c702011-11-07 09:24:32 +00002214void DwarfDebug::emitAccelNames() {
Eric Christophercf7289f2013-09-05 18:20:16 +00002215 DwarfAccelTable AT(DwarfAccelTable::Atom(dwarf::DW_ATOM_die_offset,
Eric Christopher4996c702011-11-07 09:24:32 +00002216 dwarf::DW_FORM_data4));
2217 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2218 E = CUMap.end(); I != E; ++I) {
2219 CompileUnit *TheCU = I->second;
Eric Christopherd9843b32011-11-10 19:25:34 +00002220 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelNames();
2221 for (StringMap<std::vector<DIE*> >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002222 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002223 StringRef Name = GI->getKey();
Eric Christopher090fcc12012-01-06 23:03:34 +00002224 const std::vector<DIE *> &Entities = GI->second;
Eric Christopherd9843b32011-11-10 19:25:34 +00002225 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2226 DE = Entities.end(); DI != DE; ++DI)
2227 AT.AddName(Name, (*DI));
Eric Christopher4996c702011-11-07 09:24:32 +00002228 }
2229 }
2230
2231 AT.FinalizeTable(Asm, "Names");
2232 Asm->OutStreamer.SwitchSection(
2233 Asm->getObjFileLowering().getDwarfAccelNamesSection());
2234 MCSymbol *SectionBegin = Asm->GetTempSymbol("names_begin");
2235 Asm->OutStreamer.EmitLabel(SectionBegin);
2236
2237 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002238 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002239}
2240
Eric Christopher48fef592012-12-20 21:58:40 +00002241// Emit objective C classes and categories into a hashed accelerator table
2242// section.
Eric Christopher4996c702011-11-07 09:24:32 +00002243void DwarfDebug::emitAccelObjC() {
Eric Christophercf7289f2013-09-05 18:20:16 +00002244 DwarfAccelTable AT(DwarfAccelTable::Atom(dwarf::DW_ATOM_die_offset,
Eric Christopher4996c702011-11-07 09:24:32 +00002245 dwarf::DW_FORM_data4));
2246 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2247 E = CUMap.end(); I != E; ++I) {
2248 CompileUnit *TheCU = I->second;
2249 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelObjC();
2250 for (StringMap<std::vector<DIE*> >::const_iterator
2251 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002252 StringRef Name = GI->getKey();
Eric Christopher090fcc12012-01-06 23:03:34 +00002253 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher4996c702011-11-07 09:24:32 +00002254 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2255 DE = Entities.end(); DI != DE; ++DI)
2256 AT.AddName(Name, (*DI));
2257 }
2258 }
2259
2260 AT.FinalizeTable(Asm, "ObjC");
2261 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2262 .getDwarfAccelObjCSection());
2263 MCSymbol *SectionBegin = Asm->GetTempSymbol("objc_begin");
2264 Asm->OutStreamer.EmitLabel(SectionBegin);
2265
2266 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002267 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002268}
2269
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002270// Emit namespace dies into a hashed accelerator table.
Eric Christopher4996c702011-11-07 09:24:32 +00002271void DwarfDebug::emitAccelNamespaces() {
Eric Christophercf7289f2013-09-05 18:20:16 +00002272 DwarfAccelTable AT(DwarfAccelTable::Atom(dwarf::DW_ATOM_die_offset,
Eric Christopher4996c702011-11-07 09:24:32 +00002273 dwarf::DW_FORM_data4));
2274 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2275 E = CUMap.end(); I != E; ++I) {
2276 CompileUnit *TheCU = I->second;
Eric Christopher66b37db2011-11-10 21:47:55 +00002277 const StringMap<std::vector<DIE*> > &Names = TheCU->getAccelNamespace();
2278 for (StringMap<std::vector<DIE*> >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002279 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002280 StringRef Name = GI->getKey();
Eric Christopher090fcc12012-01-06 23:03:34 +00002281 const std::vector<DIE *> &Entities = GI->second;
Eric Christopher66b37db2011-11-10 21:47:55 +00002282 for (std::vector<DIE *>::const_iterator DI = Entities.begin(),
2283 DE = Entities.end(); DI != DE; ++DI)
2284 AT.AddName(Name, (*DI));
Eric Christopher4996c702011-11-07 09:24:32 +00002285 }
2286 }
2287
2288 AT.FinalizeTable(Asm, "namespac");
2289 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2290 .getDwarfAccelNamespaceSection());
2291 MCSymbol *SectionBegin = Asm->GetTempSymbol("namespac_begin");
2292 Asm->OutStreamer.EmitLabel(SectionBegin);
2293
2294 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002295 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002296}
2297
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002298// Emit type dies into a hashed accelerator table.
Eric Christopher4996c702011-11-07 09:24:32 +00002299void DwarfDebug::emitAccelTypes() {
Eric Christopher21bde872012-01-06 04:35:23 +00002300 std::vector<DwarfAccelTable::Atom> Atoms;
Eric Christophercf7289f2013-09-05 18:20:16 +00002301 Atoms.push_back(DwarfAccelTable::Atom(dwarf::DW_ATOM_die_offset,
Eric Christopher21bde872012-01-06 04:35:23 +00002302 dwarf::DW_FORM_data4));
Eric Christophercf7289f2013-09-05 18:20:16 +00002303 Atoms.push_back(DwarfAccelTable::Atom(dwarf::DW_ATOM_die_tag,
Eric Christopher21bde872012-01-06 04:35:23 +00002304 dwarf::DW_FORM_data2));
Eric Christophercf7289f2013-09-05 18:20:16 +00002305 Atoms.push_back(DwarfAccelTable::Atom(dwarf::DW_ATOM_type_flags,
Eric Christopher21bde872012-01-06 04:35:23 +00002306 dwarf::DW_FORM_data1));
2307 DwarfAccelTable AT(Atoms);
Eric Christopher4996c702011-11-07 09:24:32 +00002308 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
2309 E = CUMap.end(); I != E; ++I) {
2310 CompileUnit *TheCU = I->second;
Eric Christopher21bde872012-01-06 04:35:23 +00002311 const StringMap<std::vector<std::pair<DIE*, unsigned > > > &Names
2312 = TheCU->getAccelTypes();
2313 for (StringMap<std::vector<std::pair<DIE*, unsigned> > >::const_iterator
Eric Christopher4996c702011-11-07 09:24:32 +00002314 GI = Names.begin(), GE = Names.end(); GI != GE; ++GI) {
Benjamin Kramer63e39eb2013-05-11 18:24:28 +00002315 StringRef Name = GI->getKey();
Eric Christopher090fcc12012-01-06 23:03:34 +00002316 const std::vector<std::pair<DIE *, unsigned> > &Entities = GI->second;
Eric Christopher21bde872012-01-06 04:35:23 +00002317 for (std::vector<std::pair<DIE *, unsigned> >::const_iterator DI
2318 = Entities.begin(), DE = Entities.end(); DI !=DE; ++DI)
2319 AT.AddName(Name, (*DI).first, (*DI).second);
Eric Christopher4996c702011-11-07 09:24:32 +00002320 }
2321 }
2322
2323 AT.FinalizeTable(Asm, "types");
2324 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering()
2325 .getDwarfAccelTypesSection());
2326 MCSymbol *SectionBegin = Asm->GetTempSymbol("types_begin");
2327 Asm->OutStreamer.EmitLabel(SectionBegin);
2328
2329 // Emit the full data.
Eric Christophere698f532012-12-20 21:58:36 +00002330 AT.Emit(Asm, SectionBegin, &InfoHolder);
Eric Christopher4996c702011-11-07 09:24:32 +00002331}
2332
Eric Christopherdd1a0122013-09-13 00:35:05 +00002333// Public name handling.
2334// The format for the various pubnames:
2335//
2336// dwarf pubnames - offset/name pairs where the offset is the offset into the CU
2337// for the DIE that is named.
2338//
2339// gnu pubnames - offset/index value/name tuples where the offset is the offset
2340// into the CU and the index value is computed according to the type of value
2341// for the DIE that is named.
2342//
2343// For type units the offset is the offset of the skeleton DIE. For split dwarf
2344// it's the offset within the debug_info/debug_types dwo section, however, the
2345// reference in the pubname header doesn't change.
2346
2347/// computeIndexValue - Compute the gdb index value for the DIE and CU.
David Blaikie8dec4072013-09-19 20:40:26 +00002348static dwarf::PubIndexEntryDescriptor computeIndexValue(CompileUnit *CU,
2349 DIE *Die) {
2350 dwarf::GDBIndexEntryLinkage IsStatic =
2351 Die->findAttribute(dwarf::DW_AT_external) ? dwarf::GIEL_EXTERNAL
2352 : dwarf::GIEL_STATIC;
Eric Christopherdd1a0122013-09-13 00:35:05 +00002353
2354 switch (Die->getTag()) {
2355 case dwarf::DW_TAG_class_type:
2356 case dwarf::DW_TAG_structure_type:
2357 case dwarf::DW_TAG_union_type:
2358 case dwarf::DW_TAG_enumeration_type:
2359 case dwarf::DW_TAG_typedef:
2360 case dwarf::DW_TAG_base_type:
2361 case dwarf::DW_TAG_subrange_type:
David Blaikie8dec4072013-09-19 20:40:26 +00002362 return dwarf::PubIndexEntryDescriptor(dwarf::GIEK_TYPE, dwarf::GIEL_STATIC);
Eric Christopherdd1a0122013-09-13 00:35:05 +00002363 case dwarf::DW_TAG_namespace:
David Blaikie8dec4072013-09-19 20:40:26 +00002364 return dwarf::GIEK_TYPE;
Eric Christopherdd1a0122013-09-13 00:35:05 +00002365 case dwarf::DW_TAG_subprogram:
David Blaikie8dec4072013-09-19 20:40:26 +00002366 return dwarf::PubIndexEntryDescriptor(dwarf::GIEK_FUNCTION, IsStatic);
Eric Christopherdd1a0122013-09-13 00:35:05 +00002367 case dwarf::DW_TAG_constant:
2368 case dwarf::DW_TAG_variable:
David Blaikie8dec4072013-09-19 20:40:26 +00002369 return dwarf::PubIndexEntryDescriptor(dwarf::GIEK_VARIABLE, IsStatic);
Eric Christopherdd1a0122013-09-13 00:35:05 +00002370 case dwarf::DW_TAG_enumerator:
David Blaikie8dec4072013-09-19 20:40:26 +00002371 return dwarf::PubIndexEntryDescriptor(dwarf::GIEK_VARIABLE,
2372 dwarf::GIEL_STATIC);
Eric Christopherdd1a0122013-09-13 00:35:05 +00002373 default:
David Blaikie8dec4072013-09-19 20:40:26 +00002374 return dwarf::GIEK_NONE;
Eric Christopherdd1a0122013-09-13 00:35:05 +00002375 }
Eric Christopherdd1a0122013-09-13 00:35:05 +00002376}
2377
Eric Christopher5f93bb92013-09-09 20:03:17 +00002378/// emitDebugPubNames - Emit visible names into a debug pubnames section.
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002379///
Eric Christopherdd1a0122013-09-13 00:35:05 +00002380void DwarfDebug::emitDebugPubNames(bool GnuStyle) {
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002381 const MCSection *ISec = Asm->getObjFileLowering().getDwarfInfoSection();
Eric Christopherdd1a0122013-09-13 00:35:05 +00002382 const MCSection *PSec =
2383 GnuStyle ? Asm->getObjFileLowering().getDwarfGnuPubNamesSection()
2384 : Asm->getObjFileLowering().getDwarfPubNamesSection();
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002385
2386 typedef DenseMap<const MDNode*, CompileUnit*> CUMapType;
2387 for (CUMapType::iterator I = CUMap.begin(), E = CUMap.end(); I != E; ++I) {
2388 CompileUnit *TheCU = I->second;
2389 unsigned ID = TheCU->getUniqueID();
2390
2391 if (TheCU->getGlobalNames().empty())
2392 continue;
2393
2394 // Start the dwarf pubnames section.
Eric Christopher13b99d22013-09-10 21:49:37 +00002395 Asm->OutStreamer.SwitchSection(PSec);
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002396
Eric Christopherdd1a0122013-09-13 00:35:05 +00002397 // Emit the header.
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002398 Asm->OutStreamer.AddComment("Length of Public Names Info");
2399 Asm->EmitLabelDifference(Asm->GetTempSymbol("pubnames_end", ID),
2400 Asm->GetTempSymbol("pubnames_begin", ID), 4);
2401
2402 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_begin", ID));
2403
2404 Asm->OutStreamer.AddComment("DWARF Version");
David Majnemered89b5c2013-08-21 06:13:34 +00002405 Asm->EmitInt16(dwarf::DW_PUBNAMES_VERSION);
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002406
2407 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
2408 Asm->EmitSectionOffset(Asm->GetTempSymbol(ISec->getLabelBeginName(), ID),
2409 DwarfInfoSectionSym);
2410
2411 Asm->OutStreamer.AddComment("Compilation Unit Length");
2412 Asm->EmitLabelDifference(Asm->GetTempSymbol(ISec->getLabelEndName(), ID),
2413 Asm->GetTempSymbol(ISec->getLabelBeginName(), ID),
2414 4);
2415
Eric Christopherdd1a0122013-09-13 00:35:05 +00002416 // Emit the pubnames for this compilation unit.
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002417 const StringMap<DIE*> &Globals = TheCU->getGlobalNames();
2418 for (StringMap<DIE*>::const_iterator
2419 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) {
2420 const char *Name = GI->getKeyData();
Eric Christopherdd1a0122013-09-13 00:35:05 +00002421 DIE *Entity = GI->second;
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002422
2423 Asm->OutStreamer.AddComment("DIE offset");
2424 Asm->EmitInt32(Entity->getOffset());
2425
Eric Christopherdd1a0122013-09-13 00:35:05 +00002426 if (GnuStyle) {
David Blaikied0a869d2013-09-19 22:19:37 +00002427 dwarf::PubIndexEntryDescriptor Desc = computeIndexValue(TheCU, Entity);
2428 Asm->OutStreamer.AddComment(
David Blaikieefd0bcb2013-09-20 00:33:15 +00002429 Twine("Kind: ") + dwarf::GDBIndexEntryKindString(Desc.Kind) + ", " +
David Blaikie404d3042013-09-19 23:01:29 +00002430 dwarf::GDBIndexEntryLinkageString(Desc.Linkage));
David Blaikied0a869d2013-09-19 22:19:37 +00002431 Asm->EmitInt8(Desc.toBits());
Eric Christopherdd1a0122013-09-13 00:35:05 +00002432 }
2433
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002434 if (Asm->isVerbose())
2435 Asm->OutStreamer.AddComment("External Name");
Rafael Espindola64e1af82013-07-02 15:49:13 +00002436 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength()+1));
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +00002437 }
2438
2439 Asm->OutStreamer.AddComment("End Mark");
2440 Asm->EmitInt32(0);
2441 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("pubnames_end", ID));
2442 }
2443}
2444
Eric Christopherdd1a0122013-09-13 00:35:05 +00002445void DwarfDebug::emitDebugPubTypes(bool GnuStyle) {
Eric Christopher8b3737f2013-09-13 00:34:58 +00002446 const MCSection *ISec = Asm->getObjFileLowering().getDwarfInfoSection();
2447 const MCSection *PSec = Asm->getObjFileLowering().getDwarfPubTypesSection();
2448
Devang Patel1a0df9a2010-05-10 22:49:55 +00002449 for (DenseMap<const MDNode *, CompileUnit *>::iterator I = CUMap.begin(),
Eric Christopher8b3737f2013-09-13 00:34:58 +00002450 E = CUMap.end();
2451 I != E; ++I) {
Devang Patel1a0df9a2010-05-10 22:49:55 +00002452 CompileUnit *TheCU = I->second;
Eric Christopher6abc9c52011-11-07 09:18:35 +00002453 // Start the dwarf pubtypes section.
Eric Christopher8b3737f2013-09-13 00:34:58 +00002454 Asm->OutStreamer.SwitchSection(PSec);
Devang Patel1a0df9a2010-05-10 22:49:55 +00002455 Asm->OutStreamer.AddComment("Length of Public Types Info");
2456 Asm->EmitLabelDifference(
Eric Christopher8b3737f2013-09-13 00:34:58 +00002457 Asm->GetTempSymbol("pubtypes_end", TheCU->getUniqueID()),
2458 Asm->GetTempSymbol("pubtypes_begin", TheCU->getUniqueID()), 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002459
Eric Christopher8b3737f2013-09-13 00:34:58 +00002460 Asm->OutStreamer.EmitLabel(
2461 Asm->GetTempSymbol("pubtypes_begin", TheCU->getUniqueID()));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002462
Eric Christopher8b3737f2013-09-13 00:34:58 +00002463 if (Asm->isVerbose())
2464 Asm->OutStreamer.AddComment("DWARF Version");
David Majnemered89b5c2013-08-21 06:13:34 +00002465 Asm->EmitInt16(dwarf::DW_PUBTYPES_VERSION);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002466
Devang Patel1a0df9a2010-05-10 22:49:55 +00002467 Asm->OutStreamer.AddComment("Offset of Compilation Unit Info");
Eric Christopher8b3737f2013-09-13 00:34:58 +00002468 Asm->EmitSectionOffset(
2469 Asm->GetTempSymbol(ISec->getLabelBeginName(), TheCU->getUniqueID()),
2470 DwarfInfoSectionSym);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002471
Devang Patel1a0df9a2010-05-10 22:49:55 +00002472 Asm->OutStreamer.AddComment("Compilation Unit Length");
Eric Christopher8b3737f2013-09-13 00:34:58 +00002473 Asm->EmitLabelDifference(
2474 Asm->GetTempSymbol(ISec->getLabelEndName(), TheCU->getUniqueID()),
2475 Asm->GetTempSymbol(ISec->getLabelBeginName(), TheCU->getUniqueID()), 4);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002476
Eric Christopher8b3737f2013-09-13 00:34:58 +00002477 const StringMap<DIE *> &Globals = TheCU->getGlobalTypes();
2478 for (StringMap<DIE *>::const_iterator GI = Globals.begin(),
2479 GE = Globals.end();
2480 GI != GE; ++GI) {
Devang Patel1a0df9a2010-05-10 22:49:55 +00002481 const char *Name = GI->getKeyData();
Nick Lewycky019d2552011-07-29 03:49:23 +00002482 DIE *Entity = GI->second;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002483
Eric Christopher8b3737f2013-09-13 00:34:58 +00002484 if (Asm->isVerbose())
2485 Asm->OutStreamer.AddComment("DIE offset");
Devang Patel1a0df9a2010-05-10 22:49:55 +00002486 Asm->EmitInt32(Entity->getOffset());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002487
Eric Christopherdd1a0122013-09-13 00:35:05 +00002488 if (GnuStyle) {
David Blaikied0a869d2013-09-19 22:19:37 +00002489 dwarf::PubIndexEntryDescriptor Desc = computeIndexValue(TheCU, Entity);
2490 Asm->OutStreamer.AddComment(
David Blaikieefd0bcb2013-09-20 00:33:15 +00002491 Twine("Kind: ") + dwarf::GDBIndexEntryKindString(Desc.Kind) + ", " +
David Blaikie404d3042013-09-19 23:01:29 +00002492 dwarf::GDBIndexEntryLinkageString(Desc.Linkage));
David Blaikied0a869d2013-09-19 22:19:37 +00002493 Asm->EmitInt8(Desc.toBits());
Eric Christopherdd1a0122013-09-13 00:35:05 +00002494 }
2495
Eric Christopher8b3737f2013-09-13 00:34:58 +00002496 if (Asm->isVerbose())
2497 Asm->OutStreamer.AddComment("External Name");
2498
Benjamin Kramer966ed1b2011-11-09 18:16:11 +00002499 // Emit the name with a terminating null byte.
Eric Christopher8b3737f2013-09-13 00:34:58 +00002500 Asm->OutStreamer.EmitBytes(StringRef(Name, GI->getKeyLength() + 1));
Devang Patel1a0df9a2010-05-10 22:49:55 +00002501 }
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002502
Devang Patel1a0df9a2010-05-10 22:49:55 +00002503 Asm->OutStreamer.AddComment("End Mark");
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002504 Asm->EmitInt32(0);
Eric Christopher8b3737f2013-09-13 00:34:58 +00002505 Asm->OutStreamer.EmitLabel(
2506 Asm->GetTempSymbol("pubtypes_end", TheCU->getUniqueID()));
Devang Patel04d2f2d2009-11-24 01:14:22 +00002507 }
Devang Patel04d2f2d2009-11-24 01:14:22 +00002508}
2509
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002510// Emit strings into a string section.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002511void DwarfUnits::emitStrings(const MCSection *StrSection,
2512 const MCSection *OffsetSection = NULL,
2513 const MCSymbol *StrSecSym = NULL) {
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002514
Eric Christopher27614582013-01-08 22:22:06 +00002515 if (StringPool.empty()) return;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002516
Chris Lattner3d72a672010-03-09 23:38:23 +00002517 // Start the dwarf str section.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002518 Asm->OutStreamer.SwitchSection(StrSection);
Bill Wendling480ff322009-05-20 23:21:38 +00002519
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002520 // Get all of the string pool entries and put them in an array by their ID so
2521 // we can sort them.
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002522 SmallVector<std::pair<unsigned,
Eric Christopherb800ff72013-01-07 22:40:45 +00002523 StringMapEntry<std::pair<MCSymbol*, unsigned> >*>, 64> Entries;
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002524
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002525 for (StringMap<std::pair<MCSymbol*, unsigned> >::iterator
Eric Christopher27614582013-01-08 22:22:06 +00002526 I = StringPool.begin(), E = StringPool.end();
Eric Christopher48fef592012-12-20 21:58:40 +00002527 I != E; ++I)
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002528 Entries.push_back(std::make_pair(I->second.second, &*I));
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002529
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002530 array_pod_sort(Entries.begin(), Entries.end());
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002531
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002532 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Chris Lattner3d72a672010-03-09 23:38:23 +00002533 // Emit a label for reference from debug information entries.
Chris Lattnerb7aa9522010-03-13 02:17:42 +00002534 Asm->OutStreamer.EmitLabel(Entries[i].second->getValue().first);
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002535
Benjamin Kramer966ed1b2011-11-09 18:16:11 +00002536 // Emit the string itself with a terminating null byte.
Benjamin Kramer148db362011-11-09 12:12:04 +00002537 Asm->OutStreamer.EmitBytes(StringRef(Entries[i].second->getKeyData(),
Eric Christopherce0cfce2013-01-09 01:35:34 +00002538 Entries[i].second->getKeyLength()+1));
Bill Wendling480ff322009-05-20 23:21:38 +00002539 }
Eric Christopher2cbd5762013-01-07 19:32:41 +00002540
2541 // If we've got an offset section go ahead and emit that now as well.
2542 if (OffsetSection) {
2543 Asm->OutStreamer.SwitchSection(OffsetSection);
2544 unsigned offset = 0;
Eric Christopher962c9082013-01-15 23:56:56 +00002545 unsigned size = 4; // FIXME: DWARF64 is 8.
Eric Christopher2cbd5762013-01-07 19:32:41 +00002546 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Eric Christopherbf7bc492013-01-09 03:52:05 +00002547 Asm->OutStreamer.EmitIntValue(offset, size);
Eric Christopher2cbd5762013-01-07 19:32:41 +00002548 offset += Entries[i].second->getKeyLength() + 1;
2549 }
2550 }
Bill Wendling480ff322009-05-20 23:21:38 +00002551}
2552
Eric Christopher962c9082013-01-15 23:56:56 +00002553// Emit strings into a string section.
2554void DwarfUnits::emitAddresses(const MCSection *AddrSection) {
2555
2556 if (AddressPool.empty()) return;
2557
2558 // Start the dwarf addr section.
2559 Asm->OutStreamer.SwitchSection(AddrSection);
2560
David Blaikiece1960f2013-07-08 17:51:28 +00002561 // Order the address pool entries by ID
David Blaikieac569a62013-07-08 17:33:10 +00002562 SmallVector<const MCExpr *, 64> Entries(AddressPool.size());
Eric Christopher962c9082013-01-15 23:56:56 +00002563
David Blaikiece1960f2013-07-08 17:51:28 +00002564 for (DenseMap<const MCExpr *, unsigned>::iterator I = AddressPool.begin(),
2565 E = AddressPool.end();
Eric Christopher962c9082013-01-15 23:56:56 +00002566 I != E; ++I)
David Blaikieac569a62013-07-08 17:33:10 +00002567 Entries[I->second] = I->first;
Eric Christopher962c9082013-01-15 23:56:56 +00002568
2569 for (unsigned i = 0, e = Entries.size(); i != e; ++i) {
Ulrich Weigand8b3d2262013-07-02 18:46:46 +00002570 // Emit an expression for reference from debug information entries.
David Blaikieac569a62013-07-08 17:33:10 +00002571 if (const MCExpr *Expr = Entries[i])
Ulrich Weigand8b3d2262013-07-02 18:46:46 +00002572 Asm->OutStreamer.EmitValue(Expr, Asm->getDataLayout().getPointerSize());
Eric Christopher962c9082013-01-15 23:56:56 +00002573 else
2574 Asm->OutStreamer.EmitIntValue(0, Asm->getDataLayout().getPointerSize());
2575 }
2576
2577}
2578
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002579// Emit visible names into a debug str section.
2580void DwarfDebug::emitDebugStr() {
2581 DwarfUnits &Holder = useSplitDwarf() ? SkeletonHolder : InfoHolder;
2582 Holder.emitStrings(Asm->getObjFileLowering().getDwarfStrSection());
2583}
2584
Eric Christopher9046f942013-07-02 21:36:07 +00002585// Emit locations into the debug loc section.
Devang Patel930143b2009-11-21 02:48:08 +00002586void DwarfDebug::emitDebugLoc() {
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002587 if (DotDebugLocEntries.empty())
2588 return;
2589
Eric Christopher4887c8f2013-03-29 23:34:06 +00002590 for (SmallVectorImpl<DotDebugLocEntry>::iterator
Devang Patel116a9d72011-02-04 22:57:18 +00002591 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
2592 I != E; ++I) {
2593 DotDebugLocEntry &Entry = *I;
2594 if (I + 1 != DotDebugLocEntries.end())
2595 Entry.Merge(I+1);
2596 }
2597
Daniel Dunbarfd95b012011-03-16 22:16:39 +00002598 // Start the dwarf loc section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002599 Asm->OutStreamer.SwitchSection(
Devang Patel9fc11702010-05-25 23:40:22 +00002600 Asm->getObjFileLowering().getDwarfLocSection());
Chandler Carruth5da3f052012-11-01 09:14:31 +00002601 unsigned char Size = Asm->getDataLayout().getPointerSize();
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002602 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", 0));
2603 unsigned index = 1;
Eric Christopher4887c8f2013-03-29 23:34:06 +00002604 for (SmallVectorImpl<DotDebugLocEntry>::iterator
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002605 I = DotDebugLocEntries.begin(), E = DotDebugLocEntries.end();
Devang Patel30265c42010-07-07 20:12:52 +00002606 I != E; ++I, ++index) {
Devang Patel116a9d72011-02-04 22:57:18 +00002607 DotDebugLocEntry &Entry = *I;
2608 if (Entry.isMerged()) continue;
Devang Patel9fc11702010-05-25 23:40:22 +00002609 if (Entry.isEmpty()) {
Eric Christopherce0cfce2013-01-09 01:35:34 +00002610 Asm->OutStreamer.EmitIntValue(0, Size);
2611 Asm->OutStreamer.EmitIntValue(0, Size);
Devang Patel6b9a9fe2010-05-26 23:55:23 +00002612 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("debug_loc", index));
Devang Patel9fc11702010-05-25 23:40:22 +00002613 } else {
Eric Christopher25f06422013-07-03 22:40:18 +00002614 Asm->OutStreamer.EmitSymbolValue(Entry.getBeginSym(), Size);
2615 Asm->OutStreamer.EmitSymbolValue(Entry.getEndSym(), Size);
2616 DIVariable DV(Entry.getVariable());
Rafael Espindolad23bfb82011-05-27 22:05:41 +00002617 Asm->OutStreamer.AddComment("Loc expr size");
2618 MCSymbol *begin = Asm->OutStreamer.getContext().CreateTempSymbol();
2619 MCSymbol *end = Asm->OutStreamer.getContext().CreateTempSymbol();
2620 Asm->EmitLabelDifference(end, begin, 2);
2621 Asm->OutStreamer.EmitLabel(begin);
Devang Pateled9fd452011-07-08 16:49:43 +00002622 if (Entry.isInt()) {
Devang Patel324f8432011-06-01 22:03:25 +00002623 DIBasicType BTy(DV.getType());
2624 if (BTy.Verify() &&
Eric Christopher6a841382012-11-19 22:42:10 +00002625 (BTy.getEncoding() == dwarf::DW_ATE_signed
Devang Patel324f8432011-06-01 22:03:25 +00002626 || BTy.getEncoding() == dwarf::DW_ATE_signed_char)) {
2627 Asm->OutStreamer.AddComment("DW_OP_consts");
2628 Asm->EmitInt8(dwarf::DW_OP_consts);
Devang Pateled9fd452011-07-08 16:49:43 +00002629 Asm->EmitSLEB128(Entry.getInt());
Devang Patel324f8432011-06-01 22:03:25 +00002630 } else {
2631 Asm->OutStreamer.AddComment("DW_OP_constu");
2632 Asm->EmitInt8(dwarf::DW_OP_constu);
Devang Pateled9fd452011-07-08 16:49:43 +00002633 Asm->EmitULEB128(Entry.getInt());
Devang Patel324f8432011-06-01 22:03:25 +00002634 }
Devang Pateled9fd452011-07-08 16:49:43 +00002635 } else if (Entry.isLocation()) {
Eric Christopher614a89f2013-07-03 22:40:21 +00002636 MachineLocation Loc = Entry.getLoc();
Eric Christopher6a841382012-11-19 22:42:10 +00002637 if (!DV.hasComplexAddress())
Devang Pateled9fd452011-07-08 16:49:43 +00002638 // Regular entry.
Eric Christopher614a89f2013-07-03 22:40:21 +00002639 Asm->EmitDwarfRegOp(Loc, DV.isIndirect());
Devang Pateled9fd452011-07-08 16:49:43 +00002640 else {
2641 // Complex address entry.
2642 unsigned N = DV.getNumAddrElements();
2643 unsigned i = 0;
2644 if (N >= 2 && DV.getAddrElement(0) == DIBuilder::OpPlus) {
Eric Christopher614a89f2013-07-03 22:40:21 +00002645 if (Loc.getOffset()) {
Devang Pateled9fd452011-07-08 16:49:43 +00002646 i = 2;
Eric Christopher614a89f2013-07-03 22:40:21 +00002647 Asm->EmitDwarfRegOp(Loc, DV.isIndirect());
Devang Pateled9fd452011-07-08 16:49:43 +00002648 Asm->OutStreamer.AddComment("DW_OP_deref");
2649 Asm->EmitInt8(dwarf::DW_OP_deref);
2650 Asm->OutStreamer.AddComment("DW_OP_plus_uconst");
2651 Asm->EmitInt8(dwarf::DW_OP_plus_uconst);
2652 Asm->EmitSLEB128(DV.getAddrElement(1));
2653 } else {
2654 // If first address element is OpPlus then emit
2655 // DW_OP_breg + Offset instead of DW_OP_reg + Offset.
Eric Christopher614a89f2013-07-03 22:40:21 +00002656 MachineLocation TLoc(Loc.getReg(), DV.getAddrElement(1));
2657 Asm->EmitDwarfRegOp(TLoc, DV.isIndirect());
Devang Pateled9fd452011-07-08 16:49:43 +00002658 i = 2;
2659 }
2660 } else {
Eric Christopher614a89f2013-07-03 22:40:21 +00002661 Asm->EmitDwarfRegOp(Loc, DV.isIndirect());
Devang Pateled9fd452011-07-08 16:49:43 +00002662 }
Eric Christopher6a841382012-11-19 22:42:10 +00002663
Devang Pateled9fd452011-07-08 16:49:43 +00002664 // Emit remaining complex address elements.
2665 for (; i < N; ++i) {
2666 uint64_t Element = DV.getAddrElement(i);
2667 if (Element == DIBuilder::OpPlus) {
2668 Asm->EmitInt8(dwarf::DW_OP_plus_uconst);
2669 Asm->EmitULEB128(DV.getAddrElement(++i));
Eric Christopher4d250522012-05-08 18:56:00 +00002670 } else if (Element == DIBuilder::OpDeref) {
Eric Christopher614a89f2013-07-03 22:40:21 +00002671 if (!Loc.isReg())
Eric Christopher4d250522012-05-08 18:56:00 +00002672 Asm->EmitInt8(dwarf::DW_OP_deref);
2673 } else
2674 llvm_unreachable("unknown Opcode found in complex address");
Devang Pateled9fd452011-07-08 16:49:43 +00002675 }
Devang Patel3e021532011-04-28 02:22:40 +00002676 }
Devang Patel3e021532011-04-28 02:22:40 +00002677 }
Devang Pateled9fd452011-07-08 16:49:43 +00002678 // else ... ignore constant fp. There is not any good way to
2679 // to represent them here in dwarf.
Rafael Espindolad23bfb82011-05-27 22:05:41 +00002680 Asm->OutStreamer.EmitLabel(end);
Devang Patel9fc11702010-05-25 23:40:22 +00002681 }
2682 }
Bill Wendling480ff322009-05-20 23:21:38 +00002683}
2684
Richard Mitton21101b32013-09-19 23:21:01 +00002685struct SymbolCUSorter {
2686 SymbolCUSorter(const MCStreamer &s) : Streamer(s) {}
2687 const MCStreamer &Streamer;
2688
2689 bool operator() (const SymbolCU &A, const SymbolCU &B) {
2690 unsigned IA = A.Sym ? Streamer.GetSymbolOrder(A.Sym) : 0;
2691 unsigned IB = B.Sym ? Streamer.GetSymbolOrder(B.Sym) : 0;
2692
2693 // Symbols with no order assigned should be placed at the end.
2694 // (e.g. section end labels)
2695 if (IA == 0)
2696 IA = (unsigned)(-1);
2697 if (IB == 0)
2698 IB = (unsigned)(-1);
2699 return IA < IB;
2700 }
2701};
2702
2703static bool SectionSort(const MCSection *A, const MCSection *B) {
2704 std::string LA = (A ? A->getLabelBeginName() : "");
2705 std::string LB = (B ? B->getLabelBeginName() : "");
2706 return LA < LB;
2707}
2708
2709static bool CUSort(const CompileUnit *A, const CompileUnit *B) {
2710 return (A->getUniqueID() < B->getUniqueID());
2711}
2712
2713struct ArangeSpan {
2714 const MCSymbol *Start, *End;
2715};
2716
2717// Emit a debug aranges section, containing a CU lookup for any
2718// address we can tie back to a CU.
Eric Christopher7b30f2e42012-11-21 00:34:35 +00002719void DwarfDebug::emitDebugARanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002720 // Start the dwarf aranges section.
Eric Christopherac8199b2013-08-30 00:39:57 +00002721 Asm->OutStreamer
2722 .SwitchSection(Asm->getObjFileLowering().getDwarfARangesSection());
Richard Mitton21101b32013-09-19 23:21:01 +00002723
2724 typedef DenseMap<CompileUnit *, std::vector<ArangeSpan> > SpansType;
2725
2726 SpansType Spans;
2727
2728 // Build a list of sections used.
2729 std::vector<const MCSection *> Sections;
2730 for (SectionMapType::iterator it = SectionMap.begin(); it != SectionMap.end();
2731 it++) {
2732 const MCSection *Section = it->first;
2733 Sections.push_back(Section);
2734 }
2735
2736 // Sort the sections into order.
2737 // This is only done to ensure consistent output order across different runs.
2738 std::sort(Sections.begin(), Sections.end(), SectionSort);
2739
2740 // Build a set of address spans, sorted by CU.
2741 for (size_t SecIdx=0;SecIdx<Sections.size();SecIdx++) {
2742 const MCSection *Section = Sections[SecIdx];
2743 SmallVector<SymbolCU, 8> &List = SectionMap[Section];
2744 if (List.size() < 2)
2745 continue;
2746
2747 // Sort the symbols by offset within the section.
2748 SymbolCUSorter sorter(Asm->OutStreamer);
2749 std::sort(List.begin(), List.end(), sorter);
2750
2751 // If we have no section (e.g. common), just write out
2752 // individual spans for each symbol.
2753 if (Section == NULL) {
2754 for (size_t n = 0; n < List.size(); n++) {
2755 const SymbolCU &Cur = List[n];
2756
2757 ArangeSpan Span;
2758 Span.Start = Cur.Sym;
2759 Span.End = NULL;
2760 if (Cur.CU)
2761 Spans[Cur.CU].push_back(Span);
2762 }
2763 } else {
2764 // Build spans between each label.
2765 const MCSymbol *StartSym = List[0].Sym;
2766 for (size_t n = 1; n < List.size(); n++) {
2767 const SymbolCU &Prev = List[n - 1];
2768 const SymbolCU &Cur = List[n];
2769
2770 // Try and build the longest span we can within the same CU.
2771 if (Cur.CU != Prev.CU) {
2772 ArangeSpan Span;
2773 Span.Start = StartSym;
2774 Span.End = Cur.Sym;
2775 Spans[Prev.CU].push_back(Span);
2776 StartSym = Cur.Sym;
2777 }
2778 }
2779 }
2780 }
2781
2782 const MCSection *ISec = Asm->getObjFileLowering().getDwarfInfoSection();
2783 unsigned PtrSize = Asm->getDataLayout().getPointerSize();
2784
2785 // Build a list of CUs used.
2786 std::vector<CompileUnit *> CUs;
2787 for (SpansType::iterator it = Spans.begin(); it != Spans.end(); it++) {
2788 CompileUnit *CU = it->first;
2789 CUs.push_back(CU);
2790 }
2791
2792 // Sort the CU list (again, to ensure consistent output order).
2793 std::sort(CUs.begin(), CUs.end(), CUSort);
2794
2795 // Emit an arange table for each CU we used.
2796 for (size_t CUIdx=0;CUIdx<CUs.size();CUIdx++) {
2797 CompileUnit *CU = CUs[CUIdx];
2798 std::vector<ArangeSpan> &List = Spans[CU];
2799
2800 // Emit size of content not including length itself.
2801 unsigned ContentSize
2802 = sizeof(int16_t) // DWARF ARange version number
2803 + sizeof(int32_t) // Offset of CU in the .debug_info section
2804 + sizeof(int8_t) // Pointer Size (in bytes)
2805 + sizeof(int8_t); // Segment Size (in bytes)
2806
2807 unsigned TupleSize = PtrSize * 2;
2808
2809 // 7.20 in the Dwarf specs requires the table to be aligned to a tuple.
2810 unsigned Padding = 0;
2811 while (((sizeof(int32_t) + ContentSize + Padding) % TupleSize) != 0)
2812 Padding++;
2813
2814 ContentSize += Padding;
2815 ContentSize += (List.size() + 1) * TupleSize;
2816
2817 // For each compile unit, write the list of spans it covers.
2818 Asm->OutStreamer.AddComment("Length of ARange Set");
2819 Asm->EmitInt32(ContentSize);
2820 Asm->OutStreamer.AddComment("DWARF Arange version number");
2821 Asm->EmitInt16(dwarf::DW_ARANGES_VERSION);
2822 Asm->OutStreamer.AddComment("Offset Into Debug Info Section");
2823 Asm->EmitSectionOffset(
2824 Asm->GetTempSymbol(ISec->getLabelBeginName(), CU->getUniqueID()),
2825 DwarfInfoSectionSym);
2826 Asm->OutStreamer.AddComment("Address Size (in bytes)");
2827 Asm->EmitInt8(PtrSize);
2828 Asm->OutStreamer.AddComment("Segment Size (in bytes)");
2829 Asm->EmitInt8(0);
2830
2831 for (unsigned n = 0; n < Padding; n++)
2832 Asm->EmitInt8(0xff);
2833
2834 for (unsigned n = 0; n < List.size(); n++) {
2835 const ArangeSpan &Span = List[n];
2836 Asm->EmitLabelReference(Span.Start, PtrSize);
2837
2838 // Calculate the size as being from the span start to it's end.
2839 // If we have no valid end symbol, then we just cover the first byte.
2840 // (this sucks, but I can't seem to figure out how to get the size)
2841 if (Span.End)
2842 Asm->EmitLabelDifference(Span.End, Span.Start, PtrSize);
2843 else
2844 Asm->OutStreamer.EmitIntValue(1, PtrSize);
2845 }
2846
2847 Asm->OutStreamer.AddComment("ARange terminator");
2848 Asm->OutStreamer.EmitIntValue(0, PtrSize);
2849 Asm->OutStreamer.EmitIntValue(0, PtrSize);
2850 }
Bill Wendling480ff322009-05-20 23:21:38 +00002851}
2852
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002853// Emit visible names into a debug ranges section.
Devang Patel930143b2009-11-21 02:48:08 +00002854void DwarfDebug::emitDebugRanges() {
Bill Wendling480ff322009-05-20 23:21:38 +00002855 // Start the dwarf ranges section.
Eric Christopherac8199b2013-08-30 00:39:57 +00002856 Asm->OutStreamer
2857 .SwitchSection(Asm->getObjFileLowering().getDwarfRangesSection());
Chandler Carruth5da3f052012-11-01 09:14:31 +00002858 unsigned char Size = Asm->getDataLayout().getPointerSize();
Eric Christopher4887c8f2013-03-29 23:34:06 +00002859 for (SmallVectorImpl<const MCSymbol *>::iterator
Jim Grosbacha8683bb2010-07-21 21:21:52 +00002860 I = DebugRangeSymbols.begin(), E = DebugRangeSymbols.end();
Devang Patel6c74a872010-04-27 19:46:33 +00002861 I != E; ++I) {
2862 if (*I)
Eric Christopherbf7bc492013-01-09 03:52:05 +00002863 Asm->OutStreamer.EmitSymbolValue(const_cast<MCSymbol*>(*I), Size);
Devang Patel12563b32010-04-16 23:33:45 +00002864 else
Eric Christopherce0cfce2013-01-09 01:35:34 +00002865 Asm->OutStreamer.EmitIntValue(0, Size);
Devang Patel12563b32010-04-16 23:33:45 +00002866 }
Bill Wendling480ff322009-05-20 23:21:38 +00002867}
2868
Eric Christopheracdcbdb2012-11-27 22:43:45 +00002869// Emit visible names into a debug macinfo section.
Devang Patel930143b2009-11-21 02:48:08 +00002870void DwarfDebug::emitDebugMacInfo() {
Daniel Dunbarc418d6b2009-09-19 20:40:05 +00002871 if (const MCSection *LineInfo =
Chris Lattner1472cf52009-08-02 07:24:22 +00002872 Asm->getObjFileLowering().getDwarfMacroInfoSection()) {
Bill Wendling480ff322009-05-20 23:21:38 +00002873 // Start the dwarf macinfo section.
Chris Lattner4b7dadb2009-08-19 05:49:37 +00002874 Asm->OutStreamer.SwitchSection(LineInfo);
Bill Wendling480ff322009-05-20 23:21:38 +00002875 }
2876}
2877
Eric Christopherd692c1d2012-12-11 19:42:09 +00002878// DWARF5 Experimental Separate Dwarf emitters.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002879
2880// This DIE has the following attributes: DW_AT_comp_dir, DW_AT_stmt_list,
2881// DW_AT_low_pc, DW_AT_high_pc, DW_AT_ranges, DW_AT_dwo_name, DW_AT_dwo_id,
2882// DW_AT_ranges_base, DW_AT_addr_base. If DW_AT_ranges is present,
2883// DW_AT_low_pc and DW_AT_high_pc are not used, and vice versa.
Eric Christopher6fdf3242013-08-26 23:50:43 +00002884CompileUnit *DwarfDebug::constructSkeletonCU(const CompileUnit *CU) {
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002885
2886 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit);
Eric Christopher6fdf3242013-08-26 23:50:43 +00002887 CompileUnit *NewCU = new CompileUnit(CU->getUniqueID(), Die, CU->getNode(),
2888 Asm, this, &SkeletonHolder);
Eric Christopher4c7765f2013-01-17 03:00:04 +00002889
Eric Christopherdae389b2013-02-22 23:50:08 +00002890 NewCU->addLocalString(Die, dwarf::DW_AT_GNU_dwo_name,
Eric Christopher6b16b432013-08-26 23:57:03 +00002891 DICompileUnit(CU->getNode()).getSplitDebugFilename());
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002892
Eric Christopher44c6aa62013-04-22 07:51:08 +00002893 // Relocate to the beginning of the addr_base section, else 0 for the
2894 // beginning of the one for this compile unit.
Eric Christopher55863be2013-04-07 03:43:09 +00002895 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
2896 NewCU->addLabel(Die, dwarf::DW_AT_GNU_addr_base, dwarf::DW_FORM_sec_offset,
2897 DwarfAddrSectionSym);
2898 else
Eric Christopher44c6aa62013-04-22 07:51:08 +00002899 NewCU->addUInt(Die, dwarf::DW_AT_GNU_addr_base,
2900 dwarf::DW_FORM_sec_offset, 0);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002901
2902 // 2.17.1 requires that we use DW_AT_low_pc for a single entry point
Eric Christopher962c9082013-01-15 23:56:56 +00002903 // into an entity. We're using 0, or a NULL label for this.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002904 NewCU->addUInt(Die, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, 0);
Eric Christopher962c9082013-01-15 23:56:56 +00002905
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002906 // DW_AT_stmt_list is a offset of line number information for this
2907 // compile unit in debug_line section.
Eric Christopher55863be2013-04-07 03:43:09 +00002908 // FIXME: Should handle multiple compile units.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002909 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Eric Christopher4c7765f2013-01-17 03:00:04 +00002910 NewCU->addLabel(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset,
Eric Christopher74804332013-02-07 21:19:50 +00002911 DwarfLineSectionSym);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002912 else
Eric Christopher4c7765f2013-01-17 03:00:04 +00002913 NewCU->addUInt(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_sec_offset, 0);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002914
2915 if (!CompilationDir.empty())
Eric Christopher2cbd5762013-01-07 19:32:41 +00002916 NewCU->addLocalString(Die, dwarf::DW_AT_comp_dir, CompilationDir);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002917
Eric Christopherdd1a0122013-09-13 00:35:05 +00002918 // Flag to let the linker know we have emitted new style pubnames.
2919 if (GenerateGnuPubSections)
2920 NewCU->addFlag(Die, dwarf::DW_AT_GNU_pubnames);
2921
Eric Christopherc8a310e2012-12-10 23:34:43 +00002922 SkeletonHolder.addUnit(NewCU);
Eric Christopher5b33b3c2013-02-06 21:53:56 +00002923 SkeletonCUs.push_back(NewCU);
Eric Christopherc8a310e2012-12-10 23:34:43 +00002924
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002925 return NewCU;
2926}
2927
Eric Christopher3c5a1912012-12-19 22:02:53 +00002928void DwarfDebug::emitSkeletonAbbrevs(const MCSection *Section) {
2929 assert(useSplitDwarf() && "No split dwarf debug info?");
2930 emitAbbrevs(Section, &SkeletonAbbrevs);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002931}
2932
Eric Christopherd692c1d2012-12-11 19:42:09 +00002933// Emit the .debug_info.dwo section for separated dwarf. This contains the
2934// compile units that would normally be in debug_info.
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002935void DwarfDebug::emitDebugInfoDWO() {
Eric Christophercdf218d2012-12-10 19:51:21 +00002936 assert(useSplitDwarf() && "No split dwarf debug info?");
Eric Christophera2de8262012-12-15 00:04:07 +00002937 InfoHolder.emitUnits(this, Asm->getObjFileLowering().getDwarfInfoDWOSection(),
Eric Christopher3c5a1912012-12-19 22:02:53 +00002938 Asm->getObjFileLowering().getDwarfAbbrevDWOSection(),
2939 DwarfAbbrevDWOSectionSym);
2940}
2941
2942// Emit the .debug_abbrev.dwo section for separated dwarf. This contains the
2943// abbreviations for the .debug_info.dwo section.
2944void DwarfDebug::emitDebugAbbrevDWO() {
2945 assert(useSplitDwarf() && "No split dwarf?");
Eric Christopher48fef592012-12-20 21:58:40 +00002946 emitAbbrevs(Asm->getObjFileLowering().getDwarfAbbrevDWOSection(),
2947 &Abbreviations);
Eric Christopher9c2ecd92012-11-30 23:59:06 +00002948}
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002949
2950// Emit the .debug_str.dwo section for separated dwarf. This contains the
2951// string section and is identical in format to traditional .debug_str
2952// sections.
2953void DwarfDebug::emitDebugStrDWO() {
2954 assert(useSplitDwarf() && "No split dwarf?");
Eric Christopherb800ff72013-01-07 22:40:45 +00002955 const MCSection *OffSec = Asm->getObjFileLowering()
2956 .getDwarfStrOffDWOSection();
Eric Christopher2cbd5762013-01-07 19:32:41 +00002957 const MCSymbol *StrSym = DwarfStrSectionSym;
2958 InfoHolder.emitStrings(Asm->getObjFileLowering().getDwarfStrDWOSection(),
2959 OffSec, StrSym);
Eric Christopher3bf29fd2012-12-27 02:14:01 +00002960}