1 //===- llvm/CodeGen/DwarfCompileUnit.cpp - Dwarf Compile Units ------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // This file contains support for constructing a dwarf compile unit. 10 // 11 //===----------------------------------------------------------------------===// 12 13 #include "DwarfCompileUnit.h" 14 #include "AddressPool.h" 15 #include "DwarfDebug.h" 16 #include "DwarfExpression.h" 17 #include "DwarfUnit.h" 18 #include "llvm/ADT/None.h" 19 #include "llvm/ADT/STLExtras.h" 20 #include "llvm/ADT/SmallString.h" 21 #include "llvm/ADT/SmallVector.h" 22 #include "llvm/ADT/StringRef.h" 23 #include "llvm/BinaryFormat/Dwarf.h" 24 #include "llvm/CodeGen/AsmPrinter.h" 25 #include "llvm/CodeGen/DIE.h" 26 #include "llvm/CodeGen/LexicalScopes.h" 27 #include "llvm/CodeGen/MachineFunction.h" 28 #include "llvm/CodeGen/MachineInstr.h" 29 #include "llvm/CodeGen/MachineOperand.h" 30 #include "llvm/CodeGen/TargetFrameLowering.h" 31 #include "llvm/CodeGen/TargetRegisterInfo.h" 32 #include "llvm/CodeGen/TargetSubtargetInfo.h" 33 #include "llvm/IR/DataLayout.h" 34 #include "llvm/IR/DebugInfo.h" 35 #include "llvm/IR/DebugInfoMetadata.h" 36 #include "llvm/IR/GlobalVariable.h" 37 #include "llvm/MC/MCSection.h" 38 #include "llvm/MC/MCStreamer.h" 39 #include "llvm/MC/MCSymbol.h" 40 #include "llvm/MC/MachineLocation.h" 41 #include "llvm/Support/Casting.h" 42 #include "llvm/Target/TargetLoweringObjectFile.h" 43 #include "llvm/Target/TargetMachine.h" 44 #include "llvm/Target/TargetOptions.h" 45 #include <algorithm> 46 #include <cassert> 47 #include <cstdint> 48 #include <iterator> 49 #include <memory> 50 #include <string> 51 #include <utility> 52 53 using namespace llvm; 54 55 DwarfCompileUnit::DwarfCompileUnit(unsigned UID, const DICompileUnit *Node, 56 AsmPrinter *A, DwarfDebug *DW, 57 DwarfFile *DWU) 58 : DwarfUnit(dwarf::DW_TAG_compile_unit, Node, A, DW, DWU), UniqueID(UID) { 59 insertDIE(Node, &getUnitDie()); 60 MacroLabelBegin = Asm->createTempSymbol("cu_macro_begin"); 61 } 62 63 /// addLabelAddress - Add a dwarf label attribute data and value using 64 /// DW_FORM_addr or DW_FORM_GNU_addr_index. 65 void DwarfCompileUnit::addLabelAddress(DIE &Die, dwarf::Attribute Attribute, 66 const MCSymbol *Label) { 67 // Don't use the address pool in non-fission or in the skeleton unit itself. 68 // FIXME: Once GDB supports this, it's probably worthwhile using the address 69 // pool from the skeleton - maybe even in non-fission (possibly fewer 70 // relocations by sharing them in the pool, but we have other ideas about how 71 // to reduce the number of relocations as well/instead). 72 if ((!DD->useSplitDwarf() || !Skeleton) && DD->getDwarfVersion() < 5) 73 return addLocalLabelAddress(Die, Attribute, Label); 74 75 if (Label) 76 DD->addArangeLabel(SymbolCU(this, Label)); 77 78 unsigned idx = DD->getAddressPool().getIndex(Label); 79 Die.addValue(DIEValueAllocator, Attribute, 80 DD->getDwarfVersion() >= 5 ? dwarf::DW_FORM_addrx 81 : dwarf::DW_FORM_GNU_addr_index, 82 DIEInteger(idx)); 83 } 84 85 void DwarfCompileUnit::addLocalLabelAddress(DIE &Die, 86 dwarf::Attribute Attribute, 87 const MCSymbol *Label) { 88 if (Label) 89 DD->addArangeLabel(SymbolCU(this, Label)); 90 91 if (Label) 92 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr, 93 DIELabel(Label)); 94 else 95 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr, 96 DIEInteger(0)); 97 } 98 99 unsigned DwarfCompileUnit::getOrCreateSourceID(const DIFile *File) { 100 // If we print assembly, we can't separate .file entries according to 101 // compile units. Thus all files will belong to the default compile unit. 102 103 // FIXME: add a better feature test than hasRawTextSupport. Even better, 104 // extend .file to support this. 105 unsigned CUID = Asm->OutStreamer->hasRawTextSupport() ? 0 : getUniqueID(); 106 if (!File) 107 return Asm->OutStreamer->EmitDwarfFileDirective(0, "", "", nullptr, None, CUID); 108 return Asm->OutStreamer->EmitDwarfFileDirective( 109 0, File->getDirectory(), File->getFilename(), getMD5AsBytes(File), 110 File->getSource(), CUID); 111 } 112 113 DIE *DwarfCompileUnit::getOrCreateGlobalVariableDIE( 114 const DIGlobalVariable *GV, ArrayRef<GlobalExpr> GlobalExprs) { 115 // Check for pre-existence. 116 if (DIE *Die = getDIE(GV)) 117 return Die; 118 119 assert(GV); 120 121 auto *GVContext = GV->getScope(); 122 auto *GTy = DD->resolve(GV->getType()); 123 124 // Construct the context before querying for the existence of the DIE in 125 // case such construction creates the DIE. 126 DIE *ContextDIE = getOrCreateContextDIE(GVContext); 127 128 // Add to map. 129 DIE *VariableDIE = &createAndAddDIE(GV->getTag(), *ContextDIE, GV); 130 DIScope *DeclContext; 131 if (auto *SDMDecl = GV->getStaticDataMemberDeclaration()) { 132 DeclContext = resolve(SDMDecl->getScope()); 133 assert(SDMDecl->isStaticMember() && "Expected static member decl"); 134 assert(GV->isDefinition()); 135 // We need the declaration DIE that is in the static member's class. 136 DIE *VariableSpecDIE = getOrCreateStaticMemberDIE(SDMDecl); 137 addDIEEntry(*VariableDIE, dwarf::DW_AT_specification, *VariableSpecDIE); 138 // If the global variable's type is different from the one in the class 139 // member type, assume that it's more specific and also emit it. 140 if (GTy != DD->resolve(SDMDecl->getBaseType())) 141 addType(*VariableDIE, GTy); 142 } else { 143 DeclContext = GV->getScope(); 144 // Add name and type. 145 addString(*VariableDIE, dwarf::DW_AT_name, GV->getDisplayName()); 146 addType(*VariableDIE, GTy); 147 148 // Add scoping info. 149 if (!GV->isLocalToUnit()) 150 addFlag(*VariableDIE, dwarf::DW_AT_external); 151 152 // Add line number info. 153 addSourceLine(*VariableDIE, GV); 154 } 155 156 if (!GV->isDefinition()) 157 addFlag(*VariableDIE, dwarf::DW_AT_declaration); 158 else 159 addGlobalName(GV->getName(), *VariableDIE, DeclContext); 160 161 if (uint32_t AlignInBytes = GV->getAlignInBytes()) 162 addUInt(*VariableDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata, 163 AlignInBytes); 164 165 if (MDTuple *TP = GV->getTemplateParams()) 166 addTemplateParams(*VariableDIE, DINodeArray(TP)); 167 168 // Add location. 169 bool addToAccelTable = false; 170 DIELoc *Loc = nullptr; 171 Optional<unsigned> NVPTXAddressSpace; 172 std::unique_ptr<DIEDwarfExpression> DwarfExpr; 173 for (const auto &GE : GlobalExprs) { 174 const GlobalVariable *Global = GE.Var; 175 const DIExpression *Expr = GE.Expr; 176 177 // For compatibility with DWARF 3 and earlier, 178 // DW_AT_location(DW_OP_constu, X, DW_OP_stack_value) becomes 179 // DW_AT_const_value(X). 180 if (GlobalExprs.size() == 1 && Expr && Expr->isConstant()) { 181 addToAccelTable = true; 182 addConstantValue(*VariableDIE, /*Unsigned=*/true, Expr->getElement(1)); 183 break; 184 } 185 186 // We cannot describe the location of dllimport'd variables: the 187 // computation of their address requires loads from the IAT. 188 if (Global && Global->hasDLLImportStorageClass()) 189 continue; 190 191 // Nothing to describe without address or constant. 192 if (!Global && (!Expr || !Expr->isConstant())) 193 continue; 194 195 if (Global && Global->isThreadLocal() && 196 !Asm->getObjFileLowering().supportDebugThreadLocalLocation()) 197 continue; 198 199 if (!Loc) { 200 addToAccelTable = true; 201 Loc = new (DIEValueAllocator) DIELoc; 202 DwarfExpr = llvm::make_unique<DIEDwarfExpression>(*Asm, *this, *Loc); 203 } 204 205 if (Expr) { 206 // According to 207 // https://docs.nvidia.com/cuda/archive/10.0/ptx-writers-guide-to-interoperability/index.html#cuda-specific-dwarf 208 // cuda-gdb requires DW_AT_address_class for all variables to be able to 209 // correctly interpret address space of the variable address. 210 // Decode DW_OP_constu <DWARF Address Space> DW_OP_swap DW_OP_xderef 211 // sequence for the NVPTX + gdb target. 212 unsigned LocalNVPTXAddressSpace; 213 if (Asm->TM.getTargetTriple().isNVPTX() && DD->tuneForGDB()) { 214 const DIExpression *NewExpr = 215 DIExpression::extractAddressClass(Expr, LocalNVPTXAddressSpace); 216 if (NewExpr != Expr) { 217 Expr = NewExpr; 218 NVPTXAddressSpace = LocalNVPTXAddressSpace; 219 } 220 } 221 DwarfExpr->addFragmentOffset(Expr); 222 } 223 224 if (Global) { 225 const MCSymbol *Sym = Asm->getSymbol(Global); 226 if (Global->isThreadLocal()) { 227 if (Asm->TM.useEmulatedTLS()) { 228 // TODO: add debug info for emulated thread local mode. 229 } else { 230 // FIXME: Make this work with -gsplit-dwarf. 231 unsigned PointerSize = Asm->getDataLayout().getPointerSize(); 232 assert((PointerSize == 4 || PointerSize == 8) && 233 "Add support for other sizes if necessary"); 234 // Based on GCC's support for TLS: 235 if (!DD->useSplitDwarf()) { 236 // 1) Start with a constNu of the appropriate pointer size 237 addUInt(*Loc, dwarf::DW_FORM_data1, 238 PointerSize == 4 ? dwarf::DW_OP_const4u 239 : dwarf::DW_OP_const8u); 240 // 2) containing the (relocated) offset of the TLS variable 241 // within the module's TLS block. 242 addExpr(*Loc, dwarf::DW_FORM_udata, 243 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym)); 244 } else { 245 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index); 246 addUInt(*Loc, dwarf::DW_FORM_udata, 247 DD->getAddressPool().getIndex(Sym, /* TLS */ true)); 248 } 249 // 3) followed by an OP to make the debugger do a TLS lookup. 250 addUInt(*Loc, dwarf::DW_FORM_data1, 251 DD->useGNUTLSOpcode() ? dwarf::DW_OP_GNU_push_tls_address 252 : dwarf::DW_OP_form_tls_address); 253 } 254 } else { 255 DD->addArangeLabel(SymbolCU(this, Sym)); 256 addOpAddress(*Loc, Sym); 257 } 258 } 259 // Global variables attached to symbols are memory locations. 260 // It would be better if this were unconditional, but malformed input that 261 // mixes non-fragments and fragments for the same variable is too expensive 262 // to detect in the verifier. 263 if (DwarfExpr->isUnknownLocation()) 264 DwarfExpr->setMemoryLocationKind(); 265 DwarfExpr->addExpression(Expr); 266 } 267 if (Asm->TM.getTargetTriple().isNVPTX() && DD->tuneForGDB()) { 268 // According to 269 // https://docs.nvidia.com/cuda/archive/10.0/ptx-writers-guide-to-interoperability/index.html#cuda-specific-dwarf 270 // cuda-gdb requires DW_AT_address_class for all variables to be able to 271 // correctly interpret address space of the variable address. 272 const unsigned NVPTX_ADDR_global_space = 5; 273 addUInt(*VariableDIE, dwarf::DW_AT_address_class, dwarf::DW_FORM_data1, 274 NVPTXAddressSpace ? *NVPTXAddressSpace : NVPTX_ADDR_global_space); 275 } 276 if (Loc) 277 addBlock(*VariableDIE, dwarf::DW_AT_location, DwarfExpr->finalize()); 278 279 if (DD->useAllLinkageNames()) 280 addLinkageName(*VariableDIE, GV->getLinkageName()); 281 282 if (addToAccelTable) { 283 DD->addAccelName(*CUNode, GV->getName(), *VariableDIE); 284 285 // If the linkage name is different than the name, go ahead and output 286 // that as well into the name table. 287 if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName() && 288 DD->useAllLinkageNames()) 289 DD->addAccelName(*CUNode, GV->getLinkageName(), *VariableDIE); 290 } 291 292 return VariableDIE; 293 } 294 295 void DwarfCompileUnit::addRange(RangeSpan Range) { 296 bool SameAsPrevCU = this == DD->getPrevCU(); 297 DD->setPrevCU(this); 298 // If we have no current ranges just add the range and return, otherwise, 299 // check the current section and CU against the previous section and CU we 300 // emitted into and the subprogram was contained within. If these are the 301 // same then extend our current range, otherwise add this as a new range. 302 if (CURanges.empty() || !SameAsPrevCU || 303 (&CURanges.back().getEnd()->getSection() != 304 &Range.getEnd()->getSection())) { 305 CURanges.push_back(Range); 306 DD->addSectionLabel(Range.getStart()); 307 return; 308 } 309 310 CURanges.back().setEnd(Range.getEnd()); 311 } 312 313 void DwarfCompileUnit::initStmtList() { 314 if (CUNode->isDebugDirectivesOnly()) 315 return; 316 317 // Define start line table label for each Compile Unit. 318 MCSymbol *LineTableStartSym; 319 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 320 if (DD->useSectionsAsReferences()) { 321 LineTableStartSym = TLOF.getDwarfLineSection()->getBeginSymbol(); 322 } else { 323 LineTableStartSym = 324 Asm->OutStreamer->getDwarfLineTableSymbol(getUniqueID()); 325 } 326 327 // DW_AT_stmt_list is a offset of line number information for this 328 // compile unit in debug_line section. For split dwarf this is 329 // left in the skeleton CU and so not included. 330 // The line table entries are not always emitted in assembly, so it 331 // is not okay to use line_table_start here. 332 StmtListValue = 333 addSectionLabel(getUnitDie(), dwarf::DW_AT_stmt_list, LineTableStartSym, 334 TLOF.getDwarfLineSection()->getBeginSymbol()); 335 } 336 337 void DwarfCompileUnit::applyStmtList(DIE &D) { 338 D.addValue(DIEValueAllocator, *StmtListValue); 339 } 340 341 void DwarfCompileUnit::attachLowHighPC(DIE &D, const MCSymbol *Begin, 342 const MCSymbol *End) { 343 assert(Begin && "Begin label should not be null!"); 344 assert(End && "End label should not be null!"); 345 assert(Begin->isDefined() && "Invalid starting label"); 346 assert(End->isDefined() && "Invalid end label"); 347 348 addLabelAddress(D, dwarf::DW_AT_low_pc, Begin); 349 if (DD->getDwarfVersion() < 4) 350 addLabelAddress(D, dwarf::DW_AT_high_pc, End); 351 else 352 addLabelDelta(D, dwarf::DW_AT_high_pc, End, Begin); 353 } 354 355 // Find DIE for the given subprogram and attach appropriate DW_AT_low_pc 356 // and DW_AT_high_pc attributes. If there are global variables in this 357 // scope then create and insert DIEs for these variables. 358 DIE &DwarfCompileUnit::updateSubprogramScopeDIE(const DISubprogram *SP) { 359 DIE *SPDie = getOrCreateSubprogramDIE(SP, includeMinimalInlineScopes()); 360 361 attachLowHighPC(*SPDie, Asm->getFunctionBegin(), Asm->getFunctionEnd()); 362 if (DD->useAppleExtensionAttributes() && 363 !DD->getCurrentFunction()->getTarget().Options.DisableFramePointerElim( 364 *DD->getCurrentFunction())) 365 addFlag(*SPDie, dwarf::DW_AT_APPLE_omit_frame_ptr); 366 367 // Only include DW_AT_frame_base in full debug info 368 if (!includeMinimalInlineScopes()) { 369 if (Asm->MF->getTarget().getTargetTriple().isNVPTX()) { 370 DIELoc *Loc = new (DIEValueAllocator) DIELoc; 371 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_call_frame_cfa); 372 addBlock(*SPDie, dwarf::DW_AT_frame_base, Loc); 373 } else { 374 const TargetRegisterInfo *RI = Asm->MF->getSubtarget().getRegisterInfo(); 375 MachineLocation Location(RI->getFrameRegister(*Asm->MF)); 376 if (RI->isPhysicalRegister(Location.getReg())) 377 addAddress(*SPDie, dwarf::DW_AT_frame_base, Location); 378 } 379 } 380 381 // Add name to the name table, we do this here because we're guaranteed 382 // to have concrete versions of our DW_TAG_subprogram nodes. 383 DD->addSubprogramNames(*CUNode, SP, *SPDie); 384 385 return *SPDie; 386 } 387 388 // Construct a DIE for this scope. 389 void DwarfCompileUnit::constructScopeDIE( 390 LexicalScope *Scope, SmallVectorImpl<DIE *> &FinalChildren) { 391 if (!Scope || !Scope->getScopeNode()) 392 return; 393 394 auto *DS = Scope->getScopeNode(); 395 396 assert((Scope->getInlinedAt() || !isa<DISubprogram>(DS)) && 397 "Only handle inlined subprograms here, use " 398 "constructSubprogramScopeDIE for non-inlined " 399 "subprograms"); 400 401 SmallVector<DIE *, 8> Children; 402 403 // We try to create the scope DIE first, then the children DIEs. This will 404 // avoid creating un-used children then removing them later when we find out 405 // the scope DIE is null. 406 DIE *ScopeDIE; 407 if (Scope->getParent() && isa<DISubprogram>(DS)) { 408 ScopeDIE = constructInlinedScopeDIE(Scope); 409 if (!ScopeDIE) 410 return; 411 // We create children when the scope DIE is not null. 412 createScopeChildrenDIE(Scope, Children); 413 } else { 414 // Early exit when we know the scope DIE is going to be null. 415 if (DD->isLexicalScopeDIENull(Scope)) 416 return; 417 418 bool HasNonScopeChildren = false; 419 420 // We create children here when we know the scope DIE is not going to be 421 // null and the children will be added to the scope DIE. 422 createScopeChildrenDIE(Scope, Children, &HasNonScopeChildren); 423 424 // If there are only other scopes as children, put them directly in the 425 // parent instead, as this scope would serve no purpose. 426 if (!HasNonScopeChildren) { 427 FinalChildren.insert(FinalChildren.end(), 428 std::make_move_iterator(Children.begin()), 429 std::make_move_iterator(Children.end())); 430 return; 431 } 432 ScopeDIE = constructLexicalScopeDIE(Scope); 433 assert(ScopeDIE && "Scope DIE should not be null."); 434 } 435 436 // Add children 437 for (auto &I : Children) 438 ScopeDIE->addChild(std::move(I)); 439 440 FinalChildren.push_back(std::move(ScopeDIE)); 441 } 442 443 void DwarfCompileUnit::addScopeRangeList(DIE &ScopeDIE, 444 SmallVector<RangeSpan, 2> Range) { 445 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 446 447 // Emit the offset into .debug_ranges or .debug_rnglists as a relocatable 448 // label. emitDIE() will handle emitting it appropriately. 449 const MCSymbol *RangeSectionSym = 450 DD->getDwarfVersion() >= 5 451 ? TLOF.getDwarfRnglistsSection()->getBeginSymbol() 452 : TLOF.getDwarfRangesSection()->getBeginSymbol(); 453 454 HasRangeLists = true; 455 456 // Add the range list to the set of ranges to be emitted. 457 auto IndexAndList = 458 (DD->getDwarfVersion() < 5 && Skeleton ? Skeleton->DU : DU) 459 ->addRange(*(Skeleton ? Skeleton : this), std::move(Range)); 460 461 uint32_t Index = IndexAndList.first; 462 auto &List = *IndexAndList.second; 463 464 // Under fission, ranges are specified by constant offsets relative to the 465 // CU's DW_AT_GNU_ranges_base. 466 // FIXME: For DWARF v5, do not generate the DW_AT_ranges attribute under 467 // fission until we support the forms using the .debug_addr section 468 // (DW_RLE_startx_endx etc.). 469 if (DD->getDwarfVersion() >= 5) 470 addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_rnglistx, Index); 471 else if (isDwoUnit()) 472 addSectionDelta(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(), 473 RangeSectionSym); 474 else 475 addSectionLabel(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(), 476 RangeSectionSym); 477 } 478 479 void DwarfCompileUnit::attachRangesOrLowHighPC( 480 DIE &Die, SmallVector<RangeSpan, 2> Ranges) { 481 if (Ranges.size() == 1 || !DD->useRangesSection()) { 482 const RangeSpan &Front = Ranges.front(); 483 const RangeSpan &Back = Ranges.back(); 484 attachLowHighPC(Die, Front.getStart(), Back.getEnd()); 485 } else 486 addScopeRangeList(Die, std::move(Ranges)); 487 } 488 489 void DwarfCompileUnit::attachRangesOrLowHighPC( 490 DIE &Die, const SmallVectorImpl<InsnRange> &Ranges) { 491 SmallVector<RangeSpan, 2> List; 492 List.reserve(Ranges.size()); 493 for (const InsnRange &R : Ranges) 494 List.push_back(RangeSpan(DD->getLabelBeforeInsn(R.first), 495 DD->getLabelAfterInsn(R.second))); 496 attachRangesOrLowHighPC(Die, std::move(List)); 497 } 498 499 // This scope represents inlined body of a function. Construct DIE to 500 // represent this concrete inlined copy of the function. 501 DIE *DwarfCompileUnit::constructInlinedScopeDIE(LexicalScope *Scope) { 502 assert(Scope->getScopeNode()); 503 auto *DS = Scope->getScopeNode(); 504 auto *InlinedSP = getDISubprogram(DS); 505 // Find the subprogram's DwarfCompileUnit in the SPMap in case the subprogram 506 // was inlined from another compile unit. 507 DIE *OriginDIE = getAbstractSPDies()[InlinedSP]; 508 assert(OriginDIE && "Unable to find original DIE for an inlined subprogram."); 509 510 auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_inlined_subroutine); 511 addDIEEntry(*ScopeDIE, dwarf::DW_AT_abstract_origin, *OriginDIE); 512 513 attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges()); 514 515 // Add the call site information to the DIE. 516 const DILocation *IA = Scope->getInlinedAt(); 517 addUInt(*ScopeDIE, dwarf::DW_AT_call_file, None, 518 getOrCreateSourceID(IA->getFile())); 519 addUInt(*ScopeDIE, dwarf::DW_AT_call_line, None, IA->getLine()); 520 if (IA->getDiscriminator() && DD->getDwarfVersion() >= 4) 521 addUInt(*ScopeDIE, dwarf::DW_AT_GNU_discriminator, None, 522 IA->getDiscriminator()); 523 524 // Add name to the name table, we do this here because we're guaranteed 525 // to have concrete versions of our DW_TAG_inlined_subprogram nodes. 526 DD->addSubprogramNames(*CUNode, InlinedSP, *ScopeDIE); 527 528 return ScopeDIE; 529 } 530 531 // Construct new DW_TAG_lexical_block for this scope and attach 532 // DW_AT_low_pc/DW_AT_high_pc labels. 533 DIE *DwarfCompileUnit::constructLexicalScopeDIE(LexicalScope *Scope) { 534 if (DD->isLexicalScopeDIENull(Scope)) 535 return nullptr; 536 537 auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_lexical_block); 538 if (Scope->isAbstractScope()) 539 return ScopeDIE; 540 541 attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges()); 542 543 return ScopeDIE; 544 } 545 546 /// constructVariableDIE - Construct a DIE for the given DbgVariable. 547 DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV, bool Abstract) { 548 auto D = constructVariableDIEImpl(DV, Abstract); 549 DV.setDIE(*D); 550 return D; 551 } 552 553 DIE *DwarfCompileUnit::constructLabelDIE(DbgLabel &DL, 554 const LexicalScope &Scope) { 555 auto LabelDie = DIE::get(DIEValueAllocator, DL.getTag()); 556 insertDIE(DL.getLabel(), LabelDie); 557 DL.setDIE(*LabelDie); 558 559 if (Scope.isAbstractScope()) 560 applyLabelAttributes(DL, *LabelDie); 561 562 return LabelDie; 563 } 564 565 DIE *DwarfCompileUnit::constructVariableDIEImpl(const DbgVariable &DV, 566 bool Abstract) { 567 // Define variable debug information entry. 568 auto VariableDie = DIE::get(DIEValueAllocator, DV.getTag()); 569 insertDIE(DV.getVariable(), VariableDie); 570 571 if (Abstract) { 572 applyVariableAttributes(DV, *VariableDie); 573 return VariableDie; 574 } 575 576 // Add variable address. 577 578 unsigned Offset = DV.getDebugLocListIndex(); 579 if (Offset != ~0U) { 580 addLocationList(*VariableDie, dwarf::DW_AT_location, Offset); 581 return VariableDie; 582 } 583 584 // Check if variable is described by a DBG_VALUE instruction. 585 if (const MachineInstr *DVInsn = DV.getMInsn()) { 586 assert(DVInsn->getNumOperands() == 4); 587 if (DVInsn->getOperand(0).isReg()) { 588 auto RegOp = DVInsn->getOperand(0); 589 auto Op1 = DVInsn->getOperand(1); 590 // If the second operand is an immediate, this is an indirect value. 591 assert((!Op1.isImm() || (Op1.getImm() == 0)) && "unexpected offset"); 592 MachineLocation Location(RegOp.getReg(), Op1.isImm()); 593 addVariableAddress(DV, *VariableDie, Location); 594 } else if (DVInsn->getOperand(0).isImm()) { 595 // This variable is described by a single constant. 596 // Check whether it has a DIExpression. 597 auto *Expr = DV.getSingleExpression(); 598 if (Expr && Expr->getNumElements()) { 599 DIELoc *Loc = new (DIEValueAllocator) DIELoc; 600 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 601 // If there is an expression, emit raw unsigned bytes. 602 DwarfExpr.addFragmentOffset(Expr); 603 DwarfExpr.addUnsignedConstant(DVInsn->getOperand(0).getImm()); 604 DwarfExpr.addExpression(Expr); 605 addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize()); 606 } else 607 addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType()); 608 } else if (DVInsn->getOperand(0).isFPImm()) 609 addConstantFPValue(*VariableDie, DVInsn->getOperand(0)); 610 else if (DVInsn->getOperand(0).isCImm()) 611 addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(), 612 DV.getType()); 613 614 return VariableDie; 615 } 616 617 // .. else use frame index. 618 if (!DV.hasFrameIndexExprs()) 619 return VariableDie; 620 621 Optional<unsigned> NVPTXAddressSpace; 622 DIELoc *Loc = new (DIEValueAllocator) DIELoc; 623 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 624 for (auto &Fragment : DV.getFrameIndexExprs()) { 625 unsigned FrameReg = 0; 626 const DIExpression *Expr = Fragment.Expr; 627 const TargetFrameLowering *TFI = Asm->MF->getSubtarget().getFrameLowering(); 628 int Offset = TFI->getFrameIndexReference(*Asm->MF, Fragment.FI, FrameReg); 629 DwarfExpr.addFragmentOffset(Expr); 630 SmallVector<uint64_t, 8> Ops; 631 Ops.push_back(dwarf::DW_OP_plus_uconst); 632 Ops.push_back(Offset); 633 // According to 634 // https://docs.nvidia.com/cuda/archive/10.0/ptx-writers-guide-to-interoperability/index.html#cuda-specific-dwarf 635 // cuda-gdb requires DW_AT_address_class for all variables to be able to 636 // correctly interpret address space of the variable address. 637 // Decode DW_OP_constu <DWARF Address Space> DW_OP_swap DW_OP_xderef 638 // sequence for the NVPTX + gdb target. 639 unsigned LocalNVPTXAddressSpace; 640 if (Asm->TM.getTargetTriple().isNVPTX() && DD->tuneForGDB()) { 641 const DIExpression *NewExpr = 642 DIExpression::extractAddressClass(Expr, LocalNVPTXAddressSpace); 643 if (NewExpr != Expr) { 644 Expr = NewExpr; 645 NVPTXAddressSpace = LocalNVPTXAddressSpace; 646 } 647 } 648 if (Expr) 649 Ops.append(Expr->elements_begin(), Expr->elements_end()); 650 DIExpressionCursor Cursor(Ops); 651 DwarfExpr.setMemoryLocationKind(); 652 if (const MCSymbol *FrameSymbol = Asm->getFunctionFrameSymbol()) 653 addOpAddress(*Loc, FrameSymbol); 654 else 655 DwarfExpr.addMachineRegExpression( 656 *Asm->MF->getSubtarget().getRegisterInfo(), Cursor, FrameReg); 657 DwarfExpr.addExpression(std::move(Cursor)); 658 } 659 if (Asm->TM.getTargetTriple().isNVPTX() && DD->tuneForGDB()) { 660 // According to 661 // https://docs.nvidia.com/cuda/archive/10.0/ptx-writers-guide-to-interoperability/index.html#cuda-specific-dwarf 662 // cuda-gdb requires DW_AT_address_class for all variables to be able to 663 // correctly interpret address space of the variable address. 664 const unsigned NVPTX_ADDR_local_space = 6; 665 addUInt(*VariableDie, dwarf::DW_AT_address_class, dwarf::DW_FORM_data1, 666 NVPTXAddressSpace ? *NVPTXAddressSpace : NVPTX_ADDR_local_space); 667 } 668 addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize()); 669 670 return VariableDie; 671 } 672 673 DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV, 674 const LexicalScope &Scope, 675 DIE *&ObjectPointer) { 676 auto Var = constructVariableDIE(DV, Scope.isAbstractScope()); 677 if (DV.isObjectPointer()) 678 ObjectPointer = Var; 679 return Var; 680 } 681 682 /// Return all DIVariables that appear in count: expressions. 683 static SmallVector<const DIVariable *, 2> dependencies(DbgVariable *Var) { 684 SmallVector<const DIVariable *, 2> Result; 685 auto *Array = dyn_cast<DICompositeType>(Var->getType()); 686 if (!Array || Array->getTag() != dwarf::DW_TAG_array_type) 687 return Result; 688 for (auto *El : Array->getElements()) { 689 if (auto *Subrange = dyn_cast<DISubrange>(El)) { 690 auto Count = Subrange->getCount(); 691 if (auto *Dependency = Count.dyn_cast<DIVariable *>()) 692 Result.push_back(Dependency); 693 } 694 } 695 return Result; 696 } 697 698 /// Sort local variables so that variables appearing inside of helper 699 /// expressions come first. 700 static SmallVector<DbgVariable *, 8> 701 sortLocalVars(SmallVectorImpl<DbgVariable *> &Input) { 702 SmallVector<DbgVariable *, 8> Result; 703 SmallVector<PointerIntPair<DbgVariable *, 1>, 8> WorkList; 704 // Map back from a DIVariable to its containing DbgVariable. 705 SmallDenseMap<const DILocalVariable *, DbgVariable *> DbgVar; 706 // Set of DbgVariables in Result. 707 SmallDenseSet<DbgVariable *, 8> Visited; 708 // For cycle detection. 709 SmallDenseSet<DbgVariable *, 8> Visiting; 710 711 // Initialize the worklist and the DIVariable lookup table. 712 for (auto Var : reverse(Input)) { 713 DbgVar.insert({Var->getVariable(), Var}); 714 WorkList.push_back({Var, 0}); 715 } 716 717 // Perform a stable topological sort by doing a DFS. 718 while (!WorkList.empty()) { 719 auto Item = WorkList.back(); 720 DbgVariable *Var = Item.getPointer(); 721 bool visitedAllDependencies = Item.getInt(); 722 WorkList.pop_back(); 723 724 // Dependency is in a different lexical scope or a global. 725 if (!Var) 726 continue; 727 728 // Already handled. 729 if (Visited.count(Var)) 730 continue; 731 732 // Add to Result if all dependencies are visited. 733 if (visitedAllDependencies) { 734 Visited.insert(Var); 735 Result.push_back(Var); 736 continue; 737 } 738 739 // Detect cycles. 740 auto Res = Visiting.insert(Var); 741 if (!Res.second) { 742 assert(false && "dependency cycle in local variables"); 743 return Result; 744 } 745 746 // Push dependencies and this node onto the worklist, so that this node is 747 // visited again after all of its dependencies are handled. 748 WorkList.push_back({Var, 1}); 749 for (auto *Dependency : dependencies(Var)) { 750 auto Dep = dyn_cast_or_null<const DILocalVariable>(Dependency); 751 WorkList.push_back({DbgVar[Dep], 0}); 752 } 753 } 754 return Result; 755 } 756 757 DIE *DwarfCompileUnit::createScopeChildrenDIE(LexicalScope *Scope, 758 SmallVectorImpl<DIE *> &Children, 759 bool *HasNonScopeChildren) { 760 assert(Children.empty()); 761 DIE *ObjectPointer = nullptr; 762 763 // Emit function arguments (order is significant). 764 auto Vars = DU->getScopeVariables().lookup(Scope); 765 for (auto &DV : Vars.Args) 766 Children.push_back(constructVariableDIE(*DV.second, *Scope, ObjectPointer)); 767 768 // Emit local variables. 769 auto Locals = sortLocalVars(Vars.Locals); 770 for (DbgVariable *DV : Locals) 771 Children.push_back(constructVariableDIE(*DV, *Scope, ObjectPointer)); 772 773 // Skip imported directives in gmlt-like data. 774 if (!includeMinimalInlineScopes()) { 775 // There is no need to emit empty lexical block DIE. 776 for (const auto *IE : ImportedEntities[Scope->getScopeNode()]) 777 Children.push_back( 778 constructImportedEntityDIE(cast<DIImportedEntity>(IE))); 779 } 780 781 if (HasNonScopeChildren) 782 *HasNonScopeChildren = !Children.empty(); 783 784 for (DbgLabel *DL : DU->getScopeLabels().lookup(Scope)) 785 Children.push_back(constructLabelDIE(*DL, *Scope)); 786 787 for (LexicalScope *LS : Scope->getChildren()) 788 constructScopeDIE(LS, Children); 789 790 return ObjectPointer; 791 } 792 793 DIE &DwarfCompileUnit::constructSubprogramScopeDIE(const DISubprogram *Sub, 794 LexicalScope *Scope) { 795 DIE &ScopeDIE = updateSubprogramScopeDIE(Sub); 796 797 if (Scope) { 798 assert(!Scope->getInlinedAt()); 799 assert(!Scope->isAbstractScope()); 800 // Collect lexical scope children first. 801 // ObjectPointer might be a local (non-argument) local variable if it's a 802 // block's synthetic this pointer. 803 if (DIE *ObjectPointer = createAndAddScopeChildren(Scope, ScopeDIE)) 804 addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer, *ObjectPointer); 805 } 806 807 // If this is a variadic function, add an unspecified parameter. 808 DITypeRefArray FnArgs = Sub->getType()->getTypeArray(); 809 810 // If we have a single element of null, it is a function that returns void. 811 // If we have more than one elements and the last one is null, it is a 812 // variadic function. 813 if (FnArgs.size() > 1 && !FnArgs[FnArgs.size() - 1] && 814 !includeMinimalInlineScopes()) 815 ScopeDIE.addChild( 816 DIE::get(DIEValueAllocator, dwarf::DW_TAG_unspecified_parameters)); 817 818 return ScopeDIE; 819 } 820 821 DIE *DwarfCompileUnit::createAndAddScopeChildren(LexicalScope *Scope, 822 DIE &ScopeDIE) { 823 // We create children when the scope DIE is not null. 824 SmallVector<DIE *, 8> Children; 825 DIE *ObjectPointer = createScopeChildrenDIE(Scope, Children); 826 827 // Add children 828 for (auto &I : Children) 829 ScopeDIE.addChild(std::move(I)); 830 831 return ObjectPointer; 832 } 833 834 void DwarfCompileUnit::constructAbstractSubprogramScopeDIE( 835 LexicalScope *Scope) { 836 DIE *&AbsDef = getAbstractSPDies()[Scope->getScopeNode()]; 837 if (AbsDef) 838 return; 839 840 auto *SP = cast<DISubprogram>(Scope->getScopeNode()); 841 842 DIE *ContextDIE; 843 DwarfCompileUnit *ContextCU = this; 844 845 if (includeMinimalInlineScopes()) 846 ContextDIE = &getUnitDie(); 847 // Some of this is duplicated from DwarfUnit::getOrCreateSubprogramDIE, with 848 // the important distinction that the debug node is not associated with the 849 // DIE (since the debug node will be associated with the concrete DIE, if 850 // any). It could be refactored to some common utility function. 851 else if (auto *SPDecl = SP->getDeclaration()) { 852 ContextDIE = &getUnitDie(); 853 getOrCreateSubprogramDIE(SPDecl); 854 } else { 855 ContextDIE = getOrCreateContextDIE(resolve(SP->getScope())); 856 // The scope may be shared with a subprogram that has already been 857 // constructed in another CU, in which case we need to construct this 858 // subprogram in the same CU. 859 ContextCU = DD->lookupCU(ContextDIE->getUnitDie()); 860 } 861 862 // Passing null as the associated node because the abstract definition 863 // shouldn't be found by lookup. 864 AbsDef = &ContextCU->createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, nullptr); 865 ContextCU->applySubprogramAttributesToDefinition(SP, *AbsDef); 866 867 if (!ContextCU->includeMinimalInlineScopes()) 868 ContextCU->addUInt(*AbsDef, dwarf::DW_AT_inline, None, dwarf::DW_INL_inlined); 869 if (DIE *ObjectPointer = ContextCU->createAndAddScopeChildren(Scope, *AbsDef)) 870 ContextCU->addDIEEntry(*AbsDef, dwarf::DW_AT_object_pointer, *ObjectPointer); 871 } 872 873 DIE &DwarfCompileUnit::constructCallSiteEntryDIE(DIE &ScopeDIE, 874 const DISubprogram &CalleeSP, 875 bool IsTail, 876 const MCExpr *PCOffset) { 877 // Insert a call site entry DIE within ScopeDIE. 878 DIE &CallSiteDIE = 879 createAndAddDIE(dwarf::DW_TAG_call_site, ScopeDIE, nullptr); 880 881 // For the purposes of showing tail call frames in backtraces, a key piece of 882 // information is DW_AT_call_origin, a pointer to the callee DIE. 883 DIE *CalleeDIE = getOrCreateSubprogramDIE(&CalleeSP); 884 assert(CalleeDIE && "Could not create DIE for call site entry origin"); 885 addDIEEntry(CallSiteDIE, dwarf::DW_AT_call_origin, *CalleeDIE); 886 887 if (IsTail) { 888 // Attach DW_AT_call_tail_call to tail calls for standards compliance. 889 addFlag(CallSiteDIE, dwarf::DW_AT_call_tail_call); 890 } else { 891 // Attach the return PC to allow the debugger to disambiguate call paths 892 // from one function to another. 893 assert(PCOffset && "Missing return PC information for a call"); 894 addAddressExpr(CallSiteDIE, dwarf::DW_AT_call_return_pc, PCOffset); 895 } 896 return CallSiteDIE; 897 } 898 899 DIE *DwarfCompileUnit::constructImportedEntityDIE( 900 const DIImportedEntity *Module) { 901 DIE *IMDie = DIE::get(DIEValueAllocator, (dwarf::Tag)Module->getTag()); 902 insertDIE(Module, IMDie); 903 DIE *EntityDie; 904 auto *Entity = resolve(Module->getEntity()); 905 if (auto *NS = dyn_cast<DINamespace>(Entity)) 906 EntityDie = getOrCreateNameSpace(NS); 907 else if (auto *M = dyn_cast<DIModule>(Entity)) 908 EntityDie = getOrCreateModule(M); 909 else if (auto *SP = dyn_cast<DISubprogram>(Entity)) 910 EntityDie = getOrCreateSubprogramDIE(SP); 911 else if (auto *T = dyn_cast<DIType>(Entity)) 912 EntityDie = getOrCreateTypeDIE(T); 913 else if (auto *GV = dyn_cast<DIGlobalVariable>(Entity)) 914 EntityDie = getOrCreateGlobalVariableDIE(GV, {}); 915 else 916 EntityDie = getDIE(Entity); 917 assert(EntityDie); 918 addSourceLine(*IMDie, Module->getLine(), Module->getFile()); 919 addDIEEntry(*IMDie, dwarf::DW_AT_import, *EntityDie); 920 StringRef Name = Module->getName(); 921 if (!Name.empty()) 922 addString(*IMDie, dwarf::DW_AT_name, Name); 923 924 return IMDie; 925 } 926 927 void DwarfCompileUnit::finishSubprogramDefinition(const DISubprogram *SP) { 928 DIE *D = getDIE(SP); 929 if (DIE *AbsSPDIE = getAbstractSPDies().lookup(SP)) { 930 if (D) 931 // If this subprogram has an abstract definition, reference that 932 addDIEEntry(*D, dwarf::DW_AT_abstract_origin, *AbsSPDIE); 933 } else { 934 assert(D || includeMinimalInlineScopes()); 935 if (D) 936 // And attach the attributes 937 applySubprogramAttributesToDefinition(SP, *D); 938 } 939 } 940 941 void DwarfCompileUnit::finishEntityDefinition(const DbgEntity *Entity) { 942 DbgEntity *AbsEntity = getExistingAbstractEntity(Entity->getEntity()); 943 944 auto *Die = Entity->getDIE(); 945 /// Label may be used to generate DW_AT_low_pc, so put it outside 946 /// if/else block. 947 const DbgLabel *Label = nullptr; 948 if (AbsEntity && AbsEntity->getDIE()) { 949 addDIEEntry(*Die, dwarf::DW_AT_abstract_origin, *AbsEntity->getDIE()); 950 Label = dyn_cast<const DbgLabel>(Entity); 951 } else { 952 if (const DbgVariable *Var = dyn_cast<const DbgVariable>(Entity)) 953 applyVariableAttributes(*Var, *Die); 954 else if ((Label = dyn_cast<const DbgLabel>(Entity))) 955 applyLabelAttributes(*Label, *Die); 956 else 957 llvm_unreachable("DbgEntity must be DbgVariable or DbgLabel."); 958 } 959 960 if (Label) 961 if (const auto *Sym = Label->getSymbol()) 962 addLabelAddress(*Die, dwarf::DW_AT_low_pc, Sym); 963 } 964 965 DbgEntity *DwarfCompileUnit::getExistingAbstractEntity(const DINode *Node) { 966 auto &AbstractEntities = getAbstractEntities(); 967 auto I = AbstractEntities.find(Node); 968 if (I != AbstractEntities.end()) 969 return I->second.get(); 970 return nullptr; 971 } 972 973 void DwarfCompileUnit::createAbstractEntity(const DINode *Node, 974 LexicalScope *Scope) { 975 assert(Scope && Scope->isAbstractScope()); 976 auto &Entity = getAbstractEntities()[Node]; 977 if (isa<const DILocalVariable>(Node)) { 978 Entity = llvm::make_unique<DbgVariable>( 979 cast<const DILocalVariable>(Node), nullptr /* IA */);; 980 DU->addScopeVariable(Scope, cast<DbgVariable>(Entity.get())); 981 } else if (isa<const DILabel>(Node)) { 982 Entity = llvm::make_unique<DbgLabel>( 983 cast<const DILabel>(Node), nullptr /* IA */); 984 DU->addScopeLabel(Scope, cast<DbgLabel>(Entity.get())); 985 } 986 } 987 988 void DwarfCompileUnit::emitHeader(bool UseOffsets) { 989 // Don't bother labeling the .dwo unit, as its offset isn't used. 990 if (!Skeleton && !DD->useSectionsAsReferences()) { 991 LabelBegin = Asm->createTempSymbol("cu_begin"); 992 Asm->OutStreamer->EmitLabel(LabelBegin); 993 } 994 995 dwarf::UnitType UT = Skeleton ? dwarf::DW_UT_split_compile 996 : DD->useSplitDwarf() ? dwarf::DW_UT_skeleton 997 : dwarf::DW_UT_compile; 998 DwarfUnit::emitCommonHeader(UseOffsets, UT); 999 if (DD->getDwarfVersion() >= 5 && UT != dwarf::DW_UT_compile) 1000 Asm->emitInt64(getDWOId()); 1001 } 1002 1003 bool DwarfCompileUnit::hasDwarfPubSections() const { 1004 switch (CUNode->getNameTableKind()) { 1005 case DICompileUnit::DebugNameTableKind::None: 1006 return false; 1007 // Opting in to GNU Pubnames/types overrides the default to ensure these are 1008 // generated for things like Gold's gdb_index generation. 1009 case DICompileUnit::DebugNameTableKind::GNU: 1010 return true; 1011 case DICompileUnit::DebugNameTableKind::Default: 1012 return DD->tuneForGDB() && !includeMinimalInlineScopes() && 1013 !CUNode->isDebugDirectivesOnly(); 1014 } 1015 llvm_unreachable("Unhandled DICompileUnit::DebugNameTableKind enum"); 1016 } 1017 1018 /// addGlobalName - Add a new global name to the compile unit. 1019 void DwarfCompileUnit::addGlobalName(StringRef Name, const DIE &Die, 1020 const DIScope *Context) { 1021 if (!hasDwarfPubSections()) 1022 return; 1023 std::string FullName = getParentContextString(Context) + Name.str(); 1024 GlobalNames[FullName] = &Die; 1025 } 1026 1027 void DwarfCompileUnit::addGlobalNameForTypeUnit(StringRef Name, 1028 const DIScope *Context) { 1029 if (!hasDwarfPubSections()) 1030 return; 1031 std::string FullName = getParentContextString(Context) + Name.str(); 1032 // Insert, allowing the entry to remain as-is if it's already present 1033 // This way the CU-level type DIE is preferred over the "can't describe this 1034 // type as a unit offset because it's not really in the CU at all, it's only 1035 // in a type unit" 1036 GlobalNames.insert(std::make_pair(std::move(FullName), &getUnitDie())); 1037 } 1038 1039 /// Add a new global type to the unit. 1040 void DwarfCompileUnit::addGlobalType(const DIType *Ty, const DIE &Die, 1041 const DIScope *Context) { 1042 if (!hasDwarfPubSections()) 1043 return; 1044 std::string FullName = getParentContextString(Context) + Ty->getName().str(); 1045 GlobalTypes[FullName] = &Die; 1046 } 1047 1048 void DwarfCompileUnit::addGlobalTypeUnitType(const DIType *Ty, 1049 const DIScope *Context) { 1050 if (!hasDwarfPubSections()) 1051 return; 1052 std::string FullName = getParentContextString(Context) + Ty->getName().str(); 1053 // Insert, allowing the entry to remain as-is if it's already present 1054 // This way the CU-level type DIE is preferred over the "can't describe this 1055 // type as a unit offset because it's not really in the CU at all, it's only 1056 // in a type unit" 1057 GlobalTypes.insert(std::make_pair(std::move(FullName), &getUnitDie())); 1058 } 1059 1060 /// addVariableAddress - Add DW_AT_location attribute for a 1061 /// DbgVariable based on provided MachineLocation. 1062 void DwarfCompileUnit::addVariableAddress(const DbgVariable &DV, DIE &Die, 1063 MachineLocation Location) { 1064 // addBlockByrefAddress is obsolete and will be removed soon. 1065 // The clang frontend always generates block byref variables with a 1066 // complex expression that encodes exactly what addBlockByrefAddress 1067 // would do. 1068 assert((!DV.isBlockByrefVariable() || DV.hasComplexAddress()) && 1069 "block byref variable without a complex expression"); 1070 if (DV.hasComplexAddress()) 1071 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location); 1072 else 1073 addAddress(Die, dwarf::DW_AT_location, Location); 1074 } 1075 1076 /// Add an address attribute to a die based on the location provided. 1077 void DwarfCompileUnit::addAddress(DIE &Die, dwarf::Attribute Attribute, 1078 const MachineLocation &Location) { 1079 DIELoc *Loc = new (DIEValueAllocator) DIELoc; 1080 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 1081 if (Location.isIndirect()) 1082 DwarfExpr.setMemoryLocationKind(); 1083 1084 DIExpressionCursor Cursor({}); 1085 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo(); 1086 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg())) 1087 return; 1088 DwarfExpr.addExpression(std::move(Cursor)); 1089 1090 // Now attach the location information to the DIE. 1091 addBlock(Die, Attribute, DwarfExpr.finalize()); 1092 } 1093 1094 /// Start with the address based on the location provided, and generate the 1095 /// DWARF information necessary to find the actual variable given the extra 1096 /// address information encoded in the DbgVariable, starting from the starting 1097 /// location. Add the DWARF information to the die. 1098 void DwarfCompileUnit::addComplexAddress(const DbgVariable &DV, DIE &Die, 1099 dwarf::Attribute Attribute, 1100 const MachineLocation &Location) { 1101 DIELoc *Loc = new (DIEValueAllocator) DIELoc; 1102 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); 1103 const DIExpression *DIExpr = DV.getSingleExpression(); 1104 DwarfExpr.addFragmentOffset(DIExpr); 1105 if (Location.isIndirect()) 1106 DwarfExpr.setMemoryLocationKind(); 1107 1108 DIExpressionCursor Cursor(DIExpr); 1109 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo(); 1110 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg())) 1111 return; 1112 DwarfExpr.addExpression(std::move(Cursor)); 1113 1114 // Now attach the location information to the DIE. 1115 addBlock(Die, Attribute, DwarfExpr.finalize()); 1116 } 1117 1118 /// Add a Dwarf loclistptr attribute data and value. 1119 void DwarfCompileUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute, 1120 unsigned Index) { 1121 dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset 1122 : dwarf::DW_FORM_data4; 1123 Die.addValue(DIEValueAllocator, Attribute, Form, DIELocList(Index)); 1124 } 1125 1126 void DwarfCompileUnit::applyVariableAttributes(const DbgVariable &Var, 1127 DIE &VariableDie) { 1128 StringRef Name = Var.getName(); 1129 if (!Name.empty()) 1130 addString(VariableDie, dwarf::DW_AT_name, Name); 1131 const auto *DIVar = Var.getVariable(); 1132 if (DIVar) 1133 if (uint32_t AlignInBytes = DIVar->getAlignInBytes()) 1134 addUInt(VariableDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata, 1135 AlignInBytes); 1136 1137 addSourceLine(VariableDie, DIVar); 1138 addType(VariableDie, Var.getType()); 1139 if (Var.isArtificial()) 1140 addFlag(VariableDie, dwarf::DW_AT_artificial); 1141 } 1142 1143 void DwarfCompileUnit::applyLabelAttributes(const DbgLabel &Label, 1144 DIE &LabelDie) { 1145 StringRef Name = Label.getName(); 1146 if (!Name.empty()) 1147 addString(LabelDie, dwarf::DW_AT_name, Name); 1148 const auto *DILabel = Label.getLabel(); 1149 addSourceLine(LabelDie, DILabel); 1150 } 1151 1152 /// Add a Dwarf expression attribute data and value. 1153 void DwarfCompileUnit::addExpr(DIELoc &Die, dwarf::Form Form, 1154 const MCExpr *Expr) { 1155 Die.addValue(DIEValueAllocator, (dwarf::Attribute)0, Form, DIEExpr(Expr)); 1156 } 1157 1158 void DwarfCompileUnit::addAddressExpr(DIE &Die, dwarf::Attribute Attribute, 1159 const MCExpr *Expr) { 1160 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr, 1161 DIEExpr(Expr)); 1162 } 1163 1164 void DwarfCompileUnit::applySubprogramAttributesToDefinition( 1165 const DISubprogram *SP, DIE &SPDie) { 1166 auto *SPDecl = SP->getDeclaration(); 1167 auto *Context = resolve(SPDecl ? SPDecl->getScope() : SP->getScope()); 1168 applySubprogramAttributes(SP, SPDie, includeMinimalInlineScopes()); 1169 addGlobalName(SP->getName(), SPDie, Context); 1170 } 1171 1172 bool DwarfCompileUnit::isDwoUnit() const { 1173 return DD->useSplitDwarf() && Skeleton; 1174 } 1175 1176 bool DwarfCompileUnit::includeMinimalInlineScopes() const { 1177 return getCUNode()->getEmissionKind() == DICompileUnit::LineTablesOnly || 1178 (DD->useSplitDwarf() && !Skeleton); 1179 } 1180 1181 void DwarfCompileUnit::addAddrTableBase() { 1182 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 1183 MCSymbol *Label = DD->getAddressPool().getLabel(); 1184 addSectionLabel(getUnitDie(), 1185 getDwarfVersion() >= 5 ? dwarf::DW_AT_addr_base 1186 : dwarf::DW_AT_GNU_addr_base, 1187 Label, TLOF.getDwarfAddrSection()->getBeginSymbol()); 1188 } 1189 1190 void DwarfCompileUnit::addBaseTypeRef(DIEValueList &Die, int64_t Idx) { 1191 Die.addValue(DIEValueAllocator, (dwarf::Attribute)0, dwarf::DW_FORM_udata, 1192 new (DIEValueAllocator) DIEBaseTypeRef(this, Idx)); 1193 } 1194 1195 void DwarfCompileUnit::createBaseTypeDIEs() { 1196 // Insert the base_type DIEs directly after the CU so that their offsets will 1197 // fit in the fixed size ULEB128 used inside the location expressions. 1198 // Maintain order by iterating backwards and inserting to the front of CU 1199 // child list. 1200 for (auto &Btr : reverse(ExprRefedBaseTypes)) { 1201 DIE &Die = getUnitDie().addChildFront( 1202 DIE::get(DIEValueAllocator, dwarf::DW_TAG_base_type)); 1203 SmallString<32> Str; 1204 addString(Die, dwarf::DW_AT_name, 1205 Twine(dwarf::AttributeEncodingString(Btr.Encoding) + 1206 "_" + Twine(Btr.BitSize)).toStringRef(Str)); 1207 addUInt(Die, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1, Btr.Encoding); 1208 addUInt(Die, dwarf::DW_AT_byte_size, None, Btr.BitSize / 8); 1209 1210 Btr.Die = &Die; 1211 } 1212 } 1213