1 //===- llvm/CodeGen/DwarfDebug.h - Dwarf Debug Framework --------*- C++ -*-===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file contains support for writing dwarf debug info into asm files.
11 //===----------------------------------------------------------------------===//
13 #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DWARFDEBUG_H
14 #define LLVM_LIB_CODEGEN_ASMPRINTER_DWARFDEBUG_H
16 #include "AddressPool.h"
17 #include "DebugLocStream.h"
18 #include "DebugLocEntry.h"
19 #include "DwarfFile.h"
20 #include "llvm/ADT/ArrayRef.h"
21 #include "llvm/ADT/DenseMap.h"
22 #include "llvm/ADT/DenseSet.h"
23 #include "llvm/ADT/MapVector.h"
24 #include "llvm/ADT/STLExtras.h"
25 #include "llvm/ADT/SetVector.h"
26 #include "llvm/ADT/SmallPtrSet.h"
27 #include "llvm/ADT/SmallVector.h"
28 #include "llvm/ADT/StringMap.h"
29 #include "llvm/ADT/StringRef.h"
30 #include "llvm/BinaryFormat/Dwarf.h"
31 #include "llvm/CodeGen/AccelTable.h"
32 #include "llvm/CodeGen/DbgEntityHistoryCalculator.h"
33 #include "llvm/CodeGen/DebugHandlerBase.h"
34 #include "llvm/CodeGen/MachineInstr.h"
35 #include "llvm/IR/DebugInfoMetadata.h"
36 #include "llvm/IR/DebugLoc.h"
37 #include "llvm/IR/Metadata.h"
38 #include "llvm/MC/MCDwarf.h"
39 #include "llvm/Support/Allocator.h"
40 #include "llvm/Target/TargetOptions.h"
53 class DwarfCompileUnit
;
54 class DwarfExpression
;
58 class MachineFunction
;
63 //===----------------------------------------------------------------------===//
64 /// This class is defined as the common parent of DbgVariable and DbgLabel
65 /// such that it could levarage polymorphism to extract common code for
66 /// DbgVariable and DbgLabel.
76 const DILocation
*InlinedAt
;
77 DIE
*TheDIE
= nullptr;
78 const DbgEntityKind SubclassID
;
81 DbgEntity(const DINode
*N
, const DILocation
*IA
, DbgEntityKind ID
)
82 : Entity(N
), InlinedAt(IA
), SubclassID(ID
) {}
83 virtual ~DbgEntity() {}
87 const DINode
*getEntity() const { return Entity
; }
88 const DILocation
*getInlinedAt() const { return InlinedAt
; }
89 DIE
*getDIE() const { return TheDIE
; }
90 DbgEntityKind
getDbgEntityID() const { return SubclassID
; }
93 void setDIE(DIE
&D
) { TheDIE
= &D
; }
95 static bool classof(const DbgEntity
*N
) {
96 switch (N
->getDbgEntityID()) {
101 llvm_unreachable("Invalid DbgEntityKind");
105 //===----------------------------------------------------------------------===//
106 /// This class is used to track local variable information.
108 /// Variables can be created from allocas, in which case they're generated from
109 /// the MMI table. Such variables can have multiple expressions and frame
112 /// Variables can be created from \c DBG_VALUE instructions. Those whose
113 /// location changes over time use \a DebugLocListIndex, while those with a
114 /// single location use \a ValueLoc and (optionally) a single entry of \a Expr.
116 /// Variables that have been optimized out use none of these fields.
117 class DbgVariable
: public DbgEntity
{
118 /// Index of the entry list in DebugLocs.
119 unsigned DebugLocListIndex
= ~0u;
120 /// DW_OP_LLVM_tag_offset value from DebugLocs.
121 Optional
<uint8_t> DebugLocListTagOffset
;
123 /// Single value location description.
124 std::unique_ptr
<DbgValueLoc
> ValueLoc
= nullptr;
126 struct FrameIndexExpr
{
128 const DIExpression
*Expr
;
130 mutable SmallVector
<FrameIndexExpr
, 1>
131 FrameIndexExprs
; /// Frame index + expression.
134 /// Construct a DbgVariable.
136 /// Creates a variable without any DW_AT_location. Call \a initializeMMI()
137 /// for MMI entries, or \a initializeDbgValue() for DBG_VALUE instructions.
138 DbgVariable(const DILocalVariable
*V
, const DILocation
*IA
)
139 : DbgEntity(V
, IA
, DbgVariableKind
) {}
141 /// Initialize from the MMI table.
142 void initializeMMI(const DIExpression
*E
, int FI
) {
143 assert(FrameIndexExprs
.empty() && "Already initialized?");
144 assert(!ValueLoc
.get() && "Already initialized?");
146 assert((!E
|| E
->isValid()) && "Expected valid expression");
147 assert(FI
!= std::numeric_limits
<int>::max() && "Expected valid index");
149 FrameIndexExprs
.push_back({FI
, E
});
152 // Initialize variable's location.
153 void initializeDbgValue(DbgValueLoc Value
) {
154 assert(FrameIndexExprs
.empty() && "Already initialized?");
155 assert(!ValueLoc
&& "Already initialized?");
156 assert(!Value
.getExpression()->isFragment() && "Fragments not supported.");
158 ValueLoc
= std::make_unique
<DbgValueLoc
>(Value
);
159 if (auto *E
= ValueLoc
->getExpression())
160 if (E
->getNumElements())
161 FrameIndexExprs
.push_back({0, E
});
164 /// Initialize from a DBG_VALUE instruction.
165 void initializeDbgValue(const MachineInstr
*DbgValue
);
168 const DILocalVariable
*getVariable() const {
169 return cast
<DILocalVariable
>(getEntity());
172 const DIExpression
*getSingleExpression() const {
173 assert(ValueLoc
.get() && FrameIndexExprs
.size() <= 1);
174 return FrameIndexExprs
.size() ? FrameIndexExprs
[0].Expr
: nullptr;
177 void setDebugLocListIndex(unsigned O
) { DebugLocListIndex
= O
; }
178 unsigned getDebugLocListIndex() const { return DebugLocListIndex
; }
179 void setDebugLocListTagOffset(uint8_t O
) { DebugLocListTagOffset
= O
; }
180 Optional
<uint8_t> getDebugLocListTagOffset() const { return DebugLocListTagOffset
; }
181 StringRef
getName() const { return getVariable()->getName(); }
182 const DbgValueLoc
*getValueLoc() const { return ValueLoc
.get(); }
183 /// Get the FI entries, sorted by fragment offset.
184 ArrayRef
<FrameIndexExpr
> getFrameIndexExprs() const;
185 bool hasFrameIndexExprs() const { return !FrameIndexExprs
.empty(); }
186 void addMMIEntry(const DbgVariable
&V
);
188 // Translate tag to proper Dwarf tag.
189 dwarf::Tag
getTag() const {
190 // FIXME: Why don't we just infer this tag and store it all along?
191 if (getVariable()->isParameter())
192 return dwarf::DW_TAG_formal_parameter
;
194 return dwarf::DW_TAG_variable
;
197 /// Return true if DbgVariable is artificial.
198 bool isArtificial() const {
199 if (getVariable()->isArtificial())
201 if (getType()->isArtificial())
206 bool isObjectPointer() const {
207 if (getVariable()->isObjectPointer())
209 if (getType()->isObjectPointer())
214 bool hasComplexAddress() const {
215 assert(ValueLoc
.get() && "Expected DBG_VALUE, not MMI variable");
216 assert((FrameIndexExprs
.empty() ||
217 (FrameIndexExprs
.size() == 1 &&
218 FrameIndexExprs
[0].Expr
->getNumElements())) &&
219 "Invalid Expr for DBG_VALUE");
220 return !FrameIndexExprs
.empty();
223 const DIType
*getType() const;
225 static bool classof(const DbgEntity
*N
) {
226 return N
->getDbgEntityID() == DbgVariableKind
;
230 //===----------------------------------------------------------------------===//
231 /// This class is used to track label information.
233 /// Labels are collected from \c DBG_LABEL instructions.
234 class DbgLabel
: public DbgEntity
{
235 const MCSymbol
*Sym
; /// Symbol before DBG_LABEL instruction.
238 /// We need MCSymbol information to generate DW_AT_low_pc.
239 DbgLabel(const DILabel
*L
, const DILocation
*IA
, const MCSymbol
*Sym
= nullptr)
240 : DbgEntity(L
, IA
, DbgLabelKind
), Sym(Sym
) {}
244 const DILabel
*getLabel() const { return cast
<DILabel
>(getEntity()); }
245 const MCSymbol
*getSymbol() const { return Sym
; }
247 StringRef
getName() const { return getLabel()->getName(); }
250 /// Translate tag to proper Dwarf tag.
251 dwarf::Tag
getTag() const {
252 return dwarf::DW_TAG_label
;
255 static bool classof(const DbgEntity
*N
) {
256 return N
->getDbgEntityID() == DbgLabelKind
;
260 /// Used for tracking debug info about call site parameters.
261 class DbgCallSiteParam
{
263 unsigned Register
; ///< Parameter register at the callee entry point.
264 DbgValueLoc Value
; ///< Corresponding location for the parameter value at
267 DbgCallSiteParam(unsigned Reg
, DbgValueLoc Val
)
268 : Register(Reg
), Value(Val
) {
269 assert(Reg
&& "Parameter register cannot be undef");
272 unsigned getRegister() const { return Register
; }
273 DbgValueLoc
getValue() const { return Value
; }
276 /// Collection used for storing debug call site parameters.
277 using ParamSet
= SmallVector
<DbgCallSiteParam
, 4>;
279 /// Helper used to pair up a symbol and its DWARF compile unit.
281 SymbolCU(DwarfCompileUnit
*CU
, const MCSymbol
*Sym
) : Sym(Sym
), CU(CU
) {}
284 DwarfCompileUnit
*CU
;
287 /// The kind of accelerator tables we should emit.
288 enum class AccelTableKind
{
289 Default
, ///< Platform default.
291 Apple
, ///< .apple_names, .apple_namespaces, .apple_types, .apple_objc.
292 Dwarf
, ///< DWARF v5 .debug_names.
295 /// Collects and handles dwarf debug information.
296 class DwarfDebug
: public DebugHandlerBase
{
297 /// All DIEValues are allocated through this allocator.
298 BumpPtrAllocator DIEValueAllocator
;
300 /// Maps MDNode with its corresponding DwarfCompileUnit.
301 MapVector
<const MDNode
*, DwarfCompileUnit
*> CUMap
;
303 /// Maps a CU DIE with its corresponding DwarfCompileUnit.
304 DenseMap
<const DIE
*, DwarfCompileUnit
*> CUDieMap
;
306 /// List of all labels used in aranges generation.
307 std::vector
<SymbolCU
> ArangeLabels
;
309 /// Size of each symbol emitted (for those symbols that have a specific size).
310 DenseMap
<const MCSymbol
*, uint64_t> SymSize
;
312 /// Collection of abstract variables/labels.
313 SmallVector
<std::unique_ptr
<DbgEntity
>, 64> ConcreteEntities
;
315 /// Collection of DebugLocEntry. Stored in a linked list so that DIELocLists
316 /// can refer to them in spite of insertions into this list.
317 DebugLocStream DebugLocs
;
319 /// This is a collection of subprogram MDNodes that are processed to
321 SetVector
<const DISubprogram
*, SmallVector
<const DISubprogram
*, 16>,
322 SmallPtrSet
<const DISubprogram
*, 16>>
325 /// If nonnull, stores the current machine function we're processing.
326 const MachineFunction
*CurFn
= nullptr;
328 /// If nonnull, stores the CU in which the previous subprogram was contained.
329 const DwarfCompileUnit
*PrevCU
= nullptr;
331 /// As an optimization, there is no need to emit an entry in the directory
332 /// table for the same directory as DW_AT_comp_dir.
333 StringRef CompilationDir
;
335 /// Holder for the file specific debug information.
336 DwarfFile InfoHolder
;
338 /// Holders for the various debug information flags that we might need to
339 /// have exposed. See accessor functions below for description.
341 /// Map from MDNodes for user-defined types to their type signatures. Also
342 /// used to keep track of which types we have emitted type units for.
343 DenseMap
<const MDNode
*, uint64_t> TypeSignatures
;
345 DenseMap
<const MCSection
*, const MCSymbol
*> SectionLabels
;
348 std::pair
<std::unique_ptr
<DwarfTypeUnit
>, const DICompositeType
*>, 1>
349 TypeUnitsUnderConstruction
;
351 /// Whether to use the GNU TLS opcode (instead of the standard opcode).
352 bool UseGNUTLSOpcode
;
354 /// Whether to use DWARF 2 bitfields (instead of the DWARF 4 format).
355 bool UseDWARF2Bitfields
;
357 /// Whether to emit all linkage names, or just abstract subprograms.
358 bool UseAllLinkageNames
;
360 /// Use inlined strings.
361 bool UseInlineStrings
= false;
363 /// Allow emission of .debug_ranges section.
364 bool UseRangesSection
= true;
366 /// True if the sections itself must be used as references and don't create
367 /// temp symbols inside DWARF sections.
368 bool UseSectionsAsReferences
= false;
370 ///Allow emission of the .debug_loc section.
371 bool UseLocSection
= true;
373 /// Generate DWARF v4 type units.
374 bool GenerateTypeUnits
;
376 /// Emit a .debug_macro section instead of .debug_macinfo.
377 bool UseDebugMacroSection
;
379 /// Avoid using DW_OP_convert due to consumer incompatibilities.
380 bool EnableOpConvert
;
383 enum class MinimizeAddrInV5
{
392 /// Force the use of DW_AT_ranges even for single-entry range lists.
393 MinimizeAddrInV5 MinimizeAddr
= MinimizeAddrInV5::Disabled
;
395 /// DWARF5 Experimental Options
397 AccelTableKind TheAccelTableKind
;
398 bool HasAppleExtensionAttributes
;
401 /// Whether to generate the DWARF v5 string offsets table.
402 /// It consists of a series of contributions, each preceded by a header.
403 /// The pre-DWARF v5 string offsets table for split dwarf is, in contrast,
404 /// a monolithic sequence of string offsets.
405 bool UseSegmentedStringOffsetsTable
;
407 /// Enable production of call site parameters needed to print the debug entry
408 /// values. Useful for testing purposes when a debugger does not support the
410 bool EmitDebugEntryValues
;
412 /// Separated Dwarf Variables
413 /// In general these will all be for bits that are left in the
414 /// original object file, rather than things that are meant
415 /// to be in the .dwo sections.
417 /// Holder for the skeleton information.
418 DwarfFile SkeletonHolder
;
420 /// Store file names for type units under fission in a line table
421 /// header that will be emitted into debug_line.dwo.
422 // FIXME: replace this with a map from comp_dir to table so that we
423 // can emit multiple tables during LTO each of which uses directory
424 // 0, referencing the comp_dir of all the type units that use it.
425 MCDwarfDwoLineTable SplitTypeUnitFileTable
;
428 /// True iff there are multiple CUs in this module.
432 /// Map for tracking Fortran deferred CHARACTER lengths.
433 DenseMap
<const DIStringType
*, unsigned> StringTypeLocMap
;
435 AddressPool AddrPool
;
437 /// Accelerator tables.
438 AccelTable
<DWARF5AccelTableData
> AccelDebugNames
;
439 AccelTable
<AppleAccelTableOffsetData
> AccelNames
;
440 AccelTable
<AppleAccelTableOffsetData
> AccelObjC
;
441 AccelTable
<AppleAccelTableOffsetData
> AccelNamespace
;
442 AccelTable
<AppleAccelTableTypeData
> AccelTypes
;
444 /// Identify a debugger for "tuning" the debug info.
446 /// The "tuning" should be used to set defaults for individual feature flags
447 /// in DwarfDebug; if a given feature has a more specific command-line option,
448 /// that option should take precedence over the tuning.
449 DebuggerKind DebuggerTuning
= DebuggerKind::Default
;
451 MCDwarfDwoLineTable
*getDwoLineTable(const DwarfCompileUnit
&);
453 const SmallVectorImpl
<std::unique_ptr
<DwarfCompileUnit
>> &getUnits() {
454 return InfoHolder
.getUnits();
457 using InlinedEntity
= DbgValueHistoryMap::InlinedEntity
;
459 void ensureAbstractEntityIsCreated(DwarfCompileUnit
&CU
,
461 const MDNode
*Scope
);
462 void ensureAbstractEntityIsCreatedIfScoped(DwarfCompileUnit
&CU
,
464 const MDNode
*Scope
);
466 DbgEntity
*createConcreteEntity(DwarfCompileUnit
&TheCU
,
469 const DILocation
*Location
,
470 const MCSymbol
*Sym
= nullptr);
472 /// Construct a DIE for this abstract scope.
473 void constructAbstractSubprogramScopeDIE(DwarfCompileUnit
&SrcCU
, LexicalScope
*Scope
);
475 /// Construct DIEs for call site entries describing the calls in \p MF.
476 void constructCallSiteEntryDIEs(const DISubprogram
&SP
, DwarfCompileUnit
&CU
,
477 DIE
&ScopeDIE
, const MachineFunction
&MF
);
479 template <typename DataT
>
480 void addAccelNameImpl(const DICompileUnit
&CU
, AccelTable
<DataT
> &AppleAccel
,
481 StringRef Name
, const DIE
&Die
);
483 void finishEntityDefinitions();
485 void finishSubprogramDefinitions();
487 /// Finish off debug information after all functions have been
489 void finalizeModuleInfo();
491 /// Emit the debug info section.
492 void emitDebugInfo();
494 /// Emit the abbreviation section.
495 void emitAbbreviations();
497 /// Emit the string offsets table header.
498 void emitStringOffsetsTableHeader();
500 /// Emit a specified accelerator table.
501 template <typename AccelTableT
>
502 void emitAccel(AccelTableT
&Accel
, MCSection
*Section
, StringRef TableName
);
504 /// Emit DWARF v5 accelerator table.
505 void emitAccelDebugNames();
507 /// Emit visible names into a hashed accelerator table section.
508 void emitAccelNames();
510 /// Emit objective C classes and categories into a hashed
511 /// accelerator table section.
512 void emitAccelObjC();
514 /// Emit namespace dies into a hashed accelerator table.
515 void emitAccelNamespaces();
517 /// Emit type dies into a hashed accelerator table.
518 void emitAccelTypes();
520 /// Emit visible names and types into debug pubnames and pubtypes sections.
521 void emitDebugPubSections();
523 void emitDebugPubSection(bool GnuStyle
, StringRef Name
,
524 DwarfCompileUnit
*TheU
,
525 const StringMap
<const DIE
*> &Globals
);
527 /// Emit null-terminated strings into a debug str section.
530 /// Emit variable locations into a debug loc section.
533 /// Emit variable locations into a debug loc dwo section.
534 void emitDebugLocDWO();
536 void emitDebugLocImpl(MCSection
*Sec
);
538 /// Emit address ranges into a debug aranges section.
539 void emitDebugARanges();
541 /// Emit address ranges into a debug ranges section.
542 void emitDebugRanges();
543 void emitDebugRangesDWO();
544 void emitDebugRangesImpl(const DwarfFile
&Holder
, MCSection
*Section
);
546 /// Emit macros into a debug macinfo section.
547 void emitDebugMacinfo();
548 /// Emit macros into a debug macinfo.dwo section.
549 void emitDebugMacinfoDWO();
550 void emitDebugMacinfoImpl(MCSection
*Section
);
551 void emitMacro(DIMacro
&M
);
552 void emitMacroFile(DIMacroFile
&F
, DwarfCompileUnit
&U
);
553 void emitMacroFileImpl(DIMacroFile
&F
, DwarfCompileUnit
&U
,
554 unsigned StartFile
, unsigned EndFile
,
555 StringRef (*MacroFormToString
)(unsigned Form
));
556 void handleMacroNodes(DIMacroNodeArray Nodes
, DwarfCompileUnit
&U
);
558 /// DWARF 5 Experimental Split Dwarf Emitters
560 /// Initialize common features of skeleton units.
561 void initSkeletonUnit(const DwarfUnit
&U
, DIE
&Die
,
562 std::unique_ptr
<DwarfCompileUnit
> NewU
);
564 /// Construct the split debug info compile unit for the debug info section.
565 /// In DWARF v5, the skeleton unit DIE may have the following attributes:
566 /// DW_AT_addr_base, DW_AT_comp_dir, DW_AT_dwo_name, DW_AT_high_pc,
567 /// DW_AT_low_pc, DW_AT_ranges, DW_AT_stmt_list, and DW_AT_str_offsets_base.
568 /// Prior to DWARF v5 it may also have DW_AT_GNU_dwo_id. DW_AT_GNU_dwo_name
569 /// is used instead of DW_AT_dwo_name, Dw_AT_GNU_addr_base instead of
570 /// DW_AT_addr_base, and DW_AT_GNU_ranges_base instead of DW_AT_rnglists_base.
571 DwarfCompileUnit
&constructSkeletonCU(const DwarfCompileUnit
&CU
);
573 /// Emit the debug info dwo section.
574 void emitDebugInfoDWO();
576 /// Emit the debug abbrev dwo section.
577 void emitDebugAbbrevDWO();
579 /// Emit the debug line dwo section.
580 void emitDebugLineDWO();
582 /// Emit the dwo stringoffsets table header.
583 void emitStringOffsetsTableHeaderDWO();
585 /// Emit the debug str dwo section.
586 void emitDebugStrDWO();
588 /// Emit DWO addresses.
589 void emitDebugAddr();
591 /// Flags to let the linker know we have emitted new style pubnames. Only
592 /// emit it here if we don't have a skeleton CU for split dwarf.
593 void addGnuPubAttributes(DwarfCompileUnit
&U
, DIE
&D
) const;
595 /// Create new DwarfCompileUnit for the given metadata node with tag
596 /// DW_TAG_compile_unit.
597 DwarfCompileUnit
&getOrCreateDwarfCompileUnit(const DICompileUnit
*DIUnit
);
598 void finishUnitAttributes(const DICompileUnit
*DIUnit
,
599 DwarfCompileUnit
&NewCU
);
601 /// Construct imported_module or imported_declaration DIE.
602 void constructAndAddImportedEntityDIE(DwarfCompileUnit
&TheCU
,
603 const DIImportedEntity
*N
);
605 /// Register a source line with debug info. Returns the unique
606 /// label that was emitted and which provides correspondence to the
607 /// source line list.
608 void recordSourceLine(unsigned Line
, unsigned Col
, const MDNode
*Scope
,
611 /// Populate LexicalScope entries with variables' info.
612 void collectEntityInfo(DwarfCompileUnit
&TheCU
, const DISubprogram
*SP
,
613 DenseSet
<InlinedEntity
> &ProcessedVars
);
615 /// Build the location list for all DBG_VALUEs in the
616 /// function that describe the same variable. If the resulting
617 /// list has only one entry that is valid for entire variable's
618 /// scope return true.
619 bool buildLocationList(SmallVectorImpl
<DebugLocEntry
> &DebugLoc
,
620 const DbgValueHistoryMap::Entries
&Entries
);
622 /// Collect variable information from the side table maintained by MF.
623 void collectVariableInfoFromMFTable(DwarfCompileUnit
&TheCU
,
624 DenseSet
<InlinedEntity
> &P
);
626 /// Emit the reference to the section.
627 void emitSectionReference(const DwarfCompileUnit
&CU
);
630 /// Gather pre-function debug information.
631 void beginFunctionImpl(const MachineFunction
*MF
) override
;
633 /// Gather and emit post-function debug information.
634 void endFunctionImpl(const MachineFunction
*MF
) override
;
636 /// Get Dwarf compile unit ID for line table.
637 unsigned getDwarfCompileUnitIDForLineTable(const DwarfCompileUnit
&CU
);
639 void skippedNonDebugFunction() override
;
642 //===--------------------------------------------------------------------===//
643 // Main entry points.
645 DwarfDebug(AsmPrinter
*A
);
647 ~DwarfDebug() override
;
649 /// Emit all Dwarf sections that should come prior to the
651 void beginModule(Module
*M
) override
;
653 /// Emit all Dwarf sections that should come after the content.
654 void endModule() override
;
656 /// Emits inital debug location directive.
657 DebugLoc
emitInitialLocDirective(const MachineFunction
&MF
, unsigned CUID
);
659 /// Process beginning of an instruction.
660 void beginInstruction(const MachineInstr
*MI
) override
;
662 /// Perform an MD5 checksum of \p Identifier and return the lower 64 bits.
663 static uint64_t makeTypeSignature(StringRef Identifier
);
665 /// Add a DIE to the set of types that we're going to pull into
667 void addDwarfTypeUnitType(DwarfCompileUnit
&CU
, StringRef Identifier
,
668 DIE
&Die
, const DICompositeType
*CTy
);
670 class NonTypeUnitContext
{
672 decltype(DwarfDebug::TypeUnitsUnderConstruction
) TypeUnitsUnderConstruction
;
674 friend class DwarfDebug
;
675 NonTypeUnitContext(DwarfDebug
*DD
);
677 NonTypeUnitContext(NonTypeUnitContext
&&) = default;
678 ~NonTypeUnitContext();
681 NonTypeUnitContext
enterNonTypeUnitContext();
683 /// Add a label so that arange data can be generated for it.
684 void addArangeLabel(SymbolCU SCU
) { ArangeLabels
.push_back(SCU
); }
686 /// For symbols that have a size designated (e.g. common symbols),
687 /// this tracks that size.
688 void setSymbolSize(const MCSymbol
*Sym
, uint64_t Size
) override
{
692 /// Returns whether we should emit all DW_AT_[MIPS_]linkage_name.
693 /// If not, we still might emit certain cases.
694 bool useAllLinkageNames() const { return UseAllLinkageNames
; }
696 /// Returns whether to use DW_OP_GNU_push_tls_address, instead of the
697 /// standard DW_OP_form_tls_address opcode
698 bool useGNUTLSOpcode() const { return UseGNUTLSOpcode
; }
700 /// Returns whether to use the DWARF2 format for bitfields instyead of the
702 bool useDWARF2Bitfields() const { return UseDWARF2Bitfields
; }
704 /// Returns whether to use inline strings.
705 bool useInlineStrings() const { return UseInlineStrings
; }
707 /// Returns whether ranges section should be emitted.
708 bool useRangesSection() const { return UseRangesSection
; }
710 /// Returns whether range encodings should be used for single entry range
712 bool alwaysUseRanges() const {
713 return MinimizeAddr
== MinimizeAddrInV5::Ranges
;
716 // Returns whether novel exprloc addrx+offset encodings should be used to
717 // reduce debug_addr size.
718 bool useAddrOffsetExpressions() const {
719 return MinimizeAddr
== MinimizeAddrInV5::Expressions
;
722 // Returns whether addrx+offset LLVM extension form should be used to reduce
724 bool useAddrOffsetForm() const {
725 return MinimizeAddr
== MinimizeAddrInV5::Form
;
728 /// Returns whether to use sections as labels rather than temp symbols.
729 bool useSectionsAsReferences() const {
730 return UseSectionsAsReferences
;
733 /// Returns whether .debug_loc section should be emitted.
734 bool useLocSection() const { return UseLocSection
; }
736 /// Returns whether to generate DWARF v4 type units.
737 bool generateTypeUnits() const { return GenerateTypeUnits
; }
739 // Experimental DWARF5 features.
741 /// Returns what kind (if any) of accelerator tables to emit.
742 AccelTableKind
getAccelTableKind() const { return TheAccelTableKind
; }
744 bool useAppleExtensionAttributes() const {
745 return HasAppleExtensionAttributes
;
748 /// Returns whether or not to change the current debug info for the
749 /// split dwarf proposal support.
750 bool useSplitDwarf() const { return HasSplitDwarf
; }
752 /// Returns whether to generate a string offsets table with (possibly shared)
753 /// contributions from each CU and type unit. This implies the use of
754 /// DW_FORM_strx* indirect references with DWARF v5 and beyond. Note that
755 /// DW_FORM_GNU_str_index is also an indirect reference, but it is used with
756 /// a pre-DWARF v5 implementation of split DWARF sections, which uses a
757 /// monolithic string offsets table.
758 bool useSegmentedStringOffsetsTable() const {
759 return UseSegmentedStringOffsetsTable
;
762 bool emitDebugEntryValues() const {
763 return EmitDebugEntryValues
;
766 bool useOpConvert() const {
767 return EnableOpConvert
;
770 bool shareAcrossDWOCUs() const;
772 /// Returns the Dwarf Version.
773 uint16_t getDwarfVersion() const;
775 /// Returns a suitable DWARF form to represent a section offset, i.e.
776 /// * DW_FORM_sec_offset for DWARF version >= 4;
777 /// * DW_FORM_data8 for 64-bit DWARFv3;
778 /// * DW_FORM_data4 for 32-bit DWARFv3 and DWARFv2.
779 dwarf::Form
getDwarfSectionOffsetForm() const;
781 /// Returns the previous CU that was being updated
782 const DwarfCompileUnit
*getPrevCU() const { return PrevCU
; }
783 void setPrevCU(const DwarfCompileUnit
*PrevCU
) { this->PrevCU
= PrevCU
; }
785 /// Terminate the line table by adding the last range label.
786 void terminateLineTable(const DwarfCompileUnit
*CU
);
788 /// Returns the entries for the .debug_loc section.
789 const DebugLocStream
&getDebugLocs() const { return DebugLocs
; }
791 /// Emit an entry for the debug loc section. This can be used to
792 /// handle an entry that's going to be emitted into the debug loc section.
793 void emitDebugLocEntry(ByteStreamer
&Streamer
,
794 const DebugLocStream::Entry
&Entry
,
795 const DwarfCompileUnit
*CU
);
797 /// Emit the location for a debug loc entry, including the size header.
798 void emitDebugLocEntryLocation(const DebugLocStream::Entry
&Entry
,
799 const DwarfCompileUnit
*CU
);
801 void addSubprogramNames(const DICompileUnit
&CU
, const DISubprogram
*SP
,
804 AddressPool
&getAddressPool() { return AddrPool
; }
806 void addAccelName(const DICompileUnit
&CU
, StringRef Name
, const DIE
&Die
);
808 void addAccelObjC(const DICompileUnit
&CU
, StringRef Name
, const DIE
&Die
);
810 void addAccelNamespace(const DICompileUnit
&CU
, StringRef Name
,
813 void addAccelType(const DICompileUnit
&CU
, StringRef Name
, const DIE
&Die
,
816 const MachineFunction
*getCurrentFunction() const { return CurFn
; }
818 /// A helper function to check whether the DIE for a given Scope is
819 /// going to be null.
820 bool isLexicalScopeDIENull(LexicalScope
*Scope
);
822 /// Find the matching DwarfCompileUnit for the given CU DIE.
823 DwarfCompileUnit
*lookupCU(const DIE
*Die
) { return CUDieMap
.lookup(Die
); }
824 const DwarfCompileUnit
*lookupCU(const DIE
*Die
) const {
825 return CUDieMap
.lookup(Die
);
828 unsigned getStringTypeLoc(const DIStringType
*ST
) const {
829 return StringTypeLocMap
.lookup(ST
);
832 void addStringTypeLoc(const DIStringType
*ST
, unsigned Loc
) {
835 StringTypeLocMap
[ST
] = Loc
;
838 /// \defgroup DebuggerTuning Predicates to tune DWARF for a given debugger.
840 /// Returns whether we are "tuning" for a given debugger.
842 bool tuneForGDB() const { return DebuggerTuning
== DebuggerKind::GDB
; }
843 bool tuneForLLDB() const { return DebuggerTuning
== DebuggerKind::LLDB
; }
844 bool tuneForSCE() const { return DebuggerTuning
== DebuggerKind::SCE
; }
845 bool tuneForDBX() const { return DebuggerTuning
== DebuggerKind::DBX
; }
848 const MCSymbol
*getSectionLabel(const MCSection
*S
);
849 void insertSectionLabel(const MCSymbol
*S
);
851 static void emitDebugLocValue(const AsmPrinter
&AP
, const DIBasicType
*BT
,
852 const DbgValueLoc
&Value
,
853 DwarfExpression
&DwarfExpr
);
855 /// If the \p File has an MD5 checksum, return it as an MD5Result
856 /// allocated in the MCContext.
857 Optional
<MD5::MD5Result
> getMD5AsBytes(const DIFile
*File
) const;
860 } // end namespace llvm
862 #endif // LLVM_LIB_CODEGEN_ASMPRINTER_DWARFDEBUG_H