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