10b57cec5SDimitry Andric //===- llvm/CodeGen/DwarfDebug.h - Dwarf Debug Framework --------*- C++ -*-===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file contains support for writing dwarf debug info into asm files. 100b57cec5SDimitry Andric // 110b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 120b57cec5SDimitry Andric 130b57cec5SDimitry Andric #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DWARFDEBUG_H 140b57cec5SDimitry Andric #define LLVM_LIB_CODEGEN_ASMPRINTER_DWARFDEBUG_H 150b57cec5SDimitry Andric 160b57cec5SDimitry Andric #include "AddressPool.h" 170b57cec5SDimitry Andric #include "DebugLocEntry.h" 1881ad6265SDimitry Andric #include "DebugLocStream.h" 190b57cec5SDimitry Andric #include "DwarfFile.h" 200b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h" 210b57cec5SDimitry Andric #include "llvm/ADT/DenseMap.h" 220b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h" 230b57cec5SDimitry Andric #include "llvm/ADT/MapVector.h" 240b57cec5SDimitry Andric #include "llvm/ADT/SetVector.h" 250b57cec5SDimitry Andric #include "llvm/ADT/SmallPtrSet.h" 260b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h" 270b57cec5SDimitry Andric #include "llvm/ADT/StringMap.h" 280b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h" 290b57cec5SDimitry Andric #include "llvm/BinaryFormat/Dwarf.h" 300b57cec5SDimitry Andric #include "llvm/CodeGen/AccelTable.h" 310b57cec5SDimitry Andric #include "llvm/CodeGen/DbgEntityHistoryCalculator.h" 320b57cec5SDimitry Andric #include "llvm/CodeGen/DebugHandlerBase.h" 330b57cec5SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h" 340b57cec5SDimitry Andric #include "llvm/IR/DebugLoc.h" 350b57cec5SDimitry Andric #include "llvm/IR/Metadata.h" 360b57cec5SDimitry Andric #include "llvm/MC/MCDwarf.h" 370b57cec5SDimitry Andric #include "llvm/Support/Allocator.h" 380b57cec5SDimitry Andric #include "llvm/Target/TargetOptions.h" 390b57cec5SDimitry Andric #include <cassert> 400b57cec5SDimitry Andric #include <cstdint> 410b57cec5SDimitry Andric #include <limits> 420b57cec5SDimitry Andric #include <memory> 430b57cec5SDimitry Andric #include <utility> 440b57cec5SDimitry Andric #include <vector> 450b57cec5SDimitry Andric 460b57cec5SDimitry Andric namespace llvm { 470b57cec5SDimitry Andric 480b57cec5SDimitry Andric class AsmPrinter; 490b57cec5SDimitry Andric class ByteStreamer; 500b57cec5SDimitry Andric class DIE; 510b57cec5SDimitry Andric class DwarfCompileUnit; 520b57cec5SDimitry Andric class DwarfExpression; 530b57cec5SDimitry Andric class DwarfTypeUnit; 540b57cec5SDimitry Andric class DwarfUnit; 550b57cec5SDimitry Andric class LexicalScope; 560b57cec5SDimitry Andric class MachineFunction; 570b57cec5SDimitry Andric class MCSection; 580b57cec5SDimitry Andric class MCSymbol; 590b57cec5SDimitry Andric class Module; 600b57cec5SDimitry Andric 610b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 620b57cec5SDimitry Andric /// This class is defined as the common parent of DbgVariable and DbgLabel 630b57cec5SDimitry Andric /// such that it could levarage polymorphism to extract common code for 640b57cec5SDimitry Andric /// DbgVariable and DbgLabel. 650b57cec5SDimitry Andric class DbgEntity { 660b57cec5SDimitry Andric public: 670b57cec5SDimitry Andric enum DbgEntityKind { 680b57cec5SDimitry Andric DbgVariableKind, 690b57cec5SDimitry Andric DbgLabelKind 700b57cec5SDimitry Andric }; 710b57cec5SDimitry Andric 72349cc55cSDimitry Andric private: 73349cc55cSDimitry Andric const DINode *Entity; 74349cc55cSDimitry Andric const DILocation *InlinedAt; 75349cc55cSDimitry Andric DIE *TheDIE = nullptr; 76349cc55cSDimitry Andric const DbgEntityKind SubclassID; 77349cc55cSDimitry Andric 78349cc55cSDimitry Andric public: 79349cc55cSDimitry Andric DbgEntity(const DINode *N, const DILocation *IA, DbgEntityKind ID) 800b57cec5SDimitry Andric : Entity(N), InlinedAt(IA), SubclassID(ID) {} 8181ad6265SDimitry Andric virtual ~DbgEntity() = default; 820b57cec5SDimitry Andric 830b57cec5SDimitry Andric /// Accessors. 840b57cec5SDimitry Andric /// @{ 850b57cec5SDimitry Andric const DINode *getEntity() const { return Entity; } 860b57cec5SDimitry Andric const DILocation *getInlinedAt() const { return InlinedAt; } 870b57cec5SDimitry Andric DIE *getDIE() const { return TheDIE; } 88349cc55cSDimitry Andric DbgEntityKind getDbgEntityID() const { return SubclassID; } 890b57cec5SDimitry Andric /// @} 900b57cec5SDimitry Andric 910b57cec5SDimitry Andric void setDIE(DIE &D) { TheDIE = &D; } 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric static bool classof(const DbgEntity *N) { 940b57cec5SDimitry Andric switch (N->getDbgEntityID()) { 950b57cec5SDimitry Andric case DbgVariableKind: 960b57cec5SDimitry Andric case DbgLabelKind: 970b57cec5SDimitry Andric return true; 980b57cec5SDimitry Andric } 99349cc55cSDimitry Andric llvm_unreachable("Invalid DbgEntityKind"); 1000b57cec5SDimitry Andric } 1010b57cec5SDimitry Andric }; 1020b57cec5SDimitry Andric 1030b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 1040b57cec5SDimitry Andric /// This class is used to track local variable information. 1050b57cec5SDimitry Andric /// 1060b57cec5SDimitry Andric /// Variables can be created from allocas, in which case they're generated from 1070b57cec5SDimitry Andric /// the MMI table. Such variables can have multiple expressions and frame 1080b57cec5SDimitry Andric /// indices. 1090b57cec5SDimitry Andric /// 1100b57cec5SDimitry Andric /// Variables can be created from \c DBG_VALUE instructions. Those whose 1110b57cec5SDimitry Andric /// location changes over time use \a DebugLocListIndex, while those with a 1120b57cec5SDimitry Andric /// single location use \a ValueLoc and (optionally) a single entry of \a Expr. 1130b57cec5SDimitry Andric /// 1140b57cec5SDimitry Andric /// Variables that have been optimized out use none of these fields. 1150b57cec5SDimitry Andric class DbgVariable : public DbgEntity { 116e8d8bef9SDimitry Andric /// Index of the entry list in DebugLocs. 1170b57cec5SDimitry Andric unsigned DebugLocListIndex = ~0u; 118480093f4SDimitry Andric /// DW_OP_LLVM_tag_offset value from DebugLocs. 119*bdd1243dSDimitry Andric std::optional<uint8_t> DebugLocListTagOffset; 120480093f4SDimitry Andric 1210b57cec5SDimitry Andric /// Single value location description. 1220b57cec5SDimitry Andric std::unique_ptr<DbgValueLoc> ValueLoc = nullptr; 1230b57cec5SDimitry Andric 1240b57cec5SDimitry Andric struct FrameIndexExpr { 1250b57cec5SDimitry Andric int FI; 1260b57cec5SDimitry Andric const DIExpression *Expr; 1270b57cec5SDimitry Andric }; 1280b57cec5SDimitry Andric mutable SmallVector<FrameIndexExpr, 1> 1290b57cec5SDimitry Andric FrameIndexExprs; /// Frame index + expression. 1300b57cec5SDimitry Andric 1310b57cec5SDimitry Andric public: 1320b57cec5SDimitry Andric /// Construct a DbgVariable. 1330b57cec5SDimitry Andric /// 1340b57cec5SDimitry Andric /// Creates a variable without any DW_AT_location. Call \a initializeMMI() 1350b57cec5SDimitry Andric /// for MMI entries, or \a initializeDbgValue() for DBG_VALUE instructions. 1360b57cec5SDimitry Andric DbgVariable(const DILocalVariable *V, const DILocation *IA) 1370b57cec5SDimitry Andric : DbgEntity(V, IA, DbgVariableKind) {} 1380b57cec5SDimitry Andric 1390b57cec5SDimitry Andric /// Initialize from the MMI table. 1400b57cec5SDimitry Andric void initializeMMI(const DIExpression *E, int FI) { 1410b57cec5SDimitry Andric assert(FrameIndexExprs.empty() && "Already initialized?"); 1420b57cec5SDimitry Andric assert(!ValueLoc.get() && "Already initialized?"); 1430b57cec5SDimitry Andric 1440b57cec5SDimitry Andric assert((!E || E->isValid()) && "Expected valid expression"); 1450b57cec5SDimitry Andric assert(FI != std::numeric_limits<int>::max() && "Expected valid index"); 1460b57cec5SDimitry Andric 1470b57cec5SDimitry Andric FrameIndexExprs.push_back({FI, E}); 1480b57cec5SDimitry Andric } 1490b57cec5SDimitry Andric 1500b57cec5SDimitry Andric // Initialize variable's location. 1510b57cec5SDimitry Andric void initializeDbgValue(DbgValueLoc Value) { 1520b57cec5SDimitry Andric assert(FrameIndexExprs.empty() && "Already initialized?"); 1530b57cec5SDimitry Andric assert(!ValueLoc && "Already initialized?"); 1540b57cec5SDimitry Andric assert(!Value.getExpression()->isFragment() && "Fragments not supported."); 1550b57cec5SDimitry Andric 1568bcb0991SDimitry Andric ValueLoc = std::make_unique<DbgValueLoc>(Value); 1570b57cec5SDimitry Andric if (auto *E = ValueLoc->getExpression()) 1580b57cec5SDimitry Andric if (E->getNumElements()) 1590b57cec5SDimitry Andric FrameIndexExprs.push_back({0, E}); 1600b57cec5SDimitry Andric } 1610b57cec5SDimitry Andric 1620b57cec5SDimitry Andric /// Initialize from a DBG_VALUE instruction. 1630b57cec5SDimitry Andric void initializeDbgValue(const MachineInstr *DbgValue); 1640b57cec5SDimitry Andric 1650b57cec5SDimitry Andric // Accessors. 1660b57cec5SDimitry Andric const DILocalVariable *getVariable() const { 1670b57cec5SDimitry Andric return cast<DILocalVariable>(getEntity()); 1680b57cec5SDimitry Andric } 1690b57cec5SDimitry Andric 1700b57cec5SDimitry Andric const DIExpression *getSingleExpression() const { 1710b57cec5SDimitry Andric assert(ValueLoc.get() && FrameIndexExprs.size() <= 1); 1720b57cec5SDimitry Andric return FrameIndexExprs.size() ? FrameIndexExprs[0].Expr : nullptr; 1730b57cec5SDimitry Andric } 1740b57cec5SDimitry Andric 1750b57cec5SDimitry Andric void setDebugLocListIndex(unsigned O) { DebugLocListIndex = O; } 1760b57cec5SDimitry Andric unsigned getDebugLocListIndex() const { return DebugLocListIndex; } 177480093f4SDimitry Andric void setDebugLocListTagOffset(uint8_t O) { DebugLocListTagOffset = O; } 178*bdd1243dSDimitry Andric std::optional<uint8_t> getDebugLocListTagOffset() const { 179*bdd1243dSDimitry Andric return DebugLocListTagOffset; 180*bdd1243dSDimitry Andric } 1810b57cec5SDimitry Andric StringRef getName() const { return getVariable()->getName(); } 1820b57cec5SDimitry Andric const DbgValueLoc *getValueLoc() const { return ValueLoc.get(); } 1830b57cec5SDimitry Andric /// Get the FI entries, sorted by fragment offset. 1840b57cec5SDimitry Andric ArrayRef<FrameIndexExpr> getFrameIndexExprs() const; 1850b57cec5SDimitry Andric bool hasFrameIndexExprs() const { return !FrameIndexExprs.empty(); } 1860b57cec5SDimitry Andric void addMMIEntry(const DbgVariable &V); 1870b57cec5SDimitry Andric 1880b57cec5SDimitry Andric // Translate tag to proper Dwarf tag. 1890b57cec5SDimitry Andric dwarf::Tag getTag() const { 1900b57cec5SDimitry Andric // FIXME: Why don't we just infer this tag and store it all along? 1910b57cec5SDimitry Andric if (getVariable()->isParameter()) 1920b57cec5SDimitry Andric return dwarf::DW_TAG_formal_parameter; 1930b57cec5SDimitry Andric 1940b57cec5SDimitry Andric return dwarf::DW_TAG_variable; 1950b57cec5SDimitry Andric } 1960b57cec5SDimitry Andric 1970b57cec5SDimitry Andric /// Return true if DbgVariable is artificial. 1980b57cec5SDimitry Andric bool isArtificial() const { 1990b57cec5SDimitry Andric if (getVariable()->isArtificial()) 2000b57cec5SDimitry Andric return true; 2010b57cec5SDimitry Andric if (getType()->isArtificial()) 2020b57cec5SDimitry Andric return true; 2030b57cec5SDimitry Andric return false; 2040b57cec5SDimitry Andric } 2050b57cec5SDimitry Andric 2060b57cec5SDimitry Andric bool isObjectPointer() const { 2070b57cec5SDimitry Andric if (getVariable()->isObjectPointer()) 2080b57cec5SDimitry Andric return true; 2090b57cec5SDimitry Andric if (getType()->isObjectPointer()) 2100b57cec5SDimitry Andric return true; 2110b57cec5SDimitry Andric return false; 2120b57cec5SDimitry Andric } 2130b57cec5SDimitry Andric 2140b57cec5SDimitry Andric bool hasComplexAddress() const { 2150b57cec5SDimitry Andric assert(ValueLoc.get() && "Expected DBG_VALUE, not MMI variable"); 2160b57cec5SDimitry Andric assert((FrameIndexExprs.empty() || 2170b57cec5SDimitry Andric (FrameIndexExprs.size() == 1 && 2180b57cec5SDimitry Andric FrameIndexExprs[0].Expr->getNumElements())) && 2190b57cec5SDimitry Andric "Invalid Expr for DBG_VALUE"); 2200b57cec5SDimitry Andric return !FrameIndexExprs.empty(); 2210b57cec5SDimitry Andric } 2220b57cec5SDimitry Andric 2230b57cec5SDimitry Andric const DIType *getType() const; 2240b57cec5SDimitry Andric 2250b57cec5SDimitry Andric static bool classof(const DbgEntity *N) { 2260b57cec5SDimitry Andric return N->getDbgEntityID() == DbgVariableKind; 2270b57cec5SDimitry Andric } 2280b57cec5SDimitry Andric }; 2290b57cec5SDimitry Andric 2300b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 2310b57cec5SDimitry Andric /// This class is used to track label information. 2320b57cec5SDimitry Andric /// 2330b57cec5SDimitry Andric /// Labels are collected from \c DBG_LABEL instructions. 2340b57cec5SDimitry Andric class DbgLabel : public DbgEntity { 2350b57cec5SDimitry Andric const MCSymbol *Sym; /// Symbol before DBG_LABEL instruction. 2360b57cec5SDimitry Andric 2370b57cec5SDimitry Andric public: 2380b57cec5SDimitry Andric /// We need MCSymbol information to generate DW_AT_low_pc. 2390b57cec5SDimitry Andric DbgLabel(const DILabel *L, const DILocation *IA, const MCSymbol *Sym = nullptr) 2400b57cec5SDimitry Andric : DbgEntity(L, IA, DbgLabelKind), Sym(Sym) {} 2410b57cec5SDimitry Andric 2420b57cec5SDimitry Andric /// Accessors. 2430b57cec5SDimitry Andric /// @{ 2440b57cec5SDimitry Andric const DILabel *getLabel() const { return cast<DILabel>(getEntity()); } 2450b57cec5SDimitry Andric const MCSymbol *getSymbol() const { return Sym; } 2460b57cec5SDimitry Andric 2470b57cec5SDimitry Andric StringRef getName() const { return getLabel()->getName(); } 2480b57cec5SDimitry Andric /// @} 2490b57cec5SDimitry Andric 2500b57cec5SDimitry Andric /// Translate tag to proper Dwarf tag. 2510b57cec5SDimitry Andric dwarf::Tag getTag() const { 2520b57cec5SDimitry Andric return dwarf::DW_TAG_label; 2530b57cec5SDimitry Andric } 2540b57cec5SDimitry Andric 2550b57cec5SDimitry Andric static bool classof(const DbgEntity *N) { 2560b57cec5SDimitry Andric return N->getDbgEntityID() == DbgLabelKind; 2570b57cec5SDimitry Andric } 2580b57cec5SDimitry Andric }; 2590b57cec5SDimitry Andric 2608bcb0991SDimitry Andric /// Used for tracking debug info about call site parameters. 2618bcb0991SDimitry Andric class DbgCallSiteParam { 2628bcb0991SDimitry Andric private: 2638bcb0991SDimitry Andric unsigned Register; ///< Parameter register at the callee entry point. 2648bcb0991SDimitry Andric DbgValueLoc Value; ///< Corresponding location for the parameter value at 2658bcb0991SDimitry Andric ///< the call site. 2668bcb0991SDimitry Andric public: 2678bcb0991SDimitry Andric DbgCallSiteParam(unsigned Reg, DbgValueLoc Val) 2688bcb0991SDimitry Andric : Register(Reg), Value(Val) { 2698bcb0991SDimitry Andric assert(Reg && "Parameter register cannot be undef"); 2708bcb0991SDimitry Andric } 2718bcb0991SDimitry Andric 2728bcb0991SDimitry Andric unsigned getRegister() const { return Register; } 2738bcb0991SDimitry Andric DbgValueLoc getValue() const { return Value; } 2748bcb0991SDimitry Andric }; 2758bcb0991SDimitry Andric 2768bcb0991SDimitry Andric /// Collection used for storing debug call site parameters. 2778bcb0991SDimitry Andric using ParamSet = SmallVector<DbgCallSiteParam, 4>; 2788bcb0991SDimitry Andric 2790b57cec5SDimitry Andric /// Helper used to pair up a symbol and its DWARF compile unit. 2800b57cec5SDimitry Andric struct SymbolCU { 2810b57cec5SDimitry Andric SymbolCU(DwarfCompileUnit *CU, const MCSymbol *Sym) : Sym(Sym), CU(CU) {} 2820b57cec5SDimitry Andric 2830b57cec5SDimitry Andric const MCSymbol *Sym; 2840b57cec5SDimitry Andric DwarfCompileUnit *CU; 2850b57cec5SDimitry Andric }; 2860b57cec5SDimitry Andric 2870b57cec5SDimitry Andric /// The kind of accelerator tables we should emit. 2880b57cec5SDimitry Andric enum class AccelTableKind { 2890b57cec5SDimitry Andric Default, ///< Platform default. 2900b57cec5SDimitry Andric None, ///< None. 2910b57cec5SDimitry Andric Apple, ///< .apple_names, .apple_namespaces, .apple_types, .apple_objc. 2920b57cec5SDimitry Andric Dwarf, ///< DWARF v5 .debug_names. 2930b57cec5SDimitry Andric }; 2940b57cec5SDimitry Andric 2950b57cec5SDimitry Andric /// Collects and handles dwarf debug information. 2960b57cec5SDimitry Andric class DwarfDebug : public DebugHandlerBase { 2970b57cec5SDimitry Andric /// All DIEValues are allocated through this allocator. 2980b57cec5SDimitry Andric BumpPtrAllocator DIEValueAllocator; 2990b57cec5SDimitry Andric 3000b57cec5SDimitry Andric /// Maps MDNode with its corresponding DwarfCompileUnit. 3010b57cec5SDimitry Andric MapVector<const MDNode *, DwarfCompileUnit *> CUMap; 3020b57cec5SDimitry Andric 3030b57cec5SDimitry Andric /// Maps a CU DIE with its corresponding DwarfCompileUnit. 3040b57cec5SDimitry Andric DenseMap<const DIE *, DwarfCompileUnit *> CUDieMap; 3050b57cec5SDimitry Andric 3060b57cec5SDimitry Andric /// List of all labels used in aranges generation. 3070b57cec5SDimitry Andric std::vector<SymbolCU> ArangeLabels; 3080b57cec5SDimitry Andric 3090b57cec5SDimitry Andric /// Size of each symbol emitted (for those symbols that have a specific size). 3100b57cec5SDimitry Andric DenseMap<const MCSymbol *, uint64_t> SymSize; 3110b57cec5SDimitry Andric 3120b57cec5SDimitry Andric /// Collection of abstract variables/labels. 3130b57cec5SDimitry Andric SmallVector<std::unique_ptr<DbgEntity>, 64> ConcreteEntities; 3140b57cec5SDimitry Andric 3150b57cec5SDimitry Andric /// Collection of DebugLocEntry. Stored in a linked list so that DIELocLists 3160b57cec5SDimitry Andric /// can refer to them in spite of insertions into this list. 3170b57cec5SDimitry Andric DebugLocStream DebugLocs; 3180b57cec5SDimitry Andric 3190b57cec5SDimitry Andric /// This is a collection of subprogram MDNodes that are processed to 3200b57cec5SDimitry Andric /// create DIEs. 3210b57cec5SDimitry Andric SetVector<const DISubprogram *, SmallVector<const DISubprogram *, 16>, 3220b57cec5SDimitry Andric SmallPtrSet<const DISubprogram *, 16>> 3230b57cec5SDimitry Andric ProcessedSPNodes; 3240b57cec5SDimitry Andric 3250b57cec5SDimitry Andric /// If nonnull, stores the current machine function we're processing. 3260b57cec5SDimitry Andric const MachineFunction *CurFn = nullptr; 3270b57cec5SDimitry Andric 3280b57cec5SDimitry Andric /// If nonnull, stores the CU in which the previous subprogram was contained. 3295ffd83dbSDimitry Andric const DwarfCompileUnit *PrevCU = nullptr; 3300b57cec5SDimitry Andric 3310b57cec5SDimitry Andric /// As an optimization, there is no need to emit an entry in the directory 3320b57cec5SDimitry Andric /// table for the same directory as DW_AT_comp_dir. 3330b57cec5SDimitry Andric StringRef CompilationDir; 3340b57cec5SDimitry Andric 3350b57cec5SDimitry Andric /// Holder for the file specific debug information. 3360b57cec5SDimitry Andric DwarfFile InfoHolder; 3370b57cec5SDimitry Andric 3380b57cec5SDimitry Andric /// Holders for the various debug information flags that we might need to 3390b57cec5SDimitry Andric /// have exposed. See accessor functions below for description. 3400b57cec5SDimitry Andric 3410b57cec5SDimitry Andric /// Map from MDNodes for user-defined types to their type signatures. Also 3420b57cec5SDimitry Andric /// used to keep track of which types we have emitted type units for. 3430b57cec5SDimitry Andric DenseMap<const MDNode *, uint64_t> TypeSignatures; 3440b57cec5SDimitry Andric 3450b57cec5SDimitry Andric DenseMap<const MCSection *, const MCSymbol *> SectionLabels; 3460b57cec5SDimitry Andric 3470b57cec5SDimitry Andric SmallVector< 3480b57cec5SDimitry Andric std::pair<std::unique_ptr<DwarfTypeUnit>, const DICompositeType *>, 1> 3490b57cec5SDimitry Andric TypeUnitsUnderConstruction; 3500b57cec5SDimitry Andric 3510b57cec5SDimitry Andric /// Whether to use the GNU TLS opcode (instead of the standard opcode). 3520b57cec5SDimitry Andric bool UseGNUTLSOpcode; 3530b57cec5SDimitry Andric 3540b57cec5SDimitry Andric /// Whether to use DWARF 2 bitfields (instead of the DWARF 4 format). 3550b57cec5SDimitry Andric bool UseDWARF2Bitfields; 3560b57cec5SDimitry Andric 3570b57cec5SDimitry Andric /// Whether to emit all linkage names, or just abstract subprograms. 3580b57cec5SDimitry Andric bool UseAllLinkageNames; 3590b57cec5SDimitry Andric 3600b57cec5SDimitry Andric /// Use inlined strings. 3610b57cec5SDimitry Andric bool UseInlineStrings = false; 3620b57cec5SDimitry Andric 3630b57cec5SDimitry Andric /// Allow emission of .debug_ranges section. 3640b57cec5SDimitry Andric bool UseRangesSection = true; 3650b57cec5SDimitry Andric 3660b57cec5SDimitry Andric /// True if the sections itself must be used as references and don't create 3670b57cec5SDimitry Andric /// temp symbols inside DWARF sections. 3680b57cec5SDimitry Andric bool UseSectionsAsReferences = false; 3690b57cec5SDimitry Andric 3700b57cec5SDimitry Andric ///Allow emission of the .debug_loc section. 3710b57cec5SDimitry Andric bool UseLocSection = true; 3720b57cec5SDimitry Andric 3730b57cec5SDimitry Andric /// Generate DWARF v4 type units. 3740b57cec5SDimitry Andric bool GenerateTypeUnits; 3750b57cec5SDimitry Andric 376e8d8bef9SDimitry Andric /// Emit a .debug_macro section instead of .debug_macinfo. 377e8d8bef9SDimitry Andric bool UseDebugMacroSection; 378e8d8bef9SDimitry Andric 379e8d8bef9SDimitry Andric /// Avoid using DW_OP_convert due to consumer incompatibilities. 380e8d8bef9SDimitry Andric bool EnableOpConvert; 381e8d8bef9SDimitry Andric 382e8d8bef9SDimitry Andric public: 383e8d8bef9SDimitry Andric enum class MinimizeAddrInV5 { 384e8d8bef9SDimitry Andric Default, 385e8d8bef9SDimitry Andric Disabled, 386e8d8bef9SDimitry Andric Ranges, 387fe6060f1SDimitry Andric Expressions, 388fe6060f1SDimitry Andric Form, 389e8d8bef9SDimitry Andric }; 390e8d8bef9SDimitry Andric 391e8d8bef9SDimitry Andric private: 392e8d8bef9SDimitry Andric /// Force the use of DW_AT_ranges even for single-entry range lists. 393e8d8bef9SDimitry Andric MinimizeAddrInV5 MinimizeAddr = MinimizeAddrInV5::Disabled; 394e8d8bef9SDimitry Andric 3950b57cec5SDimitry Andric /// DWARF5 Experimental Options 3960b57cec5SDimitry Andric /// @{ 3970b57cec5SDimitry Andric AccelTableKind TheAccelTableKind; 3980b57cec5SDimitry Andric bool HasAppleExtensionAttributes; 3990b57cec5SDimitry Andric bool HasSplitDwarf; 4000b57cec5SDimitry Andric 4010b57cec5SDimitry Andric /// Whether to generate the DWARF v5 string offsets table. 4020b57cec5SDimitry Andric /// It consists of a series of contributions, each preceded by a header. 4030b57cec5SDimitry Andric /// The pre-DWARF v5 string offsets table for split dwarf is, in contrast, 4040b57cec5SDimitry Andric /// a monolithic sequence of string offsets. 4050b57cec5SDimitry Andric bool UseSegmentedStringOffsetsTable; 4060b57cec5SDimitry Andric 4075ffd83dbSDimitry Andric /// Enable production of call site parameters needed to print the debug entry 4085ffd83dbSDimitry Andric /// values. Useful for testing purposes when a debugger does not support the 4095ffd83dbSDimitry Andric /// feature yet. 4105ffd83dbSDimitry Andric bool EmitDebugEntryValues; 4115ffd83dbSDimitry Andric 4120b57cec5SDimitry Andric /// Separated Dwarf Variables 4130b57cec5SDimitry Andric /// In general these will all be for bits that are left in the 4140b57cec5SDimitry Andric /// original object file, rather than things that are meant 4150b57cec5SDimitry Andric /// to be in the .dwo sections. 4160b57cec5SDimitry Andric 4170b57cec5SDimitry Andric /// Holder for the skeleton information. 4180b57cec5SDimitry Andric DwarfFile SkeletonHolder; 4190b57cec5SDimitry Andric 4200b57cec5SDimitry Andric /// Store file names for type units under fission in a line table 4210b57cec5SDimitry Andric /// header that will be emitted into debug_line.dwo. 4220b57cec5SDimitry Andric // FIXME: replace this with a map from comp_dir to table so that we 4230b57cec5SDimitry Andric // can emit multiple tables during LTO each of which uses directory 4240b57cec5SDimitry Andric // 0, referencing the comp_dir of all the type units that use it. 4250b57cec5SDimitry Andric MCDwarfDwoLineTable SplitTypeUnitFileTable; 4260b57cec5SDimitry Andric /// @} 4270b57cec5SDimitry Andric 4280b57cec5SDimitry Andric /// True iff there are multiple CUs in this module. 4290b57cec5SDimitry Andric bool SingleCU; 4300b57cec5SDimitry Andric bool IsDarwin; 4310b57cec5SDimitry Andric 432e8d8bef9SDimitry Andric /// Map for tracking Fortran deferred CHARACTER lengths. 433e8d8bef9SDimitry Andric DenseMap<const DIStringType *, unsigned> StringTypeLocMap; 434e8d8bef9SDimitry Andric 4350b57cec5SDimitry Andric AddressPool AddrPool; 4360b57cec5SDimitry Andric 4370b57cec5SDimitry Andric /// Accelerator tables. 4380b57cec5SDimitry Andric AccelTable<DWARF5AccelTableData> AccelDebugNames; 4390b57cec5SDimitry Andric AccelTable<AppleAccelTableOffsetData> AccelNames; 4400b57cec5SDimitry Andric AccelTable<AppleAccelTableOffsetData> AccelObjC; 4410b57cec5SDimitry Andric AccelTable<AppleAccelTableOffsetData> AccelNamespace; 4420b57cec5SDimitry Andric AccelTable<AppleAccelTableTypeData> AccelTypes; 4430b57cec5SDimitry Andric 444fe6060f1SDimitry Andric /// Identify a debugger for "tuning" the debug info. 445fe6060f1SDimitry Andric /// 446fe6060f1SDimitry Andric /// The "tuning" should be used to set defaults for individual feature flags 447fe6060f1SDimitry Andric /// in DwarfDebug; if a given feature has a more specific command-line option, 448fe6060f1SDimitry Andric /// that option should take precedence over the tuning. 4490b57cec5SDimitry Andric DebuggerKind DebuggerTuning = DebuggerKind::Default; 4500b57cec5SDimitry Andric 4510b57cec5SDimitry Andric MCDwarfDwoLineTable *getDwoLineTable(const DwarfCompileUnit &); 4520b57cec5SDimitry Andric 4530b57cec5SDimitry Andric const SmallVectorImpl<std::unique_ptr<DwarfCompileUnit>> &getUnits() { 4540b57cec5SDimitry Andric return InfoHolder.getUnits(); 4550b57cec5SDimitry Andric } 4560b57cec5SDimitry Andric 4570b57cec5SDimitry Andric using InlinedEntity = DbgValueHistoryMap::InlinedEntity; 4580b57cec5SDimitry Andric 4590b57cec5SDimitry Andric void ensureAbstractEntityIsCreated(DwarfCompileUnit &CU, 4600b57cec5SDimitry Andric const DINode *Node, 4610b57cec5SDimitry Andric const MDNode *Scope); 4620b57cec5SDimitry Andric void ensureAbstractEntityIsCreatedIfScoped(DwarfCompileUnit &CU, 4630b57cec5SDimitry Andric const DINode *Node, 4640b57cec5SDimitry Andric const MDNode *Scope); 4650b57cec5SDimitry Andric 4660b57cec5SDimitry Andric DbgEntity *createConcreteEntity(DwarfCompileUnit &TheCU, 4670b57cec5SDimitry Andric LexicalScope &Scope, 4680b57cec5SDimitry Andric const DINode *Node, 4690b57cec5SDimitry Andric const DILocation *Location, 4700b57cec5SDimitry Andric const MCSymbol *Sym = nullptr); 4710b57cec5SDimitry Andric 4720b57cec5SDimitry Andric /// Construct a DIE for this abstract scope. 4730b57cec5SDimitry Andric void constructAbstractSubprogramScopeDIE(DwarfCompileUnit &SrcCU, LexicalScope *Scope); 4740b57cec5SDimitry Andric 4750b57cec5SDimitry Andric /// Construct DIEs for call site entries describing the calls in \p MF. 4760b57cec5SDimitry Andric void constructCallSiteEntryDIEs(const DISubprogram &SP, DwarfCompileUnit &CU, 4770b57cec5SDimitry Andric DIE &ScopeDIE, const MachineFunction &MF); 4780b57cec5SDimitry Andric 4790b57cec5SDimitry Andric template <typename DataT> 4800b57cec5SDimitry Andric void addAccelNameImpl(const DICompileUnit &CU, AccelTable<DataT> &AppleAccel, 4810b57cec5SDimitry Andric StringRef Name, const DIE &Die); 4820b57cec5SDimitry Andric 4830b57cec5SDimitry Andric void finishEntityDefinitions(); 4840b57cec5SDimitry Andric 4850b57cec5SDimitry Andric void finishSubprogramDefinitions(); 4860b57cec5SDimitry Andric 4870b57cec5SDimitry Andric /// Finish off debug information after all functions have been 4880b57cec5SDimitry Andric /// processed. 4890b57cec5SDimitry Andric void finalizeModuleInfo(); 4900b57cec5SDimitry Andric 4910b57cec5SDimitry Andric /// Emit the debug info section. 4920b57cec5SDimitry Andric void emitDebugInfo(); 4930b57cec5SDimitry Andric 4940b57cec5SDimitry Andric /// Emit the abbreviation section. 4950b57cec5SDimitry Andric void emitAbbreviations(); 4960b57cec5SDimitry Andric 4970b57cec5SDimitry Andric /// Emit the string offsets table header. 4980b57cec5SDimitry Andric void emitStringOffsetsTableHeader(); 4990b57cec5SDimitry Andric 5000b57cec5SDimitry Andric /// Emit a specified accelerator table. 5010b57cec5SDimitry Andric template <typename AccelTableT> 5020b57cec5SDimitry Andric void emitAccel(AccelTableT &Accel, MCSection *Section, StringRef TableName); 5030b57cec5SDimitry Andric 5040b57cec5SDimitry Andric /// Emit DWARF v5 accelerator table. 5050b57cec5SDimitry Andric void emitAccelDebugNames(); 5060b57cec5SDimitry Andric 5070b57cec5SDimitry Andric /// Emit visible names into a hashed accelerator table section. 5080b57cec5SDimitry Andric void emitAccelNames(); 5090b57cec5SDimitry Andric 5100b57cec5SDimitry Andric /// Emit objective C classes and categories into a hashed 5110b57cec5SDimitry Andric /// accelerator table section. 5120b57cec5SDimitry Andric void emitAccelObjC(); 5130b57cec5SDimitry Andric 5140b57cec5SDimitry Andric /// Emit namespace dies into a hashed accelerator table. 5150b57cec5SDimitry Andric void emitAccelNamespaces(); 5160b57cec5SDimitry Andric 5170b57cec5SDimitry Andric /// Emit type dies into a hashed accelerator table. 5180b57cec5SDimitry Andric void emitAccelTypes(); 5190b57cec5SDimitry Andric 5200b57cec5SDimitry Andric /// Emit visible names and types into debug pubnames and pubtypes sections. 5210b57cec5SDimitry Andric void emitDebugPubSections(); 5220b57cec5SDimitry Andric 5230b57cec5SDimitry Andric void emitDebugPubSection(bool GnuStyle, StringRef Name, 5240b57cec5SDimitry Andric DwarfCompileUnit *TheU, 5250b57cec5SDimitry Andric const StringMap<const DIE *> &Globals); 5260b57cec5SDimitry Andric 5270b57cec5SDimitry Andric /// Emit null-terminated strings into a debug str section. 5280b57cec5SDimitry Andric void emitDebugStr(); 5290b57cec5SDimitry Andric 5300b57cec5SDimitry Andric /// Emit variable locations into a debug loc section. 5310b57cec5SDimitry Andric void emitDebugLoc(); 5320b57cec5SDimitry Andric 5330b57cec5SDimitry Andric /// Emit variable locations into a debug loc dwo section. 5340b57cec5SDimitry Andric void emitDebugLocDWO(); 5350b57cec5SDimitry Andric 536480093f4SDimitry Andric void emitDebugLocImpl(MCSection *Sec); 537480093f4SDimitry Andric 5380b57cec5SDimitry Andric /// Emit address ranges into a debug aranges section. 5390b57cec5SDimitry Andric void emitDebugARanges(); 5400b57cec5SDimitry Andric 5410b57cec5SDimitry Andric /// Emit address ranges into a debug ranges section. 5420b57cec5SDimitry Andric void emitDebugRanges(); 5430b57cec5SDimitry Andric void emitDebugRangesDWO(); 544480093f4SDimitry Andric void emitDebugRangesImpl(const DwarfFile &Holder, MCSection *Section); 5450b57cec5SDimitry Andric 5460b57cec5SDimitry Andric /// Emit macros into a debug macinfo section. 5470b57cec5SDimitry Andric void emitDebugMacinfo(); 548480093f4SDimitry Andric /// Emit macros into a debug macinfo.dwo section. 549480093f4SDimitry Andric void emitDebugMacinfoDWO(); 550480093f4SDimitry Andric void emitDebugMacinfoImpl(MCSection *Section); 5510b57cec5SDimitry Andric void emitMacro(DIMacro &M); 5520b57cec5SDimitry Andric void emitMacroFile(DIMacroFile &F, DwarfCompileUnit &U); 5535ffd83dbSDimitry Andric void emitMacroFileImpl(DIMacroFile &F, DwarfCompileUnit &U, 5545ffd83dbSDimitry Andric unsigned StartFile, unsigned EndFile, 5555ffd83dbSDimitry Andric StringRef (*MacroFormToString)(unsigned Form)); 5560b57cec5SDimitry Andric void handleMacroNodes(DIMacroNodeArray Nodes, DwarfCompileUnit &U); 5570b57cec5SDimitry Andric 5580b57cec5SDimitry Andric /// DWARF 5 Experimental Split Dwarf Emitters 5590b57cec5SDimitry Andric 5600b57cec5SDimitry Andric /// Initialize common features of skeleton units. 5610b57cec5SDimitry Andric void initSkeletonUnit(const DwarfUnit &U, DIE &Die, 5620b57cec5SDimitry Andric std::unique_ptr<DwarfCompileUnit> NewU); 5630b57cec5SDimitry Andric 5640b57cec5SDimitry Andric /// Construct the split debug info compile unit for the debug info section. 5650b57cec5SDimitry Andric /// In DWARF v5, the skeleton unit DIE may have the following attributes: 5660b57cec5SDimitry Andric /// DW_AT_addr_base, DW_AT_comp_dir, DW_AT_dwo_name, DW_AT_high_pc, 5670b57cec5SDimitry Andric /// DW_AT_low_pc, DW_AT_ranges, DW_AT_stmt_list, and DW_AT_str_offsets_base. 5680b57cec5SDimitry Andric /// Prior to DWARF v5 it may also have DW_AT_GNU_dwo_id. DW_AT_GNU_dwo_name 5690b57cec5SDimitry Andric /// is used instead of DW_AT_dwo_name, Dw_AT_GNU_addr_base instead of 5700b57cec5SDimitry Andric /// DW_AT_addr_base, and DW_AT_GNU_ranges_base instead of DW_AT_rnglists_base. 5710b57cec5SDimitry Andric DwarfCompileUnit &constructSkeletonCU(const DwarfCompileUnit &CU); 5720b57cec5SDimitry Andric 5730b57cec5SDimitry Andric /// Emit the debug info dwo section. 5740b57cec5SDimitry Andric void emitDebugInfoDWO(); 5750b57cec5SDimitry Andric 5760b57cec5SDimitry Andric /// Emit the debug abbrev dwo section. 5770b57cec5SDimitry Andric void emitDebugAbbrevDWO(); 5780b57cec5SDimitry Andric 5790b57cec5SDimitry Andric /// Emit the debug line dwo section. 5800b57cec5SDimitry Andric void emitDebugLineDWO(); 5810b57cec5SDimitry Andric 5820b57cec5SDimitry Andric /// Emit the dwo stringoffsets table header. 5830b57cec5SDimitry Andric void emitStringOffsetsTableHeaderDWO(); 5840b57cec5SDimitry Andric 5850b57cec5SDimitry Andric /// Emit the debug str dwo section. 5860b57cec5SDimitry Andric void emitDebugStrDWO(); 5870b57cec5SDimitry Andric 5880b57cec5SDimitry Andric /// Emit DWO addresses. 5890b57cec5SDimitry Andric void emitDebugAddr(); 5900b57cec5SDimitry Andric 5910b57cec5SDimitry Andric /// Flags to let the linker know we have emitted new style pubnames. Only 5920b57cec5SDimitry Andric /// emit it here if we don't have a skeleton CU for split dwarf. 5930b57cec5SDimitry Andric void addGnuPubAttributes(DwarfCompileUnit &U, DIE &D) const; 5940b57cec5SDimitry Andric 5950b57cec5SDimitry Andric /// Create new DwarfCompileUnit for the given metadata node with tag 5960b57cec5SDimitry Andric /// DW_TAG_compile_unit. 5970b57cec5SDimitry Andric DwarfCompileUnit &getOrCreateDwarfCompileUnit(const DICompileUnit *DIUnit); 5980b57cec5SDimitry Andric void finishUnitAttributes(const DICompileUnit *DIUnit, 5990b57cec5SDimitry Andric DwarfCompileUnit &NewCU); 6000b57cec5SDimitry Andric 6010b57cec5SDimitry Andric /// Construct imported_module or imported_declaration DIE. 6020b57cec5SDimitry Andric void constructAndAddImportedEntityDIE(DwarfCompileUnit &TheCU, 6030b57cec5SDimitry Andric const DIImportedEntity *N); 6040b57cec5SDimitry Andric 6050b57cec5SDimitry Andric /// Register a source line with debug info. Returns the unique 6060b57cec5SDimitry Andric /// label that was emitted and which provides correspondence to the 6070b57cec5SDimitry Andric /// source line list. 6080b57cec5SDimitry Andric void recordSourceLine(unsigned Line, unsigned Col, const MDNode *Scope, 6090b57cec5SDimitry Andric unsigned Flags); 6100b57cec5SDimitry Andric 6110b57cec5SDimitry Andric /// Populate LexicalScope entries with variables' info. 6120b57cec5SDimitry Andric void collectEntityInfo(DwarfCompileUnit &TheCU, const DISubprogram *SP, 6130b57cec5SDimitry Andric DenseSet<InlinedEntity> &ProcessedVars); 6140b57cec5SDimitry Andric 6150b57cec5SDimitry Andric /// Build the location list for all DBG_VALUEs in the 6160b57cec5SDimitry Andric /// function that describe the same variable. If the resulting 6170b57cec5SDimitry Andric /// list has only one entry that is valid for entire variable's 6180b57cec5SDimitry Andric /// scope return true. 619e8d8bef9SDimitry Andric bool buildLocationList(SmallVectorImpl<DebugLocEntry> &DebugLoc, 620e8d8bef9SDimitry Andric const DbgValueHistoryMap::Entries &Entries); 6210b57cec5SDimitry Andric 6220b57cec5SDimitry Andric /// Collect variable information from the side table maintained by MF. 6230b57cec5SDimitry Andric void collectVariableInfoFromMFTable(DwarfCompileUnit &TheCU, 6240b57cec5SDimitry Andric DenseSet<InlinedEntity> &P); 6250b57cec5SDimitry Andric 6260b57cec5SDimitry Andric /// Emit the reference to the section. 6270b57cec5SDimitry Andric void emitSectionReference(const DwarfCompileUnit &CU); 6280b57cec5SDimitry Andric 6290b57cec5SDimitry Andric protected: 6300b57cec5SDimitry Andric /// Gather pre-function debug information. 6310b57cec5SDimitry Andric void beginFunctionImpl(const MachineFunction *MF) override; 6320b57cec5SDimitry Andric 6330b57cec5SDimitry Andric /// Gather and emit post-function debug information. 6340b57cec5SDimitry Andric void endFunctionImpl(const MachineFunction *MF) override; 6350b57cec5SDimitry Andric 636349cc55cSDimitry Andric /// Get Dwarf compile unit ID for line table. 637349cc55cSDimitry Andric unsigned getDwarfCompileUnitIDForLineTable(const DwarfCompileUnit &CU); 638349cc55cSDimitry Andric 6390b57cec5SDimitry Andric void skippedNonDebugFunction() override; 6400b57cec5SDimitry Andric 6410b57cec5SDimitry Andric public: 6420b57cec5SDimitry Andric //===--------------------------------------------------------------------===// 6430b57cec5SDimitry Andric // Main entry points. 6440b57cec5SDimitry Andric // 645e8d8bef9SDimitry Andric DwarfDebug(AsmPrinter *A); 6460b57cec5SDimitry Andric 6470b57cec5SDimitry Andric ~DwarfDebug() override; 6480b57cec5SDimitry Andric 6490b57cec5SDimitry Andric /// Emit all Dwarf sections that should come prior to the 6500b57cec5SDimitry Andric /// content. 651e8d8bef9SDimitry Andric void beginModule(Module *M) override; 6520b57cec5SDimitry Andric 6530b57cec5SDimitry Andric /// Emit all Dwarf sections that should come after the content. 6540b57cec5SDimitry Andric void endModule() override; 6550b57cec5SDimitry Andric 6560b57cec5SDimitry Andric /// Emits inital debug location directive. 6570b57cec5SDimitry Andric DebugLoc emitInitialLocDirective(const MachineFunction &MF, unsigned CUID); 6580b57cec5SDimitry Andric 6590b57cec5SDimitry Andric /// Process beginning of an instruction. 6600b57cec5SDimitry Andric void beginInstruction(const MachineInstr *MI) override; 6610b57cec5SDimitry Andric 6620b57cec5SDimitry Andric /// Perform an MD5 checksum of \p Identifier and return the lower 64 bits. 6630b57cec5SDimitry Andric static uint64_t makeTypeSignature(StringRef Identifier); 6640b57cec5SDimitry Andric 6650b57cec5SDimitry Andric /// Add a DIE to the set of types that we're going to pull into 6660b57cec5SDimitry Andric /// type units. 6670b57cec5SDimitry Andric void addDwarfTypeUnitType(DwarfCompileUnit &CU, StringRef Identifier, 6680b57cec5SDimitry Andric DIE &Die, const DICompositeType *CTy); 6690b57cec5SDimitry Andric 6700b57cec5SDimitry Andric /// Add a label so that arange data can be generated for it. 6710b57cec5SDimitry Andric void addArangeLabel(SymbolCU SCU) { ArangeLabels.push_back(SCU); } 6720b57cec5SDimitry Andric 6730b57cec5SDimitry Andric /// For symbols that have a size designated (e.g. common symbols), 6740b57cec5SDimitry Andric /// this tracks that size. 6750b57cec5SDimitry Andric void setSymbolSize(const MCSymbol *Sym, uint64_t Size) override { 6760b57cec5SDimitry Andric SymSize[Sym] = Size; 6770b57cec5SDimitry Andric } 6780b57cec5SDimitry Andric 6790b57cec5SDimitry Andric /// Returns whether we should emit all DW_AT_[MIPS_]linkage_name. 6800b57cec5SDimitry Andric /// If not, we still might emit certain cases. 6810b57cec5SDimitry Andric bool useAllLinkageNames() const { return UseAllLinkageNames; } 6820b57cec5SDimitry Andric 6830b57cec5SDimitry Andric /// Returns whether to use DW_OP_GNU_push_tls_address, instead of the 6840b57cec5SDimitry Andric /// standard DW_OP_form_tls_address opcode 6850b57cec5SDimitry Andric bool useGNUTLSOpcode() const { return UseGNUTLSOpcode; } 6860b57cec5SDimitry Andric 6870b57cec5SDimitry Andric /// Returns whether to use the DWARF2 format for bitfields instyead of the 6880b57cec5SDimitry Andric /// DWARF4 format. 6890b57cec5SDimitry Andric bool useDWARF2Bitfields() const { return UseDWARF2Bitfields; } 6900b57cec5SDimitry Andric 6910b57cec5SDimitry Andric /// Returns whether to use inline strings. 6920b57cec5SDimitry Andric bool useInlineStrings() const { return UseInlineStrings; } 6930b57cec5SDimitry Andric 6940b57cec5SDimitry Andric /// Returns whether ranges section should be emitted. 6950b57cec5SDimitry Andric bool useRangesSection() const { return UseRangesSection; } 6960b57cec5SDimitry Andric 697e8d8bef9SDimitry Andric /// Returns whether range encodings should be used for single entry range 698e8d8bef9SDimitry Andric /// lists. 699e8d8bef9SDimitry Andric bool alwaysUseRanges() const { 700e8d8bef9SDimitry Andric return MinimizeAddr == MinimizeAddrInV5::Ranges; 701e8d8bef9SDimitry Andric } 702e8d8bef9SDimitry Andric 703fe6060f1SDimitry Andric // Returns whether novel exprloc addrx+offset encodings should be used to 704fe6060f1SDimitry Andric // reduce debug_addr size. 705fe6060f1SDimitry Andric bool useAddrOffsetExpressions() const { 706fe6060f1SDimitry Andric return MinimizeAddr == MinimizeAddrInV5::Expressions; 707fe6060f1SDimitry Andric } 708fe6060f1SDimitry Andric 709fe6060f1SDimitry Andric // Returns whether addrx+offset LLVM extension form should be used to reduce 710fe6060f1SDimitry Andric // debug_addr size. 711fe6060f1SDimitry Andric bool useAddrOffsetForm() const { 712fe6060f1SDimitry Andric return MinimizeAddr == MinimizeAddrInV5::Form; 713fe6060f1SDimitry Andric } 714fe6060f1SDimitry Andric 7150b57cec5SDimitry Andric /// Returns whether to use sections as labels rather than temp symbols. 7160b57cec5SDimitry Andric bool useSectionsAsReferences() const { 7170b57cec5SDimitry Andric return UseSectionsAsReferences; 7180b57cec5SDimitry Andric } 7190b57cec5SDimitry Andric 7200b57cec5SDimitry Andric /// Returns whether .debug_loc section should be emitted. 7210b57cec5SDimitry Andric bool useLocSection() const { return UseLocSection; } 7220b57cec5SDimitry Andric 7230b57cec5SDimitry Andric /// Returns whether to generate DWARF v4 type units. 7240b57cec5SDimitry Andric bool generateTypeUnits() const { return GenerateTypeUnits; } 7250b57cec5SDimitry Andric 7260b57cec5SDimitry Andric // Experimental DWARF5 features. 7270b57cec5SDimitry Andric 7280b57cec5SDimitry Andric /// Returns what kind (if any) of accelerator tables to emit. 7290b57cec5SDimitry Andric AccelTableKind getAccelTableKind() const { return TheAccelTableKind; } 7300b57cec5SDimitry Andric 7310b57cec5SDimitry Andric bool useAppleExtensionAttributes() const { 7320b57cec5SDimitry Andric return HasAppleExtensionAttributes; 7330b57cec5SDimitry Andric } 7340b57cec5SDimitry Andric 7350b57cec5SDimitry Andric /// Returns whether or not to change the current debug info for the 7360b57cec5SDimitry Andric /// split dwarf proposal support. 7370b57cec5SDimitry Andric bool useSplitDwarf() const { return HasSplitDwarf; } 7380b57cec5SDimitry Andric 7390b57cec5SDimitry Andric /// Returns whether to generate a string offsets table with (possibly shared) 7400b57cec5SDimitry Andric /// contributions from each CU and type unit. This implies the use of 7410b57cec5SDimitry Andric /// DW_FORM_strx* indirect references with DWARF v5 and beyond. Note that 7420b57cec5SDimitry Andric /// DW_FORM_GNU_str_index is also an indirect reference, but it is used with 7430b57cec5SDimitry Andric /// a pre-DWARF v5 implementation of split DWARF sections, which uses a 7440b57cec5SDimitry Andric /// monolithic string offsets table. 7450b57cec5SDimitry Andric bool useSegmentedStringOffsetsTable() const { 7460b57cec5SDimitry Andric return UseSegmentedStringOffsetsTable; 7470b57cec5SDimitry Andric } 7480b57cec5SDimitry Andric 7495ffd83dbSDimitry Andric bool emitDebugEntryValues() const { 7505ffd83dbSDimitry Andric return EmitDebugEntryValues; 7515ffd83dbSDimitry Andric } 7525ffd83dbSDimitry Andric 753e8d8bef9SDimitry Andric bool useOpConvert() const { 754e8d8bef9SDimitry Andric return EnableOpConvert; 755e8d8bef9SDimitry Andric } 756e8d8bef9SDimitry Andric 7570b57cec5SDimitry Andric bool shareAcrossDWOCUs() const; 7580b57cec5SDimitry Andric 7590b57cec5SDimitry Andric /// Returns the Dwarf Version. 7600b57cec5SDimitry Andric uint16_t getDwarfVersion() const; 7610b57cec5SDimitry Andric 762e8d8bef9SDimitry Andric /// Returns a suitable DWARF form to represent a section offset, i.e. 763e8d8bef9SDimitry Andric /// * DW_FORM_sec_offset for DWARF version >= 4; 764e8d8bef9SDimitry Andric /// * DW_FORM_data8 for 64-bit DWARFv3; 765e8d8bef9SDimitry Andric /// * DW_FORM_data4 for 32-bit DWARFv3 and DWARFv2. 766e8d8bef9SDimitry Andric dwarf::Form getDwarfSectionOffsetForm() const; 767e8d8bef9SDimitry Andric 7680b57cec5SDimitry Andric /// Returns the previous CU that was being updated 7690b57cec5SDimitry Andric const DwarfCompileUnit *getPrevCU() const { return PrevCU; } 7700b57cec5SDimitry Andric void setPrevCU(const DwarfCompileUnit *PrevCU) { this->PrevCU = PrevCU; } 7710b57cec5SDimitry Andric 772349cc55cSDimitry Andric /// Terminate the line table by adding the last range label. 773349cc55cSDimitry Andric void terminateLineTable(const DwarfCompileUnit *CU); 774349cc55cSDimitry Andric 7750b57cec5SDimitry Andric /// Returns the entries for the .debug_loc section. 7760b57cec5SDimitry Andric const DebugLocStream &getDebugLocs() const { return DebugLocs; } 7770b57cec5SDimitry Andric 7780b57cec5SDimitry Andric /// Emit an entry for the debug loc section. This can be used to 7790b57cec5SDimitry Andric /// handle an entry that's going to be emitted into the debug loc section. 7800b57cec5SDimitry Andric void emitDebugLocEntry(ByteStreamer &Streamer, 7810b57cec5SDimitry Andric const DebugLocStream::Entry &Entry, 7820b57cec5SDimitry Andric const DwarfCompileUnit *CU); 7830b57cec5SDimitry Andric 7840b57cec5SDimitry Andric /// Emit the location for a debug loc entry, including the size header. 7850b57cec5SDimitry Andric void emitDebugLocEntryLocation(const DebugLocStream::Entry &Entry, 7860b57cec5SDimitry Andric const DwarfCompileUnit *CU); 7870b57cec5SDimitry Andric 7880b57cec5SDimitry Andric void addSubprogramNames(const DICompileUnit &CU, const DISubprogram *SP, 7890b57cec5SDimitry Andric DIE &Die); 7900b57cec5SDimitry Andric 7910b57cec5SDimitry Andric AddressPool &getAddressPool() { return AddrPool; } 7920b57cec5SDimitry Andric 7930b57cec5SDimitry Andric void addAccelName(const DICompileUnit &CU, StringRef Name, const DIE &Die); 7940b57cec5SDimitry Andric 7950b57cec5SDimitry Andric void addAccelObjC(const DICompileUnit &CU, StringRef Name, const DIE &Die); 7960b57cec5SDimitry Andric 7970b57cec5SDimitry Andric void addAccelNamespace(const DICompileUnit &CU, StringRef Name, 7980b57cec5SDimitry Andric const DIE &Die); 7990b57cec5SDimitry Andric 8000b57cec5SDimitry Andric void addAccelType(const DICompileUnit &CU, StringRef Name, const DIE &Die, 8010b57cec5SDimitry Andric char Flags); 8020b57cec5SDimitry Andric 8030b57cec5SDimitry Andric const MachineFunction *getCurrentFunction() const { return CurFn; } 8040b57cec5SDimitry Andric 8050b57cec5SDimitry Andric /// A helper function to check whether the DIE for a given Scope is 8060b57cec5SDimitry Andric /// going to be null. 8070b57cec5SDimitry Andric bool isLexicalScopeDIENull(LexicalScope *Scope); 8080b57cec5SDimitry Andric 8090b57cec5SDimitry Andric /// Find the matching DwarfCompileUnit for the given CU DIE. 8100b57cec5SDimitry Andric DwarfCompileUnit *lookupCU(const DIE *Die) { return CUDieMap.lookup(Die); } 8110b57cec5SDimitry Andric const DwarfCompileUnit *lookupCU(const DIE *Die) const { 8120b57cec5SDimitry Andric return CUDieMap.lookup(Die); 8130b57cec5SDimitry Andric } 8140b57cec5SDimitry Andric 815e8d8bef9SDimitry Andric unsigned getStringTypeLoc(const DIStringType *ST) const { 816e8d8bef9SDimitry Andric return StringTypeLocMap.lookup(ST); 817e8d8bef9SDimitry Andric } 818e8d8bef9SDimitry Andric 819e8d8bef9SDimitry Andric void addStringTypeLoc(const DIStringType *ST, unsigned Loc) { 820e8d8bef9SDimitry Andric assert(ST); 821e8d8bef9SDimitry Andric if (Loc) 822e8d8bef9SDimitry Andric StringTypeLocMap[ST] = Loc; 823e8d8bef9SDimitry Andric } 824e8d8bef9SDimitry Andric 8250b57cec5SDimitry Andric /// \defgroup DebuggerTuning Predicates to tune DWARF for a given debugger. 8260b57cec5SDimitry Andric /// 8270b57cec5SDimitry Andric /// Returns whether we are "tuning" for a given debugger. 8280b57cec5SDimitry Andric /// @{ 8290b57cec5SDimitry Andric bool tuneForGDB() const { return DebuggerTuning == DebuggerKind::GDB; } 8300b57cec5SDimitry Andric bool tuneForLLDB() const { return DebuggerTuning == DebuggerKind::LLDB; } 8310b57cec5SDimitry Andric bool tuneForSCE() const { return DebuggerTuning == DebuggerKind::SCE; } 832fe6060f1SDimitry Andric bool tuneForDBX() const { return DebuggerTuning == DebuggerKind::DBX; } 8330b57cec5SDimitry Andric /// @} 8340b57cec5SDimitry Andric 8350b57cec5SDimitry Andric const MCSymbol *getSectionLabel(const MCSection *S); 8365ffd83dbSDimitry Andric void insertSectionLabel(const MCSymbol *S); 8370b57cec5SDimitry Andric 8380b57cec5SDimitry Andric static void emitDebugLocValue(const AsmPrinter &AP, const DIBasicType *BT, 8390b57cec5SDimitry Andric const DbgValueLoc &Value, 8400b57cec5SDimitry Andric DwarfExpression &DwarfExpr); 841e8d8bef9SDimitry Andric 842e8d8bef9SDimitry Andric /// If the \p File has an MD5 checksum, return it as an MD5Result 843e8d8bef9SDimitry Andric /// allocated in the MCContext. 844*bdd1243dSDimitry Andric std::optional<MD5::MD5Result> getMD5AsBytes(const DIFile *File) const; 8450b57cec5SDimitry Andric }; 8460b57cec5SDimitry Andric 8470b57cec5SDimitry Andric } // end namespace llvm 8480b57cec5SDimitry Andric 8490b57cec5SDimitry Andric #endif // LLVM_LIB_CODEGEN_ASMPRINTER_DWARFDEBUG_H 850