blob: 38772fd8f258b1fc224586b8ce77287ba55ecfb1 [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"
Amjad Aboudab0378b2016-03-14 12:03:20 +000018#include "llvm/ADT/SetVector.h"
David Blaikie37c52312014-10-04 15:49:50 +000019#include "llvm/ADT/StringRef.h"
20#include "llvm/IR/DebugInfo.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000021#include "llvm/Support/Dwarf.h"
David Blaikie37c52312014-10-04 15:49:50 +000022
23namespace llvm {
24
25class AsmPrinter;
26class DIE;
27class DwarfDebug;
28class DwarfFile;
29class MCSymbol;
David Blaikie9c65b132014-10-08 22:20:02 +000030class LexicalScope;
David Blaikie37c52312014-10-04 15:49:50 +000031
32class DwarfCompileUnit : public DwarfUnit {
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000033 /// A numeric ID unique among all CUs in the module
34 unsigned UniqueID;
35
36 /// Offset of the UnitDie from beginning of debug info section.
37 unsigned DebugInfoOffset = 0;
38
David Blaikie37c52312014-10-04 15:49:50 +000039 /// The attribute index of DW_AT_stmt_list in the compile unit DIE, avoiding
40 /// the need to search for it in applyStmtList.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +000041 DIE::value_iterator StmtListValue;
David Blaikie37c52312014-10-04 15:49:50 +000042
David Blaikie7cbf58a2014-11-01 18:18:07 +000043 /// Skeleton unit associated with this unit.
David Blaikiea5437b62014-11-01 19:26:05 +000044 DwarfCompileUnit *Skeleton;
David Blaikie7cbf58a2014-11-01 18:18:07 +000045
David Blaikief4bdc312014-11-02 01:21:40 +000046 /// The start of the unit within its section.
47 MCSymbol *LabelBegin;
48
Amjad Aboud8bbce8a2016-02-01 14:09:41 +000049 /// The start of the unit macro info within macro section.
50 MCSymbol *MacroLabelBegin;
51
Amjad Aboudab0378b2016-03-14 12:03:20 +000052 typedef llvm::SmallVector<const MDNode *, 8> LocalDeclNodeList;
53 typedef llvm::DenseMap<const MDNode *, LocalDeclNodeList> LocalScopesMap;
Ivan Krasin298639a2015-10-26 21:36:35 +000054
Amjad Aboudab0378b2016-03-14 12:03:20 +000055 LocalScopesMap LocalDeclNodes;
Ivan Krasin298639a2015-10-26 21:36:35 +000056
David Blaikie192b45c2014-11-02 06:16:39 +000057 /// GlobalNames - A map of globally visible named entities for this unit.
58 StringMap<const DIE *> GlobalNames;
59
60 /// GlobalTypes - A map of globally visible types for this unit.
61 StringMap<const DIE *> GlobalTypes;
62
David Blaikie89a26f02014-11-03 02:41:49 +000063 // List of range lists for a given compile unit, separate from the ranges for
64 // the CU itself.
65 SmallVector<RangeSpanList, 1> CURangeLists;
66
David Blaikiebc532b42014-11-03 16:40:43 +000067 // List of ranges for a given compile unit.
David Blaikie5b02a192014-11-03 23:10:59 +000068 SmallVector<RangeSpan, 2> CURanges;
David Blaikiebc532b42014-11-03 16:40:43 +000069
David Blaikiece343492014-11-03 21:15:30 +000070 // The base address of this unit, if any. Used for relative references in
71 // ranges/locs.
72 const MCSymbol *BaseAddress;
73
Amjad Aboudab0378b2016-03-14 12:03:20 +000074 struct LocalScopeDieInfo {
75 DIE *ConcreteLSDie = nullptr;
76 DIE *AbstractLSDie = nullptr;
77 SetVector<DIE *> InlineLSDies;
78 SetVector<DIE *> LocalDclDies;
79 };
80 // Collection of local scope DIE info.
81 DenseMap<const MDNode *, LocalScopeDieInfo> LocalScopeDieInfoMap;
82
David Blaikieee7df552014-10-09 17:56:36 +000083 /// \brief Construct a DIE for the given DbgVariable without initializing the
84 /// DbgVariable's DIE reference.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +000085 DIE *constructVariableDIEImpl(const DbgVariable &DV, bool Abstract);
David Blaikieee7df552014-10-09 17:56:36 +000086
David Blaikiecafd9622014-11-02 08:51:37 +000087 bool isDwoUnit() const override;
88
David Blaikie3a443c22014-11-04 22:12:25 +000089 bool includeMinimalInlineScopes() const;
90
David Blaikie37c52312014-10-04 15:49:50 +000091public:
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000092 DwarfCompileUnit(unsigned UID, const DICompileUnit *Node, AsmPrinter *A,
David Blaikie37c52312014-10-04 15:49:50 +000093 DwarfDebug *DW, DwarfFile *DWU);
94
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000095 unsigned getUniqueID() const { return UniqueID; }
96 unsigned getDebugInfoOffset() const { return DebugInfoOffset; }
97 void setDebugInfoOffset(unsigned DbgInfoOff) { DebugInfoOffset = DbgInfoOff; }
98
David Blaikiea33cd6a2014-11-01 00:50:34 +000099 DwarfCompileUnit *getSkeleton() const {
David Blaikiea5437b62014-11-01 19:26:05 +0000100 return Skeleton;
David Blaikiea33cd6a2014-11-01 00:50:34 +0000101 }
102
Rafael Espindola063d7252015-03-10 16:58:10 +0000103 void initStmtList();
David Blaikie37c52312014-10-04 15:49:50 +0000104
105 /// Apply the DW_AT_stmt_list from this compile unit to the specified DIE.
106 void applyStmtList(DIE &D);
107
David Blaikied51dea62015-07-01 18:07:16 +0000108 /// getOrCreateGlobalVariableDIE - get or create global variable DIE.
109 DIE *getOrCreateGlobalVariableDIE(const DIGlobalVariable *GV);
David Blaikie37c52312014-10-04 15:49:50 +0000110
111 /// addLabelAddress - Add a dwarf label attribute data and value using
112 /// either DW_FORM_addr or DW_FORM_GNU_addr_index.
113 void addLabelAddress(DIE &Die, dwarf::Attribute Attribute,
114 const MCSymbol *Label);
115
116 /// addLocalLabelAddress - Add a dwarf label attribute data and value using
117 /// DW_FORM_addr only.
118 void addLocalLabelAddress(DIE &Die, dwarf::Attribute Attribute,
119 const MCSymbol *Label);
120
David Blaikiee5feec52014-10-08 23:30:05 +0000121 /// addSectionDelta - Add a label delta attribute data and value.
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000122 DIE::value_iterator addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
123 const MCSymbol *Hi, const MCSymbol *Lo);
David Blaikiee5feec52014-10-08 23:30:05 +0000124
David Blaikie37c52312014-10-04 15:49:50 +0000125 DwarfCompileUnit &getCU() override { return *this; }
126
127 unsigned getOrCreateSourceID(StringRef FileName, StringRef DirName) override;
128
Amjad Aboudab0378b2016-03-14 12:03:20 +0000129 void addLocalDeclNode(const DINode *DI, DILocalScope *Scope) {
130 LocalDeclNodes[Scope].push_back(DI);
Ivan Krasin298639a2015-10-26 21:36:35 +0000131 }
132
David Blaikie37c52312014-10-04 15:49:50 +0000133 /// addRange - Add an address range to the list of ranges for this unit.
134 void addRange(RangeSpan Range);
David Blaikie14499a72014-10-04 15:58:47 +0000135
136 void attachLowHighPC(DIE &D, const MCSymbol *Begin, const MCSymbol *End);
David Blaikiecda2aa82014-10-04 16:24:00 +0000137
David Blaikie6c0ee4e2014-10-08 22:46:27 +0000138 /// addSectionLabel - Add a Dwarf section label attribute data and value.
139 ///
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000140 DIE::value_iterator addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
141 const MCSymbol *Label,
142 const MCSymbol *Sec);
David Blaikie6c0ee4e2014-10-08 22:46:27 +0000143
David Blaikiecda2aa82014-10-04 16:24:00 +0000144 /// \brief Find DIE for the given subprogram and attach appropriate
145 /// DW_AT_low_pc and DW_AT_high_pc attributes. If there are global
146 /// variables in this scope then create and insert DIEs for these
147 /// variables.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000148 DIE &updateSubprogramScopeDIE(const DISubprogram *SP);
David Blaikie9c65b132014-10-08 22:20:02 +0000149
150 void constructScopeDIE(LexicalScope *Scope,
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000151 SmallVectorImpl<DIE *> &FinalChildren);
David Blaikie52400202014-10-09 00:11:39 +0000152
153 /// \brief A helper function to construct a RangeSpanList for a given
154 /// lexical scope.
David Blaikie5b02a192014-11-03 23:10:59 +0000155 void addScopeRangeList(DIE &ScopeDIE, SmallVector<RangeSpan, 2> Range);
156
157 void attachRangesOrLowHighPC(DIE &D, SmallVector<RangeSpan, 2> Ranges);
David Blaikiede123752014-10-09 00:21:42 +0000158
159 void attachRangesOrLowHighPC(DIE &D,
160 const SmallVectorImpl<InsnRange> &Ranges);
David Blaikie01b48a82014-10-09 16:50:53 +0000161 /// \brief This scope represents inlined body of a function. Construct
162 /// DIE to represent this concrete inlined copy of the function.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000163 DIE *constructInlinedScopeDIE(LexicalScope *Scope);
David Blaikie0fbf8bd2014-10-09 17:08:42 +0000164
165 /// \brief Construct new DW_TAG_lexical_block for this scope and
166 /// attach DW_AT_low_pc/DW_AT_high_pc labels.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000167 DIE *constructLexicalScopeDIE(LexicalScope *Scope);
David Blaikieee7df552014-10-09 17:56:36 +0000168
169 /// constructVariableDIE - Construct a DIE for the given DbgVariable.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000170 DIE *constructVariableDIE(DbgVariable &DV, bool Abstract = false);
David Blaikie4a1a44e2014-10-09 17:56:39 +0000171
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000172 DIE *constructVariableDIE(DbgVariable &DV, const LexicalScope &Scope,
173 DIE *&ObjectPointer);
David Blaikie8b2fdb82014-10-09 18:24:28 +0000174
175 /// A helper function to create children of a Scope DIE.
176 DIE *createScopeChildrenDIE(LexicalScope *Scope,
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000177 SmallVectorImpl<DIE *> &Children,
Amjad Aboudab0378b2016-03-14 12:03:20 +0000178 bool *HasNonScopeChildren = nullptr);
David Blaikie1d072342014-10-09 20:21:36 +0000179
180 /// \brief Construct a DIE for this subprogram scope.
181 void constructSubprogramScopeDIE(LexicalScope *Scope);
David Blaikie78b65b62014-10-09 20:26:15 +0000182
183 DIE *createAndAddScopeChildren(LexicalScope *Scope, DIE &ScopeDIE);
David Blaikie58410f22014-10-10 06:39:26 +0000184
David Blaikie49be5b32014-10-31 21:57:02 +0000185 void constructAbstractSubprogramScopeDIE(LexicalScope *Scope);
David Blaikie4191cbc2014-10-10 06:39:29 +0000186
Amjad Aboudab0378b2016-03-14 12:03:20 +0000187 /// \brief Get or create import_module DIE.
188 DIE *getOrCreateImportedEntityDIE(const DIImportedEntity *Module);
Frederic Riss987fe222014-10-24 21:31:09 +0000189 /// \brief Construct import_module DIE.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000190 DIE *constructImportedEntityDIE(const DIImportedEntity *Module);
Frederic Riss987fe222014-10-24 21:31:09 +0000191
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000192 void finishSubprogramDefinition(const DISubprogram *SP);
David Blaikie1d96cc22014-10-31 22:30:30 +0000193
Amjad Aboudab0378b2016-03-14 12:03:20 +0000194 void finishLocalScopeDefinitions();
195
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000196 void collectDeadVariables(const DISubprogram *SP);
David Blaikie7cbf58a2014-11-01 18:18:07 +0000197
David Blaikie7cbf58a2014-11-01 18:18:07 +0000198 /// Set the skeleton unit associated with this unit.
David Blaikiea5437b62014-11-01 19:26:05 +0000199 void setSkeleton(DwarfCompileUnit &Skel) { Skeleton = &Skel; }
David Blaikiea34568b2014-11-01 20:06:28 +0000200
Rafael Espindola063d7252015-03-10 16:58:10 +0000201 const MCSymbol *getSectionSym() const {
David Blaikiea34568b2014-11-01 20:06:28 +0000202 assert(Section);
Rafael Espindola063d7252015-03-10 16:58:10 +0000203 return Section->getBeginSymbol();
David Blaikiea34568b2014-11-01 20:06:28 +0000204 }
205
David Blaikie983bfea2014-11-01 23:07:14 +0000206 unsigned getLength() {
207 return sizeof(uint32_t) + // Length field
208 getHeaderSize() + UnitDie.getSize();
209 }
David Blaikieae57e662014-11-01 23:59:23 +0000210
Rafael Espindola063d7252015-03-10 16:58:10 +0000211 void emitHeader(bool UseOffsets) override;
David Blaikief4bdc312014-11-02 01:21:40 +0000212
213 MCSymbol *getLabelBegin() const {
214 assert(Section);
215 return LabelBegin;
216 }
David Blaikie192b45c2014-11-02 06:16:39 +0000217
Amjad Aboud8bbce8a2016-02-01 14:09:41 +0000218 MCSymbol *getMacroLabelBegin() const {
219 return MacroLabelBegin;
220 }
221
David Blaikie192b45c2014-11-02 06:16:39 +0000222 /// Add a new global name to the compile unit.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000223 void addGlobalName(StringRef Name, DIE &Die, const DIScope *Context) override;
David Blaikie192b45c2014-11-02 06:16:39 +0000224
225 /// Add a new global type to the compile unit.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000226 void addGlobalType(const DIType *Ty, const DIE &Die,
227 const DIScope *Context) override;
David Blaikie192b45c2014-11-02 06:16:39 +0000228
229 const StringMap<const DIE *> &getGlobalNames() const { return GlobalNames; }
230 const StringMap<const DIE *> &getGlobalTypes() const { return GlobalTypes; }
David Blaikie7d48be22014-11-02 06:37:23 +0000231
232 /// Add DW_AT_location attribute for a DbgVariable based on provided
233 /// MachineLocation.
234 void addVariableAddress(const DbgVariable &DV, DIE &Die,
235 MachineLocation Location);
David Blaikief7435ee2014-11-02 06:46:40 +0000236 /// Add an address attribute to a die based on the location provided.
237 void addAddress(DIE &Die, dwarf::Attribute Attribute,
Adrian Prantl5883af32015-01-19 17:57:29 +0000238 const MachineLocation &Location);
David Blaikie77895fb2014-11-02 06:58:44 +0000239
240 /// Start with the address based on the location provided, and generate the
241 /// DWARF information necessary to find the actual variable (navigating the
242 /// extra location information encoded in the type) based on the starting
243 /// location. Add the DWARF information to the die.
244 void addComplexAddress(const DbgVariable &DV, DIE &Die,
245 dwarf::Attribute Attribute,
246 const MachineLocation &Location);
David Blaikie4bc08812014-11-02 07:03:19 +0000247
248 /// Add a Dwarf loclistptr attribute data and value.
249 void addLocationList(DIE &Die, dwarf::Attribute Attribute, unsigned Index);
David Blaikie02a63332014-11-02 07:06:51 +0000250 void applyVariableAttributes(const DbgVariable &Var, DIE &VariableDie);
David Blaikie97802082014-11-02 07:11:55 +0000251
252 /// Add a Dwarf expression attribute data and value.
253 void addExpr(DIELoc &Die, dwarf::Form Form, const MCExpr *Expr);
David Blaikie3363a572014-11-02 08:09:09 +0000254
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000255 void applySubprogramAttributesToDefinition(const DISubprogram *SP,
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000256 DIE &SPDie);
David Blaikie89a26f02014-11-03 02:41:49 +0000257
David Blaikie89a26f02014-11-03 02:41:49 +0000258 /// getRangeLists - Get the vector of range lists.
259 const SmallVectorImpl<RangeSpanList> &getRangeLists() const {
David Blaikie542616d2014-11-03 21:52:56 +0000260 return (Skeleton ? Skeleton : this)->CURangeLists;
David Blaikie89a26f02014-11-03 02:41:49 +0000261 }
David Blaikiebc532b42014-11-03 16:40:43 +0000262
263 /// getRanges - Get the list of ranges for this unit.
264 const SmallVectorImpl<RangeSpan> &getRanges() const { return CURanges; }
David Blaikie5b02a192014-11-03 23:10:59 +0000265 SmallVector<RangeSpan, 2> takeRanges() { return std::move(CURanges); }
David Blaikiece343492014-11-03 21:15:30 +0000266
267 void setBaseAddress(const MCSymbol *Base) { BaseAddress = Base; }
268 const MCSymbol *getBaseAddress() const { return BaseAddress; }
Amjad Aboudab0378b2016-03-14 12:03:20 +0000269
270 DenseMap<const MDNode *, LocalScopeDieInfo> &getLSDieInfoMap() {
271 return LocalScopeDieInfoMap;
272 }
273
274 /// Add local scope DIE entry to lexical scope info.
275 void addLocalScopeDieToLexicalScope(LexicalScope *LS, DIE *D);
276 /// Add local declaration DIE entry to lexical scope info.
277 void addLocalDclDieToLexicalScope(LexicalScope *LS, DIE *D);
David Blaikie37c52312014-10-04 15:49:50 +0000278};
279
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000280} // end llvm namespace
David Blaikie37c52312014-10-04 15:49:50 +0000281
282#endif