1 //===-- llvm/CodeGen/DwarfDebug.h - Dwarf Debug Framework ------*- C++ -*--===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file contains support for writing dwarf debug info into asm files. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #ifndef CODEGEN_ASMPRINTER_DWARFDEBUG_H__ 15 #define CODEGEN_ASMPRINTER_DWARFDEBUG_H__ 16 17 #include "DIE.h" 18 #include "DwarfPrinter.h" 19 #include "llvm/CodeGen/AsmPrinter.h" 20 #include "llvm/CodeGen/MachineLocation.h" 21 #include "llvm/Analysis/DebugInfo.h" 22 #include "llvm/Support/raw_ostream.h" 23 #include "llvm/ADT/DenseMap.h" 24 #include "llvm/ADT/FoldingSet.h" 25 #include "llvm/ADT/SmallSet.h" 26 #include "llvm/ADT/StringMap.h" 27 #include "llvm/ADT/UniqueVector.h" 28 #include <string> 29 30 namespace llvm { 31 32 class CompileUnit; 33 class DbgVariable; 34 class DbgScope; 35 class DbgConcreteScope; 36 class MachineFrameInfo; 37 class MachineModuleInfo; 38 class TargetAsmInfo; 39 class Timer; 40 41 //===----------------------------------------------------------------------===// 42 /// SrcLineInfo - This class is used to record source line correspondence. 43 /// 44 class VISIBILITY_HIDDEN SrcLineInfo { 45 unsigned Line; // Source line number. 46 unsigned Column; // Source column. 47 unsigned SourceID; // Source ID number. 48 unsigned LabelID; // Label in code ID number. 49 public: 50 SrcLineInfo(unsigned L, unsigned C, unsigned S, unsigned I) 51 : Line(L), Column(C), SourceID(S), LabelID(I) {} 52 53 // Accessors 54 unsigned getLine() const { return Line; } 55 unsigned getColumn() const { return Column; } 56 unsigned getSourceID() const { return SourceID; } 57 unsigned getLabelID() const { return LabelID; } 58 }; 59 60 class VISIBILITY_HIDDEN DwarfDebug : public Dwarf { 61 //===--------------------------------------------------------------------===// 62 // Attributes used to construct specific Dwarf sections. 63 // 64 65 /// CompileUnitMap - A map of global variables representing compile units to 66 /// compile units. 67 DenseMap<Value *, CompileUnit *> CompileUnitMap; 68 69 /// CompileUnits - All the compile units in this module. 70 /// 71 SmallVector<CompileUnit *, 8> CompileUnits; 72 73 /// MainCU - Some platform prefers one compile unit per .o file. In such 74 /// cases, all dies are inserted in MainCU. 75 CompileUnit *MainCU; 76 77 /// AbbreviationsSet - Used to uniquely define abbreviations. 78 /// 79 FoldingSet<DIEAbbrev> AbbreviationsSet; 80 81 /// Abbreviations - A list of all the unique abbreviations in use. 82 /// 83 std::vector<DIEAbbrev *> Abbreviations; 84 85 /// DirectoryIdMap - Directory name to directory id map. 86 /// 87 StringMap<unsigned> DirectoryIdMap; 88 89 /// DirectoryNames - A list of directory names. 90 SmallVector<std::string, 8> DirectoryNames; 91 92 /// SourceFileIdMap - Source file name to source file id map. 93 /// 94 StringMap<unsigned> SourceFileIdMap; 95 96 /// SourceFileNames - A list of source file names. 97 SmallVector<std::string, 8> SourceFileNames; 98 99 /// SourceIdMap - Source id map, i.e. pair of directory id and source file 100 /// id mapped to a unique id. 101 DenseMap<std::pair<unsigned, unsigned>, unsigned> SourceIdMap; 102 103 /// SourceIds - Reverse map from source id to directory id + file id pair. 104 /// 105 SmallVector<std::pair<unsigned, unsigned>, 8> SourceIds; 106 107 /// Lines - List of of source line correspondence. 108 std::vector<SrcLineInfo> Lines; 109 110 /// ValuesSet - Used to uniquely define values. 111 /// 112 FoldingSet<DIEValue> ValuesSet; 113 114 /// Values - A list of all the unique values in use. 115 /// 116 std::vector<DIEValue *> Values; 117 118 /// StringPool - A UniqueVector of strings used by indirect references. 119 /// 120 UniqueVector<std::string> StringPool; 121 122 /// SectionMap - Provides a unique id per text section. 123 /// 124 UniqueVector<const Section*> SectionMap; 125 126 /// SectionSourceLines - Tracks line numbers per text section. 127 /// 128 std::vector<std::vector<SrcLineInfo> > SectionSourceLines; 129 130 /// didInitial - Flag to indicate if initial emission has been done. 131 /// 132 bool didInitial; 133 134 /// shouldEmit - Flag to indicate if debug information should be emitted. 135 /// 136 bool shouldEmit; 137 138 // FunctionDbgScope - Top level scope for the current function. 139 // 140 DbgScope *FunctionDbgScope; 141 142 /// DbgScopeMap - Tracks the scopes in the current function. 143 DenseMap<GlobalVariable *, DbgScope *> DbgScopeMap; 144 145 /// DbgAbstractScopeMap - Tracks abstract instance scopes in the current 146 /// function. 147 DenseMap<GlobalVariable *, DbgScope *> DbgAbstractScopeMap; 148 149 /// DbgConcreteScopeMap - Tracks concrete instance scopes in the current 150 /// function. 151 DenseMap<GlobalVariable *, 152 SmallVector<DbgScope *, 8> > DbgConcreteScopeMap; 153 154 /// InlineInfo - Keep track of inlined functions and their location. This 155 /// information is used to populate debug_inlined section. 156 DenseMap<GlobalVariable *, SmallVector<unsigned, 4> > InlineInfo; 157 158 /// InlinedVariableScopes - Scopes information for the inlined subroutine 159 /// variables. 160 DenseMap<const MachineInstr *, DbgScope *> InlinedVariableScopes; 161 162 /// AbstractInstanceRootMap - Map of abstract instance roots of inlined 163 /// functions. These are subroutine entries that contain a DW_AT_inline 164 /// attribute. 165 DenseMap<const GlobalVariable *, DbgScope *> AbstractInstanceRootMap; 166 167 /// InlinedParamMap - A map keeping track of which parameters are assigned to 168 /// which abstract instance. 169 DenseMap<const GlobalVariable *, 170 SmallSet<const GlobalVariable *, 32> > InlinedParamMap; 171 172 /// AbstractInstanceRootList - List of abstract instance roots of inlined 173 /// functions. These are subroutine entries that contain a DW_AT_inline 174 /// attribute. 175 SmallVector<DbgScope *, 32> AbstractInstanceRootList; 176 177 /// LexicalScopeStack - A stack of lexical scopes. The top one is the current 178 /// scope. 179 SmallVector<DbgScope *, 16> LexicalScopeStack; 180 181 /// CompileUnitOffsets - A vector of the offsets of the compile units. This is 182 /// used when calculating the "origin" of a concrete instance of an inlined 183 /// function. 184 DenseMap<CompileUnit *, unsigned> CompileUnitOffsets; 185 186 /// DebugTimer - Timer for the Dwarf debug writer. 187 Timer *DebugTimer; 188 189 struct FunctionDebugFrameInfo { 190 unsigned Number; 191 std::vector<MachineMove> Moves; 192 193 FunctionDebugFrameInfo(unsigned Num, const std::vector<MachineMove> &M) 194 : Number(Num), Moves(M) {} 195 }; 196 197 std::vector<FunctionDebugFrameInfo> DebugFrames; 198 199 /// getSourceDirectoryAndFileIds - Return the directory and file ids that 200 /// maps to the source id. Source id starts at 1. 201 std::pair<unsigned, unsigned> 202 getSourceDirectoryAndFileIds(unsigned SId) const { 203 return SourceIds[SId-1]; 204 } 205 206 /// getNumSourceDirectories - Return the number of source directories in the 207 /// debug info. 208 unsigned getNumSourceDirectories() const { 209 return DirectoryNames.size(); 210 } 211 212 /// getSourceDirectoryName - Return the name of the directory corresponding 213 /// to the id. 214 const std::string &getSourceDirectoryName(unsigned Id) const { 215 return DirectoryNames[Id - 1]; 216 } 217 218 /// getSourceFileName - Return the name of the source file corresponding 219 /// to the id. 220 const std::string &getSourceFileName(unsigned Id) const { 221 return SourceFileNames[Id - 1]; 222 } 223 224 /// getNumSourceIds - Return the number of unique source ids. 225 unsigned getNumSourceIds() const { 226 return SourceIds.size(); 227 } 228 229 /// AssignAbbrevNumber - Define a unique number for the abbreviation. 230 /// 231 void AssignAbbrevNumber(DIEAbbrev &Abbrev); 232 233 /// CreateDIEEntry - Creates a new DIEEntry to be a proxy for a debug 234 /// information entry. 235 DIEEntry *CreateDIEEntry(DIE *Entry = NULL); 236 237 /// SetDIEEntry - Set a DIEEntry once the debug information entry is defined. 238 /// 239 void SetDIEEntry(DIEEntry *Value, DIE *Entry); 240 241 /// AddUInt - Add an unsigned integer attribute data and value. 242 /// 243 void AddUInt(DIE *Die, unsigned Attribute, unsigned Form, uint64_t Integer); 244 245 /// AddSInt - Add an signed integer attribute data and value. 246 /// 247 void AddSInt(DIE *Die, unsigned Attribute, unsigned Form, int64_t Integer); 248 249 /// AddString - Add a string attribute data and value. 250 /// 251 void AddString(DIE *Die, unsigned Attribute, unsigned Form, 252 const std::string &String); 253 254 /// AddLabel - Add a Dwarf label attribute data and value. 255 /// 256 void AddLabel(DIE *Die, unsigned Attribute, unsigned Form, 257 const DWLabel &Label); 258 259 /// AddObjectLabel - Add an non-Dwarf label attribute data and value. 260 /// 261 void AddObjectLabel(DIE *Die, unsigned Attribute, unsigned Form, 262 const std::string &Label); 263 264 /// AddSectionOffset - Add a section offset label attribute data and value. 265 /// 266 void AddSectionOffset(DIE *Die, unsigned Attribute, unsigned Form, 267 const DWLabel &Label, const DWLabel &Section, 268 bool isEH = false, bool useSet = true); 269 270 /// AddDelta - Add a label delta attribute data and value. 271 /// 272 void AddDelta(DIE *Die, unsigned Attribute, unsigned Form, 273 const DWLabel &Hi, const DWLabel &Lo); 274 275 /// AddDIEEntry - Add a DIE attribute data and value. 276 /// 277 void AddDIEEntry(DIE *Die, unsigned Attribute, unsigned Form, DIE *Entry) { 278 Die->AddValue(Attribute, Form, CreateDIEEntry(Entry)); 279 } 280 281 /// AddBlock - Add block data. 282 /// 283 void AddBlock(DIE *Die, unsigned Attribute, unsigned Form, DIEBlock *Block); 284 285 /// AddSourceLine - Add location information to specified debug information 286 /// entry. 287 void AddSourceLine(DIE *Die, const DIVariable *V); 288 289 /// AddSourceLine - Add location information to specified debug information 290 /// entry. 291 void AddSourceLine(DIE *Die, const DIGlobal *G); 292 293 void AddSourceLine(DIE *Die, const DIType *Ty); 294 295 /// AddAddress - Add an address attribute to a die based on the location 296 /// provided. 297 void AddAddress(DIE *Die, unsigned Attribute, 298 const MachineLocation &Location); 299 300 /// AddType - Add a new type attribute to the specified entity. 301 void AddType(CompileUnit *DW_Unit, DIE *Entity, DIType Ty); 302 303 /// ConstructTypeDIE - Construct basic type die from DIBasicType. 304 void ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer, 305 DIBasicType BTy); 306 307 /// ConstructTypeDIE - Construct derived type die from DIDerivedType. 308 void ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer, 309 DIDerivedType DTy); 310 311 /// ConstructTypeDIE - Construct type DIE from DICompositeType. 312 void ConstructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer, 313 DICompositeType CTy); 314 315 /// ConstructSubrangeDIE - Construct subrange DIE from DISubrange. 316 void ConstructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy); 317 318 /// ConstructArrayTypeDIE - Construct array type DIE from DICompositeType. 319 void ConstructArrayTypeDIE(CompileUnit *DW_Unit, DIE &Buffer, 320 DICompositeType *CTy); 321 322 /// ConstructEnumTypeDIE - Construct enum type DIE from DIEnumerator. 323 DIE *ConstructEnumTypeDIE(CompileUnit *DW_Unit, DIEnumerator *ETy); 324 325 /// CreateGlobalVariableDIE - Create new DIE using GV. 326 DIE *CreateGlobalVariableDIE(CompileUnit *DW_Unit, 327 const DIGlobalVariable &GV); 328 329 /// CreateMemberDIE - Create new member DIE. 330 DIE *CreateMemberDIE(CompileUnit *DW_Unit, const DIDerivedType &DT); 331 332 /// CreateSubprogramDIE - Create new DIE using SP. 333 DIE *CreateSubprogramDIE(CompileUnit *DW_Unit, 334 const DISubprogram &SP, 335 bool IsConstructor = false, 336 bool IsInlined = false); 337 338 /// FindCompileUnit - Get the compile unit for the given descriptor. 339 /// 340 CompileUnit &FindCompileUnit(DICompileUnit Unit) const; 341 342 /// CreateDbgScopeVariable - Create a new scope variable. 343 /// 344 DIE *CreateDbgScopeVariable(DbgVariable *DV, CompileUnit *Unit); 345 346 /// getOrCreateScope - Returns the scope associated with the given descriptor. 347 /// 348 DbgScope *getOrCreateScope(GlobalVariable *V); 349 350 /// ConstructDbgScope - Construct the components of a scope. 351 /// 352 void ConstructDbgScope(DbgScope *ParentScope, 353 unsigned ParentStartID, unsigned ParentEndID, 354 DIE *ParentDie, CompileUnit *Unit); 355 356 /// ConstructFunctionDbgScope - Construct the scope for the subprogram. 357 /// 358 void ConstructFunctionDbgScope(DbgScope *RootScope, 359 bool AbstractScope = false); 360 361 /// ConstructDefaultDbgScope - Construct a default scope for the subprogram. 362 /// 363 void ConstructDefaultDbgScope(MachineFunction *MF); 364 365 /// EmitInitial - Emit initial Dwarf declarations. This is necessary for cc 366 /// tools to recognize the object file contains Dwarf information. 367 void EmitInitial(); 368 369 /// EmitDIE - Recusively Emits a debug information entry. 370 /// 371 void EmitDIE(DIE *Die); 372 373 /// SizeAndOffsetDie - Compute the size and offset of a DIE. 374 /// 375 unsigned SizeAndOffsetDie(DIE *Die, unsigned Offset, bool Last); 376 377 /// SizeAndOffsets - Compute the size and offset of all the DIEs. 378 /// 379 void SizeAndOffsets(); 380 381 /// EmitDebugInfo / EmitDebugInfoPerCU - Emit the debug info section. 382 /// 383 void EmitDebugInfoPerCU(CompileUnit *Unit); 384 385 void EmitDebugInfo(); 386 387 /// EmitAbbreviations - Emit the abbreviation section. 388 /// 389 void EmitAbbreviations() const; 390 391 /// EmitEndOfLineMatrix - Emit the last address of the section and the end of 392 /// the line matrix. 393 /// 394 void EmitEndOfLineMatrix(unsigned SectionEnd); 395 396 /// EmitDebugLines - Emit source line information. 397 /// 398 void EmitDebugLines(); 399 400 /// EmitCommonDebugFrame - Emit common frame info into a debug frame section. 401 /// 402 void EmitCommonDebugFrame(); 403 404 /// EmitFunctionDebugFrame - Emit per function frame info into a debug frame 405 /// section. 406 void EmitFunctionDebugFrame(const FunctionDebugFrameInfo &DebugFrameInfo); 407 408 void EmitDebugPubNamesPerCU(CompileUnit *Unit); 409 410 /// EmitDebugPubNames - Emit visible names into a debug pubnames section. 411 /// 412 void EmitDebugPubNames(); 413 414 /// EmitDebugStr - Emit visible names into a debug str section. 415 /// 416 void EmitDebugStr(); 417 418 /// EmitDebugLoc - Emit visible names into a debug loc section. 419 /// 420 void EmitDebugLoc(); 421 422 /// EmitDebugARanges - Emit visible names into a debug aranges section. 423 /// 424 void EmitDebugARanges(); 425 426 /// EmitDebugRanges - Emit visible names into a debug ranges section. 427 /// 428 void EmitDebugRanges(); 429 430 /// EmitDebugMacInfo - Emit visible names into a debug macinfo section. 431 /// 432 void EmitDebugMacInfo(); 433 434 /// EmitDebugInlineInfo - Emit inline info using following format. 435 /// Section Header: 436 /// 1. length of section 437 /// 2. Dwarf version number 438 /// 3. address size. 439 /// 440 /// Entries (one "entry" for each function that was inlined): 441 /// 442 /// 1. offset into __debug_str section for MIPS linkage name, if exists; 443 /// otherwise offset into __debug_str for regular function name. 444 /// 2. offset into __debug_str section for regular function name. 445 /// 3. an unsigned LEB128 number indicating the number of distinct inlining 446 /// instances for the function. 447 /// 448 /// The rest of the entry consists of a {die_offset, low_pc} pair for each 449 /// inlined instance; the die_offset points to the inlined_subroutine die in 450 /// the __debug_info section, and the low_pc is the starting address for the 451 /// inlining instance. 452 void EmitDebugInlineInfo(); 453 454 /// GetOrCreateSourceID - Look up the source id with the given directory and 455 /// source file names. If none currently exists, create a new id and insert it 456 /// in the SourceIds map. This can update DirectoryNames and SourceFileNames maps 457 /// as well. 458 unsigned GetOrCreateSourceID(const std::string &DirName, 459 const std::string &FileName); 460 461 void ConstructCompileUnit(GlobalVariable *GV); 462 463 /// ConstructCompileUnits - Create a compile unit DIEs. 464 void ConstructCompileUnits(); 465 466 bool ConstructGlobalVariableDIE(GlobalVariable *GV); 467 468 /// ConstructGlobalVariableDIEs - Create DIEs for each of the externally 469 /// visible global variables. Return true if at least one global DIE is 470 /// created. 471 bool ConstructGlobalVariableDIEs(); 472 473 bool ConstructSubprogram(GlobalVariable *GV); 474 475 /// ConstructSubprograms - Create DIEs for each of the externally visible 476 /// subprograms. Return true if at least one subprogram DIE is created. 477 bool ConstructSubprograms(); 478 public: 479 //===--------------------------------------------------------------------===// 480 // Main entry points. 481 // 482 DwarfDebug(raw_ostream &OS, AsmPrinter *A, const TargetAsmInfo *T); 483 virtual ~DwarfDebug(); 484 485 /// ShouldEmitDwarfDebug - Returns true if Dwarf debugging declarations should 486 /// be emitted. 487 bool ShouldEmitDwarfDebug() const { return shouldEmit; } 488 489 /// SetDebugInfo - Create global DIEs and emit initial debug info sections. 490 /// This is inovked by the target AsmPrinter. 491 void SetDebugInfo(MachineModuleInfo *mmi); 492 493 /// BeginModule - Emit all Dwarf sections that should come prior to the 494 /// content. 495 void BeginModule(Module *M) { 496 this->M = M; 497 } 498 499 /// EndModule - Emit all Dwarf sections that should come after the content. 500 /// 501 void EndModule(); 502 503 /// BeginFunction - Gather pre-function debug information. Assumes being 504 /// emitted immediately after the function entry point. 505 void BeginFunction(MachineFunction *MF); 506 507 /// EndFunction - Gather and emit post-function debug information. 508 /// 509 void EndFunction(MachineFunction *MF); 510 511 /// RecordSourceLine - Records location information and associates it with a 512 /// label. Returns a unique label ID used to generate a label and provide 513 /// correspondence to the source line list. 514 unsigned RecordSourceLine(Value *V, unsigned Line, unsigned Col); 515 516 /// RecordSourceLine - Records location information and associates it with a 517 /// label. Returns a unique label ID used to generate a label and provide 518 /// correspondence to the source line list. 519 unsigned RecordSourceLine(unsigned Line, unsigned Col, DICompileUnit CU); 520 521 /// getRecordSourceLineCount - Return the number of source lines in the debug 522 /// info. 523 unsigned getRecordSourceLineCount() const { 524 return Lines.size(); 525 } 526 527 /// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be 528 /// timed. Look up the source id with the given directory and source file 529 /// names. If none currently exists, create a new id and insert it in the 530 /// SourceIds map. This can update DirectoryNames and SourceFileNames maps as 531 /// well. 532 unsigned getOrCreateSourceID(const std::string &DirName, 533 const std::string &FileName); 534 535 /// RecordRegionStart - Indicate the start of a region. 536 unsigned RecordRegionStart(GlobalVariable *V); 537 538 /// RecordRegionEnd - Indicate the end of a region. 539 unsigned RecordRegionEnd(GlobalVariable *V); 540 541 /// RecordVariable - Indicate the declaration of a local variable. 542 void RecordVariable(GlobalVariable *GV, unsigned FrameIndex, 543 const MachineInstr *MI); 544 545 //// RecordInlinedFnStart - Indicate the start of inlined subroutine. 546 unsigned RecordInlinedFnStart(DISubprogram &SP, DICompileUnit CU, 547 unsigned Line, unsigned Col); 548 549 /// RecordInlinedFnEnd - Indicate the end of inlined subroutine. 550 unsigned RecordInlinedFnEnd(DISubprogram &SP); 551 552 /// RecordVariableScope - Record scope for the variable declared by 553 /// DeclareMI. DeclareMI must describe TargetInstrInfo::DECLARE. Record scopes 554 /// for only inlined subroutine variables. Other variables's scopes are 555 /// determined during RecordVariable(). 556 void RecordVariableScope(DIVariable &DV, const MachineInstr *DeclareMI); 557 }; 558 559 } // End of namespace llvm 560 561 #endif 562