blob: 787ac23eb036341c91d0929b0613e6fc58ae1a87 [file] [log] [blame]
David Blaikie37c52312014-10-04 15:49:50 +00001//===-- llvm/CodeGen/DwarfCompileUnit.h - Dwarf Compile Unit ---*- C++ -*--===//
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 compile unit.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DWARFCOMPILEUNIT_H
15#define LLVM_LIB_CODEGEN_ASMPRINTER_DWARFCOMPILEUNIT_H
16
17#include "DwarfUnit.h"
18#include "llvm/Support/Dwarf.h"
19#include "llvm/ADT/StringRef.h"
20#include "llvm/IR/DebugInfo.h"
21
22namespace llvm {
23
24class AsmPrinter;
25class DIE;
26class DwarfDebug;
27class DwarfFile;
28class MCSymbol;
David Blaikie9c65b132014-10-08 22:20:02 +000029class LexicalScope;
David Blaikie37c52312014-10-04 15:49:50 +000030
31class DwarfCompileUnit : public DwarfUnit {
32 /// The attribute index of DW_AT_stmt_list in the compile unit DIE, avoiding
33 /// the need to search for it in applyStmtList.
34 unsigned stmtListIndex;
35
David Blaikie7cbf58a2014-11-01 18:18:07 +000036 /// Skeleton unit associated with this unit.
David Blaikiea5437b62014-11-01 19:26:05 +000037 DwarfCompileUnit *Skeleton;
David Blaikie7cbf58a2014-11-01 18:18:07 +000038
David Blaikiea34568b2014-11-01 20:06:28 +000039 /// A label at the start of the non-dwo section related to this unit.
40 MCSymbol *SectionSym;
41
David Blaikief4bdc312014-11-02 01:21:40 +000042 /// The start of the unit within its section.
43 MCSymbol *LabelBegin;
44
David Blaikie192b45c2014-11-02 06:16:39 +000045 /// GlobalNames - A map of globally visible named entities for this unit.
46 StringMap<const DIE *> GlobalNames;
47
48 /// GlobalTypes - A map of globally visible types for this unit.
49 StringMap<const DIE *> GlobalTypes;
50
David Blaikie89a26f02014-11-03 02:41:49 +000051 // List of range lists for a given compile unit, separate from the ranges for
52 // the CU itself.
53 SmallVector<RangeSpanList, 1> CURangeLists;
54
David Blaikiebc532b42014-11-03 16:40:43 +000055 // List of ranges for a given compile unit.
56 SmallVector<RangeSpan, 1> CURanges;
57
David Blaikieee7df552014-10-09 17:56:36 +000058 /// \brief Construct a DIE for the given DbgVariable without initializing the
59 /// DbgVariable's DIE reference.
60 std::unique_ptr<DIE> constructVariableDIEImpl(const DbgVariable &DV,
61 bool Abstract);
62
David Blaikiecafd9622014-11-02 08:51:37 +000063 bool isDwoUnit() const override;
64
David Blaikie37c52312014-10-04 15:49:50 +000065public:
66 DwarfCompileUnit(unsigned UID, DICompileUnit Node, AsmPrinter *A,
67 DwarfDebug *DW, DwarfFile *DWU);
68
David Blaikiea33cd6a2014-11-01 00:50:34 +000069 DwarfCompileUnit *getSkeleton() const {
David Blaikiea5437b62014-11-01 19:26:05 +000070 return Skeleton;
David Blaikiea33cd6a2014-11-01 00:50:34 +000071 }
72
David Blaikie37c52312014-10-04 15:49:50 +000073 void initStmtList(MCSymbol *DwarfLineSectionSym);
74
75 /// Apply the DW_AT_stmt_list from this compile unit to the specified DIE.
76 void applyStmtList(DIE &D);
77
78 /// getOrCreateGlobalVariableDIE - get or create global variable DIE.
79 DIE *getOrCreateGlobalVariableDIE(DIGlobalVariable GV);
80
81 /// addLabelAddress - Add a dwarf label attribute data and value using
82 /// either DW_FORM_addr or DW_FORM_GNU_addr_index.
83 void addLabelAddress(DIE &Die, dwarf::Attribute Attribute,
84 const MCSymbol *Label);
85
86 /// addLocalLabelAddress - Add a dwarf label attribute data and value using
87 /// DW_FORM_addr only.
88 void addLocalLabelAddress(DIE &Die, dwarf::Attribute Attribute,
89 const MCSymbol *Label);
90
David Blaikiee5feec52014-10-08 23:30:05 +000091 /// addSectionDelta - Add a label delta attribute data and value.
92 void addSectionDelta(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Hi,
93 const MCSymbol *Lo);
94
David Blaikie37c52312014-10-04 15:49:50 +000095 DwarfCompileUnit &getCU() override { return *this; }
96
97 unsigned getOrCreateSourceID(StringRef FileName, StringRef DirName) override;
98
99 /// addRange - Add an address range to the list of ranges for this unit.
100 void addRange(RangeSpan Range);
David Blaikie14499a72014-10-04 15:58:47 +0000101
102 void attachLowHighPC(DIE &D, const MCSymbol *Begin, const MCSymbol *End);
David Blaikiecda2aa82014-10-04 16:24:00 +0000103
David Blaikie6c0ee4e2014-10-08 22:46:27 +0000104 /// addSectionLabel - Add a Dwarf section label attribute data and value.
105 ///
106 void addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
107 const MCSymbol *Label, const MCSymbol *Sec);
108
David Blaikiecda2aa82014-10-04 16:24:00 +0000109 /// \brief Find DIE for the given subprogram and attach appropriate
110 /// DW_AT_low_pc and DW_AT_high_pc attributes. If there are global
111 /// variables in this scope then create and insert DIEs for these
112 /// variables.
113 DIE &updateSubprogramScopeDIE(DISubprogram SP);
David Blaikie9c65b132014-10-08 22:20:02 +0000114
115 void constructScopeDIE(LexicalScope *Scope,
116 SmallVectorImpl<std::unique_ptr<DIE>> &FinalChildren);
David Blaikie52400202014-10-09 00:11:39 +0000117
118 /// \brief A helper function to construct a RangeSpanList for a given
119 /// lexical scope.
120 void addScopeRangeList(DIE &ScopeDIE,
121 const SmallVectorImpl<InsnRange> &Range);
David Blaikiede123752014-10-09 00:21:42 +0000122
123 void attachRangesOrLowHighPC(DIE &D,
124 const SmallVectorImpl<InsnRange> &Ranges);
David Blaikie01b48a82014-10-09 16:50:53 +0000125
126 /// \brief This scope represents inlined body of a function. Construct
127 /// DIE to represent this concrete inlined copy of the function.
128 std::unique_ptr<DIE> constructInlinedScopeDIE(LexicalScope *Scope);
David Blaikie0fbf8bd2014-10-09 17:08:42 +0000129
130 /// \brief Construct new DW_TAG_lexical_block for this scope and
131 /// attach DW_AT_low_pc/DW_AT_high_pc labels.
132 std::unique_ptr<DIE> constructLexicalScopeDIE(LexicalScope *Scope);
David Blaikieee7df552014-10-09 17:56:36 +0000133
134 /// constructVariableDIE - Construct a DIE for the given DbgVariable.
135 std::unique_ptr<DIE> constructVariableDIE(DbgVariable &DV,
136 bool Abstract = false);
David Blaikie4a1a44e2014-10-09 17:56:39 +0000137
138 std::unique_ptr<DIE> constructVariableDIE(DbgVariable &DV,
139 const LexicalScope &Scope,
140 DIE *&ObjectPointer);
David Blaikie8b2fdb82014-10-09 18:24:28 +0000141
142 /// A helper function to create children of a Scope DIE.
143 DIE *createScopeChildrenDIE(LexicalScope *Scope,
144 SmallVectorImpl<std::unique_ptr<DIE>> &Children,
145 unsigned *ChildScopeCount = nullptr);
David Blaikie1d072342014-10-09 20:21:36 +0000146
147 /// \brief Construct a DIE for this subprogram scope.
148 void constructSubprogramScopeDIE(LexicalScope *Scope);
David Blaikie78b65b62014-10-09 20:26:15 +0000149
150 DIE *createAndAddScopeChildren(LexicalScope *Scope, DIE &ScopeDIE);
David Blaikie58410f22014-10-10 06:39:26 +0000151
David Blaikie49be5b32014-10-31 21:57:02 +0000152 void constructAbstractSubprogramScopeDIE(LexicalScope *Scope);
David Blaikie4191cbc2014-10-10 06:39:29 +0000153
Frederic Riss987fe222014-10-24 21:31:09 +0000154 /// \brief Construct import_module DIE.
155 std::unique_ptr<DIE>
156 constructImportedEntityDIE(const DIImportedEntity &Module);
157
David Blaikie4191cbc2014-10-10 06:39:29 +0000158 void finishSubprogramDefinition(DISubprogram SP);
David Blaikie1d96cc22014-10-31 22:30:30 +0000159
160 void collectDeadVariables(DISubprogram SP);
David Blaikie7cbf58a2014-11-01 18:18:07 +0000161
David Blaikie7cbf58a2014-11-01 18:18:07 +0000162 /// Set the skeleton unit associated with this unit.
David Blaikiea5437b62014-11-01 19:26:05 +0000163 void setSkeleton(DwarfCompileUnit &Skel) { Skeleton = &Skel; }
David Blaikiea34568b2014-11-01 20:06:28 +0000164
165 MCSymbol *getSectionSym() const {
166 assert(Section);
167 return SectionSym;
168 }
169
170 /// Pass in the SectionSym even though we could recreate it in every compile
171 /// unit (type units will have actually distinct symbols once they're in
172 /// comdat sections).
173 void initSection(const MCSection *Section, MCSymbol *SectionSym) {
174 DwarfUnit::initSection(Section);
175 this->SectionSym = SectionSym;
David Blaikieb6726a92014-11-02 02:26:24 +0000176
177 // Don't bother labeling the .dwo unit, as its offset isn't used.
178 if (!Skeleton)
179 LabelBegin =
180 Asm->GetTempSymbol(Section->getLabelBeginName(), getUniqueID());
David Blaikiea34568b2014-11-01 20:06:28 +0000181 }
182
David Blaikie983bfea2014-11-01 23:07:14 +0000183 unsigned getLength() {
184 return sizeof(uint32_t) + // Length field
185 getHeaderSize() + UnitDie.getSize();
186 }
David Blaikieae57e662014-11-01 23:59:23 +0000187
188 void emitHeader(const MCSymbol *ASectionSym) const override;
David Blaikief4bdc312014-11-02 01:21:40 +0000189
190 MCSymbol *getLabelBegin() const {
191 assert(Section);
192 return LabelBegin;
193 }
David Blaikie192b45c2014-11-02 06:16:39 +0000194
195 /// Add a new global name to the compile unit.
196 void addGlobalName(StringRef Name, DIE &Die, DIScope Context) override;
197
198 /// Add a new global type to the compile unit.
199 void addGlobalType(DIType Ty, const DIE &Die, DIScope Context) override;
200
201 const StringMap<const DIE *> &getGlobalNames() const { return GlobalNames; }
202 const StringMap<const DIE *> &getGlobalTypes() const { return GlobalTypes; }
David Blaikie7d48be22014-11-02 06:37:23 +0000203
204 /// Add DW_AT_location attribute for a DbgVariable based on provided
205 /// MachineLocation.
206 void addVariableAddress(const DbgVariable &DV, DIE &Die,
207 MachineLocation Location);
David Blaikief7435ee2014-11-02 06:46:40 +0000208 /// Add an address attribute to a die based on the location provided.
209 void addAddress(DIE &Die, dwarf::Attribute Attribute,
210 const MachineLocation &Location, bool Indirect = false);
David Blaikie77895fb2014-11-02 06:58:44 +0000211
212 /// Start with the address based on the location provided, and generate the
213 /// DWARF information necessary to find the actual variable (navigating the
214 /// extra location information encoded in the type) based on the starting
215 /// location. Add the DWARF information to the die.
216 void addComplexAddress(const DbgVariable &DV, DIE &Die,
217 dwarf::Attribute Attribute,
218 const MachineLocation &Location);
David Blaikie4bc08812014-11-02 07:03:19 +0000219
220 /// Add a Dwarf loclistptr attribute data and value.
221 void addLocationList(DIE &Die, dwarf::Attribute Attribute, unsigned Index);
David Blaikie02a63332014-11-02 07:06:51 +0000222 void applyVariableAttributes(const DbgVariable &Var, DIE &VariableDie);
David Blaikie97802082014-11-02 07:11:55 +0000223
224 /// Add a Dwarf expression attribute data and value.
225 void addExpr(DIELoc &Die, dwarf::Form Form, const MCExpr *Expr);
David Blaikie3363a572014-11-02 08:09:09 +0000226
227 void applySubprogramAttributesToDefinition(DISubprogram SP, DIE &SPDie);
David Blaikie89a26f02014-11-03 02:41:49 +0000228
David Blaikie89a26f02014-11-03 02:41:49 +0000229 /// getRangeLists - Get the vector of range lists.
230 const SmallVectorImpl<RangeSpanList> &getRangeLists() const {
231 return CURangeLists;
232 }
David Blaikiebc532b42014-11-03 16:40:43 +0000233
234 /// getRanges - Get the list of ranges for this unit.
235 const SmallVectorImpl<RangeSpan> &getRanges() const { return CURanges; }
David Blaikie37c52312014-10-04 15:49:50 +0000236};
237
238} // end llvm namespace
239
240#endif