10b57cec5SDimitry Andric //===- llvm/CodeGen/DwarfCompileUnit.cpp - Dwarf Compile Units ------------===// 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 constructing a dwarf compile unit. 100b57cec5SDimitry Andric // 110b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 120b57cec5SDimitry Andric 130b57cec5SDimitry Andric #include "DwarfCompileUnit.h" 140b57cec5SDimitry Andric #include "AddressPool.h" 150b57cec5SDimitry Andric #include "DwarfExpression.h" 160b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 170b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h" 18fe6060f1SDimitry Andric #include "llvm/BinaryFormat/Dwarf.h" 190b57cec5SDimitry Andric #include "llvm/CodeGen/AsmPrinter.h" 200b57cec5SDimitry Andric #include "llvm/CodeGen/DIE.h" 210b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 220b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h" 230b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h" 240b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h" 250b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h" 260b57cec5SDimitry Andric #include "llvm/IR/DataLayout.h" 270b57cec5SDimitry Andric #include "llvm/IR/DebugInfo.h" 280b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h" 29*06c3fb27SDimitry Andric #include "llvm/MC/MCAsmInfo.h" 300b57cec5SDimitry Andric #include "llvm/MC/MCSection.h" 310b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h" 320b57cec5SDimitry Andric #include "llvm/MC/MCSymbol.h" 335ffd83dbSDimitry Andric #include "llvm/MC/MCSymbolWasm.h" 340b57cec5SDimitry Andric #include "llvm/MC/MachineLocation.h" 350b57cec5SDimitry Andric #include "llvm/Target/TargetLoweringObjectFile.h" 360b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h" 370b57cec5SDimitry Andric #include "llvm/Target/TargetOptions.h" 380b57cec5SDimitry Andric #include <iterator> 39bdd1243dSDimitry Andric #include <optional> 400b57cec5SDimitry Andric #include <string> 410b57cec5SDimitry Andric #include <utility> 420b57cec5SDimitry Andric 430b57cec5SDimitry Andric using namespace llvm; 440b57cec5SDimitry Andric 45480093f4SDimitry Andric static dwarf::Tag GetCompileUnitType(UnitKind Kind, DwarfDebug *DW) { 46480093f4SDimitry Andric 47480093f4SDimitry Andric // According to DWARF Debugging Information Format Version 5, 48480093f4SDimitry Andric // 3.1.2 Skeleton Compilation Unit Entries: 49480093f4SDimitry Andric // "When generating a split DWARF object file (see Section 7.3.2 50480093f4SDimitry Andric // on page 187), the compilation unit in the .debug_info section 51480093f4SDimitry Andric // is a "skeleton" compilation unit with the tag DW_TAG_skeleton_unit" 52480093f4SDimitry Andric if (DW->getDwarfVersion() >= 5 && Kind == UnitKind::Skeleton) 53480093f4SDimitry Andric return dwarf::DW_TAG_skeleton_unit; 54480093f4SDimitry Andric 55480093f4SDimitry Andric return dwarf::DW_TAG_compile_unit; 56480093f4SDimitry Andric } 57480093f4SDimitry Andric 580b57cec5SDimitry Andric DwarfCompileUnit::DwarfCompileUnit(unsigned UID, const DICompileUnit *Node, 590b57cec5SDimitry Andric AsmPrinter *A, DwarfDebug *DW, 60480093f4SDimitry Andric DwarfFile *DWU, UnitKind Kind) 61480093f4SDimitry Andric : DwarfUnit(GetCompileUnitType(Kind, DW), Node, A, DW, DWU), UniqueID(UID) { 620b57cec5SDimitry Andric insertDIE(Node, &getUnitDie()); 630b57cec5SDimitry Andric MacroLabelBegin = Asm->createTempSymbol("cu_macro_begin"); 640b57cec5SDimitry Andric } 650b57cec5SDimitry Andric 660b57cec5SDimitry Andric /// addLabelAddress - Add a dwarf label attribute data and value using 670b57cec5SDimitry Andric /// DW_FORM_addr or DW_FORM_GNU_addr_index. 680b57cec5SDimitry Andric void DwarfCompileUnit::addLabelAddress(DIE &Die, dwarf::Attribute Attribute, 690b57cec5SDimitry Andric const MCSymbol *Label) { 7081ad6265SDimitry Andric if ((Skeleton || !DD->useSplitDwarf()) && Label) 7181ad6265SDimitry Andric DD->addArangeLabel(SymbolCU(this, Label)); 7281ad6265SDimitry Andric 730b57cec5SDimitry Andric // Don't use the address pool in non-fission or in the skeleton unit itself. 740b57cec5SDimitry Andric if ((!DD->useSplitDwarf() || !Skeleton) && DD->getDwarfVersion() < 5) 750b57cec5SDimitry Andric return addLocalLabelAddress(Die, Attribute, Label); 760b57cec5SDimitry Andric 77fe6060f1SDimitry Andric bool UseAddrOffsetFormOrExpressions = 78fe6060f1SDimitry Andric DD->useAddrOffsetForm() || DD->useAddrOffsetExpressions(); 79fe6060f1SDimitry Andric 80fe6060f1SDimitry Andric const MCSymbol *Base = nullptr; 81fe6060f1SDimitry Andric if (Label->isInSection() && UseAddrOffsetFormOrExpressions) 82fe6060f1SDimitry Andric Base = DD->getSectionLabel(&Label->getSection()); 83fe6060f1SDimitry Andric 84fe6060f1SDimitry Andric if (!Base || Base == Label) { 850b57cec5SDimitry Andric unsigned idx = DD->getAddressPool().getIndex(Label); 86fe6060f1SDimitry Andric addAttribute(Die, Attribute, 870b57cec5SDimitry Andric DD->getDwarfVersion() >= 5 ? dwarf::DW_FORM_addrx 880b57cec5SDimitry Andric : dwarf::DW_FORM_GNU_addr_index, 890b57cec5SDimitry Andric DIEInteger(idx)); 90fe6060f1SDimitry Andric return; 91fe6060f1SDimitry Andric } 92fe6060f1SDimitry Andric 93fe6060f1SDimitry Andric // Could be extended to work with DWARFv4 Split DWARF if that's important for 94fe6060f1SDimitry Andric // someone. In that case DW_FORM_data would be used. 95fe6060f1SDimitry Andric assert(DD->getDwarfVersion() >= 5 && 96fe6060f1SDimitry Andric "Addr+offset expressions are only valuable when using debug_addr (to " 97fe6060f1SDimitry Andric "reduce relocations) available in DWARFv5 or higher"); 98fe6060f1SDimitry Andric if (DD->useAddrOffsetExpressions()) { 99fe6060f1SDimitry Andric auto *Loc = new (DIEValueAllocator) DIEBlock(); 100fe6060f1SDimitry Andric addPoolOpAddress(*Loc, Label); 101fe6060f1SDimitry Andric addBlock(Die, Attribute, dwarf::DW_FORM_exprloc, Loc); 102fe6060f1SDimitry Andric } else 103fe6060f1SDimitry Andric addAttribute(Die, Attribute, dwarf::DW_FORM_LLVM_addrx_offset, 104fe6060f1SDimitry Andric new (DIEValueAllocator) DIEAddrOffset( 105fe6060f1SDimitry Andric DD->getAddressPool().getIndex(Base), Label, Base)); 1060b57cec5SDimitry Andric } 1070b57cec5SDimitry Andric 1080b57cec5SDimitry Andric void DwarfCompileUnit::addLocalLabelAddress(DIE &Die, 1090b57cec5SDimitry Andric dwarf::Attribute Attribute, 1100b57cec5SDimitry Andric const MCSymbol *Label) { 1110b57cec5SDimitry Andric if (Label) 112fe6060f1SDimitry Andric addAttribute(Die, Attribute, dwarf::DW_FORM_addr, DIELabel(Label)); 1130b57cec5SDimitry Andric else 114fe6060f1SDimitry Andric addAttribute(Die, Attribute, dwarf::DW_FORM_addr, DIEInteger(0)); 1150b57cec5SDimitry Andric } 1160b57cec5SDimitry Andric 1170b57cec5SDimitry Andric unsigned DwarfCompileUnit::getOrCreateSourceID(const DIFile *File) { 1180b57cec5SDimitry Andric // If we print assembly, we can't separate .file entries according to 1190b57cec5SDimitry Andric // compile units. Thus all files will belong to the default compile unit. 1200b57cec5SDimitry Andric 1210b57cec5SDimitry Andric // FIXME: add a better feature test than hasRawTextSupport. Even better, 1220b57cec5SDimitry Andric // extend .file to support this. 1230b57cec5SDimitry Andric unsigned CUID = Asm->OutStreamer->hasRawTextSupport() ? 0 : getUniqueID(); 1240b57cec5SDimitry Andric if (!File) 125bdd1243dSDimitry Andric return Asm->OutStreamer->emitDwarfFileDirective(0, "", "", std::nullopt, 126bdd1243dSDimitry Andric std::nullopt, CUID); 12704eeddc0SDimitry Andric 12804eeddc0SDimitry Andric if (LastFile != File) { 12904eeddc0SDimitry Andric LastFile = File; 13004eeddc0SDimitry Andric LastFileID = Asm->OutStreamer->emitDwarfFileDirective( 131e8d8bef9SDimitry Andric 0, File->getDirectory(), File->getFilename(), DD->getMD5AsBytes(File), 1320b57cec5SDimitry Andric File->getSource(), CUID); 1330b57cec5SDimitry Andric } 13404eeddc0SDimitry Andric return LastFileID; 13504eeddc0SDimitry Andric } 1360b57cec5SDimitry Andric 1370b57cec5SDimitry Andric DIE *DwarfCompileUnit::getOrCreateGlobalVariableDIE( 1380b57cec5SDimitry Andric const DIGlobalVariable *GV, ArrayRef<GlobalExpr> GlobalExprs) { 1390b57cec5SDimitry Andric // Check for pre-existence. 1400b57cec5SDimitry Andric if (DIE *Die = getDIE(GV)) 1410b57cec5SDimitry Andric return Die; 1420b57cec5SDimitry Andric 1430b57cec5SDimitry Andric assert(GV); 1440b57cec5SDimitry Andric 1450b57cec5SDimitry Andric auto *GVContext = GV->getScope(); 1460b57cec5SDimitry Andric const DIType *GTy = GV->getType(); 1470b57cec5SDimitry Andric 1480b57cec5SDimitry Andric auto *CB = GVContext ? dyn_cast<DICommonBlock>(GVContext) : nullptr; 1490b57cec5SDimitry Andric DIE *ContextDIE = CB ? getOrCreateCommonBlock(CB, GlobalExprs) 1500b57cec5SDimitry Andric : getOrCreateContextDIE(GVContext); 1510b57cec5SDimitry Andric 1520b57cec5SDimitry Andric // Add to map. 1530b57cec5SDimitry Andric DIE *VariableDIE = &createAndAddDIE(GV->getTag(), *ContextDIE, GV); 1540b57cec5SDimitry Andric DIScope *DeclContext; 1550b57cec5SDimitry Andric if (auto *SDMDecl = GV->getStaticDataMemberDeclaration()) { 1560b57cec5SDimitry Andric DeclContext = SDMDecl->getScope(); 1570b57cec5SDimitry Andric assert(SDMDecl->isStaticMember() && "Expected static member decl"); 1580b57cec5SDimitry Andric assert(GV->isDefinition()); 1590b57cec5SDimitry Andric // We need the declaration DIE that is in the static member's class. 1600b57cec5SDimitry Andric DIE *VariableSpecDIE = getOrCreateStaticMemberDIE(SDMDecl); 1610b57cec5SDimitry Andric addDIEEntry(*VariableDIE, dwarf::DW_AT_specification, *VariableSpecDIE); 1620b57cec5SDimitry Andric // If the global variable's type is different from the one in the class 1630b57cec5SDimitry Andric // member type, assume that it's more specific and also emit it. 1640b57cec5SDimitry Andric if (GTy != SDMDecl->getBaseType()) 1650b57cec5SDimitry Andric addType(*VariableDIE, GTy); 1660b57cec5SDimitry Andric } else { 1670b57cec5SDimitry Andric DeclContext = GV->getScope(); 1680b57cec5SDimitry Andric // Add name and type. 16981ad6265SDimitry Andric StringRef DisplayName = GV->getDisplayName(); 17081ad6265SDimitry Andric if (!DisplayName.empty()) 1710b57cec5SDimitry Andric addString(*VariableDIE, dwarf::DW_AT_name, GV->getDisplayName()); 1725ffd83dbSDimitry Andric if (GTy) 1730b57cec5SDimitry Andric addType(*VariableDIE, GTy); 1740b57cec5SDimitry Andric 1750b57cec5SDimitry Andric // Add scoping info. 1760b57cec5SDimitry Andric if (!GV->isLocalToUnit()) 1770b57cec5SDimitry Andric addFlag(*VariableDIE, dwarf::DW_AT_external); 1780b57cec5SDimitry Andric 1790b57cec5SDimitry Andric // Add line number info. 1800b57cec5SDimitry Andric addSourceLine(*VariableDIE, GV); 1810b57cec5SDimitry Andric } 1820b57cec5SDimitry Andric 1830b57cec5SDimitry Andric if (!GV->isDefinition()) 1840b57cec5SDimitry Andric addFlag(*VariableDIE, dwarf::DW_AT_declaration); 1850b57cec5SDimitry Andric else 1860b57cec5SDimitry Andric addGlobalName(GV->getName(), *VariableDIE, DeclContext); 1870b57cec5SDimitry Andric 188349cc55cSDimitry Andric addAnnotation(*VariableDIE, GV->getAnnotations()); 189349cc55cSDimitry Andric 1900b57cec5SDimitry Andric if (uint32_t AlignInBytes = GV->getAlignInBytes()) 1910b57cec5SDimitry Andric addUInt(*VariableDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata, 1920b57cec5SDimitry Andric AlignInBytes); 1930b57cec5SDimitry Andric 1940b57cec5SDimitry Andric if (MDTuple *TP = GV->getTemplateParams()) 1950b57cec5SDimitry Andric addTemplateParams(*VariableDIE, DINodeArray(TP)); 1960b57cec5SDimitry Andric 1970b57cec5SDimitry Andric // Add location. 1980b57cec5SDimitry Andric addLocationAttribute(VariableDIE, GV, GlobalExprs); 1990b57cec5SDimitry Andric 2000b57cec5SDimitry Andric return VariableDIE; 2010b57cec5SDimitry Andric } 2020b57cec5SDimitry Andric 2030b57cec5SDimitry Andric void DwarfCompileUnit::addLocationAttribute( 2040b57cec5SDimitry Andric DIE *VariableDIE, const DIGlobalVariable *GV, ArrayRef<GlobalExpr> GlobalExprs) { 2050b57cec5SDimitry Andric bool addToAccelTable = false; 2060b57cec5SDimitry Andric DIELoc *Loc = nullptr; 207bdd1243dSDimitry Andric std::optional<unsigned> NVPTXAddressSpace; 2080b57cec5SDimitry Andric std::unique_ptr<DIEDwarfExpression> DwarfExpr; 2090b57cec5SDimitry Andric for (const auto &GE : GlobalExprs) { 2100b57cec5SDimitry Andric const GlobalVariable *Global = GE.Var; 2110b57cec5SDimitry Andric const DIExpression *Expr = GE.Expr; 2120b57cec5SDimitry Andric 2130b57cec5SDimitry Andric // For compatibility with DWARF 3 and earlier, 214fe6060f1SDimitry Andric // DW_AT_location(DW_OP_constu, X, DW_OP_stack_value) or 215fe6060f1SDimitry Andric // DW_AT_location(DW_OP_consts, X, DW_OP_stack_value) becomes 2160b57cec5SDimitry Andric // DW_AT_const_value(X). 2170b57cec5SDimitry Andric if (GlobalExprs.size() == 1 && Expr && Expr->isConstant()) { 2180b57cec5SDimitry Andric addToAccelTable = true; 219fe6060f1SDimitry Andric addConstantValue( 220fe6060f1SDimitry Andric *VariableDIE, 221fe6060f1SDimitry Andric DIExpression::SignedOrUnsignedConstant::UnsignedConstant == 222fe6060f1SDimitry Andric *Expr->isConstant(), 223fe6060f1SDimitry Andric Expr->getElement(1)); 2240b57cec5SDimitry Andric break; 2250b57cec5SDimitry Andric } 2260b57cec5SDimitry Andric 2270b57cec5SDimitry Andric // We cannot describe the location of dllimport'd variables: the 2280b57cec5SDimitry Andric // computation of their address requires loads from the IAT. 2290b57cec5SDimitry Andric if (Global && Global->hasDLLImportStorageClass()) 2300b57cec5SDimitry Andric continue; 2310b57cec5SDimitry Andric 2320b57cec5SDimitry Andric // Nothing to describe without address or constant. 2330b57cec5SDimitry Andric if (!Global && (!Expr || !Expr->isConstant())) 2340b57cec5SDimitry Andric continue; 2350b57cec5SDimitry Andric 2360b57cec5SDimitry Andric if (Global && Global->isThreadLocal() && 2370b57cec5SDimitry Andric !Asm->getObjFileLowering().supportDebugThreadLocalLocation()) 2380b57cec5SDimitry Andric continue; 2390b57cec5SDimitry Andric 2400b57cec5SDimitry Andric if (!Loc) { 2410b57cec5SDimitry Andric addToAccelTable = true; 2420b57cec5SDimitry Andric Loc = new (DIEValueAllocator) DIELoc; 2438bcb0991SDimitry Andric DwarfExpr = std::make_unique<DIEDwarfExpression>(*Asm, *this, *Loc); 2440b57cec5SDimitry Andric } 2450b57cec5SDimitry Andric 2460b57cec5SDimitry Andric if (Expr) { 2470b57cec5SDimitry Andric // According to 2480b57cec5SDimitry Andric // https://docs.nvidia.com/cuda/archive/10.0/ptx-writers-guide-to-interoperability/index.html#cuda-specific-dwarf 2490b57cec5SDimitry Andric // cuda-gdb requires DW_AT_address_class for all variables to be able to 2500b57cec5SDimitry Andric // correctly interpret address space of the variable address. 2510b57cec5SDimitry Andric // Decode DW_OP_constu <DWARF Address Space> DW_OP_swap DW_OP_xderef 2520b57cec5SDimitry Andric // sequence for the NVPTX + gdb target. 2530b57cec5SDimitry Andric unsigned LocalNVPTXAddressSpace; 2540b57cec5SDimitry Andric if (Asm->TM.getTargetTriple().isNVPTX() && DD->tuneForGDB()) { 2550b57cec5SDimitry Andric const DIExpression *NewExpr = 2560b57cec5SDimitry Andric DIExpression::extractAddressClass(Expr, LocalNVPTXAddressSpace); 2570b57cec5SDimitry Andric if (NewExpr != Expr) { 2580b57cec5SDimitry Andric Expr = NewExpr; 2590b57cec5SDimitry Andric NVPTXAddressSpace = LocalNVPTXAddressSpace; 2600b57cec5SDimitry Andric } 2610b57cec5SDimitry Andric } 2620b57cec5SDimitry Andric DwarfExpr->addFragmentOffset(Expr); 2630b57cec5SDimitry Andric } 2640b57cec5SDimitry Andric 2650b57cec5SDimitry Andric if (Global) { 2660b57cec5SDimitry Andric const MCSymbol *Sym = Asm->getSymbol(Global); 26704eeddc0SDimitry Andric // 16-bit platforms like MSP430 and AVR take this path, so sink this 26804eeddc0SDimitry Andric // assert to platforms that use it. 26904eeddc0SDimitry Andric auto GetPointerSizedFormAndOp = [this]() { 270*06c3fb27SDimitry Andric unsigned PointerSize = Asm->MAI->getCodePointerSize(); 271349cc55cSDimitry Andric assert((PointerSize == 4 || PointerSize == 8) && 272349cc55cSDimitry Andric "Add support for other sizes if necessary"); 27304eeddc0SDimitry Andric struct FormAndOp { 27404eeddc0SDimitry Andric dwarf::Form Form; 27504eeddc0SDimitry Andric dwarf::LocationAtom Op; 27604eeddc0SDimitry Andric }; 27704eeddc0SDimitry Andric return PointerSize == 4 27804eeddc0SDimitry Andric ? FormAndOp{dwarf::DW_FORM_data4, dwarf::DW_OP_const4u} 27904eeddc0SDimitry Andric : FormAndOp{dwarf::DW_FORM_data8, dwarf::DW_OP_const8u}; 28004eeddc0SDimitry Andric }; 2810b57cec5SDimitry Andric if (Global->isThreadLocal()) { 282*06c3fb27SDimitry Andric if (Asm->TM.getTargetTriple().isWasm()) { 283*06c3fb27SDimitry Andric // FIXME This is not guaranteed, but in practice, in static linking, 284*06c3fb27SDimitry Andric // if present, __tls_base's index is 1. This doesn't hold for dynamic 285*06c3fb27SDimitry Andric // linking, so TLS variables used in dynamic linking won't have 286*06c3fb27SDimitry Andric // correct debug info for now. See 287*06c3fb27SDimitry Andric // https://github.com/llvm/llvm-project/blob/19afbfe33156d211fa959dadeea46cd17b9c723c/lld/wasm/Driver.cpp#L786-L823 288*06c3fb27SDimitry Andric addWasmRelocBaseGlobal(Loc, "__tls_base", 1); 289*06c3fb27SDimitry Andric addOpAddress(*Loc, Sym); 290*06c3fb27SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus); 291*06c3fb27SDimitry Andric } else if (Asm->TM.useEmulatedTLS()) { 2920b57cec5SDimitry Andric // TODO: add debug info for emulated thread local mode. 2930b57cec5SDimitry Andric } else { 2940b57cec5SDimitry Andric // FIXME: Make this work with -gsplit-dwarf. 2950b57cec5SDimitry Andric // Based on GCC's support for TLS: 2960b57cec5SDimitry Andric if (!DD->useSplitDwarf()) { 29704eeddc0SDimitry Andric auto FormAndOp = GetPointerSizedFormAndOp(); 2980b57cec5SDimitry Andric // 1) Start with a constNu of the appropriate pointer size 29904eeddc0SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, FormAndOp.Op); 3000b57cec5SDimitry Andric // 2) containing the (relocated) offset of the TLS variable 3010b57cec5SDimitry Andric // within the module's TLS block. 30204eeddc0SDimitry Andric addExpr(*Loc, FormAndOp.Form, 3030b57cec5SDimitry Andric Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym)); 3040b57cec5SDimitry Andric } else { 3050b57cec5SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index); 3060b57cec5SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_udata, 3070b57cec5SDimitry Andric DD->getAddressPool().getIndex(Sym, /* TLS */ true)); 3080b57cec5SDimitry Andric } 3090b57cec5SDimitry Andric // 3) followed by an OP to make the debugger do a TLS lookup. 3100b57cec5SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, 3110b57cec5SDimitry Andric DD->useGNUTLSOpcode() ? dwarf::DW_OP_GNU_push_tls_address 3120b57cec5SDimitry Andric : dwarf::DW_OP_form_tls_address); 3130b57cec5SDimitry Andric } 314*06c3fb27SDimitry Andric } else if (Asm->TM.getTargetTriple().isWasm() && 315*06c3fb27SDimitry Andric Asm->TM.getRelocationModel() == Reloc::PIC_) { 316*06c3fb27SDimitry Andric // FIXME This is not guaranteed, but in practice, if present, 317*06c3fb27SDimitry Andric // __memory_base's index is 1. See 318*06c3fb27SDimitry Andric // https://github.com/llvm/llvm-project/blob/19afbfe33156d211fa959dadeea46cd17b9c723c/lld/wasm/Driver.cpp#L786-L823 319*06c3fb27SDimitry Andric addWasmRelocBaseGlobal(Loc, "__memory_base", 1); 320*06c3fb27SDimitry Andric addOpAddress(*Loc, Sym); 321*06c3fb27SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus); 32281ad6265SDimitry Andric } else if ((Asm->TM.getRelocationModel() == Reloc::RWPI || 32381ad6265SDimitry Andric Asm->TM.getRelocationModel() == Reloc::ROPI_RWPI) && 32481ad6265SDimitry Andric !Asm->getObjFileLowering() 32581ad6265SDimitry Andric .getKindForGlobal(Global, Asm->TM) 32681ad6265SDimitry Andric .isReadOnly()) { 32704eeddc0SDimitry Andric auto FormAndOp = GetPointerSizedFormAndOp(); 328349cc55cSDimitry Andric // Constant 32904eeddc0SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, FormAndOp.Op); 330349cc55cSDimitry Andric // Relocation offset 33104eeddc0SDimitry Andric addExpr(*Loc, FormAndOp.Form, 332349cc55cSDimitry Andric Asm->getObjFileLowering().getIndirectSymViaRWPI(Sym)); 333349cc55cSDimitry Andric // Base register 334349cc55cSDimitry Andric Register BaseReg = Asm->getObjFileLowering().getStaticBase(); 335349cc55cSDimitry Andric BaseReg = Asm->TM.getMCRegisterInfo()->getDwarfRegNum(BaseReg, false); 336349cc55cSDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + BaseReg); 337349cc55cSDimitry Andric // Offset from base register 338349cc55cSDimitry Andric addSInt(*Loc, dwarf::DW_FORM_sdata, 0); 339349cc55cSDimitry Andric // Operation 340349cc55cSDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus); 3410b57cec5SDimitry Andric } else { 3420b57cec5SDimitry Andric DD->addArangeLabel(SymbolCU(this, Sym)); 3430b57cec5SDimitry Andric addOpAddress(*Loc, Sym); 3440b57cec5SDimitry Andric } 3450b57cec5SDimitry Andric } 3460b57cec5SDimitry Andric // Global variables attached to symbols are memory locations. 3470b57cec5SDimitry Andric // It would be better if this were unconditional, but malformed input that 3480b57cec5SDimitry Andric // mixes non-fragments and fragments for the same variable is too expensive 3490b57cec5SDimitry Andric // to detect in the verifier. 3500b57cec5SDimitry Andric if (DwarfExpr->isUnknownLocation()) 3510b57cec5SDimitry Andric DwarfExpr->setMemoryLocationKind(); 3520b57cec5SDimitry Andric DwarfExpr->addExpression(Expr); 3530b57cec5SDimitry Andric } 3540b57cec5SDimitry Andric if (Asm->TM.getTargetTriple().isNVPTX() && DD->tuneForGDB()) { 3550b57cec5SDimitry Andric // According to 3560b57cec5SDimitry Andric // https://docs.nvidia.com/cuda/archive/10.0/ptx-writers-guide-to-interoperability/index.html#cuda-specific-dwarf 3570b57cec5SDimitry Andric // cuda-gdb requires DW_AT_address_class for all variables to be able to 3580b57cec5SDimitry Andric // correctly interpret address space of the variable address. 3590b57cec5SDimitry Andric const unsigned NVPTX_ADDR_global_space = 5; 3600b57cec5SDimitry Andric addUInt(*VariableDIE, dwarf::DW_AT_address_class, dwarf::DW_FORM_data1, 361bdd1243dSDimitry Andric NVPTXAddressSpace.value_or(NVPTX_ADDR_global_space)); 3620b57cec5SDimitry Andric } 3630b57cec5SDimitry Andric if (Loc) 3640b57cec5SDimitry Andric addBlock(*VariableDIE, dwarf::DW_AT_location, DwarfExpr->finalize()); 3650b57cec5SDimitry Andric 3660b57cec5SDimitry Andric if (DD->useAllLinkageNames()) 3670b57cec5SDimitry Andric addLinkageName(*VariableDIE, GV->getLinkageName()); 3680b57cec5SDimitry Andric 3690b57cec5SDimitry Andric if (addToAccelTable) { 3700b57cec5SDimitry Andric DD->addAccelName(*CUNode, GV->getName(), *VariableDIE); 3710b57cec5SDimitry Andric 3720b57cec5SDimitry Andric // If the linkage name is different than the name, go ahead and output 3730b57cec5SDimitry Andric // that as well into the name table. 3740b57cec5SDimitry Andric if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName() && 3750b57cec5SDimitry Andric DD->useAllLinkageNames()) 3760b57cec5SDimitry Andric DD->addAccelName(*CUNode, GV->getLinkageName(), *VariableDIE); 3770b57cec5SDimitry Andric } 3780b57cec5SDimitry Andric } 3790b57cec5SDimitry Andric 3800b57cec5SDimitry Andric DIE *DwarfCompileUnit::getOrCreateCommonBlock( 3810b57cec5SDimitry Andric const DICommonBlock *CB, ArrayRef<GlobalExpr> GlobalExprs) { 382349cc55cSDimitry Andric // Check for pre-existence. 3830b57cec5SDimitry Andric if (DIE *NDie = getDIE(CB)) 3840b57cec5SDimitry Andric return NDie; 385349cc55cSDimitry Andric DIE *ContextDIE = getOrCreateContextDIE(CB->getScope()); 3860b57cec5SDimitry Andric DIE &NDie = createAndAddDIE(dwarf::DW_TAG_common_block, *ContextDIE, CB); 3870b57cec5SDimitry Andric StringRef Name = CB->getName().empty() ? "_BLNK_" : CB->getName(); 3880b57cec5SDimitry Andric addString(NDie, dwarf::DW_AT_name, Name); 3890b57cec5SDimitry Andric addGlobalName(Name, NDie, CB->getScope()); 3900b57cec5SDimitry Andric if (CB->getFile()) 3910b57cec5SDimitry Andric addSourceLine(NDie, CB->getLineNo(), CB->getFile()); 3920b57cec5SDimitry Andric if (DIGlobalVariable *V = CB->getDecl()) 3930b57cec5SDimitry Andric getCU().addLocationAttribute(&NDie, V, GlobalExprs); 3940b57cec5SDimitry Andric return &NDie; 3950b57cec5SDimitry Andric } 3960b57cec5SDimitry Andric 3970b57cec5SDimitry Andric void DwarfCompileUnit::addRange(RangeSpan Range) { 3985ffd83dbSDimitry Andric DD->insertSectionLabel(Range.Begin); 3995ffd83dbSDimitry Andric 400349cc55cSDimitry Andric auto *PrevCU = DD->getPrevCU(); 401349cc55cSDimitry Andric bool SameAsPrevCU = this == PrevCU; 4020b57cec5SDimitry Andric DD->setPrevCU(this); 4030b57cec5SDimitry Andric // If we have no current ranges just add the range and return, otherwise, 4040b57cec5SDimitry Andric // check the current section and CU against the previous section and CU we 4050b57cec5SDimitry Andric // emitted into and the subprogram was contained within. If these are the 4060b57cec5SDimitry Andric // same then extend our current range, otherwise add this as a new range. 4070b57cec5SDimitry Andric if (CURanges.empty() || !SameAsPrevCU || 4088bcb0991SDimitry Andric (&CURanges.back().End->getSection() != 4098bcb0991SDimitry Andric &Range.End->getSection())) { 410349cc55cSDimitry Andric // Before a new range is added, always terminate the prior line table. 411349cc55cSDimitry Andric if (PrevCU) 412349cc55cSDimitry Andric DD->terminateLineTable(PrevCU); 4130b57cec5SDimitry Andric CURanges.push_back(Range); 4140b57cec5SDimitry Andric return; 4150b57cec5SDimitry Andric } 4160b57cec5SDimitry Andric 4178bcb0991SDimitry Andric CURanges.back().End = Range.End; 4180b57cec5SDimitry Andric } 4190b57cec5SDimitry Andric 4200b57cec5SDimitry Andric void DwarfCompileUnit::initStmtList() { 4210b57cec5SDimitry Andric if (CUNode->isDebugDirectivesOnly()) 4220b57cec5SDimitry Andric return; 4230b57cec5SDimitry Andric 4240b57cec5SDimitry Andric const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 4250b57cec5SDimitry Andric if (DD->useSectionsAsReferences()) { 4260b57cec5SDimitry Andric LineTableStartSym = TLOF.getDwarfLineSection()->getBeginSymbol(); 4270b57cec5SDimitry Andric } else { 4280b57cec5SDimitry Andric LineTableStartSym = 4290b57cec5SDimitry Andric Asm->OutStreamer->getDwarfLineTableSymbol(getUniqueID()); 4300b57cec5SDimitry Andric } 4310b57cec5SDimitry Andric 4320b57cec5SDimitry Andric // DW_AT_stmt_list is a offset of line number information for this 4330b57cec5SDimitry Andric // compile unit in debug_line section. For split dwarf this is 4340b57cec5SDimitry Andric // left in the skeleton CU and so not included. 4350b57cec5SDimitry Andric // The line table entries are not always emitted in assembly, so it 4360b57cec5SDimitry Andric // is not okay to use line_table_start here. 4370b57cec5SDimitry Andric addSectionLabel(getUnitDie(), dwarf::DW_AT_stmt_list, LineTableStartSym, 4380b57cec5SDimitry Andric TLOF.getDwarfLineSection()->getBeginSymbol()); 4390b57cec5SDimitry Andric } 4400b57cec5SDimitry Andric 4410b57cec5SDimitry Andric void DwarfCompileUnit::applyStmtList(DIE &D) { 4425ffd83dbSDimitry Andric const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 4435ffd83dbSDimitry Andric addSectionLabel(D, dwarf::DW_AT_stmt_list, LineTableStartSym, 4445ffd83dbSDimitry Andric TLOF.getDwarfLineSection()->getBeginSymbol()); 4450b57cec5SDimitry Andric } 4460b57cec5SDimitry Andric 4470b57cec5SDimitry Andric void DwarfCompileUnit::attachLowHighPC(DIE &D, const MCSymbol *Begin, 4480b57cec5SDimitry Andric const MCSymbol *End) { 4490b57cec5SDimitry Andric assert(Begin && "Begin label should not be null!"); 4500b57cec5SDimitry Andric assert(End && "End label should not be null!"); 4510b57cec5SDimitry Andric assert(Begin->isDefined() && "Invalid starting label"); 4520b57cec5SDimitry Andric assert(End->isDefined() && "Invalid end label"); 4530b57cec5SDimitry Andric 4540b57cec5SDimitry Andric addLabelAddress(D, dwarf::DW_AT_low_pc, Begin); 4550b57cec5SDimitry Andric if (DD->getDwarfVersion() < 4) 4560b57cec5SDimitry Andric addLabelAddress(D, dwarf::DW_AT_high_pc, End); 4570b57cec5SDimitry Andric else 4580b57cec5SDimitry Andric addLabelDelta(D, dwarf::DW_AT_high_pc, End, Begin); 4590b57cec5SDimitry Andric } 4600b57cec5SDimitry Andric 4610b57cec5SDimitry Andric // Find DIE for the given subprogram and attach appropriate DW_AT_low_pc 4620b57cec5SDimitry Andric // and DW_AT_high_pc attributes. If there are global variables in this 4630b57cec5SDimitry Andric // scope then create and insert DIEs for these variables. 4640b57cec5SDimitry Andric DIE &DwarfCompileUnit::updateSubprogramScopeDIE(const DISubprogram *SP) { 4650b57cec5SDimitry Andric DIE *SPDie = getOrCreateSubprogramDIE(SP, includeMinimalInlineScopes()); 466bdd1243dSDimitry Andric auto *ContextCU = static_cast<DwarfCompileUnit *>(SPDie->getUnit()); 467bdd1243dSDimitry Andric return ContextCU->updateSubprogramScopeDIEImpl(SP, SPDie); 468bdd1243dSDimitry Andric } 4690b57cec5SDimitry Andric 470*06c3fb27SDimitry Andric // Add info for Wasm-global-based relocation. 471*06c3fb27SDimitry Andric // 'GlobalIndex' is used for split dwarf, which currently relies on a few 472*06c3fb27SDimitry Andric // assumptions that are not guaranteed in a formal way but work in practice. 473*06c3fb27SDimitry Andric void DwarfCompileUnit::addWasmRelocBaseGlobal(DIELoc *Loc, StringRef GlobalName, 474*06c3fb27SDimitry Andric uint64_t GlobalIndex) { 475*06c3fb27SDimitry Andric // FIXME: duplicated from Target/WebAssembly/WebAssembly.h 476*06c3fb27SDimitry Andric // don't want to depend on target specific headers in this code? 477*06c3fb27SDimitry Andric const unsigned TI_GLOBAL_RELOC = 3; 478*06c3fb27SDimitry Andric unsigned PointerSize = Asm->getDataLayout().getPointerSize(); 479*06c3fb27SDimitry Andric auto *Sym = cast<MCSymbolWasm>(Asm->GetExternalSymbolSymbol(GlobalName)); 480*06c3fb27SDimitry Andric // FIXME: this repeats what WebAssemblyMCInstLower:: 481*06c3fb27SDimitry Andric // GetExternalSymbolSymbol does, since if there's no code that 482*06c3fb27SDimitry Andric // refers to this symbol, we have to set it here. 483*06c3fb27SDimitry Andric Sym->setType(wasm::WASM_SYMBOL_TYPE_GLOBAL); 484*06c3fb27SDimitry Andric Sym->setGlobalType(wasm::WasmGlobalType{ 485*06c3fb27SDimitry Andric static_cast<uint8_t>(PointerSize == 4 ? wasm::WASM_TYPE_I32 486*06c3fb27SDimitry Andric : wasm::WASM_TYPE_I64), 487*06c3fb27SDimitry Andric true}); 488*06c3fb27SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_WASM_location); 489*06c3fb27SDimitry Andric addSInt(*Loc, dwarf::DW_FORM_sdata, TI_GLOBAL_RELOC); 490*06c3fb27SDimitry Andric if (!isDwoUnit()) { 491*06c3fb27SDimitry Andric addLabel(*Loc, dwarf::DW_FORM_data4, Sym); 492*06c3fb27SDimitry Andric } else { 493*06c3fb27SDimitry Andric // FIXME: when writing dwo, we need to avoid relocations. Probably 494*06c3fb27SDimitry Andric // the "right" solution is to treat globals the way func and data 495*06c3fb27SDimitry Andric // symbols are (with entries in .debug_addr). 496*06c3fb27SDimitry Andric // For now we hardcode the indices in the callsites. Global indices are not 497*06c3fb27SDimitry Andric // fixed, but in practice a few are fixed; for example, __stack_pointer is 498*06c3fb27SDimitry Andric // always index 0. 499*06c3fb27SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data4, GlobalIndex); 500*06c3fb27SDimitry Andric } 501*06c3fb27SDimitry Andric } 502*06c3fb27SDimitry Andric 503bdd1243dSDimitry Andric DIE &DwarfCompileUnit::updateSubprogramScopeDIEImpl(const DISubprogram *SP, 504bdd1243dSDimitry Andric DIE *SPDie) { 5055ffd83dbSDimitry Andric SmallVector<RangeSpan, 2> BB_List; 5065ffd83dbSDimitry Andric // If basic block sections are on, ranges for each basic block section has 5075ffd83dbSDimitry Andric // to be emitted separately. 5085ffd83dbSDimitry Andric for (const auto &R : Asm->MBBSectionRanges) 5095ffd83dbSDimitry Andric BB_List.push_back({R.second.BeginLabel, R.second.EndLabel}); 5105ffd83dbSDimitry Andric 5115ffd83dbSDimitry Andric attachRangesOrLowHighPC(*SPDie, BB_List); 5125ffd83dbSDimitry Andric 5130b57cec5SDimitry Andric if (DD->useAppleExtensionAttributes() && 5140b57cec5SDimitry Andric !DD->getCurrentFunction()->getTarget().Options.DisableFramePointerElim( 5150b57cec5SDimitry Andric *DD->getCurrentFunction())) 5160b57cec5SDimitry Andric addFlag(*SPDie, dwarf::DW_AT_APPLE_omit_frame_ptr); 5170b57cec5SDimitry Andric 5180b57cec5SDimitry Andric // Only include DW_AT_frame_base in full debug info 5190b57cec5SDimitry Andric if (!includeMinimalInlineScopes()) { 5205ffd83dbSDimitry Andric const TargetFrameLowering *TFI = Asm->MF->getSubtarget().getFrameLowering(); 5215ffd83dbSDimitry Andric TargetFrameLowering::DwarfFrameBase FrameBase = 5225ffd83dbSDimitry Andric TFI->getDwarfFrameBase(*Asm->MF); 5235ffd83dbSDimitry Andric switch (FrameBase.Kind) { 5245ffd83dbSDimitry Andric case TargetFrameLowering::DwarfFrameBase::Register: { 5255ffd83dbSDimitry Andric if (Register::isPhysicalRegister(FrameBase.Location.Reg)) { 5265ffd83dbSDimitry Andric MachineLocation Location(FrameBase.Location.Reg); 5275ffd83dbSDimitry Andric addAddress(*SPDie, dwarf::DW_AT_frame_base, Location); 5285ffd83dbSDimitry Andric } 5295ffd83dbSDimitry Andric break; 5305ffd83dbSDimitry Andric } 5315ffd83dbSDimitry Andric case TargetFrameLowering::DwarfFrameBase::CFA: { 5320b57cec5SDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 5330b57cec5SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_call_frame_cfa); 534*06c3fb27SDimitry Andric if (FrameBase.Location.Offset != 0) { 535*06c3fb27SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_consts); 536*06c3fb27SDimitry Andric addSInt(*Loc, dwarf::DW_FORM_sdata, FrameBase.Location.Offset); 537*06c3fb27SDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_plus); 538*06c3fb27SDimitry Andric } 5390b57cec5SDimitry Andric addBlock(*SPDie, dwarf::DW_AT_frame_base, Loc); 5405ffd83dbSDimitry Andric break; 5415ffd83dbSDimitry Andric } 5425ffd83dbSDimitry Andric case TargetFrameLowering::DwarfFrameBase::WasmFrameBase: { 5435ffd83dbSDimitry Andric // FIXME: duplicated from Target/WebAssembly/WebAssembly.h 5445ffd83dbSDimitry Andric const unsigned TI_GLOBAL_RELOC = 3; 545fe6060f1SDimitry Andric if (FrameBase.Location.WasmLoc.Kind == TI_GLOBAL_RELOC) { 5465ffd83dbSDimitry Andric // These need to be relocatable. 5475ffd83dbSDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 548*06c3fb27SDimitry Andric assert(FrameBase.Location.WasmLoc.Index == 0); // Only SP so far. 549fe6060f1SDimitry Andric // For now, since we only ever use index 0, this should work as-is. 550*06c3fb27SDimitry Andric addWasmRelocBaseGlobal(Loc, "__stack_pointer", 551*06c3fb27SDimitry Andric FrameBase.Location.WasmLoc.Index); 5525ffd83dbSDimitry Andric addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_stack_value); 5535ffd83dbSDimitry Andric addBlock(*SPDie, dwarf::DW_AT_frame_base, Loc); 5540b57cec5SDimitry Andric } else { 5555ffd83dbSDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 5565ffd83dbSDimitry Andric DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 5575ffd83dbSDimitry Andric DIExpressionCursor Cursor({}); 5585ffd83dbSDimitry Andric DwarfExpr.addWasmLocation(FrameBase.Location.WasmLoc.Kind, 5595ffd83dbSDimitry Andric FrameBase.Location.WasmLoc.Index); 5605ffd83dbSDimitry Andric DwarfExpr.addExpression(std::move(Cursor)); 5615ffd83dbSDimitry Andric addBlock(*SPDie, dwarf::DW_AT_frame_base, DwarfExpr.finalize()); 5625ffd83dbSDimitry Andric } 5635ffd83dbSDimitry Andric break; 5645ffd83dbSDimitry Andric } 5650b57cec5SDimitry Andric } 5660b57cec5SDimitry Andric } 5670b57cec5SDimitry Andric 5680b57cec5SDimitry Andric // Add name to the name table, we do this here because we're guaranteed 5690b57cec5SDimitry Andric // to have concrete versions of our DW_TAG_subprogram nodes. 5700b57cec5SDimitry Andric DD->addSubprogramNames(*CUNode, SP, *SPDie); 5710b57cec5SDimitry Andric 5720b57cec5SDimitry Andric return *SPDie; 5730b57cec5SDimitry Andric } 5740b57cec5SDimitry Andric 5750b57cec5SDimitry Andric // Construct a DIE for this scope. 5764824e7fdSDimitry Andric void DwarfCompileUnit::constructScopeDIE(LexicalScope *Scope, 5774824e7fdSDimitry Andric DIE &ParentScopeDIE) { 5780b57cec5SDimitry Andric if (!Scope || !Scope->getScopeNode()) 5790b57cec5SDimitry Andric return; 5800b57cec5SDimitry Andric 5810b57cec5SDimitry Andric auto *DS = Scope->getScopeNode(); 5820b57cec5SDimitry Andric 5830b57cec5SDimitry Andric assert((Scope->getInlinedAt() || !isa<DISubprogram>(DS)) && 5840b57cec5SDimitry Andric "Only handle inlined subprograms here, use " 5850b57cec5SDimitry Andric "constructSubprogramScopeDIE for non-inlined " 5860b57cec5SDimitry Andric "subprograms"); 5870b57cec5SDimitry Andric 5884824e7fdSDimitry Andric // Emit inlined subprograms. 5890b57cec5SDimitry Andric if (Scope->getParent() && isa<DISubprogram>(DS)) { 590bdd1243dSDimitry Andric DIE *ScopeDIE = constructInlinedScopeDIE(Scope, ParentScopeDIE); 591bdd1243dSDimitry Andric assert(ScopeDIE && "Scope DIE should not be null."); 5924824e7fdSDimitry Andric createAndAddScopeChildren(Scope, *ScopeDIE); 5934824e7fdSDimitry Andric return; 5944824e7fdSDimitry Andric } 5954824e7fdSDimitry Andric 5960b57cec5SDimitry Andric // Early exit when we know the scope DIE is going to be null. 5970b57cec5SDimitry Andric if (DD->isLexicalScopeDIENull(Scope)) 5980b57cec5SDimitry Andric return; 5990b57cec5SDimitry Andric 6004824e7fdSDimitry Andric // Emit lexical blocks. 6014824e7fdSDimitry Andric DIE *ScopeDIE = constructLexicalScopeDIE(Scope); 6020b57cec5SDimitry Andric assert(ScopeDIE && "Scope DIE should not be null."); 6030b57cec5SDimitry Andric 6044824e7fdSDimitry Andric ParentScopeDIE.addChild(ScopeDIE); 6054824e7fdSDimitry Andric createAndAddScopeChildren(Scope, *ScopeDIE); 6060b57cec5SDimitry Andric } 6070b57cec5SDimitry Andric 6080b57cec5SDimitry Andric void DwarfCompileUnit::addScopeRangeList(DIE &ScopeDIE, 6090b57cec5SDimitry Andric SmallVector<RangeSpan, 2> Range) { 6100b57cec5SDimitry Andric 6110b57cec5SDimitry Andric HasRangeLists = true; 6120b57cec5SDimitry Andric 6130b57cec5SDimitry Andric // Add the range list to the set of ranges to be emitted. 6140b57cec5SDimitry Andric auto IndexAndList = 6150b57cec5SDimitry Andric (DD->getDwarfVersion() < 5 && Skeleton ? Skeleton->DU : DU) 6160b57cec5SDimitry Andric ->addRange(*(Skeleton ? Skeleton : this), std::move(Range)); 6170b57cec5SDimitry Andric 6180b57cec5SDimitry Andric uint32_t Index = IndexAndList.first; 6190b57cec5SDimitry Andric auto &List = *IndexAndList.second; 6200b57cec5SDimitry Andric 6210b57cec5SDimitry Andric // Under fission, ranges are specified by constant offsets relative to the 6220b57cec5SDimitry Andric // CU's DW_AT_GNU_ranges_base. 6230b57cec5SDimitry Andric // FIXME: For DWARF v5, do not generate the DW_AT_ranges attribute under 6240b57cec5SDimitry Andric // fission until we support the forms using the .debug_addr section 6250b57cec5SDimitry Andric // (DW_RLE_startx_endx etc.). 6260b57cec5SDimitry Andric if (DD->getDwarfVersion() >= 5) 6270b57cec5SDimitry Andric addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_rnglistx, Index); 6288bcb0991SDimitry Andric else { 6298bcb0991SDimitry Andric const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 6308bcb0991SDimitry Andric const MCSymbol *RangeSectionSym = 6318bcb0991SDimitry Andric TLOF.getDwarfRangesSection()->getBeginSymbol(); 6328bcb0991SDimitry Andric if (isDwoUnit()) 633480093f4SDimitry Andric addSectionDelta(ScopeDIE, dwarf::DW_AT_ranges, List.Label, 6340b57cec5SDimitry Andric RangeSectionSym); 6350b57cec5SDimitry Andric else 636480093f4SDimitry Andric addSectionLabel(ScopeDIE, dwarf::DW_AT_ranges, List.Label, 6370b57cec5SDimitry Andric RangeSectionSym); 6380b57cec5SDimitry Andric } 6398bcb0991SDimitry Andric } 6400b57cec5SDimitry Andric 6410b57cec5SDimitry Andric void DwarfCompileUnit::attachRangesOrLowHighPC( 6420b57cec5SDimitry Andric DIE &Die, SmallVector<RangeSpan, 2> Ranges) { 643e8d8bef9SDimitry Andric assert(!Ranges.empty()); 644e8d8bef9SDimitry Andric if (!DD->useRangesSection() || 645e8d8bef9SDimitry Andric (Ranges.size() == 1 && 646*06c3fb27SDimitry Andric (!DD->alwaysUseRanges(*this) || 647e8d8bef9SDimitry Andric DD->getSectionLabel(&Ranges.front().Begin->getSection()) == 648e8d8bef9SDimitry Andric Ranges.front().Begin))) { 6490b57cec5SDimitry Andric const RangeSpan &Front = Ranges.front(); 6500b57cec5SDimitry Andric const RangeSpan &Back = Ranges.back(); 6518bcb0991SDimitry Andric attachLowHighPC(Die, Front.Begin, Back.End); 6520b57cec5SDimitry Andric } else 6530b57cec5SDimitry Andric addScopeRangeList(Die, std::move(Ranges)); 6540b57cec5SDimitry Andric } 6550b57cec5SDimitry Andric 6560b57cec5SDimitry Andric void DwarfCompileUnit::attachRangesOrLowHighPC( 6570b57cec5SDimitry Andric DIE &Die, const SmallVectorImpl<InsnRange> &Ranges) { 6580b57cec5SDimitry Andric SmallVector<RangeSpan, 2> List; 6590b57cec5SDimitry Andric List.reserve(Ranges.size()); 6605ffd83dbSDimitry Andric for (const InsnRange &R : Ranges) { 6615ffd83dbSDimitry Andric auto *BeginLabel = DD->getLabelBeforeInsn(R.first); 6625ffd83dbSDimitry Andric auto *EndLabel = DD->getLabelAfterInsn(R.second); 6635ffd83dbSDimitry Andric 6645ffd83dbSDimitry Andric const auto *BeginMBB = R.first->getParent(); 6655ffd83dbSDimitry Andric const auto *EndMBB = R.second->getParent(); 6665ffd83dbSDimitry Andric 6675ffd83dbSDimitry Andric const auto *MBB = BeginMBB; 6685ffd83dbSDimitry Andric // Basic block sections allows basic block subsets to be placed in unique 6695ffd83dbSDimitry Andric // sections. For each section, the begin and end label must be added to the 6705ffd83dbSDimitry Andric // list. If there is more than one range, debug ranges must be used. 6715ffd83dbSDimitry Andric // Otherwise, low/high PC can be used. 6725ffd83dbSDimitry Andric // FIXME: Debug Info Emission depends on block order and this assumes that 6735ffd83dbSDimitry Andric // the order of blocks will be frozen beyond this point. 6745ffd83dbSDimitry Andric do { 6755ffd83dbSDimitry Andric if (MBB->sameSection(EndMBB) || MBB->isEndSection()) { 6765ffd83dbSDimitry Andric auto MBBSectionRange = Asm->MBBSectionRanges[MBB->getSectionIDNum()]; 6778bcb0991SDimitry Andric List.push_back( 6785ffd83dbSDimitry Andric {MBB->sameSection(BeginMBB) ? BeginLabel 6795ffd83dbSDimitry Andric : MBBSectionRange.BeginLabel, 6805ffd83dbSDimitry Andric MBB->sameSection(EndMBB) ? EndLabel : MBBSectionRange.EndLabel}); 6815ffd83dbSDimitry Andric } 6825ffd83dbSDimitry Andric if (MBB->sameSection(EndMBB)) 6835ffd83dbSDimitry Andric break; 6845ffd83dbSDimitry Andric MBB = MBB->getNextNode(); 6855ffd83dbSDimitry Andric } while (true); 6865ffd83dbSDimitry Andric } 6870b57cec5SDimitry Andric attachRangesOrLowHighPC(Die, std::move(List)); 6880b57cec5SDimitry Andric } 6890b57cec5SDimitry Andric 690bdd1243dSDimitry Andric DIE *DwarfCompileUnit::constructInlinedScopeDIE(LexicalScope *Scope, 691bdd1243dSDimitry Andric DIE &ParentScopeDIE) { 6920b57cec5SDimitry Andric assert(Scope->getScopeNode()); 6930b57cec5SDimitry Andric auto *DS = Scope->getScopeNode(); 6940b57cec5SDimitry Andric auto *InlinedSP = getDISubprogram(DS); 6950b57cec5SDimitry Andric // Find the subprogram's DwarfCompileUnit in the SPMap in case the subprogram 6960b57cec5SDimitry Andric // was inlined from another compile unit. 697*06c3fb27SDimitry Andric DIE *OriginDIE = getAbstractScopeDIEs()[InlinedSP]; 6980b57cec5SDimitry Andric assert(OriginDIE && "Unable to find original DIE for an inlined subprogram."); 6990b57cec5SDimitry Andric 7000b57cec5SDimitry Andric auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_inlined_subroutine); 701bdd1243dSDimitry Andric ParentScopeDIE.addChild(ScopeDIE); 7020b57cec5SDimitry Andric addDIEEntry(*ScopeDIE, dwarf::DW_AT_abstract_origin, *OriginDIE); 7030b57cec5SDimitry Andric 7040b57cec5SDimitry Andric attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges()); 7050b57cec5SDimitry Andric 7060b57cec5SDimitry Andric // Add the call site information to the DIE. 7070b57cec5SDimitry Andric const DILocation *IA = Scope->getInlinedAt(); 708bdd1243dSDimitry Andric addUInt(*ScopeDIE, dwarf::DW_AT_call_file, std::nullopt, 7090b57cec5SDimitry Andric getOrCreateSourceID(IA->getFile())); 710bdd1243dSDimitry Andric addUInt(*ScopeDIE, dwarf::DW_AT_call_line, std::nullopt, IA->getLine()); 7110b57cec5SDimitry Andric if (IA->getColumn()) 712bdd1243dSDimitry Andric addUInt(*ScopeDIE, dwarf::DW_AT_call_column, std::nullopt, IA->getColumn()); 7130b57cec5SDimitry Andric if (IA->getDiscriminator() && DD->getDwarfVersion() >= 4) 714bdd1243dSDimitry Andric addUInt(*ScopeDIE, dwarf::DW_AT_GNU_discriminator, std::nullopt, 7150b57cec5SDimitry Andric IA->getDiscriminator()); 7160b57cec5SDimitry Andric 7170b57cec5SDimitry Andric // Add name to the name table, we do this here because we're guaranteed 7180b57cec5SDimitry Andric // to have concrete versions of our DW_TAG_inlined_subprogram nodes. 7190b57cec5SDimitry Andric DD->addSubprogramNames(*CUNode, InlinedSP, *ScopeDIE); 7200b57cec5SDimitry Andric 7210b57cec5SDimitry Andric return ScopeDIE; 7220b57cec5SDimitry Andric } 7230b57cec5SDimitry Andric 7240b57cec5SDimitry Andric // Construct new DW_TAG_lexical_block for this scope and attach 7250b57cec5SDimitry Andric // DW_AT_low_pc/DW_AT_high_pc labels. 7260b57cec5SDimitry Andric DIE *DwarfCompileUnit::constructLexicalScopeDIE(LexicalScope *Scope) { 7270b57cec5SDimitry Andric if (DD->isLexicalScopeDIENull(Scope)) 7280b57cec5SDimitry Andric return nullptr; 729*06c3fb27SDimitry Andric const auto *DS = Scope->getScopeNode(); 7300b57cec5SDimitry Andric 7310b57cec5SDimitry Andric auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_lexical_block); 732*06c3fb27SDimitry Andric if (Scope->isAbstractScope()) { 733*06c3fb27SDimitry Andric assert(!getAbstractScopeDIEs().count(DS) && 734*06c3fb27SDimitry Andric "Abstract DIE for this scope exists!"); 735*06c3fb27SDimitry Andric getAbstractScopeDIEs()[DS] = ScopeDIE; 7360b57cec5SDimitry Andric return ScopeDIE; 737*06c3fb27SDimitry Andric } 738*06c3fb27SDimitry Andric if (!Scope->getInlinedAt()) { 739*06c3fb27SDimitry Andric assert(!LexicalBlockDIEs.count(DS) && 740*06c3fb27SDimitry Andric "Concrete out-of-line DIE for this scope exists!"); 741*06c3fb27SDimitry Andric LexicalBlockDIEs[DS] = ScopeDIE; 742*06c3fb27SDimitry Andric } 7430b57cec5SDimitry Andric 7440b57cec5SDimitry Andric attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges()); 7450b57cec5SDimitry Andric 7460b57cec5SDimitry Andric return ScopeDIE; 7470b57cec5SDimitry Andric } 7480b57cec5SDimitry Andric 7490b57cec5SDimitry Andric /// constructVariableDIE - Construct a DIE for the given DbgVariable. 7500b57cec5SDimitry Andric DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV, bool Abstract) { 7510b57cec5SDimitry Andric auto D = constructVariableDIEImpl(DV, Abstract); 7520b57cec5SDimitry Andric DV.setDIE(*D); 7530b57cec5SDimitry Andric return D; 7540b57cec5SDimitry Andric } 7550b57cec5SDimitry Andric 7560b57cec5SDimitry Andric DIE *DwarfCompileUnit::constructLabelDIE(DbgLabel &DL, 7570b57cec5SDimitry Andric const LexicalScope &Scope) { 7580b57cec5SDimitry Andric auto LabelDie = DIE::get(DIEValueAllocator, DL.getTag()); 7590b57cec5SDimitry Andric insertDIE(DL.getLabel(), LabelDie); 7600b57cec5SDimitry Andric DL.setDIE(*LabelDie); 7610b57cec5SDimitry Andric 7620b57cec5SDimitry Andric if (Scope.isAbstractScope()) 7630b57cec5SDimitry Andric applyLabelAttributes(DL, *LabelDie); 7640b57cec5SDimitry Andric 7650b57cec5SDimitry Andric return LabelDie; 7660b57cec5SDimitry Andric } 7670b57cec5SDimitry Andric 7680b57cec5SDimitry Andric DIE *DwarfCompileUnit::constructVariableDIEImpl(const DbgVariable &DV, 7690b57cec5SDimitry Andric bool Abstract) { 7700b57cec5SDimitry Andric // Define variable debug information entry. 7710b57cec5SDimitry Andric auto VariableDie = DIE::get(DIEValueAllocator, DV.getTag()); 7720b57cec5SDimitry Andric insertDIE(DV.getVariable(), VariableDie); 7730b57cec5SDimitry Andric 7740b57cec5SDimitry Andric if (Abstract) { 7750b57cec5SDimitry Andric applyVariableAttributes(DV, *VariableDie); 7760b57cec5SDimitry Andric return VariableDie; 7770b57cec5SDimitry Andric } 7780b57cec5SDimitry Andric 7790b57cec5SDimitry Andric // Add variable address. 7800b57cec5SDimitry Andric 781e8d8bef9SDimitry Andric unsigned Index = DV.getDebugLocListIndex(); 782e8d8bef9SDimitry Andric if (Index != ~0U) { 783e8d8bef9SDimitry Andric addLocationList(*VariableDie, dwarf::DW_AT_location, Index); 784480093f4SDimitry Andric auto TagOffset = DV.getDebugLocListTagOffset(); 785480093f4SDimitry Andric if (TagOffset) 786480093f4SDimitry Andric addUInt(*VariableDie, dwarf::DW_AT_LLVM_tag_offset, dwarf::DW_FORM_data1, 787480093f4SDimitry Andric *TagOffset); 7880b57cec5SDimitry Andric return VariableDie; 7890b57cec5SDimitry Andric } 7900b57cec5SDimitry Andric 7910b57cec5SDimitry Andric // Check if variable has a single location description. 7920b57cec5SDimitry Andric if (auto *DVal = DV.getValueLoc()) { 793fe6060f1SDimitry Andric if (!DVal->isVariadic()) { 794fe6060f1SDimitry Andric const DbgValueLocEntry *Entry = DVal->getLocEntries().begin(); 795fe6060f1SDimitry Andric if (Entry->isLocation()) { 796fe6060f1SDimitry Andric addVariableAddress(DV, *VariableDie, Entry->getLoc()); 797fe6060f1SDimitry Andric } else if (Entry->isInt()) { 7980b57cec5SDimitry Andric auto *Expr = DV.getSingleExpression(); 7990b57cec5SDimitry Andric if (Expr && Expr->getNumElements()) { 8000b57cec5SDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 8010b57cec5SDimitry Andric DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 8020b57cec5SDimitry Andric // If there is an expression, emit raw unsigned bytes. 8030b57cec5SDimitry Andric DwarfExpr.addFragmentOffset(Expr); 804fe6060f1SDimitry Andric DwarfExpr.addUnsignedConstant(Entry->getInt()); 8050b57cec5SDimitry Andric DwarfExpr.addExpression(Expr); 8060b57cec5SDimitry Andric addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize()); 807480093f4SDimitry Andric if (DwarfExpr.TagOffset) 808480093f4SDimitry Andric addUInt(*VariableDie, dwarf::DW_AT_LLVM_tag_offset, 809480093f4SDimitry Andric dwarf::DW_FORM_data1, *DwarfExpr.TagOffset); 8100b57cec5SDimitry Andric } else 811fe6060f1SDimitry Andric addConstantValue(*VariableDie, Entry->getInt(), DV.getType()); 812fe6060f1SDimitry Andric } else if (Entry->isConstantFP()) { 813fe6060f1SDimitry Andric addConstantFPValue(*VariableDie, Entry->getConstantFP()); 814fe6060f1SDimitry Andric } else if (Entry->isConstantInt()) { 815fe6060f1SDimitry Andric addConstantValue(*VariableDie, Entry->getConstantInt(), DV.getType()); 816fe6060f1SDimitry Andric } else if (Entry->isTargetIndexLocation()) { 817e8d8bef9SDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 818e8d8bef9SDimitry Andric DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 819e8d8bef9SDimitry Andric const DIBasicType *BT = dyn_cast<DIBasicType>( 820e8d8bef9SDimitry Andric static_cast<const Metadata *>(DV.getVariable()->getType())); 821e8d8bef9SDimitry Andric DwarfDebug::emitDebugLocValue(*Asm, BT, *DVal, DwarfExpr); 822e8d8bef9SDimitry Andric addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize()); 8230b57cec5SDimitry Andric } 8240b57cec5SDimitry Andric return VariableDie; 8250b57cec5SDimitry Andric } 826fe6060f1SDimitry Andric // If any of the location entries are registers with the value 0, then the 827fe6060f1SDimitry Andric // location is undefined. 828fe6060f1SDimitry Andric if (any_of(DVal->getLocEntries(), [](const DbgValueLocEntry &Entry) { 829fe6060f1SDimitry Andric return Entry.isLocation() && !Entry.getLoc().getReg(); 830fe6060f1SDimitry Andric })) 831fe6060f1SDimitry Andric return VariableDie; 832fe6060f1SDimitry Andric const DIExpression *Expr = DV.getSingleExpression(); 833fe6060f1SDimitry Andric assert(Expr && "Variadic Debug Value must have an Expression."); 834fe6060f1SDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 835fe6060f1SDimitry Andric DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 836fe6060f1SDimitry Andric DwarfExpr.addFragmentOffset(Expr); 837fe6060f1SDimitry Andric DIExpressionCursor Cursor(Expr); 838fe6060f1SDimitry Andric const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo(); 839fe6060f1SDimitry Andric 840fe6060f1SDimitry Andric auto AddEntry = [&](const DbgValueLocEntry &Entry, 841fe6060f1SDimitry Andric DIExpressionCursor &Cursor) { 842fe6060f1SDimitry Andric if (Entry.isLocation()) { 843fe6060f1SDimitry Andric if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, 844fe6060f1SDimitry Andric Entry.getLoc().getReg())) 845fe6060f1SDimitry Andric return false; 846fe6060f1SDimitry Andric } else if (Entry.isInt()) { 847fe6060f1SDimitry Andric // If there is an expression, emit raw unsigned bytes. 848fe6060f1SDimitry Andric DwarfExpr.addUnsignedConstant(Entry.getInt()); 849fe6060f1SDimitry Andric } else if (Entry.isConstantFP()) { 8509738bc28SDimitry Andric // DwarfExpression does not support arguments wider than 64 bits 8519738bc28SDimitry Andric // (see PR52584). 8529738bc28SDimitry Andric // TODO: Consider chunking expressions containing overly wide 8539738bc28SDimitry Andric // arguments into separate pointer-sized fragment expressions. 854fe6060f1SDimitry Andric APInt RawBytes = Entry.getConstantFP()->getValueAPF().bitcastToAPInt(); 8559738bc28SDimitry Andric if (RawBytes.getBitWidth() > 64) 8569738bc28SDimitry Andric return false; 8579738bc28SDimitry Andric DwarfExpr.addUnsignedConstant(RawBytes.getZExtValue()); 858fe6060f1SDimitry Andric } else if (Entry.isConstantInt()) { 859fe6060f1SDimitry Andric APInt RawBytes = Entry.getConstantInt()->getValue(); 8609738bc28SDimitry Andric if (RawBytes.getBitWidth() > 64) 8619738bc28SDimitry Andric return false; 8629738bc28SDimitry Andric DwarfExpr.addUnsignedConstant(RawBytes.getZExtValue()); 863fe6060f1SDimitry Andric } else if (Entry.isTargetIndexLocation()) { 864fe6060f1SDimitry Andric TargetIndexLocation Loc = Entry.getTargetIndexLocation(); 865fe6060f1SDimitry Andric // TODO TargetIndexLocation is a target-independent. Currently only the 866fe6060f1SDimitry Andric // WebAssembly-specific encoding is supported. 867fe6060f1SDimitry Andric assert(Asm->TM.getTargetTriple().isWasm()); 868fe6060f1SDimitry Andric DwarfExpr.addWasmLocation(Loc.Index, static_cast<uint64_t>(Loc.Offset)); 869fe6060f1SDimitry Andric } else { 870fe6060f1SDimitry Andric llvm_unreachable("Unsupported Entry type."); 871fe6060f1SDimitry Andric } 872fe6060f1SDimitry Andric return true; 873fe6060f1SDimitry Andric }; 874fe6060f1SDimitry Andric 8759738bc28SDimitry Andric if (!DwarfExpr.addExpression( 876fe6060f1SDimitry Andric std::move(Cursor), 877fe6060f1SDimitry Andric [&](unsigned Idx, DIExpressionCursor &Cursor) -> bool { 878fe6060f1SDimitry Andric return AddEntry(DVal->getLocEntries()[Idx], Cursor); 8799738bc28SDimitry Andric })) 8809738bc28SDimitry Andric return VariableDie; 881fe6060f1SDimitry Andric 882fe6060f1SDimitry Andric // Now attach the location information to the DIE. 883fe6060f1SDimitry Andric addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize()); 884fe6060f1SDimitry Andric if (DwarfExpr.TagOffset) 885fe6060f1SDimitry Andric addUInt(*VariableDie, dwarf::DW_AT_LLVM_tag_offset, dwarf::DW_FORM_data1, 886fe6060f1SDimitry Andric *DwarfExpr.TagOffset); 887fe6060f1SDimitry Andric 888fe6060f1SDimitry Andric return VariableDie; 889fe6060f1SDimitry Andric } 8900b57cec5SDimitry Andric 8910b57cec5SDimitry Andric // .. else use frame index. 8920b57cec5SDimitry Andric if (!DV.hasFrameIndexExprs()) 8930b57cec5SDimitry Andric return VariableDie; 8940b57cec5SDimitry Andric 895bdd1243dSDimitry Andric std::optional<unsigned> NVPTXAddressSpace; 8960b57cec5SDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 8970b57cec5SDimitry Andric DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 898fcaf7f86SDimitry Andric for (const auto &Fragment : DV.getFrameIndexExprs()) { 8995ffd83dbSDimitry Andric Register FrameReg; 9000b57cec5SDimitry Andric const DIExpression *Expr = Fragment.Expr; 9010b57cec5SDimitry Andric const TargetFrameLowering *TFI = Asm->MF->getSubtarget().getFrameLowering(); 902e8d8bef9SDimitry Andric StackOffset Offset = 903e8d8bef9SDimitry Andric TFI->getFrameIndexReference(*Asm->MF, Fragment.FI, FrameReg); 9040b57cec5SDimitry Andric DwarfExpr.addFragmentOffset(Expr); 905e8d8bef9SDimitry Andric 906e8d8bef9SDimitry Andric auto *TRI = Asm->MF->getSubtarget().getRegisterInfo(); 9070b57cec5SDimitry Andric SmallVector<uint64_t, 8> Ops; 908e8d8bef9SDimitry Andric TRI->getOffsetOpcodes(Offset, Ops); 909e8d8bef9SDimitry Andric 9100b57cec5SDimitry Andric // According to 9110b57cec5SDimitry Andric // https://docs.nvidia.com/cuda/archive/10.0/ptx-writers-guide-to-interoperability/index.html#cuda-specific-dwarf 9120b57cec5SDimitry Andric // cuda-gdb requires DW_AT_address_class for all variables to be able to 9130b57cec5SDimitry Andric // correctly interpret address space of the variable address. 9140b57cec5SDimitry Andric // Decode DW_OP_constu <DWARF Address Space> DW_OP_swap DW_OP_xderef 9150b57cec5SDimitry Andric // sequence for the NVPTX + gdb target. 9160b57cec5SDimitry Andric unsigned LocalNVPTXAddressSpace; 9170b57cec5SDimitry Andric if (Asm->TM.getTargetTriple().isNVPTX() && DD->tuneForGDB()) { 9180b57cec5SDimitry Andric const DIExpression *NewExpr = 9190b57cec5SDimitry Andric DIExpression::extractAddressClass(Expr, LocalNVPTXAddressSpace); 9200b57cec5SDimitry Andric if (NewExpr != Expr) { 9210b57cec5SDimitry Andric Expr = NewExpr; 9220b57cec5SDimitry Andric NVPTXAddressSpace = LocalNVPTXAddressSpace; 9230b57cec5SDimitry Andric } 9240b57cec5SDimitry Andric } 9250b57cec5SDimitry Andric if (Expr) 9260b57cec5SDimitry Andric Ops.append(Expr->elements_begin(), Expr->elements_end()); 9270b57cec5SDimitry Andric DIExpressionCursor Cursor(Ops); 9280b57cec5SDimitry Andric DwarfExpr.setMemoryLocationKind(); 9290b57cec5SDimitry Andric if (const MCSymbol *FrameSymbol = Asm->getFunctionFrameSymbol()) 9300b57cec5SDimitry Andric addOpAddress(*Loc, FrameSymbol); 9310b57cec5SDimitry Andric else 9320b57cec5SDimitry Andric DwarfExpr.addMachineRegExpression( 9330b57cec5SDimitry Andric *Asm->MF->getSubtarget().getRegisterInfo(), Cursor, FrameReg); 9340b57cec5SDimitry Andric DwarfExpr.addExpression(std::move(Cursor)); 9350b57cec5SDimitry Andric } 9360b57cec5SDimitry Andric if (Asm->TM.getTargetTriple().isNVPTX() && DD->tuneForGDB()) { 9370b57cec5SDimitry Andric // According to 9380b57cec5SDimitry Andric // https://docs.nvidia.com/cuda/archive/10.0/ptx-writers-guide-to-interoperability/index.html#cuda-specific-dwarf 9390b57cec5SDimitry Andric // cuda-gdb requires DW_AT_address_class for all variables to be able to 9400b57cec5SDimitry Andric // correctly interpret address space of the variable address. 9410b57cec5SDimitry Andric const unsigned NVPTX_ADDR_local_space = 6; 9420b57cec5SDimitry Andric addUInt(*VariableDie, dwarf::DW_AT_address_class, dwarf::DW_FORM_data1, 943bdd1243dSDimitry Andric NVPTXAddressSpace.value_or(NVPTX_ADDR_local_space)); 9440b57cec5SDimitry Andric } 9450b57cec5SDimitry Andric addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize()); 9460b57cec5SDimitry Andric if (DwarfExpr.TagOffset) 9470b57cec5SDimitry Andric addUInt(*VariableDie, dwarf::DW_AT_LLVM_tag_offset, dwarf::DW_FORM_data1, 9480b57cec5SDimitry Andric *DwarfExpr.TagOffset); 9490b57cec5SDimitry Andric 9500b57cec5SDimitry Andric return VariableDie; 9510b57cec5SDimitry Andric } 9520b57cec5SDimitry Andric 9530b57cec5SDimitry Andric DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV, 9540b57cec5SDimitry Andric const LexicalScope &Scope, 9550b57cec5SDimitry Andric DIE *&ObjectPointer) { 9560b57cec5SDimitry Andric auto Var = constructVariableDIE(DV, Scope.isAbstractScope()); 9570b57cec5SDimitry Andric if (DV.isObjectPointer()) 9580b57cec5SDimitry Andric ObjectPointer = Var; 9590b57cec5SDimitry Andric return Var; 9600b57cec5SDimitry Andric } 9610b57cec5SDimitry Andric 9620b57cec5SDimitry Andric /// Return all DIVariables that appear in count: expressions. 9630b57cec5SDimitry Andric static SmallVector<const DIVariable *, 2> dependencies(DbgVariable *Var) { 9640b57cec5SDimitry Andric SmallVector<const DIVariable *, 2> Result; 9650b57cec5SDimitry Andric auto *Array = dyn_cast<DICompositeType>(Var->getType()); 9660b57cec5SDimitry Andric if (!Array || Array->getTag() != dwarf::DW_TAG_array_type) 9670b57cec5SDimitry Andric return Result; 9685ffd83dbSDimitry Andric if (auto *DLVar = Array->getDataLocation()) 9695ffd83dbSDimitry Andric Result.push_back(DLVar); 970e8d8bef9SDimitry Andric if (auto *AsVar = Array->getAssociated()) 971e8d8bef9SDimitry Andric Result.push_back(AsVar); 972e8d8bef9SDimitry Andric if (auto *AlVar = Array->getAllocated()) 973e8d8bef9SDimitry Andric Result.push_back(AlVar); 9740b57cec5SDimitry Andric for (auto *El : Array->getElements()) { 9750b57cec5SDimitry Andric if (auto *Subrange = dyn_cast<DISubrange>(El)) { 9765ffd83dbSDimitry Andric if (auto Count = Subrange->getCount()) 977*06c3fb27SDimitry Andric if (auto *Dependency = dyn_cast_if_present<DIVariable *>(Count)) 9780b57cec5SDimitry Andric Result.push_back(Dependency); 9795ffd83dbSDimitry Andric if (auto LB = Subrange->getLowerBound()) 980*06c3fb27SDimitry Andric if (auto *Dependency = dyn_cast_if_present<DIVariable *>(LB)) 9815ffd83dbSDimitry Andric Result.push_back(Dependency); 9825ffd83dbSDimitry Andric if (auto UB = Subrange->getUpperBound()) 983*06c3fb27SDimitry Andric if (auto *Dependency = dyn_cast_if_present<DIVariable *>(UB)) 9845ffd83dbSDimitry Andric Result.push_back(Dependency); 9855ffd83dbSDimitry Andric if (auto ST = Subrange->getStride()) 986*06c3fb27SDimitry Andric if (auto *Dependency = dyn_cast_if_present<DIVariable *>(ST)) 9875ffd83dbSDimitry Andric Result.push_back(Dependency); 988e8d8bef9SDimitry Andric } else if (auto *GenericSubrange = dyn_cast<DIGenericSubrange>(El)) { 989e8d8bef9SDimitry Andric if (auto Count = GenericSubrange->getCount()) 990*06c3fb27SDimitry Andric if (auto *Dependency = dyn_cast_if_present<DIVariable *>(Count)) 991e8d8bef9SDimitry Andric Result.push_back(Dependency); 992e8d8bef9SDimitry Andric if (auto LB = GenericSubrange->getLowerBound()) 993*06c3fb27SDimitry Andric if (auto *Dependency = dyn_cast_if_present<DIVariable *>(LB)) 994e8d8bef9SDimitry Andric Result.push_back(Dependency); 995e8d8bef9SDimitry Andric if (auto UB = GenericSubrange->getUpperBound()) 996*06c3fb27SDimitry Andric if (auto *Dependency = dyn_cast_if_present<DIVariable *>(UB)) 997e8d8bef9SDimitry Andric Result.push_back(Dependency); 998e8d8bef9SDimitry Andric if (auto ST = GenericSubrange->getStride()) 999*06c3fb27SDimitry Andric if (auto *Dependency = dyn_cast_if_present<DIVariable *>(ST)) 1000e8d8bef9SDimitry Andric Result.push_back(Dependency); 10010b57cec5SDimitry Andric } 10020b57cec5SDimitry Andric } 10030b57cec5SDimitry Andric return Result; 10040b57cec5SDimitry Andric } 10050b57cec5SDimitry Andric 10060b57cec5SDimitry Andric /// Sort local variables so that variables appearing inside of helper 10070b57cec5SDimitry Andric /// expressions come first. 10080b57cec5SDimitry Andric static SmallVector<DbgVariable *, 8> 10090b57cec5SDimitry Andric sortLocalVars(SmallVectorImpl<DbgVariable *> &Input) { 10100b57cec5SDimitry Andric SmallVector<DbgVariable *, 8> Result; 10110b57cec5SDimitry Andric SmallVector<PointerIntPair<DbgVariable *, 1>, 8> WorkList; 10120b57cec5SDimitry Andric // Map back from a DIVariable to its containing DbgVariable. 10130b57cec5SDimitry Andric SmallDenseMap<const DILocalVariable *, DbgVariable *> DbgVar; 10140b57cec5SDimitry Andric // Set of DbgVariables in Result. 10150b57cec5SDimitry Andric SmallDenseSet<DbgVariable *, 8> Visited; 10160b57cec5SDimitry Andric // For cycle detection. 10170b57cec5SDimitry Andric SmallDenseSet<DbgVariable *, 8> Visiting; 10180b57cec5SDimitry Andric 10190b57cec5SDimitry Andric // Initialize the worklist and the DIVariable lookup table. 1020fcaf7f86SDimitry Andric for (auto *Var : reverse(Input)) { 10210b57cec5SDimitry Andric DbgVar.insert({Var->getVariable(), Var}); 10220b57cec5SDimitry Andric WorkList.push_back({Var, 0}); 10230b57cec5SDimitry Andric } 10240b57cec5SDimitry Andric 10250b57cec5SDimitry Andric // Perform a stable topological sort by doing a DFS. 10260b57cec5SDimitry Andric while (!WorkList.empty()) { 10270b57cec5SDimitry Andric auto Item = WorkList.back(); 10280b57cec5SDimitry Andric DbgVariable *Var = Item.getPointer(); 10290b57cec5SDimitry Andric bool visitedAllDependencies = Item.getInt(); 10300b57cec5SDimitry Andric WorkList.pop_back(); 10310b57cec5SDimitry Andric 1032349cc55cSDimitry Andric assert(Var); 10330b57cec5SDimitry Andric 10340b57cec5SDimitry Andric // Already handled. 10350b57cec5SDimitry Andric if (Visited.count(Var)) 10360b57cec5SDimitry Andric continue; 10370b57cec5SDimitry Andric 10380b57cec5SDimitry Andric // Add to Result if all dependencies are visited. 10390b57cec5SDimitry Andric if (visitedAllDependencies) { 10400b57cec5SDimitry Andric Visited.insert(Var); 10410b57cec5SDimitry Andric Result.push_back(Var); 10420b57cec5SDimitry Andric continue; 10430b57cec5SDimitry Andric } 10440b57cec5SDimitry Andric 10450b57cec5SDimitry Andric // Detect cycles. 10460b57cec5SDimitry Andric auto Res = Visiting.insert(Var); 10470b57cec5SDimitry Andric if (!Res.second) { 10480b57cec5SDimitry Andric assert(false && "dependency cycle in local variables"); 10490b57cec5SDimitry Andric return Result; 10500b57cec5SDimitry Andric } 10510b57cec5SDimitry Andric 10520b57cec5SDimitry Andric // Push dependencies and this node onto the worklist, so that this node is 10530b57cec5SDimitry Andric // visited again after all of its dependencies are handled. 10540b57cec5SDimitry Andric WorkList.push_back({Var, 1}); 1055fcaf7f86SDimitry Andric for (const auto *Dependency : dependencies(Var)) { 1056349cc55cSDimitry Andric // Don't add dependency if it is in a different lexical scope or a global. 1057349cc55cSDimitry Andric if (const auto *Dep = dyn_cast<const DILocalVariable>(Dependency)) 1058349cc55cSDimitry Andric if (DbgVariable *Var = DbgVar.lookup(Dep)) 1059349cc55cSDimitry Andric WorkList.push_back({Var, 0}); 10600b57cec5SDimitry Andric } 10610b57cec5SDimitry Andric } 10620b57cec5SDimitry Andric return Result; 10630b57cec5SDimitry Andric } 10640b57cec5SDimitry Andric 10650b57cec5SDimitry Andric DIE &DwarfCompileUnit::constructSubprogramScopeDIE(const DISubprogram *Sub, 10660b57cec5SDimitry Andric LexicalScope *Scope) { 10670b57cec5SDimitry Andric DIE &ScopeDIE = updateSubprogramScopeDIE(Sub); 1068bdd1243dSDimitry Andric auto *ContextCU = static_cast<DwarfCompileUnit *>(ScopeDIE.getUnit()); 10690b57cec5SDimitry Andric 10700b57cec5SDimitry Andric if (Scope) { 10710b57cec5SDimitry Andric assert(!Scope->getInlinedAt()); 10720b57cec5SDimitry Andric assert(!Scope->isAbstractScope()); 10730b57cec5SDimitry Andric // Collect lexical scope children first. 10740b57cec5SDimitry Andric // ObjectPointer might be a local (non-argument) local variable if it's a 10750b57cec5SDimitry Andric // block's synthetic this pointer. 1076bdd1243dSDimitry Andric if (DIE *ObjectPointer = 1077bdd1243dSDimitry Andric ContextCU->createAndAddScopeChildren(Scope, ScopeDIE)) 1078bdd1243dSDimitry Andric ContextCU->addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer, 1079bdd1243dSDimitry Andric *ObjectPointer); 10800b57cec5SDimitry Andric } 10810b57cec5SDimitry Andric 10820b57cec5SDimitry Andric // If this is a variadic function, add an unspecified parameter. 10830b57cec5SDimitry Andric DITypeRefArray FnArgs = Sub->getType()->getTypeArray(); 10840b57cec5SDimitry Andric 10850b57cec5SDimitry Andric // If we have a single element of null, it is a function that returns void. 10860b57cec5SDimitry Andric // If we have more than one elements and the last one is null, it is a 10870b57cec5SDimitry Andric // variadic function. 10880b57cec5SDimitry Andric if (FnArgs.size() > 1 && !FnArgs[FnArgs.size() - 1] && 10890b57cec5SDimitry Andric !includeMinimalInlineScopes()) 10900b57cec5SDimitry Andric ScopeDIE.addChild( 10910b57cec5SDimitry Andric DIE::get(DIEValueAllocator, dwarf::DW_TAG_unspecified_parameters)); 10920b57cec5SDimitry Andric 10930b57cec5SDimitry Andric return ScopeDIE; 10940b57cec5SDimitry Andric } 10950b57cec5SDimitry Andric 10960b57cec5SDimitry Andric DIE *DwarfCompileUnit::createAndAddScopeChildren(LexicalScope *Scope, 10970b57cec5SDimitry Andric DIE &ScopeDIE) { 10984824e7fdSDimitry Andric DIE *ObjectPointer = nullptr; 10990b57cec5SDimitry Andric 11004824e7fdSDimitry Andric // Emit function arguments (order is significant). 11014824e7fdSDimitry Andric auto Vars = DU->getScopeVariables().lookup(Scope); 11024824e7fdSDimitry Andric for (auto &DV : Vars.Args) 11034824e7fdSDimitry Andric ScopeDIE.addChild(constructVariableDIE(*DV.second, *Scope, ObjectPointer)); 11044824e7fdSDimitry Andric 11054824e7fdSDimitry Andric // Emit local variables. 11064824e7fdSDimitry Andric auto Locals = sortLocalVars(Vars.Locals); 11074824e7fdSDimitry Andric for (DbgVariable *DV : Locals) 11084824e7fdSDimitry Andric ScopeDIE.addChild(constructVariableDIE(*DV, *Scope, ObjectPointer)); 11094824e7fdSDimitry Andric 11104824e7fdSDimitry Andric // Emit labels. 11114824e7fdSDimitry Andric for (DbgLabel *DL : DU->getScopeLabels().lookup(Scope)) 11124824e7fdSDimitry Andric ScopeDIE.addChild(constructLabelDIE(*DL, *Scope)); 11134824e7fdSDimitry Andric 1114*06c3fb27SDimitry Andric // Track other local entities (skipped in gmlt-like data). 1115*06c3fb27SDimitry Andric // This creates mapping between CU and a set of local declarations that 1116*06c3fb27SDimitry Andric // should be emitted for subprograms in this CU. 1117*06c3fb27SDimitry Andric if (!includeMinimalInlineScopes() && !Scope->getInlinedAt()) { 1118*06c3fb27SDimitry Andric auto &LocalDecls = DD->getLocalDeclsForScope(Scope->getScopeNode()); 1119*06c3fb27SDimitry Andric DeferredLocalDecls.insert(LocalDecls.begin(), LocalDecls.end()); 1120*06c3fb27SDimitry Andric } 1121*06c3fb27SDimitry Andric 11224824e7fdSDimitry Andric // Emit inner lexical scopes. 1123*06c3fb27SDimitry Andric auto skipLexicalScope = [this](LexicalScope *S) -> bool { 1124*06c3fb27SDimitry Andric if (isa<DISubprogram>(S->getScopeNode())) 11254824e7fdSDimitry Andric return false; 1126*06c3fb27SDimitry Andric auto Vars = DU->getScopeVariables().lookup(S); 1127*06c3fb27SDimitry Andric if (!Vars.Args.empty() || !Vars.Locals.empty()) 1128*06c3fb27SDimitry Andric return false; 1129*06c3fb27SDimitry Andric return includeMinimalInlineScopes() || 1130*06c3fb27SDimitry Andric DD->getLocalDeclsForScope(S->getScopeNode()).empty(); 11314824e7fdSDimitry Andric }; 11324824e7fdSDimitry Andric for (LexicalScope *LS : Scope->getChildren()) { 11334824e7fdSDimitry Andric // If the lexical block doesn't have non-scope children, skip 11344824e7fdSDimitry Andric // its emission and put its children directly to the parent scope. 1135*06c3fb27SDimitry Andric if (skipLexicalScope(LS)) 11364824e7fdSDimitry Andric createAndAddScopeChildren(LS, ScopeDIE); 1137*06c3fb27SDimitry Andric else 1138*06c3fb27SDimitry Andric constructScopeDIE(LS, ScopeDIE); 11394824e7fdSDimitry Andric } 11400b57cec5SDimitry Andric 11410b57cec5SDimitry Andric return ObjectPointer; 11420b57cec5SDimitry Andric } 11430b57cec5SDimitry Andric 11440b57cec5SDimitry Andric void DwarfCompileUnit::constructAbstractSubprogramScopeDIE( 11450b57cec5SDimitry Andric LexicalScope *Scope) { 11460b57cec5SDimitry Andric auto *SP = cast<DISubprogram>(Scope->getScopeNode()); 1147*06c3fb27SDimitry Andric if (getAbstractScopeDIEs().count(SP)) 1148*06c3fb27SDimitry Andric return; 11490b57cec5SDimitry Andric 11500b57cec5SDimitry Andric DIE *ContextDIE; 11510b57cec5SDimitry Andric DwarfCompileUnit *ContextCU = this; 11520b57cec5SDimitry Andric 11530b57cec5SDimitry Andric if (includeMinimalInlineScopes()) 11540b57cec5SDimitry Andric ContextDIE = &getUnitDie(); 11550b57cec5SDimitry Andric // Some of this is duplicated from DwarfUnit::getOrCreateSubprogramDIE, with 11560b57cec5SDimitry Andric // the important distinction that the debug node is not associated with the 11570b57cec5SDimitry Andric // DIE (since the debug node will be associated with the concrete DIE, if 11580b57cec5SDimitry Andric // any). It could be refactored to some common utility function. 11590b57cec5SDimitry Andric else if (auto *SPDecl = SP->getDeclaration()) { 11600b57cec5SDimitry Andric ContextDIE = &getUnitDie(); 11610b57cec5SDimitry Andric getOrCreateSubprogramDIE(SPDecl); 11620b57cec5SDimitry Andric } else { 11630b57cec5SDimitry Andric ContextDIE = getOrCreateContextDIE(SP->getScope()); 11640b57cec5SDimitry Andric // The scope may be shared with a subprogram that has already been 11650b57cec5SDimitry Andric // constructed in another CU, in which case we need to construct this 11660b57cec5SDimitry Andric // subprogram in the same CU. 11670b57cec5SDimitry Andric ContextCU = DD->lookupCU(ContextDIE->getUnitDie()); 11680b57cec5SDimitry Andric } 11690b57cec5SDimitry Andric 11700b57cec5SDimitry Andric // Passing null as the associated node because the abstract definition 11710b57cec5SDimitry Andric // shouldn't be found by lookup. 1172*06c3fb27SDimitry Andric DIE &AbsDef = ContextCU->createAndAddDIE(dwarf::DW_TAG_subprogram, 1173*06c3fb27SDimitry Andric *ContextDIE, nullptr); 1174*06c3fb27SDimitry Andric 1175*06c3fb27SDimitry Andric // Store the DIE before creating children. 1176*06c3fb27SDimitry Andric ContextCU->getAbstractScopeDIEs()[SP] = &AbsDef; 1177*06c3fb27SDimitry Andric 1178*06c3fb27SDimitry Andric ContextCU->applySubprogramAttributesToDefinition(SP, AbsDef); 1179*06c3fb27SDimitry Andric ContextCU->addSInt(AbsDef, dwarf::DW_AT_inline, 1180bdd1243dSDimitry Andric DD->getDwarfVersion() <= 4 ? std::optional<dwarf::Form>() 1181349cc55cSDimitry Andric : dwarf::DW_FORM_implicit_const, 1182349cc55cSDimitry Andric dwarf::DW_INL_inlined); 1183*06c3fb27SDimitry Andric if (DIE *ObjectPointer = ContextCU->createAndAddScopeChildren(Scope, AbsDef)) 1184*06c3fb27SDimitry Andric ContextCU->addDIEEntry(AbsDef, dwarf::DW_AT_object_pointer, *ObjectPointer); 11850b57cec5SDimitry Andric } 11860b57cec5SDimitry Andric 11875ffd83dbSDimitry Andric bool DwarfCompileUnit::useGNUAnalogForDwarf5Feature() const { 1188e8d8bef9SDimitry Andric return DD->getDwarfVersion() == 4 && !DD->tuneForLLDB(); 11898bcb0991SDimitry Andric } 11908bcb0991SDimitry Andric 11918bcb0991SDimitry Andric dwarf::Tag DwarfCompileUnit::getDwarf5OrGNUTag(dwarf::Tag Tag) const { 11925ffd83dbSDimitry Andric if (!useGNUAnalogForDwarf5Feature()) 11938bcb0991SDimitry Andric return Tag; 11948bcb0991SDimitry Andric switch (Tag) { 11958bcb0991SDimitry Andric case dwarf::DW_TAG_call_site: 11968bcb0991SDimitry Andric return dwarf::DW_TAG_GNU_call_site; 11978bcb0991SDimitry Andric case dwarf::DW_TAG_call_site_parameter: 11988bcb0991SDimitry Andric return dwarf::DW_TAG_GNU_call_site_parameter; 11998bcb0991SDimitry Andric default: 12008bcb0991SDimitry Andric llvm_unreachable("DWARF5 tag with no GNU analog"); 12018bcb0991SDimitry Andric } 12028bcb0991SDimitry Andric } 12038bcb0991SDimitry Andric 12048bcb0991SDimitry Andric dwarf::Attribute 12058bcb0991SDimitry Andric DwarfCompileUnit::getDwarf5OrGNUAttr(dwarf::Attribute Attr) const { 12065ffd83dbSDimitry Andric if (!useGNUAnalogForDwarf5Feature()) 12078bcb0991SDimitry Andric return Attr; 12088bcb0991SDimitry Andric switch (Attr) { 12098bcb0991SDimitry Andric case dwarf::DW_AT_call_all_calls: 12108bcb0991SDimitry Andric return dwarf::DW_AT_GNU_all_call_sites; 12118bcb0991SDimitry Andric case dwarf::DW_AT_call_target: 12128bcb0991SDimitry Andric return dwarf::DW_AT_GNU_call_site_target; 12138bcb0991SDimitry Andric case dwarf::DW_AT_call_origin: 12148bcb0991SDimitry Andric return dwarf::DW_AT_abstract_origin; 12155ffd83dbSDimitry Andric case dwarf::DW_AT_call_return_pc: 12168bcb0991SDimitry Andric return dwarf::DW_AT_low_pc; 12178bcb0991SDimitry Andric case dwarf::DW_AT_call_value: 12188bcb0991SDimitry Andric return dwarf::DW_AT_GNU_call_site_value; 12198bcb0991SDimitry Andric case dwarf::DW_AT_call_tail_call: 12208bcb0991SDimitry Andric return dwarf::DW_AT_GNU_tail_call; 12218bcb0991SDimitry Andric default: 12228bcb0991SDimitry Andric llvm_unreachable("DWARF5 attribute with no GNU analog"); 12238bcb0991SDimitry Andric } 12248bcb0991SDimitry Andric } 12258bcb0991SDimitry Andric 12268bcb0991SDimitry Andric dwarf::LocationAtom 12278bcb0991SDimitry Andric DwarfCompileUnit::getDwarf5OrGNULocationAtom(dwarf::LocationAtom Loc) const { 12285ffd83dbSDimitry Andric if (!useGNUAnalogForDwarf5Feature()) 12298bcb0991SDimitry Andric return Loc; 12308bcb0991SDimitry Andric switch (Loc) { 12318bcb0991SDimitry Andric case dwarf::DW_OP_entry_value: 12328bcb0991SDimitry Andric return dwarf::DW_OP_GNU_entry_value; 12338bcb0991SDimitry Andric default: 12348bcb0991SDimitry Andric llvm_unreachable("DWARF5 location atom with no GNU analog"); 12358bcb0991SDimitry Andric } 12368bcb0991SDimitry Andric } 12378bcb0991SDimitry Andric 12385ffd83dbSDimitry Andric DIE &DwarfCompileUnit::constructCallSiteEntryDIE(DIE &ScopeDIE, 123969ade1e0SDimitry Andric const DISubprogram *CalleeSP, 12405ffd83dbSDimitry Andric bool IsTail, 12415ffd83dbSDimitry Andric const MCSymbol *PCAddr, 12425ffd83dbSDimitry Andric const MCSymbol *CallAddr, 12435ffd83dbSDimitry Andric unsigned CallReg) { 12440b57cec5SDimitry Andric // Insert a call site entry DIE within ScopeDIE. 12458bcb0991SDimitry Andric DIE &CallSiteDIE = createAndAddDIE(getDwarf5OrGNUTag(dwarf::DW_TAG_call_site), 12468bcb0991SDimitry Andric ScopeDIE, nullptr); 12470b57cec5SDimitry Andric 12488bcb0991SDimitry Andric if (CallReg) { 12498bcb0991SDimitry Andric // Indirect call. 12508bcb0991SDimitry Andric addAddress(CallSiteDIE, getDwarf5OrGNUAttr(dwarf::DW_AT_call_target), 12518bcb0991SDimitry Andric MachineLocation(CallReg)); 12520b57cec5SDimitry Andric } else { 125369ade1e0SDimitry Andric DIE *CalleeDIE = getOrCreateSubprogramDIE(CalleeSP); 125469ade1e0SDimitry Andric assert(CalleeDIE && "Could not create DIE for call site entry origin"); 12558bcb0991SDimitry Andric addDIEEntry(CallSiteDIE, getDwarf5OrGNUAttr(dwarf::DW_AT_call_origin), 12568bcb0991SDimitry Andric *CalleeDIE); 12578bcb0991SDimitry Andric } 12588bcb0991SDimitry Andric 12595ffd83dbSDimitry Andric if (IsTail) { 12608bcb0991SDimitry Andric // Attach DW_AT_call_tail_call to tail calls for standards compliance. 12618bcb0991SDimitry Andric addFlag(CallSiteDIE, getDwarf5OrGNUAttr(dwarf::DW_AT_call_tail_call)); 12628bcb0991SDimitry Andric 12635ffd83dbSDimitry Andric // Attach the address of the branch instruction to allow the debugger to 12645ffd83dbSDimitry Andric // show where the tail call occurred. This attribute has no GNU analog. 12655ffd83dbSDimitry Andric // 12665ffd83dbSDimitry Andric // GDB works backwards from non-standard usage of DW_AT_low_pc (in DWARF4 12675ffd83dbSDimitry Andric // mode -- equivalently, in DWARF5 mode, DW_AT_call_return_pc) at tail-call 12685ffd83dbSDimitry Andric // site entries to figure out the PC of tail-calling branch instructions. 12695ffd83dbSDimitry Andric // This means it doesn't need the compiler to emit DW_AT_call_pc, so we 12705ffd83dbSDimitry Andric // don't emit it here. 12715ffd83dbSDimitry Andric // 12725ffd83dbSDimitry Andric // There's no need to tie non-GDB debuggers to this non-standardness, as it 12735ffd83dbSDimitry Andric // adds unnecessary complexity to the debugger. For non-GDB debuggers, emit 12745ffd83dbSDimitry Andric // the standard DW_AT_call_pc info. 12755ffd83dbSDimitry Andric if (!useGNUAnalogForDwarf5Feature()) 12765ffd83dbSDimitry Andric addLabelAddress(CallSiteDIE, dwarf::DW_AT_call_pc, CallAddr); 12775ffd83dbSDimitry Andric } 12785ffd83dbSDimitry Andric 12790b57cec5SDimitry Andric // Attach the return PC to allow the debugger to disambiguate call paths 12800b57cec5SDimitry Andric // from one function to another. 12815ffd83dbSDimitry Andric // 12825ffd83dbSDimitry Andric // The return PC is only really needed when the call /isn't/ a tail call, but 12835ffd83dbSDimitry Andric // GDB expects it in DWARF4 mode, even for tail calls (see the comment above 12845ffd83dbSDimitry Andric // the DW_AT_call_pc emission logic for an explanation). 12855ffd83dbSDimitry Andric if (!IsTail || useGNUAnalogForDwarf5Feature()) { 12865ffd83dbSDimitry Andric assert(PCAddr && "Missing return PC information for a call"); 12875ffd83dbSDimitry Andric addLabelAddress(CallSiteDIE, 12885ffd83dbSDimitry Andric getDwarf5OrGNUAttr(dwarf::DW_AT_call_return_pc), PCAddr); 12890b57cec5SDimitry Andric } 12908bcb0991SDimitry Andric 12910b57cec5SDimitry Andric return CallSiteDIE; 12920b57cec5SDimitry Andric } 12930b57cec5SDimitry Andric 12948bcb0991SDimitry Andric void DwarfCompileUnit::constructCallSiteParmEntryDIEs( 12958bcb0991SDimitry Andric DIE &CallSiteDIE, SmallVector<DbgCallSiteParam, 4> &Params) { 12968bcb0991SDimitry Andric for (const auto &Param : Params) { 12978bcb0991SDimitry Andric unsigned Register = Param.getRegister(); 12988bcb0991SDimitry Andric auto CallSiteDieParam = 12998bcb0991SDimitry Andric DIE::get(DIEValueAllocator, 13008bcb0991SDimitry Andric getDwarf5OrGNUTag(dwarf::DW_TAG_call_site_parameter)); 13018bcb0991SDimitry Andric insertDIE(CallSiteDieParam); 13028bcb0991SDimitry Andric addAddress(*CallSiteDieParam, dwarf::DW_AT_location, 13038bcb0991SDimitry Andric MachineLocation(Register)); 13048bcb0991SDimitry Andric 13058bcb0991SDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 13068bcb0991SDimitry Andric DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 13078bcb0991SDimitry Andric DwarfExpr.setCallSiteParamValueFlag(); 13088bcb0991SDimitry Andric 13098bcb0991SDimitry Andric DwarfDebug::emitDebugLocValue(*Asm, nullptr, Param.getValue(), DwarfExpr); 13108bcb0991SDimitry Andric 13118bcb0991SDimitry Andric addBlock(*CallSiteDieParam, getDwarf5OrGNUAttr(dwarf::DW_AT_call_value), 13128bcb0991SDimitry Andric DwarfExpr.finalize()); 13138bcb0991SDimitry Andric 13148bcb0991SDimitry Andric CallSiteDIE.addChild(CallSiteDieParam); 13158bcb0991SDimitry Andric } 13168bcb0991SDimitry Andric } 13178bcb0991SDimitry Andric 13180b57cec5SDimitry Andric DIE *DwarfCompileUnit::constructImportedEntityDIE( 13190b57cec5SDimitry Andric const DIImportedEntity *Module) { 13200b57cec5SDimitry Andric DIE *IMDie = DIE::get(DIEValueAllocator, (dwarf::Tag)Module->getTag()); 13210b57cec5SDimitry Andric insertDIE(Module, IMDie); 13220b57cec5SDimitry Andric DIE *EntityDie; 13230b57cec5SDimitry Andric auto *Entity = Module->getEntity(); 13240b57cec5SDimitry Andric if (auto *NS = dyn_cast<DINamespace>(Entity)) 13250b57cec5SDimitry Andric EntityDie = getOrCreateNameSpace(NS); 13260b57cec5SDimitry Andric else if (auto *M = dyn_cast<DIModule>(Entity)) 13270b57cec5SDimitry Andric EntityDie = getOrCreateModule(M); 1328*06c3fb27SDimitry Andric else if (auto *SP = dyn_cast<DISubprogram>(Entity)) { 1329*06c3fb27SDimitry Andric // If there is an abstract subprogram, refer to it. Note that this assumes 1330*06c3fb27SDimitry Andric // that all the abstract subprograms have been already created (which is 1331*06c3fb27SDimitry Andric // correct until imported entities get emitted in DwarfDebug::endModule()). 1332*06c3fb27SDimitry Andric if (auto *AbsSPDie = getAbstractScopeDIEs().lookup(SP)) 1333*06c3fb27SDimitry Andric EntityDie = AbsSPDie; 1334*06c3fb27SDimitry Andric else 13350b57cec5SDimitry Andric EntityDie = getOrCreateSubprogramDIE(SP); 1336*06c3fb27SDimitry Andric } else if (auto *T = dyn_cast<DIType>(Entity)) 13370b57cec5SDimitry Andric EntityDie = getOrCreateTypeDIE(T); 13380b57cec5SDimitry Andric else if (auto *GV = dyn_cast<DIGlobalVariable>(Entity)) 13390b57cec5SDimitry Andric EntityDie = getOrCreateGlobalVariableDIE(GV, {}); 1340*06c3fb27SDimitry Andric else if (auto *IE = dyn_cast<DIImportedEntity>(Entity)) 1341*06c3fb27SDimitry Andric EntityDie = getOrCreateImportedEntityDIE(IE); 13420b57cec5SDimitry Andric else 13430b57cec5SDimitry Andric EntityDie = getDIE(Entity); 13440b57cec5SDimitry Andric assert(EntityDie); 13450b57cec5SDimitry Andric addSourceLine(*IMDie, Module->getLine(), Module->getFile()); 13460b57cec5SDimitry Andric addDIEEntry(*IMDie, dwarf::DW_AT_import, *EntityDie); 13470b57cec5SDimitry Andric StringRef Name = Module->getName(); 1348*06c3fb27SDimitry Andric if (!Name.empty()) { 13490b57cec5SDimitry Andric addString(*IMDie, dwarf::DW_AT_name, Name); 13500b57cec5SDimitry Andric 1351*06c3fb27SDimitry Andric // FIXME: if consumers ever start caring about handling 1352*06c3fb27SDimitry Andric // unnamed import declarations such as `using ::nullptr_t` 1353*06c3fb27SDimitry Andric // or `using namespace std::ranges`, we could add the 1354*06c3fb27SDimitry Andric // import declaration into the accelerator table with the 1355*06c3fb27SDimitry Andric // name being the one of the entity being imported. 1356*06c3fb27SDimitry Andric DD->addAccelNamespace(*CUNode, Name, *IMDie); 1357*06c3fb27SDimitry Andric } 1358*06c3fb27SDimitry Andric 1359349cc55cSDimitry Andric // This is for imported module with renamed entities (such as variables and 1360349cc55cSDimitry Andric // subprograms). 1361349cc55cSDimitry Andric DINodeArray Elements = Module->getElements(); 1362349cc55cSDimitry Andric for (const auto *Element : Elements) { 1363349cc55cSDimitry Andric if (!Element) 1364349cc55cSDimitry Andric continue; 1365349cc55cSDimitry Andric IMDie->addChild( 1366349cc55cSDimitry Andric constructImportedEntityDIE(cast<DIImportedEntity>(Element))); 1367349cc55cSDimitry Andric } 1368349cc55cSDimitry Andric 13690b57cec5SDimitry Andric return IMDie; 13700b57cec5SDimitry Andric } 13710b57cec5SDimitry Andric 1372*06c3fb27SDimitry Andric DIE *DwarfCompileUnit::getOrCreateImportedEntityDIE( 1373*06c3fb27SDimitry Andric const DIImportedEntity *IE) { 1374*06c3fb27SDimitry Andric 1375*06c3fb27SDimitry Andric // Check for pre-existence. 1376*06c3fb27SDimitry Andric if (DIE *Die = getDIE(IE)) 1377*06c3fb27SDimitry Andric return Die; 1378*06c3fb27SDimitry Andric 1379*06c3fb27SDimitry Andric DIE *ContextDIE = getOrCreateContextDIE(IE->getScope()); 1380*06c3fb27SDimitry Andric assert(ContextDIE && "Empty scope for the imported entity!"); 1381*06c3fb27SDimitry Andric 1382*06c3fb27SDimitry Andric DIE *IMDie = constructImportedEntityDIE(IE); 1383*06c3fb27SDimitry Andric ContextDIE->addChild(IMDie); 1384*06c3fb27SDimitry Andric return IMDie; 1385*06c3fb27SDimitry Andric } 1386*06c3fb27SDimitry Andric 13870b57cec5SDimitry Andric void DwarfCompileUnit::finishSubprogramDefinition(const DISubprogram *SP) { 13880b57cec5SDimitry Andric DIE *D = getDIE(SP); 1389*06c3fb27SDimitry Andric if (DIE *AbsSPDIE = getAbstractScopeDIEs().lookup(SP)) { 13900b57cec5SDimitry Andric if (D) 13910b57cec5SDimitry Andric // If this subprogram has an abstract definition, reference that 13920b57cec5SDimitry Andric addDIEEntry(*D, dwarf::DW_AT_abstract_origin, *AbsSPDIE); 13930b57cec5SDimitry Andric } else { 13940b57cec5SDimitry Andric assert(D || includeMinimalInlineScopes()); 13950b57cec5SDimitry Andric if (D) 13960b57cec5SDimitry Andric // And attach the attributes 13970b57cec5SDimitry Andric applySubprogramAttributesToDefinition(SP, *D); 13980b57cec5SDimitry Andric } 13990b57cec5SDimitry Andric } 14000b57cec5SDimitry Andric 14010b57cec5SDimitry Andric void DwarfCompileUnit::finishEntityDefinition(const DbgEntity *Entity) { 14020b57cec5SDimitry Andric DbgEntity *AbsEntity = getExistingAbstractEntity(Entity->getEntity()); 14030b57cec5SDimitry Andric 14040b57cec5SDimitry Andric auto *Die = Entity->getDIE(); 14050b57cec5SDimitry Andric /// Label may be used to generate DW_AT_low_pc, so put it outside 14060b57cec5SDimitry Andric /// if/else block. 14070b57cec5SDimitry Andric const DbgLabel *Label = nullptr; 14080b57cec5SDimitry Andric if (AbsEntity && AbsEntity->getDIE()) { 14090b57cec5SDimitry Andric addDIEEntry(*Die, dwarf::DW_AT_abstract_origin, *AbsEntity->getDIE()); 14100b57cec5SDimitry Andric Label = dyn_cast<const DbgLabel>(Entity); 14110b57cec5SDimitry Andric } else { 14120b57cec5SDimitry Andric if (const DbgVariable *Var = dyn_cast<const DbgVariable>(Entity)) 14130b57cec5SDimitry Andric applyVariableAttributes(*Var, *Die); 14140b57cec5SDimitry Andric else if ((Label = dyn_cast<const DbgLabel>(Entity))) 14150b57cec5SDimitry Andric applyLabelAttributes(*Label, *Die); 14160b57cec5SDimitry Andric else 14170b57cec5SDimitry Andric llvm_unreachable("DbgEntity must be DbgVariable or DbgLabel."); 14180b57cec5SDimitry Andric } 14190b57cec5SDimitry Andric 14200b57cec5SDimitry Andric if (Label) 14210b57cec5SDimitry Andric if (const auto *Sym = Label->getSymbol()) 14220b57cec5SDimitry Andric addLabelAddress(*Die, dwarf::DW_AT_low_pc, Sym); 14230b57cec5SDimitry Andric } 14240b57cec5SDimitry Andric 14250b57cec5SDimitry Andric DbgEntity *DwarfCompileUnit::getExistingAbstractEntity(const DINode *Node) { 14260b57cec5SDimitry Andric auto &AbstractEntities = getAbstractEntities(); 14270b57cec5SDimitry Andric auto I = AbstractEntities.find(Node); 14280b57cec5SDimitry Andric if (I != AbstractEntities.end()) 14290b57cec5SDimitry Andric return I->second.get(); 14300b57cec5SDimitry Andric return nullptr; 14310b57cec5SDimitry Andric } 14320b57cec5SDimitry Andric 14330b57cec5SDimitry Andric void DwarfCompileUnit::createAbstractEntity(const DINode *Node, 14340b57cec5SDimitry Andric LexicalScope *Scope) { 14350b57cec5SDimitry Andric assert(Scope && Scope->isAbstractScope()); 14360b57cec5SDimitry Andric auto &Entity = getAbstractEntities()[Node]; 14370b57cec5SDimitry Andric if (isa<const DILocalVariable>(Node)) { 1438*06c3fb27SDimitry Andric Entity = std::make_unique<DbgVariable>(cast<const DILocalVariable>(Node), 1439*06c3fb27SDimitry Andric nullptr /* IA */); 14400b57cec5SDimitry Andric DU->addScopeVariable(Scope, cast<DbgVariable>(Entity.get())); 14410b57cec5SDimitry Andric } else if (isa<const DILabel>(Node)) { 14428bcb0991SDimitry Andric Entity = std::make_unique<DbgLabel>( 14430b57cec5SDimitry Andric cast<const DILabel>(Node), nullptr /* IA */); 14440b57cec5SDimitry Andric DU->addScopeLabel(Scope, cast<DbgLabel>(Entity.get())); 14450b57cec5SDimitry Andric } 14460b57cec5SDimitry Andric } 14470b57cec5SDimitry Andric 14480b57cec5SDimitry Andric void DwarfCompileUnit::emitHeader(bool UseOffsets) { 14490b57cec5SDimitry Andric // Don't bother labeling the .dwo unit, as its offset isn't used. 14500b57cec5SDimitry Andric if (!Skeleton && !DD->useSectionsAsReferences()) { 14510b57cec5SDimitry Andric LabelBegin = Asm->createTempSymbol("cu_begin"); 14525ffd83dbSDimitry Andric Asm->OutStreamer->emitLabel(LabelBegin); 14530b57cec5SDimitry Andric } 14540b57cec5SDimitry Andric 14550b57cec5SDimitry Andric dwarf::UnitType UT = Skeleton ? dwarf::DW_UT_split_compile 14560b57cec5SDimitry Andric : DD->useSplitDwarf() ? dwarf::DW_UT_skeleton 14570b57cec5SDimitry Andric : dwarf::DW_UT_compile; 14580b57cec5SDimitry Andric DwarfUnit::emitCommonHeader(UseOffsets, UT); 14590b57cec5SDimitry Andric if (DD->getDwarfVersion() >= 5 && UT != dwarf::DW_UT_compile) 14600b57cec5SDimitry Andric Asm->emitInt64(getDWOId()); 14610b57cec5SDimitry Andric } 14620b57cec5SDimitry Andric 14630b57cec5SDimitry Andric bool DwarfCompileUnit::hasDwarfPubSections() const { 14640b57cec5SDimitry Andric switch (CUNode->getNameTableKind()) { 14650b57cec5SDimitry Andric case DICompileUnit::DebugNameTableKind::None: 14660b57cec5SDimitry Andric return false; 14670b57cec5SDimitry Andric // Opting in to GNU Pubnames/types overrides the default to ensure these are 14680b57cec5SDimitry Andric // generated for things like Gold's gdb_index generation. 14690b57cec5SDimitry Andric case DICompileUnit::DebugNameTableKind::GNU: 14700b57cec5SDimitry Andric return true; 1471*06c3fb27SDimitry Andric case DICompileUnit::DebugNameTableKind::Apple: 1472*06c3fb27SDimitry Andric return false; 14730b57cec5SDimitry Andric case DICompileUnit::DebugNameTableKind::Default: 14740b57cec5SDimitry Andric return DD->tuneForGDB() && !includeMinimalInlineScopes() && 14750b57cec5SDimitry Andric !CUNode->isDebugDirectivesOnly() && 14760b57cec5SDimitry Andric DD->getAccelTableKind() != AccelTableKind::Apple && 14770b57cec5SDimitry Andric DD->getDwarfVersion() < 5; 14780b57cec5SDimitry Andric } 14790b57cec5SDimitry Andric llvm_unreachable("Unhandled DICompileUnit::DebugNameTableKind enum"); 14800b57cec5SDimitry Andric } 14810b57cec5SDimitry Andric 14820b57cec5SDimitry Andric /// addGlobalName - Add a new global name to the compile unit. 14830b57cec5SDimitry Andric void DwarfCompileUnit::addGlobalName(StringRef Name, const DIE &Die, 14840b57cec5SDimitry Andric const DIScope *Context) { 14850b57cec5SDimitry Andric if (!hasDwarfPubSections()) 14860b57cec5SDimitry Andric return; 14870b57cec5SDimitry Andric std::string FullName = getParentContextString(Context) + Name.str(); 14880b57cec5SDimitry Andric GlobalNames[FullName] = &Die; 14890b57cec5SDimitry Andric } 14900b57cec5SDimitry Andric 14910b57cec5SDimitry Andric void DwarfCompileUnit::addGlobalNameForTypeUnit(StringRef Name, 14920b57cec5SDimitry Andric const DIScope *Context) { 14930b57cec5SDimitry Andric if (!hasDwarfPubSections()) 14940b57cec5SDimitry Andric return; 14950b57cec5SDimitry Andric std::string FullName = getParentContextString(Context) + Name.str(); 14960b57cec5SDimitry Andric // Insert, allowing the entry to remain as-is if it's already present 14970b57cec5SDimitry Andric // This way the CU-level type DIE is preferred over the "can't describe this 14980b57cec5SDimitry Andric // type as a unit offset because it's not really in the CU at all, it's only 14990b57cec5SDimitry Andric // in a type unit" 15000b57cec5SDimitry Andric GlobalNames.insert(std::make_pair(std::move(FullName), &getUnitDie())); 15010b57cec5SDimitry Andric } 15020b57cec5SDimitry Andric 15030b57cec5SDimitry Andric /// Add a new global type to the unit. 15040b57cec5SDimitry Andric void DwarfCompileUnit::addGlobalType(const DIType *Ty, const DIE &Die, 15050b57cec5SDimitry Andric const DIScope *Context) { 15060b57cec5SDimitry Andric if (!hasDwarfPubSections()) 15070b57cec5SDimitry Andric return; 15080b57cec5SDimitry Andric std::string FullName = getParentContextString(Context) + Ty->getName().str(); 15090b57cec5SDimitry Andric GlobalTypes[FullName] = &Die; 15100b57cec5SDimitry Andric } 15110b57cec5SDimitry Andric 15120b57cec5SDimitry Andric void DwarfCompileUnit::addGlobalTypeUnitType(const DIType *Ty, 15130b57cec5SDimitry Andric const DIScope *Context) { 15140b57cec5SDimitry Andric if (!hasDwarfPubSections()) 15150b57cec5SDimitry Andric return; 15160b57cec5SDimitry Andric std::string FullName = getParentContextString(Context) + Ty->getName().str(); 15170b57cec5SDimitry Andric // Insert, allowing the entry to remain as-is if it's already present 15180b57cec5SDimitry Andric // This way the CU-level type DIE is preferred over the "can't describe this 15190b57cec5SDimitry Andric // type as a unit offset because it's not really in the CU at all, it's only 15200b57cec5SDimitry Andric // in a type unit" 15210b57cec5SDimitry Andric GlobalTypes.insert(std::make_pair(std::move(FullName), &getUnitDie())); 15220b57cec5SDimitry Andric } 15230b57cec5SDimitry Andric 15240b57cec5SDimitry Andric void DwarfCompileUnit::addVariableAddress(const DbgVariable &DV, DIE &Die, 15250b57cec5SDimitry Andric MachineLocation Location) { 15260b57cec5SDimitry Andric if (DV.hasComplexAddress()) 15270b57cec5SDimitry Andric addComplexAddress(DV, Die, dwarf::DW_AT_location, Location); 15280b57cec5SDimitry Andric else 15290b57cec5SDimitry Andric addAddress(Die, dwarf::DW_AT_location, Location); 15300b57cec5SDimitry Andric } 15310b57cec5SDimitry Andric 15320b57cec5SDimitry Andric /// Add an address attribute to a die based on the location provided. 15330b57cec5SDimitry Andric void DwarfCompileUnit::addAddress(DIE &Die, dwarf::Attribute Attribute, 15340b57cec5SDimitry Andric const MachineLocation &Location) { 15350b57cec5SDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 15360b57cec5SDimitry Andric DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 15370b57cec5SDimitry Andric if (Location.isIndirect()) 15380b57cec5SDimitry Andric DwarfExpr.setMemoryLocationKind(); 15390b57cec5SDimitry Andric 15400b57cec5SDimitry Andric DIExpressionCursor Cursor({}); 15410b57cec5SDimitry Andric const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo(); 15420b57cec5SDimitry Andric if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg())) 15430b57cec5SDimitry Andric return; 15440b57cec5SDimitry Andric DwarfExpr.addExpression(std::move(Cursor)); 15450b57cec5SDimitry Andric 15460b57cec5SDimitry Andric // Now attach the location information to the DIE. 15470b57cec5SDimitry Andric addBlock(Die, Attribute, DwarfExpr.finalize()); 1548480093f4SDimitry Andric 1549480093f4SDimitry Andric if (DwarfExpr.TagOffset) 1550480093f4SDimitry Andric addUInt(Die, dwarf::DW_AT_LLVM_tag_offset, dwarf::DW_FORM_data1, 1551480093f4SDimitry Andric *DwarfExpr.TagOffset); 15520b57cec5SDimitry Andric } 15530b57cec5SDimitry Andric 15540b57cec5SDimitry Andric /// Start with the address based on the location provided, and generate the 15550b57cec5SDimitry Andric /// DWARF information necessary to find the actual variable given the extra 15560b57cec5SDimitry Andric /// address information encoded in the DbgVariable, starting from the starting 15570b57cec5SDimitry Andric /// location. Add the DWARF information to the die. 15580b57cec5SDimitry Andric void DwarfCompileUnit::addComplexAddress(const DbgVariable &DV, DIE &Die, 15590b57cec5SDimitry Andric dwarf::Attribute Attribute, 15600b57cec5SDimitry Andric const MachineLocation &Location) { 15610b57cec5SDimitry Andric DIELoc *Loc = new (DIEValueAllocator) DIELoc; 15620b57cec5SDimitry Andric DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 15630b57cec5SDimitry Andric const DIExpression *DIExpr = DV.getSingleExpression(); 15640b57cec5SDimitry Andric DwarfExpr.addFragmentOffset(DIExpr); 15655ffd83dbSDimitry Andric DwarfExpr.setLocation(Location, DIExpr); 15660b57cec5SDimitry Andric 15670b57cec5SDimitry Andric DIExpressionCursor Cursor(DIExpr); 15680b57cec5SDimitry Andric 15695ffd83dbSDimitry Andric if (DIExpr->isEntryValue()) 15708bcb0991SDimitry Andric DwarfExpr.beginEntryValueExpression(Cursor); 15710b57cec5SDimitry Andric 15720b57cec5SDimitry Andric const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo(); 15730b57cec5SDimitry Andric if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg())) 15740b57cec5SDimitry Andric return; 15750b57cec5SDimitry Andric DwarfExpr.addExpression(std::move(Cursor)); 15760b57cec5SDimitry Andric 15770b57cec5SDimitry Andric // Now attach the location information to the DIE. 15780b57cec5SDimitry Andric addBlock(Die, Attribute, DwarfExpr.finalize()); 1579480093f4SDimitry Andric 1580480093f4SDimitry Andric if (DwarfExpr.TagOffset) 1581480093f4SDimitry Andric addUInt(Die, dwarf::DW_AT_LLVM_tag_offset, dwarf::DW_FORM_data1, 1582480093f4SDimitry Andric *DwarfExpr.TagOffset); 15830b57cec5SDimitry Andric } 15840b57cec5SDimitry Andric 15850b57cec5SDimitry Andric /// Add a Dwarf loclistptr attribute data and value. 15860b57cec5SDimitry Andric void DwarfCompileUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute, 15870b57cec5SDimitry Andric unsigned Index) { 1588e8d8bef9SDimitry Andric dwarf::Form Form = (DD->getDwarfVersion() >= 5) 1589e8d8bef9SDimitry Andric ? dwarf::DW_FORM_loclistx 1590e8d8bef9SDimitry Andric : DD->getDwarfSectionOffsetForm(); 1591fe6060f1SDimitry Andric addAttribute(Die, Attribute, Form, DIELocList(Index)); 15920b57cec5SDimitry Andric } 15930b57cec5SDimitry Andric 15940b57cec5SDimitry Andric void DwarfCompileUnit::applyVariableAttributes(const DbgVariable &Var, 15950b57cec5SDimitry Andric DIE &VariableDie) { 15960b57cec5SDimitry Andric StringRef Name = Var.getName(); 15970b57cec5SDimitry Andric if (!Name.empty()) 15980b57cec5SDimitry Andric addString(VariableDie, dwarf::DW_AT_name, Name); 15990b57cec5SDimitry Andric const auto *DIVar = Var.getVariable(); 1600349cc55cSDimitry Andric if (DIVar) { 16010b57cec5SDimitry Andric if (uint32_t AlignInBytes = DIVar->getAlignInBytes()) 16020b57cec5SDimitry Andric addUInt(VariableDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata, 16030b57cec5SDimitry Andric AlignInBytes); 1604349cc55cSDimitry Andric addAnnotation(VariableDie, DIVar->getAnnotations()); 1605349cc55cSDimitry Andric } 16060b57cec5SDimitry Andric 16070b57cec5SDimitry Andric addSourceLine(VariableDie, DIVar); 16080b57cec5SDimitry Andric addType(VariableDie, Var.getType()); 16090b57cec5SDimitry Andric if (Var.isArtificial()) 16100b57cec5SDimitry Andric addFlag(VariableDie, dwarf::DW_AT_artificial); 16110b57cec5SDimitry Andric } 16120b57cec5SDimitry Andric 16130b57cec5SDimitry Andric void DwarfCompileUnit::applyLabelAttributes(const DbgLabel &Label, 16140b57cec5SDimitry Andric DIE &LabelDie) { 16150b57cec5SDimitry Andric StringRef Name = Label.getName(); 16160b57cec5SDimitry Andric if (!Name.empty()) 16170b57cec5SDimitry Andric addString(LabelDie, dwarf::DW_AT_name, Name); 16180b57cec5SDimitry Andric const auto *DILabel = Label.getLabel(); 16190b57cec5SDimitry Andric addSourceLine(LabelDie, DILabel); 16200b57cec5SDimitry Andric } 16210b57cec5SDimitry Andric 16220b57cec5SDimitry Andric /// Add a Dwarf expression attribute data and value. 16230b57cec5SDimitry Andric void DwarfCompileUnit::addExpr(DIELoc &Die, dwarf::Form Form, 16240b57cec5SDimitry Andric const MCExpr *Expr) { 1625fe6060f1SDimitry Andric addAttribute(Die, (dwarf::Attribute)0, Form, DIEExpr(Expr)); 16260b57cec5SDimitry Andric } 16270b57cec5SDimitry Andric 16280b57cec5SDimitry Andric void DwarfCompileUnit::applySubprogramAttributesToDefinition( 16290b57cec5SDimitry Andric const DISubprogram *SP, DIE &SPDie) { 16300b57cec5SDimitry Andric auto *SPDecl = SP->getDeclaration(); 16310b57cec5SDimitry Andric auto *Context = SPDecl ? SPDecl->getScope() : SP->getScope(); 16320b57cec5SDimitry Andric applySubprogramAttributes(SP, SPDie, includeMinimalInlineScopes()); 16330b57cec5SDimitry Andric addGlobalName(SP->getName(), SPDie, Context); 16340b57cec5SDimitry Andric } 16350b57cec5SDimitry Andric 16360b57cec5SDimitry Andric bool DwarfCompileUnit::isDwoUnit() const { 16370b57cec5SDimitry Andric return DD->useSplitDwarf() && Skeleton; 16380b57cec5SDimitry Andric } 16390b57cec5SDimitry Andric 16400b57cec5SDimitry Andric void DwarfCompileUnit::finishNonUnitTypeDIE(DIE& D, const DICompositeType *CTy) { 16410b57cec5SDimitry Andric constructTypeDIE(D, CTy); 16420b57cec5SDimitry Andric } 16430b57cec5SDimitry Andric 16440b57cec5SDimitry Andric bool DwarfCompileUnit::includeMinimalInlineScopes() const { 16450b57cec5SDimitry Andric return getCUNode()->getEmissionKind() == DICompileUnit::LineTablesOnly || 16460b57cec5SDimitry Andric (DD->useSplitDwarf() && !Skeleton); 16470b57cec5SDimitry Andric } 16480b57cec5SDimitry Andric 16490b57cec5SDimitry Andric void DwarfCompileUnit::addAddrTableBase() { 16500b57cec5SDimitry Andric const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 16510b57cec5SDimitry Andric MCSymbol *Label = DD->getAddressPool().getLabel(); 16520b57cec5SDimitry Andric addSectionLabel(getUnitDie(), 1653e8d8bef9SDimitry Andric DD->getDwarfVersion() >= 5 ? dwarf::DW_AT_addr_base 16540b57cec5SDimitry Andric : dwarf::DW_AT_GNU_addr_base, 16550b57cec5SDimitry Andric Label, TLOF.getDwarfAddrSection()->getBeginSymbol()); 16560b57cec5SDimitry Andric } 16570b57cec5SDimitry Andric 16580b57cec5SDimitry Andric void DwarfCompileUnit::addBaseTypeRef(DIEValueList &Die, int64_t Idx) { 1659fe6060f1SDimitry Andric addAttribute(Die, (dwarf::Attribute)0, dwarf::DW_FORM_udata, 16600b57cec5SDimitry Andric new (DIEValueAllocator) DIEBaseTypeRef(this, Idx)); 16610b57cec5SDimitry Andric } 16620b57cec5SDimitry Andric 16630b57cec5SDimitry Andric void DwarfCompileUnit::createBaseTypeDIEs() { 16640b57cec5SDimitry Andric // Insert the base_type DIEs directly after the CU so that their offsets will 16650b57cec5SDimitry Andric // fit in the fixed size ULEB128 used inside the location expressions. 16660b57cec5SDimitry Andric // Maintain order by iterating backwards and inserting to the front of CU 16670b57cec5SDimitry Andric // child list. 16680b57cec5SDimitry Andric for (auto &Btr : reverse(ExprRefedBaseTypes)) { 16690b57cec5SDimitry Andric DIE &Die = getUnitDie().addChildFront( 16700b57cec5SDimitry Andric DIE::get(DIEValueAllocator, dwarf::DW_TAG_base_type)); 16710b57cec5SDimitry Andric SmallString<32> Str; 16720b57cec5SDimitry Andric addString(Die, dwarf::DW_AT_name, 16730b57cec5SDimitry Andric Twine(dwarf::AttributeEncodingString(Btr.Encoding) + 16740b57cec5SDimitry Andric "_" + Twine(Btr.BitSize)).toStringRef(Str)); 16750b57cec5SDimitry Andric addUInt(Die, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1, Btr.Encoding); 167604eeddc0SDimitry Andric // Round up to smallest number of bytes that contains this number of bits. 1677bdd1243dSDimitry Andric addUInt(Die, dwarf::DW_AT_byte_size, std::nullopt, 1678bdd1243dSDimitry Andric divideCeil(Btr.BitSize, 8)); 16790b57cec5SDimitry Andric 16800b57cec5SDimitry Andric Btr.Die = &Die; 16810b57cec5SDimitry Andric } 16820b57cec5SDimitry Andric } 1683*06c3fb27SDimitry Andric 1684*06c3fb27SDimitry Andric DIE *DwarfCompileUnit::getLexicalBlockDIE(const DILexicalBlock *LB) { 1685*06c3fb27SDimitry Andric // Assume if there is an abstract tree all the DIEs are already emitted. 1686*06c3fb27SDimitry Andric bool isAbstract = getAbstractScopeDIEs().count(LB->getSubprogram()); 1687*06c3fb27SDimitry Andric if (isAbstract && getAbstractScopeDIEs().count(LB)) 1688*06c3fb27SDimitry Andric return getAbstractScopeDIEs()[LB]; 1689*06c3fb27SDimitry Andric assert(!isAbstract && "Missed lexical block DIE in abstract tree!"); 1690*06c3fb27SDimitry Andric 1691*06c3fb27SDimitry Andric // Return a concrete DIE if it exists or nullptr otherwise. 1692*06c3fb27SDimitry Andric return LexicalBlockDIEs.lookup(LB); 1693*06c3fb27SDimitry Andric } 1694*06c3fb27SDimitry Andric 1695*06c3fb27SDimitry Andric DIE *DwarfCompileUnit::getOrCreateContextDIE(const DIScope *Context) { 1696*06c3fb27SDimitry Andric if (isa_and_nonnull<DILocalScope>(Context)) { 1697*06c3fb27SDimitry Andric if (auto *LFScope = dyn_cast<DILexicalBlockFile>(Context)) 1698*06c3fb27SDimitry Andric Context = LFScope->getNonLexicalBlockFileScope(); 1699*06c3fb27SDimitry Andric if (auto *LScope = dyn_cast<DILexicalBlock>(Context)) 1700*06c3fb27SDimitry Andric return getLexicalBlockDIE(LScope); 1701*06c3fb27SDimitry Andric 1702*06c3fb27SDimitry Andric // Otherwise the context must be a DISubprogram. 1703*06c3fb27SDimitry Andric auto *SPScope = cast<DISubprogram>(Context); 1704*06c3fb27SDimitry Andric if (getAbstractScopeDIEs().count(SPScope)) 1705*06c3fb27SDimitry Andric return getAbstractScopeDIEs()[SPScope]; 1706*06c3fb27SDimitry Andric } 1707*06c3fb27SDimitry Andric return DwarfUnit::getOrCreateContextDIE(Context); 1708*06c3fb27SDimitry Andric } 1709