blob: 3e21748dd39fbecd3cbb78877786b782f6f685d9 [file] [log] [blame]
David Blaikie319a05f2013-12-02 19:33:10 +00001//===-- llvm/CodeGen/DwarfUnit.h - Dwarf Compile Unit ---*- C++ -*--===//
Devang Patel5eb43192011-04-12 17:40:32 +00002//
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 compile unit.
11//
12//===----------------------------------------------------------------------===//
13
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000014#ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DWARFUNIT_H
15#define LLVM_LIB_CODEGEN_ASMPRINTER_DWARFUNIT_H
Devang Patel5eb43192011-04-12 17:40:32 +000016
17#include "DIE.h"
Eric Christopher9e429ae2013-10-05 00:27:02 +000018#include "DwarfDebug.h"
Devang Patel5eb43192011-04-12 17:40:32 +000019#include "llvm/ADT/DenseMap.h"
David Blaikief2443192013-10-21 17:28:37 +000020#include "llvm/ADT/Optional.h"
Chandler Carruth802d7552012-12-04 07:12:27 +000021#include "llvm/ADT/StringMap.h"
Adrian Prantl702bf5a2014-03-18 02:34:52 +000022#include "llvm/CodeGen/AsmPrinter.h"
Chandler Carruth12664a02014-03-06 00:22:06 +000023#include "llvm/IR/DIBuilder.h"
Chandler Carruth9a4c9e52014-03-06 00:46:21 +000024#include "llvm/IR/DebugInfo.h"
David Blaikief3cd7c52013-06-28 20:05:04 +000025#include "llvm/MC/MCExpr.h"
David Blaikie7d734602013-12-06 22:33:05 +000026#include "llvm/MC/MCSection.h"
David Blaikie4a2f95f2014-03-18 01:17:26 +000027#include "llvm/MC/MCDwarf.h"
Devang Patel5eb43192011-04-12 17:40:32 +000028
29namespace llvm {
30
Devang Patelf20c4f72011-04-12 22:53:02 +000031class MachineLocation;
32class MachineOperand;
33class ConstantInt;
David Blaikiea39a76e2013-01-20 01:18:01 +000034class ConstantFP;
Devang Patelf20c4f72011-04-12 22:53:02 +000035class DbgVariable;
David Blaikie15632ae2014-02-12 00:31:30 +000036class DwarfCompileUnit;
Devang Patelf20c4f72011-04-12 22:53:02 +000037
Eric Christopher0f63d062013-12-03 00:45:45 +000038// Data structure to hold a range for range lists.
39class RangeSpan {
40public:
41 RangeSpan(MCSymbol *S, MCSymbol *E) : Start(S), End(E) {}
Eric Christopher270ba4a2013-12-04 19:06:58 +000042 const MCSymbol *getStart() const { return Start; }
43 const MCSymbol *getEnd() const { return End; }
Eric Christopher384f3fe2014-03-20 19:16:16 +000044 void setEnd(const MCSymbol *E) { End = E; }
Eric Christopher0f63d062013-12-03 00:45:45 +000045
46private:
47 const MCSymbol *Start, *End;
48};
49
50class RangeSpanList {
51private:
52 // Index for locating within the debug_range section this particular span.
Eric Christopherf8790642013-12-04 22:04:50 +000053 MCSymbol *RangeSym;
Eric Christopher0f63d062013-12-03 00:45:45 +000054 // List of ranges.
55 SmallVector<RangeSpan, 2> Ranges;
56
57public:
Eric Christopherf8790642013-12-04 22:04:50 +000058 RangeSpanList(MCSymbol *Sym) : RangeSym(Sym) {}
59 MCSymbol *getSym() const { return RangeSym; }
Eric Christopher0f63d062013-12-03 00:45:45 +000060 const SmallVectorImpl<RangeSpan> &getRanges() const { return Ranges; }
61 void addRange(RangeSpan Range) { Ranges.push_back(Range); }
62};
63
Devang Patel5eb43192011-04-12 17:40:32 +000064//===----------------------------------------------------------------------===//
David Blaikie319a05f2013-12-02 19:33:10 +000065/// Unit - This dwarf writer support class manages information associated
Devang Patel5eb43192011-04-12 17:40:32 +000066/// with a source file.
Eric Christophera5a79422013-12-09 23:32:48 +000067class DwarfUnit {
David Blaikie319a05f2013-12-02 19:33:10 +000068protected:
Eli Benderskyb42d1462012-12-03 18:45:45 +000069 /// UniqueID - a numeric ID unique among all CUs in the module
Eli Benderskyb42d1462012-12-03 18:45:45 +000070 unsigned UniqueID;
Devang Patel5eb43192011-04-12 17:40:32 +000071
David Blaikie7480ae62014-01-09 03:03:27 +000072 /// Node - MDNode for the compile unit.
David Blaikief645f962014-01-09 03:23:41 +000073 DICompileUnit CUNode;
David Blaikie7480ae62014-01-09 03:03:27 +000074
David Blaikie2a80e442013-12-02 22:09:48 +000075 /// Unit debug information entry.
David Blaikiebd579052014-04-28 21:14:27 +000076 DIE UnitDie;
Devang Patel5eb43192011-04-12 17:40:32 +000077
David Blaikie2a80e442013-12-02 22:09:48 +000078 /// Offset of the UnitDie from beginning of debug info section.
Eric Christophera16725b2013-11-21 01:29:16 +000079 unsigned DebugInfoOffset;
80
Devang Patelf20c4f72011-04-12 22:53:02 +000081 /// Asm - Target of Dwarf emission.
82 AsmPrinter *Asm;
83
Eric Christophere698f532012-12-20 21:58:36 +000084 // Holders for some common dwarf information.
Devang Patelf20c4f72011-04-12 22:53:02 +000085 DwarfDebug *DD;
Eric Christopherf8194852013-12-05 18:06:10 +000086 DwarfFile *DU;
Devang Patelf20c4f72011-04-12 22:53:02 +000087
David Blaikie2a80e442013-12-02 22:09:48 +000088 /// IndexTyDie - An anonymous type for index type. Owned by UnitDie.
Devang Patel5eb43192011-04-12 17:40:32 +000089 DIE *IndexTyDie;
90
Eric Christopher61560112013-05-08 00:11:10 +000091 /// MDNodeToDieMap - Tracks the mapping of unit level debug information
Devang Patel5eb43192011-04-12 17:40:32 +000092 /// variables to debug information entries.
93 DenseMap<const MDNode *, DIE *> MDNodeToDieMap;
94
Eric Christopher61560112013-05-08 00:11:10 +000095 /// MDNodeToDIEEntryMap - Tracks the mapping of unit level debug information
Devang Patel5eb43192011-04-12 17:40:32 +000096 /// descriptors to debug information entries using a DIEEntry proxy.
97 DenseMap<const MDNode *, DIEEntry *> MDNodeToDIEEntryMap;
98
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +000099 /// GlobalNames - A map of globally visible named entities for this unit.
Eric Christopher0fe676a2013-11-21 00:48:22 +0000100 StringMap<const DIE *> GlobalNames;
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +0000101
Devang Patel5eb43192011-04-12 17:40:32 +0000102 /// GlobalTypes - A map of globally visible types for this unit.
Eric Christopher0fe676a2013-11-21 00:48:22 +0000103 StringMap<const DIE *> GlobalTypes;
Devang Patel5eb43192011-04-12 17:40:32 +0000104
Devang Patelf20c4f72011-04-12 22:53:02 +0000105 /// DIEBlocks - A list of all the DIEBlocks in use.
106 std::vector<DIEBlock *> DIEBlocks;
Eric Christopher4a741042014-02-16 08:46:55 +0000107
108 /// DIELocs - A list of all the DIELocs in use.
109 std::vector<DIELoc *> DIELocs;
Devang Patelf20c4f72011-04-12 22:53:02 +0000110
Devang Patel89543712011-08-15 17:24:54 +0000111 /// ContainingTypeMap - This map is used to keep track of subprogram DIEs that
112 /// need DW_AT_containing_type attribute. This attribute points to a DIE that
113 /// corresponds to the MDNode mapped with the subprogram DIE.
114 DenseMap<DIE *, const MDNode *> ContainingTypeMap;
115
Eric Christopher46e23432013-12-20 04:16:18 +0000116 // List of ranges for a given compile unit.
117 SmallVector<RangeSpan, 1> CURanges;
118
Eric Christopher0f63d062013-12-03 00:45:45 +0000119 // List of range lists for a given compile unit, separate from the ranges for
120 // the CU itself.
Eric Christopher270ba4a2013-12-04 19:06:58 +0000121 SmallVector<RangeSpanList, 1> CURangeLists;
Eric Christopher0f63d062013-12-03 00:45:45 +0000122
Eric Christopher3264a482013-10-05 00:39:55 +0000123 // DIEValueAllocator - All DIEValues are allocated through this allocator.
124 BumpPtrAllocator DIEValueAllocator;
125
126 // DIEIntegerOne - A preallocated DIEValue because 1 is used frequently.
127 DIEInteger *DIEIntegerOne;
128
David Blaikie03073f72013-12-06 22:14:48 +0000129 /// The section this unit will be emitted in.
130 const MCSection *Section;
131
132 /// A label at the start of the non-dwo section related to this unit.
133 MCSymbol *SectionSym;
134
David Blaikie7d734602013-12-06 22:33:05 +0000135 /// The start of the unit within its section.
136 MCSymbol *LabelBegin;
137
138 /// The end of the unit within its section.
139 MCSymbol *LabelEnd;
140
Eric Christopherd8667202013-12-30 17:22:27 +0000141 /// Skeleton unit associated with this unit.
142 DwarfUnit *Skeleton;
143
David Blaikiebd579052014-04-28 21:14:27 +0000144 DwarfUnit(unsigned UID, dwarf::Tag, DICompileUnit CU, AsmPrinter *A,
145 DwarfDebug *DW, DwarfFile *DWU);
David Blaikie319a05f2013-12-02 19:33:10 +0000146
Devang Patel5eb43192011-04-12 17:40:32 +0000147public:
Eric Christophera5a79422013-12-09 23:32:48 +0000148 virtual ~DwarfUnit();
Devang Patel5eb43192011-04-12 17:40:32 +0000149
Eric Christopherd8667202013-12-30 17:22:27 +0000150 /// Set the skeleton unit associated with this unit.
David Blaikief9b6a552014-04-22 22:39:41 +0000151 void setSkeleton(DwarfUnit &Skel) { Skeleton = &Skel; }
Eric Christopherd8667202013-12-30 17:22:27 +0000152
153 /// Get the skeleton unit associated with this unit.
154 DwarfUnit *getSkeleton() const { return Skeleton; }
155
David Blaikie03073f72013-12-06 22:14:48 +0000156 /// Pass in the SectionSym even though we could recreate it in every compile
157 /// unit (type units will have actually distinct symbols once they're in
158 /// comdat sections).
159 void initSection(const MCSection *Section, MCSymbol *SectionSym) {
160 assert(!this->Section);
161 this->Section = Section;
162 this->SectionSym = SectionSym;
David Blaikie7d734602013-12-06 22:33:05 +0000163 this->LabelBegin =
164 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
165 this->LabelEnd =
166 Asm->GetTempSymbol(Section->getLabelEndName(), getUniqueID());
David Blaikie03073f72013-12-06 22:14:48 +0000167 }
David Blaikie1ab7c2d2013-12-09 17:51:30 +0000168
David Blaikie03073f72013-12-06 22:14:48 +0000169 const MCSection *getSection() const {
170 assert(Section);
171 return Section;
172 }
173
Eric Christopherd8667202013-12-30 17:22:27 +0000174 /// If there's a skeleton then return the section symbol for the skeleton
175 /// unit, otherwise return the section symbol for this unit.
176 MCSymbol *getLocalSectionSym() const {
177 if (Skeleton)
178 return Skeleton->getSectionSym();
Eric Christopherd4368fd2014-01-02 21:03:28 +0000179 return getSectionSym();
Eric Christopherd8667202013-12-30 17:22:27 +0000180 }
181
David Blaikie7d734602013-12-06 22:33:05 +0000182 MCSymbol *getSectionSym() const {
David Blaikie03073f72013-12-06 22:14:48 +0000183 assert(Section);
184 return SectionSym;
185 }
186
Eric Christopherd8667202013-12-30 17:22:27 +0000187 /// If there's a skeleton then return the begin label for the skeleton unit,
188 /// otherwise return the local label for this unit.
189 MCSymbol *getLocalLabelBegin() const {
190 if (Skeleton)
191 return Skeleton->getLabelBegin();
Eric Christopherd4368fd2014-01-02 21:03:28 +0000192 return getLabelBegin();
Eric Christopherd8667202013-12-30 17:22:27 +0000193 }
194
David Blaikie7d734602013-12-06 22:33:05 +0000195 MCSymbol *getLabelBegin() const {
196 assert(Section);
197 return LabelBegin;
198 }
199
200 MCSymbol *getLabelEnd() const {
201 assert(Section);
202 return LabelEnd;
203 }
204
Devang Patel5eb43192011-04-12 17:40:32 +0000205 // Accessors.
Eric Christopherca68bbf2013-08-26 23:58:22 +0000206 unsigned getUniqueID() const { return UniqueID; }
David Blaikief645f962014-01-09 03:23:41 +0000207 uint16_t getLanguage() const { return CUNode.getLanguage(); }
208 DICompileUnit getCUNode() const { return CUNode; }
David Blaikiebd579052014-04-28 21:14:27 +0000209 DIE &getUnitDie() { return UnitDie; }
Eric Christopher0fe676a2013-11-21 00:48:22 +0000210 const StringMap<const DIE *> &getGlobalNames() const { return GlobalNames; }
211 const StringMap<const DIE *> &getGlobalTypes() const { return GlobalTypes; }
Devang Patel5eb43192011-04-12 17:40:32 +0000212
Manman Rence20d462013-10-29 22:57:10 +0000213 unsigned getDebugInfoOffset() const { return DebugInfoOffset; }
214 void setDebugInfoOffset(unsigned DbgInfoOff) { DebugInfoOffset = DbgInfoOff; }
215
Devang Patel5eb43192011-04-12 17:40:32 +0000216 /// hasContent - Return true if this compile unit has something to write out.
David Blaikiebd579052014-04-28 21:14:27 +0000217 bool hasContent() const { return !UnitDie.getChildren().empty(); }
Devang Patel5eb43192011-04-12 17:40:32 +0000218
Eric Christopher46e23432013-12-20 04:16:18 +0000219 /// addRange - Add an address range to the list of ranges for this unit.
Eric Christopher384f3fe2014-03-20 19:16:16 +0000220 void addRange(RangeSpan Range);
Eric Christopher46e23432013-12-20 04:16:18 +0000221
222 /// getRanges - Get the list of ranges for this unit.
223 const SmallVectorImpl<RangeSpan> &getRanges() const { return CURanges; }
224 SmallVectorImpl<RangeSpan> &getRanges() { return CURanges; }
225
Eric Christopher0f63d062013-12-03 00:45:45 +0000226 /// addRangeList - Add an address range list to the list of range lists.
Eric Christopher270ba4a2013-12-04 19:06:58 +0000227 void addRangeList(RangeSpanList Ranges) { CURangeLists.push_back(Ranges); }
Eric Christopher0f63d062013-12-03 00:45:45 +0000228
229 /// getRangeLists - Get the vector of range lists.
Eric Christopher270ba4a2013-12-04 19:06:58 +0000230 const SmallVectorImpl<RangeSpanList> &getRangeLists() const {
Eric Christopher0f63d062013-12-03 00:45:45 +0000231 return CURangeLists;
232 }
Eric Christopher270ba4a2013-12-04 19:06:58 +0000233 SmallVectorImpl<RangeSpanList> &getRangeLists() { return CURangeLists; }
Eric Christopher0f63d062013-12-03 00:45:45 +0000234
Eric Christopher2c8b7902013-10-17 02:06:06 +0000235 /// getParentContextString - Get a string containing the language specific
236 /// context for a global name.
237 std::string getParentContextString(DIScope Context) const;
238
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +0000239 /// addGlobalName - Add a new global entity to the compile unit.
240 ///
David Blaikie65a74662014-04-25 18:26:14 +0000241 void addGlobalName(StringRef Name, DIE &Die, DIScope Context);
Krzysztof Parzyszek228daa62013-02-12 18:00:14 +0000242
Eric Christopher9cd26af2013-09-20 23:22:52 +0000243 /// addAccelNamespace - Add a new name to the namespace accelerator table.
David Blaikie65a74662014-04-25 18:26:14 +0000244 void addAccelNamespace(StringRef Name, const DIE &Die);
Eric Christopher9cd26af2013-09-20 23:22:52 +0000245
Devang Patel5eb43192011-04-12 17:40:32 +0000246 /// getDIE - Returns the debug information entry map slot for the
Manman Ren4dbdc902013-10-31 17:54:35 +0000247 /// specified debug variable. We delegate the request to DwarfDebug
248 /// when the MDNode can be part of the type system, since DIEs for
249 /// the type system can be shared across CUs and the mappings are
250 /// kept in DwarfDebug.
David Blaikie2ad00162013-11-15 23:09:13 +0000251 DIE *getDIE(DIDescriptor D) const;
Devang Patel5eb43192011-04-12 17:40:32 +0000252
Eric Christopher4a741042014-02-16 08:46:55 +0000253 /// getDIELoc - Returns a fresh newly allocated DIELoc.
254 DIELoc *getDIELoc() { return new (DIEValueAllocator) DIELoc(); }
Devang Patelf20c4f72011-04-12 22:53:02 +0000255
Manman Ren4dbdc902013-10-31 17:54:35 +0000256 /// insertDIE - Insert DIE into the map. We delegate the request to DwarfDebug
257 /// when the MDNode can be part of the type system, since DIEs for
258 /// the type system can be shared across CUs and the mappings are
259 /// kept in DwarfDebug.
David Blaikie2ad00162013-11-15 23:09:13 +0000260 void insertDIE(DIDescriptor Desc, DIE *D);
Devang Patel5eb43192011-04-12 17:40:32 +0000261
Eric Christopherbb69a272012-08-24 01:14:27 +0000262 /// addFlag - Add a flag that is true to the DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000263 void addFlag(DIE &Die, dwarf::Attribute Attribute);
Eric Christopher48fef592012-12-20 21:58:40 +0000264
Devang Patelf20c4f72011-04-12 22:53:02 +0000265 /// addUInt - Add an unsigned integer attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000266 void addUInt(DIE &Die, dwarf::Attribute Attribute, Optional<dwarf::Form> Form,
David Blaikief2443192013-10-21 17:28:37 +0000267 uint64_t Integer);
268
David Blaikie65a74662014-04-25 18:26:14 +0000269 void addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer);
Devang Patelf20c4f72011-04-12 22:53:02 +0000270
271 /// addSInt - Add an signed integer attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000272 void addSInt(DIE &Die, dwarf::Attribute Attribute, Optional<dwarf::Form> Form,
David Blaikief2443192013-10-21 17:28:37 +0000273 int64_t Integer);
274
David Blaikie65a74662014-04-25 18:26:14 +0000275 void addSInt(DIELoc &Die, Optional<dwarf::Form> Form, int64_t Integer);
Devang Patelf20c4f72011-04-12 22:53:02 +0000276
277 /// addString - Add a string attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000278 void addString(DIE &Die, dwarf::Attribute Attribute, const StringRef Str);
Devang Patelf20c4f72011-04-12 22:53:02 +0000279
Eric Christopher2cbd5762013-01-07 19:32:41 +0000280 /// addLocalString - Add a string attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000281 void addLocalString(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera07e4f52013-11-19 09:28:34 +0000282 const StringRef Str);
Eric Christopher2cbd5762013-01-07 19:32:41 +0000283
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000284 /// addExpr - Add a Dwarf expression attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000285 void addExpr(DIELoc &Die, dwarf::Form Form, const MCExpr *Expr);
Ulrich Weigand396ba8b2013-07-02 18:46:26 +0000286
Devang Patelf20c4f72011-04-12 22:53:02 +0000287 /// addLabel - Add a Dwarf label attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000288 void addLabel(DIE &Die, dwarf::Attribute Attribute, dwarf::Form Form,
Devang Patelf20c4f72011-04-12 22:53:02 +0000289 const MCSymbol *Label);
290
David Blaikie65a74662014-04-25 18:26:14 +0000291 void addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label);
David Blaikief2443192013-10-21 17:28:37 +0000292
Eric Christophera27220f2014-03-05 22:41:20 +0000293 /// addLocationList - Add a Dwarf loclistptr attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000294 void addLocationList(DIE &Die, dwarf::Attribute Attribute, unsigned Index);
Eric Christophera27220f2014-03-05 22:41:20 +0000295
Eric Christopher33ff6972013-11-21 23:46:41 +0000296 /// addSectionLabel - Add a Dwarf section label attribute data and value.
297 ///
David Blaikie65a74662014-04-25 18:26:14 +0000298 void addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
Eric Christopherf52eddf2013-11-26 22:23:27 +0000299 const MCSymbol *Label);
Eric Christopher33ff6972013-11-21 23:46:41 +0000300
301 /// addSectionOffset - Add an offset into a section attribute data and value.
302 ///
David Blaikie65a74662014-04-25 18:26:14 +0000303 void addSectionOffset(DIE &Die, dwarf::Attribute Attribute, uint64_t Integer);
Eric Christopher33ff6972013-11-21 23:46:41 +0000304
Eric Christophere9ec2452013-01-18 22:11:33 +0000305 /// addOpAddress - Add a dwarf op address data and value using the
306 /// form given and an op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
David Blaikie65a74662014-04-25 18:26:14 +0000307 void addOpAddress(DIELoc &Die, const MCSymbol *Label);
Eric Christophere9ec2452013-01-18 22:11:33 +0000308
Eric Christopher33ff6972013-11-21 23:46:41 +0000309 /// addSectionDelta - Add a label delta attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000310 void addSectionDelta(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Hi,
Eric Christopher33ff6972013-11-21 23:46:41 +0000311 const MCSymbol *Lo);
Devang Patelf20c4f72011-04-12 22:53:02 +0000312
David Blaikie48b1bdc2014-03-07 01:30:55 +0000313 /// addLabelDelta - Add a label delta attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000314 void addLabelDelta(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Hi,
David Blaikie48b1bdc2014-03-07 01:30:55 +0000315 const MCSymbol *Lo);
316
Devang Patelf20c4f72011-04-12 22:53:02 +0000317 /// addDIEEntry - Add a DIE attribute data and value.
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000318 void addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry);
Eric Christopher48fef592012-12-20 21:58:40 +0000319
Manman Ren4dbdc902013-10-31 17:54:35 +0000320 /// addDIEEntry - Add a DIE attribute data and value.
David Blaikie65a74662014-04-25 18:26:14 +0000321 void addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIEEntry *Entry);
Manman Ren4dbdc902013-10-31 17:54:35 +0000322
David Blaikie65a74662014-04-25 18:26:14 +0000323 void addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type);
David Blaikie47f615e2013-12-17 23:32:35 +0000324
Devang Patelf20c4f72011-04-12 22:53:02 +0000325 /// addBlock - Add block data.
David Blaikie65a74662014-04-25 18:26:14 +0000326 void addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Block);
Eric Christopher4a741042014-02-16 08:46:55 +0000327
328 /// addBlock - Add block data.
David Blaikie65a74662014-04-25 18:26:14 +0000329 void addBlock(DIE &Die, dwarf::Attribute Attribute, DIEBlock *Block);
Devang Patelf20c4f72011-04-12 22:53:02 +0000330
331 /// addSourceLine - Add location information to specified debug information
332 /// entry.
David Blaikie65a74662014-04-25 18:26:14 +0000333 void addSourceLine(DIE &Die, unsigned Line, StringRef File,
David Blaikie101613e2014-02-12 00:11:25 +0000334 StringRef Directory);
David Blaikie65a74662014-04-25 18:26:14 +0000335 void addSourceLine(DIE &Die, DIVariable V);
336 void addSourceLine(DIE &Die, DIGlobalVariable G);
337 void addSourceLine(DIE &Die, DISubprogram SP);
338 void addSourceLine(DIE &Die, DIType Ty);
339 void addSourceLine(DIE &Die, DINameSpace NS);
340 void addSourceLine(DIE &Die, DIObjCProperty Ty);
Devang Patelf20c4f72011-04-12 22:53:02 +0000341
342 /// addAddress - Add an address attribute to a die based on the location
343 /// provided.
David Blaikie65a74662014-04-25 18:26:14 +0000344 void addAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christophera07e4f52013-11-19 09:28:34 +0000345 const MachineLocation &Location, bool Indirect = false);
Devang Patelf20c4f72011-04-12 22:53:02 +0000346
Devang Patelf20c4f72011-04-12 22:53:02 +0000347 /// addConstantValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000348 void addConstantValue(DIE &Die, const MachineOperand &MO, DIType Ty);
David Blaikiec0a28412014-05-11 15:56:59 +0000349 void addConstantValue(DIE &Die, const ConstantInt *CI, DIType Ty);
350 void addConstantValue(DIE &Die, const APInt &Val, DIType Ty);
David Blaikie65a74662014-04-25 18:26:14 +0000351 void addConstantValue(DIE &Die, const APInt &Val, bool Unsigned);
David Blaikie60cae1b2014-05-11 16:08:41 +0000352 void addConstantValue(DIE &Die, bool Unsigned, uint64_t Val);
Devang Patelf20c4f72011-04-12 22:53:02 +0000353
354 /// addConstantFPValue - Add constant value entry in variable DIE.
David Blaikie65a74662014-04-25 18:26:14 +0000355 void addConstantFPValue(DIE &Die, const MachineOperand &MO);
356 void addConstantFPValue(DIE &Die, const ConstantFP *CFP);
Devang Patelf20c4f72011-04-12 22:53:02 +0000357
358 /// addTemplateParams - Add template parameters in buffer.
359 void addTemplateParams(DIE &Buffer, DIArray TParams);
360
Devang Patelba5fbf12011-04-26 19:06:18 +0000361 /// addRegisterOp - Add register operand.
Adrian Prantlb1416832014-08-01 22:11:58 +0000362 void addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
363 unsigned SizeInBits = 0, unsigned OffsetInBits = 0);
Devang Patelba5fbf12011-04-26 19:06:18 +0000364
365 /// addRegisterOffset - Add register offset.
David Blaikie65a74662014-04-25 18:26:14 +0000366 void addRegisterOffset(DIELoc &TheDie, unsigned Reg, int64_t Offset);
Devang Patelba5fbf12011-04-26 19:06:18 +0000367
Devang Patelf20c4f72011-04-12 22:53:02 +0000368 /// addComplexAddress - Start with the address based on the location provided,
369 /// and generate the DWARF information necessary to find the actual variable
370 /// (navigating the extra location information encoded in the type) based on
371 /// the starting location. Add the DWARF information to the die.
David Blaikie65a74662014-04-25 18:26:14 +0000372 void addComplexAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera07e4f52013-11-19 09:28:34 +0000373 dwarf::Attribute Attribute,
Devang Patelf20c4f72011-04-12 22:53:02 +0000374 const MachineLocation &Location);
375
376 // FIXME: Should be reformulated in terms of addComplexAddress.
377 /// addBlockByrefAddress - Start with the address based on the location
378 /// provided, and generate the DWARF information necessary to find the
379 /// actual Block variable (navigating the Block struct) based on the
380 /// starting location. Add the DWARF information to the die. Obsolete,
381 /// please use addComplexAddress instead.
David Blaikie65a74662014-04-25 18:26:14 +0000382 void addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
Eric Christophera07e4f52013-11-19 09:28:34 +0000383 dwarf::Attribute Attribute,
Devang Patelf20c4f72011-04-12 22:53:02 +0000384 const MachineLocation &Location);
385
Eric Christopher48fef592012-12-20 21:58:40 +0000386 /// addVariableAddress - Add DW_AT_location attribute for a
Devang Patel77dc5412011-04-27 22:45:24 +0000387 /// DbgVariable based on provided MachineLocation.
David Blaikie65a74662014-04-25 18:26:14 +0000388 void addVariableAddress(const DbgVariable &DV, DIE &Die,
Eric Christopherbf2d23c2013-06-24 21:07:27 +0000389 MachineLocation Location);
Devang Patelf20c4f72011-04-12 22:53:02 +0000390
Eric Christopher7285c7d2012-03-28 07:34:31 +0000391 /// addType - Add a new type attribute to the specified entity. This takes
392 /// and attribute parameter because DW_AT_friend attributes are also
393 /// type references.
David Blaikie65a74662014-04-25 18:26:14 +0000394 void addType(DIE &Entity, DIType Ty,
Eric Christophera07e4f52013-11-19 09:28:34 +0000395 dwarf::Attribute Attribute = dwarf::DW_AT_type);
Devang Patelf20c4f72011-04-12 22:53:02 +0000396
397 /// getOrCreateNameSpace - Create a DIE for DINameSpace.
398 DIE *getOrCreateNameSpace(DINameSpace NS);
399
Devang Patel89543712011-08-15 17:24:54 +0000400 /// getOrCreateSubprogramDIE - Create new DIE using SP.
401 DIE *getOrCreateSubprogramDIE(DISubprogram SP);
402
David Blaikie7f916862014-05-27 18:37:38 +0000403 void applySubprogramAttributes(DISubprogram SP, DIE &SPDie);
David Blaikie3dca5992014-06-06 22:29:05 +0000404 void applySubprogramAttributesToDefinition(DISubprogram SP, DIE &SPDie);
David Blaikieeb1a2722014-06-13 22:18:23 +0000405 void applyVariableAttributes(const DbgVariable &Var, DIE &VariableDie);
David Blaikie7f916862014-05-27 18:37:38 +0000406
Devang Patelf20c4f72011-04-12 22:53:02 +0000407 /// getOrCreateTypeDIE - Find existing DIE or create new DIE for the
408 /// given DIType.
Devang Pateleb1bb4e2011-08-16 22:09:43 +0000409 DIE *getOrCreateTypeDIE(const MDNode *N);
Devang Patelf20c4f72011-04-12 22:53:02 +0000410
Eric Christopherfa205ca2013-10-05 00:05:51 +0000411 /// getOrCreateContextDIE - Get context owner's DIE.
David Blaikie409dd9c2013-11-19 23:08:21 +0000412 DIE *createTypeDIE(DICompositeType Ty);
413
414 /// getOrCreateContextDIE - Get context owner's DIE.
Eric Christopherfa205ca2013-10-05 00:05:51 +0000415 DIE *getOrCreateContextDIE(DIScope Context);
Devang Patelf20c4f72011-04-12 22:53:02 +0000416
Eric Christopherfa205ca2013-10-05 00:05:51 +0000417 /// constructContainingTypeDIEs - Construct DIEs for types that contain
418 /// vtables.
419 void constructContainingTypeDIEs();
Devang Patelf20c4f72011-04-12 22:53:02 +0000420
Eric Christopherfa205ca2013-10-05 00:05:51 +0000421 /// constructVariableDIE - Construct a DIE for the given DbgVariable.
David Blaikie914046e2014-04-25 20:00:34 +0000422 std::unique_ptr<DIE> constructVariableDIE(DbgVariable &DV,
David Blaikieb85f0082014-05-27 19:34:32 +0000423 bool Abstract = false);
Eric Christopherfa205ca2013-10-05 00:05:51 +0000424
Adrian Prantl69140d22014-02-25 22:27:14 +0000425 /// constructSubprogramArguments - Construct function argument DIEs.
Manman Renf8a19672014-07-28 22:24:06 +0000426 void constructSubprogramArguments(DIE &Buffer, DITypeArray Args);
Adrian Prantl69140d22014-02-25 22:27:14 +0000427
Manman Renb987e512013-10-29 00:53:03 +0000428 /// Create a DIE with the given Tag, add the DIE to its parent, and
429 /// call insertDIE if MD is not null.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000430 DIE &createAndAddDIE(unsigned Tag, DIE &Parent,
Eric Christophera07e4f52013-11-19 09:28:34 +0000431 DIDescriptor N = DIDescriptor());
Manman Renb987e512013-10-29 00:53:03 +0000432
David Blaikie6b288cf2013-10-30 20:42:41 +0000433 /// Compute the size of a header for this unit, not including the initial
434 /// length field.
David Blaikiebc563272013-12-13 21:33:40 +0000435 virtual unsigned getHeaderSize() const {
David Blaikie6b288cf2013-10-30 20:42:41 +0000436 return sizeof(int16_t) + // DWARF version number
437 sizeof(int32_t) + // Offset Into Abbrev. Section
438 sizeof(int8_t); // Pointer Size (in bytes)
439 }
440
441 /// Emit the header for this unit, not including the initial length field.
David Blaikied82b2372014-03-24 20:28:10 +0000442 virtual void emitHeader(const MCSymbol *ASectionSym) const;
David Blaikie6b288cf2013-10-30 20:42:41 +0000443
David Blaikie15632ae2014-02-12 00:31:30 +0000444 virtual DwarfCompileUnit &getCU() = 0;
David Blaikied696fac2014-02-12 00:32:05 +0000445
David Blaikiee12b49a2014-04-26 17:27:38 +0000446 /// constructTypeDIE - Construct type DIE from DICompositeType.
447 void constructTypeDIE(DIE &Buffer, DICompositeType CTy);
448
David Blaikie319a05f2013-12-02 19:33:10 +0000449protected:
450 /// getOrCreateStaticMemberDIE - Create new static data member DIE.
451 DIE *getOrCreateStaticMemberDIE(DIDerivedType DT);
452
David Blaikie4a2f95f2014-03-18 01:17:26 +0000453 /// Look up the source ID with the given directory and source file names. If
454 /// none currently exists, create a new ID and insert it in the line table.
455 virtual unsigned getOrCreateSourceID(StringRef File, StringRef Directory) = 0;
456
Eric Christopherfa205ca2013-10-05 00:05:51 +0000457private:
David Blaikiee071fc82014-04-25 17:32:19 +0000458 /// \brief Construct a DIE for the given DbgVariable without initializing the
459 /// DbgVariable's DIE reference.
David Blaikie914046e2014-04-25 20:00:34 +0000460 std::unique_ptr<DIE> constructVariableDIEImpl(const DbgVariable &DV,
David Blaikieb85f0082014-05-27 19:34:32 +0000461 bool Abstract);
David Blaikiee071fc82014-04-25 17:32:19 +0000462
Devang Patelf20c4f72011-04-12 22:53:02 +0000463 /// constructTypeDIE - Construct basic type die from DIBasicType.
Eric Christopherf0388b72013-10-04 23:49:29 +0000464 void constructTypeDIE(DIE &Buffer, DIBasicType BTy);
Devang Patelf20c4f72011-04-12 22:53:02 +0000465
466 /// constructTypeDIE - Construct derived type die from DIDerivedType.
Eric Christopherf0388b72013-10-04 23:49:29 +0000467 void constructTypeDIE(DIE &Buffer, DIDerivedType DTy);
Devang Patelf20c4f72011-04-12 22:53:02 +0000468
Devang Patelf20c4f72011-04-12 22:53:02 +0000469 /// constructSubrangeDIE - Construct subrange DIE from DISubrange.
470 void constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy);
471
472 /// constructArrayTypeDIE - Construct array type DIE from DICompositeType.
Eric Christopherdf9955d2013-11-11 18:52:31 +0000473 void constructArrayTypeDIE(DIE &Buffer, DICompositeType CTy);
Devang Patelf20c4f72011-04-12 22:53:02 +0000474
475 /// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator.
Eric Christopheraeb105f2013-11-11 18:52:39 +0000476 void constructEnumTypeDIE(DIE &Buffer, DICompositeType CTy);
Devang Patelf20c4f72011-04-12 22:53:02 +0000477
Manman Ren230ec862013-10-23 23:00:44 +0000478 /// constructMemberDIE - Construct member DIE from DIDerivedType.
479 void constructMemberDIE(DIE &Buffer, DIDerivedType DT);
Manman Ren7cc62702013-10-18 21:14:19 +0000480
Manman Renffc9a712013-10-23 23:05:28 +0000481 /// constructTemplateTypeParameterDIE - Construct new DIE for the given
482 /// DITemplateTypeParameter.
483 void constructTemplateTypeParameterDIE(DIE &Buffer,
484 DITemplateTypeParameter TP);
Manman Ren7cc62702013-10-18 21:14:19 +0000485
Manman Renffc9a712013-10-23 23:05:28 +0000486 /// constructTemplateValueParameterDIE - Construct new DIE for the given
487 /// DITemplateValueParameter.
488 void constructTemplateValueParameterDIE(DIE &Buffer,
489 DITemplateValueParameter TVP);
Devang Patelf20c4f72011-04-12 22:53:02 +0000490
Eric Christopherfa205ca2013-10-05 00:05:51 +0000491 /// getLowerBoundDefault - Return the default lower bound for an array. If the
492 /// DWARF version doesn't handle the language, return -1.
493 int64_t getDefaultLowerBound() const;
494
495 /// getDIEEntry - Returns the debug information entry for the specified
496 /// debug variable.
497 DIEEntry *getDIEEntry(const MDNode *N) const {
498 return MDNodeToDIEEntryMap.lookup(N);
499 }
500
501 /// insertDIEEntry - Insert debug information entry into the map.
502 void insertDIEEntry(const MDNode *N, DIEEntry *E) {
503 MDNodeToDIEEntryMap.insert(std::make_pair(N, E));
504 }
505
506 // getIndexTyDie - Get an anonymous type for index type.
507 DIE *getIndexTyDie() { return IndexTyDie; }
508
509 // setIndexTyDie - Set D as anonymous type for index which can be reused
510 // later.
511 void setIndexTyDie(DIE *D) { IndexTyDie = D; }
512
513 /// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug
514 /// information entry.
David Blaikie8dbcc3f2014-04-25 19:33:43 +0000515 DIEEntry *createDIEEntry(DIE &Entry);
David Blaikie684fc532013-05-06 23:33:07 +0000516
Eric Christopher9e429ae2013-10-05 00:27:02 +0000517 /// resolve - Look in the DwarfDebug map for the MDNode that
Eric Christopher87b9c492013-10-05 00:32:34 +0000518 /// corresponds to the reference.
Eric Christopher9e429ae2013-10-05 00:27:02 +0000519 template <typename T> T resolve(DIRef<T> Ref) const {
520 return DD->resolve(Ref);
521 }
David Blaikie2ea848b2013-11-19 22:51:04 +0000522
523 /// If this is a named finished type then include it in the list of types for
524 /// the accelerator tables.
David Blaikieb0b3fcf2014-04-25 18:52:29 +0000525 void updateAcceleratorTables(DIScope Context, DIType Ty, const DIE &TyDIE);
Devang Patel5eb43192011-04-12 17:40:32 +0000526};
527
Eric Christopher4287a492013-12-09 23:57:44 +0000528class DwarfCompileUnit : public DwarfUnit {
David Blaikie60e63862014-02-14 23:58:13 +0000529 /// The attribute index of DW_AT_stmt_list in the compile unit DIE, avoiding
530 /// the need to search for it in applyStmtList.
531 unsigned stmtListIndex;
532
David Blaikie319a05f2013-12-02 19:33:10 +0000533public:
David Blaikiebd579052014-04-28 21:14:27 +0000534 DwarfCompileUnit(unsigned UID, DICompileUnit Node, AsmPrinter *A,
535 DwarfDebug *DW, DwarfFile *DWU);
David Blaikie319a05f2013-12-02 19:33:10 +0000536
David Blaikie2494fdb2014-02-14 22:41:51 +0000537 void initStmtList(MCSymbol *DwarfLineSectionSym);
538
David Blaikie60e63862014-02-14 23:58:13 +0000539 /// Apply the DW_AT_stmt_list from this compile unit to the specified DIE.
540 void applyStmtList(DIE &D);
541
David Blaikie319a05f2013-12-02 19:33:10 +0000542 /// createGlobalVariableDIE - create global variable DIE.
543 void createGlobalVariableDIE(DIGlobalVariable GV);
544
545 /// addLabelAddress - Add a dwarf label attribute data and value using
546 /// either DW_FORM_addr or DW_FORM_GNU_addr_index.
David Blaikie65a74662014-04-25 18:26:14 +0000547 void addLabelAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000548 const MCSymbol *Label);
549
550 /// addLocalLabelAddress - Add a dwarf label attribute data and value using
551 /// DW_FORM_addr only.
David Blaikie65a74662014-04-25 18:26:14 +0000552 void addLocalLabelAddress(DIE &Die, dwarf::Attribute Attribute,
Eric Christopher384f3fe2014-03-20 19:16:16 +0000553 const MCSymbol *Label);
David Blaikie15632ae2014-02-12 00:31:30 +0000554
Craig Topper73156022014-03-02 09:09:27 +0000555 DwarfCompileUnit &getCU() override { return *this; }
David Blaikie0e8d4012014-03-17 23:53:25 +0000556
David Blaikie4a2f95f2014-03-18 01:17:26 +0000557 unsigned getOrCreateSourceID(StringRef FileName, StringRef DirName) override;
David Blaikie319a05f2013-12-02 19:33:10 +0000558};
559
Eric Christopher4287a492013-12-09 23:57:44 +0000560class DwarfTypeUnit : public DwarfUnit {
David Blaikie319a05f2013-12-02 19:33:10 +0000561private:
David Blaikiebc563272013-12-13 21:33:40 +0000562 uint64_t TypeSignature;
563 const DIE *Ty;
David Blaikie15632ae2014-02-12 00:31:30 +0000564 DwarfCompileUnit &CU;
David Blaikie8287aff2014-03-18 02:13:23 +0000565 MCDwarfDwoLineTable *SplitLineTable;
David Blaikie319a05f2013-12-02 19:33:10 +0000566
567public:
David Blaikiebd579052014-04-28 21:14:27 +0000568 DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
569 DwarfDebug *DW, DwarfFile *DWU,
David Blaikie8287aff2014-03-18 02:13:23 +0000570 MCDwarfDwoLineTable *SplitLineTable = nullptr);
David Blaikie319a05f2013-12-02 19:33:10 +0000571
David Blaikiebc563272013-12-13 21:33:40 +0000572 void setTypeSignature(uint64_t Signature) { TypeSignature = Signature; }
David Blaikie47f615e2013-12-17 23:32:35 +0000573 uint64_t getTypeSignature() const { return TypeSignature; }
David Blaikiebc563272013-12-13 21:33:40 +0000574 void setType(const DIE *Ty) { this->Ty = Ty; }
575
David Blaikiebc563272013-12-13 21:33:40 +0000576 /// Emit the header for this unit, not including the initial length field.
David Blaikied82b2372014-03-24 20:28:10 +0000577 void emitHeader(const MCSymbol *ASectionSym) const override;
Craig Topper73156022014-03-02 09:09:27 +0000578 unsigned getHeaderSize() const override {
David Blaikiebc563272013-12-13 21:33:40 +0000579 return DwarfUnit::getHeaderSize() + sizeof(uint64_t) + // Type Signature
580 sizeof(uint32_t); // Type DIE Offset
581 }
582 void initSection(const MCSection *Section);
David Blaikie29459ae2014-07-25 17:11:58 +0000583 // Bring in the base function (taking two args, including the section symbol)
584 // for use when building DWO type units (they don't go in unique comdat
585 // sections)
586 using DwarfUnit::initSection;
Craig Topper73156022014-03-02 09:09:27 +0000587 DwarfCompileUnit &getCU() override { return CU; }
David Blaikie4a2f95f2014-03-18 01:17:26 +0000588
589protected:
590 unsigned getOrCreateSourceID(StringRef File, StringRef Directory) override;
David Blaikie319a05f2013-12-02 19:33:10 +0000591};
Devang Patel5eb43192011-04-12 17:40:32 +0000592} // end llvm namespace
593#endif