DwarfDebug.cpp revision d55224c25e674c552df5b73958cfce3bc39e960f
1//===-- llvm/CodeGen/DwarfDebug.cpp - Dwarf Debug Framework ---------------===// 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#define DEBUG_TYPE "dwarfdebug" 14#include "DwarfDebug.h" 15#include "llvm/Module.h" 16#include "llvm/CodeGen/MachineFunction.h" 17#include "llvm/CodeGen/MachineModuleInfo.h" 18#include "llvm/MC/MCSection.h" 19#include "llvm/MC/MCStreamer.h" 20#include "llvm/MC/MCAsmInfo.h" 21#include "llvm/Target/TargetData.h" 22#include "llvm/Target/TargetFrameInfo.h" 23#include "llvm/Target/TargetLoweringObjectFile.h" 24#include "llvm/Target/TargetRegisterInfo.h" 25#include "llvm/ADT/StringExtras.h" 26#include "llvm/Support/Debug.h" 27#include "llvm/Support/ErrorHandling.h" 28#include "llvm/Support/Mangler.h" 29#include "llvm/Support/Timer.h" 30#include "llvm/System/Path.h" 31using namespace llvm; 32 33static TimerGroup &getDwarfTimerGroup() { 34 static TimerGroup DwarfTimerGroup("Dwarf Debugging"); 35 return DwarfTimerGroup; 36} 37 38//===----------------------------------------------------------------------===// 39 40/// Configuration values for initial hash set sizes (log2). 41/// 42static const unsigned InitAbbreviationsSetSize = 9; // log2(512) 43 44namespace llvm { 45 46//===----------------------------------------------------------------------===// 47/// CompileUnit - This dwarf writer support class manages information associate 48/// with a source file. 49class CompileUnit { 50 /// ID - File identifier for source. 51 /// 52 unsigned ID; 53 54 /// Die - Compile unit debug information entry. 55 /// 56 DIE *CUDie; 57 58 /// IndexTyDie - An anonymous type for index type. 59 DIE *IndexTyDie; 60 61 /// GVToDieMap - Tracks the mapping of unit level debug informaton 62 /// variables to debug information entries. 63 /// FIXME : Rename GVToDieMap -> NodeToDieMap 64 ValueMap<MDNode *, DIE *> GVToDieMap; 65 66 /// GVToDIEEntryMap - Tracks the mapping of unit level debug informaton 67 /// descriptors to debug information entries using a DIEEntry proxy. 68 /// FIXME : Rename 69 ValueMap<MDNode *, DIEEntry *> GVToDIEEntryMap; 70 71 /// Globals - A map of globally visible named entities for this unit. 72 /// 73 StringMap<DIE*> Globals; 74 75 /// GlobalTypes - A map of globally visible types for this unit. 76 /// 77 StringMap<DIE*> GlobalTypes; 78 79public: 80 CompileUnit(unsigned I, DIE *D) 81 : ID(I), CUDie(D), IndexTyDie(0) {} 82 ~CompileUnit() { delete CUDie; delete IndexTyDie; } 83 84 // Accessors. 85 unsigned getID() const { return ID; } 86 DIE* getCUDie() const { return CUDie; } 87 const StringMap<DIE*> &getGlobals() const { return Globals; } 88 const StringMap<DIE*> &getGlobalTypes() const { return GlobalTypes; } 89 90 /// hasContent - Return true if this compile unit has something to write out. 91 /// 92 bool hasContent() const { return !CUDie->getChildren().empty(); } 93 94 /// addGlobal - Add a new global entity to the compile unit. 95 /// 96 void addGlobal(const std::string &Name, DIE *Die) { Globals[Name] = Die; } 97 98 /// addGlobalType - Add a new global type to the compile unit. 99 /// 100 void addGlobalType(const std::string &Name, DIE *Die) { 101 GlobalTypes[Name] = Die; 102 } 103 104 /// getDIE - Returns the debug information entry map slot for the 105 /// specified debug variable. 106 DIE *getDIE(MDNode *N) { return GVToDieMap.lookup(N); } 107 108 /// insertDIE - Insert DIE into the map. 109 void insertDIE(MDNode *N, DIE *D) { 110 GVToDieMap.insert(std::make_pair(N, D)); 111 } 112 113 /// getDIEEntry - Returns the debug information entry for the speciefied 114 /// debug variable. 115 DIEEntry *getDIEEntry(MDNode *N) { return GVToDIEEntryMap.lookup(N); } 116 117 /// insertDIEEntry - Insert debug information entry into the map. 118 void insertDIEEntry(MDNode *N, DIEEntry *E) { 119 GVToDIEEntryMap.insert(std::make_pair(N, E)); 120 } 121 122 /// addDie - Adds or interns the DIE to the compile unit. 123 /// 124 void addDie(DIE *Buffer) { 125 this->CUDie->addChild(Buffer); 126 } 127 128 // getIndexTyDie - Get an anonymous type for index type. 129 DIE *getIndexTyDie() { 130 return IndexTyDie; 131 } 132 133 // setIndexTyDie - Set D as anonymous type for index which can be reused 134 // later. 135 void setIndexTyDie(DIE *D) { 136 IndexTyDie = D; 137 } 138 139}; 140 141//===----------------------------------------------------------------------===// 142/// DbgVariable - This class is used to track local variable information. 143/// 144class DbgVariable { 145 DIVariable Var; // Variable Descriptor. 146 unsigned FrameIndex; // Variable frame index. 147 DbgVariable *AbstractVar; // Abstract variable for this variable. 148 DIE *TheDIE; 149public: 150 DbgVariable(DIVariable V, unsigned I) 151 : Var(V), FrameIndex(I), AbstractVar(0), TheDIE(0) {} 152 153 // Accessors. 154 DIVariable getVariable() const { return Var; } 155 unsigned getFrameIndex() const { return FrameIndex; } 156 void setAbstractVariable(DbgVariable *V) { AbstractVar = V; } 157 DbgVariable *getAbstractVariable() const { return AbstractVar; } 158 void setDIE(DIE *D) { TheDIE = D; } 159 DIE *getDIE() const { return TheDIE; } 160}; 161 162//===----------------------------------------------------------------------===// 163/// DbgScope - This class is used to track scope information. 164/// 165class DbgScope { 166 DbgScope *Parent; // Parent to this scope. 167 DIDescriptor Desc; // Debug info descriptor for scope. 168 WeakVH InlinedAtLocation; // Location at which scope is inlined. 169 bool AbstractScope; // Abstract Scope 170 unsigned StartLabelID; // Label ID of the beginning of scope. 171 unsigned EndLabelID; // Label ID of the end of scope. 172 const MachineInstr *LastInsn; // Last instruction of this scope. 173 const MachineInstr *FirstInsn; // First instruction of this scope. 174 SmallVector<DbgScope *, 4> Scopes; // Scopes defined in scope. 175 SmallVector<DbgVariable *, 8> Variables;// Variables declared in scope. 176 177 // Private state for dump() 178 mutable unsigned IndentLevel; 179public: 180 DbgScope(DbgScope *P, DIDescriptor D, MDNode *I = 0) 181 : Parent(P), Desc(D), InlinedAtLocation(I), AbstractScope(false), 182 StartLabelID(0), EndLabelID(0), 183 LastInsn(0), FirstInsn(0), IndentLevel(0) {} 184 virtual ~DbgScope(); 185 186 // Accessors. 187 DbgScope *getParent() const { return Parent; } 188 void setParent(DbgScope *P) { Parent = P; } 189 DIDescriptor getDesc() const { return Desc; } 190 MDNode *getInlinedAt() const { 191 return dyn_cast_or_null<MDNode>(InlinedAtLocation); 192 } 193 MDNode *getScopeNode() const { return Desc.getNode(); } 194 unsigned getStartLabelID() const { return StartLabelID; } 195 unsigned getEndLabelID() const { return EndLabelID; } 196 SmallVector<DbgScope *, 4> &getScopes() { return Scopes; } 197 SmallVector<DbgVariable *, 8> &getVariables() { return Variables; } 198 void setStartLabelID(unsigned S) { StartLabelID = S; } 199 void setEndLabelID(unsigned E) { EndLabelID = E; } 200 void setLastInsn(const MachineInstr *MI) { LastInsn = MI; } 201 const MachineInstr *getLastInsn() { return LastInsn; } 202 void setFirstInsn(const MachineInstr *MI) { FirstInsn = MI; } 203 void setAbstractScope() { AbstractScope = true; } 204 bool isAbstractScope() const { return AbstractScope; } 205 const MachineInstr *getFirstInsn() { return FirstInsn; } 206 207 /// addScope - Add a scope to the scope. 208 /// 209 void addScope(DbgScope *S) { Scopes.push_back(S); } 210 211 /// addVariable - Add a variable to the scope. 212 /// 213 void addVariable(DbgVariable *V) { Variables.push_back(V); } 214 215 void fixInstructionMarkers() { 216 assert (getFirstInsn() && "First instruction is missing!"); 217 if (getLastInsn()) 218 return; 219 220 // If a scope does not have an instruction to mark an end then use 221 // the end of last child scope. 222 SmallVector<DbgScope *, 4> &Scopes = getScopes(); 223 assert (!Scopes.empty() && "Inner most scope does not have last insn!"); 224 DbgScope *L = Scopes.back(); 225 if (!L->getLastInsn()) 226 L->fixInstructionMarkers(); 227 setLastInsn(L->getLastInsn()); 228 } 229 230#ifndef NDEBUG 231 void dump() const; 232#endif 233}; 234 235#ifndef NDEBUG 236void DbgScope::dump() const { 237 raw_ostream &err = errs(); 238 err.indent(IndentLevel); 239 MDNode *N = Desc.getNode(); 240 N->dump(); 241 err << " [" << StartLabelID << ", " << EndLabelID << "]\n"; 242 if (AbstractScope) 243 err << "Abstract Scope\n"; 244 245 IndentLevel += 2; 246 if (!Scopes.empty()) 247 err << "Children ...\n"; 248 for (unsigned i = 0, e = Scopes.size(); i != e; ++i) 249 if (Scopes[i] != this) 250 Scopes[i]->dump(); 251 252 IndentLevel -= 2; 253} 254#endif 255 256DbgScope::~DbgScope() { 257 for (unsigned i = 0, N = Scopes.size(); i < N; ++i) 258 delete Scopes[i]; 259 for (unsigned j = 0, M = Variables.size(); j < M; ++j) 260 delete Variables[j]; 261} 262 263} // end llvm namespace 264 265DwarfDebug::DwarfDebug(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T) 266 : Dwarf(OS, A, T, "dbg"), ModuleCU(0), 267 AbbreviationsSet(InitAbbreviationsSetSize), Abbreviations(), 268 DIEValues(), StringPool(), 269 SectionSourceLines(), didInitial(false), shouldEmit(false), 270 CurrentFnDbgScope(0), DebugTimer(0) { 271 if (TimePassesIsEnabled) 272 DebugTimer = new Timer("Dwarf Debug Writer", 273 getDwarfTimerGroup()); 274} 275DwarfDebug::~DwarfDebug() { 276 for (unsigned j = 0, M = DIEValues.size(); j < M; ++j) 277 delete DIEValues[j]; 278 279 delete DebugTimer; 280} 281 282/// assignAbbrevNumber - Define a unique number for the abbreviation. 283/// 284void DwarfDebug::assignAbbrevNumber(DIEAbbrev &Abbrev) { 285 // Profile the node so that we can make it unique. 286 FoldingSetNodeID ID; 287 Abbrev.Profile(ID); 288 289 // Check the set for priors. 290 DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev); 291 292 // If it's newly added. 293 if (InSet == &Abbrev) { 294 // Add to abbreviation list. 295 Abbreviations.push_back(&Abbrev); 296 297 // Assign the vector position + 1 as its number. 298 Abbrev.setNumber(Abbreviations.size()); 299 } else { 300 // Assign existing abbreviation number. 301 Abbrev.setNumber(InSet->getNumber()); 302 } 303} 304 305/// createDIEEntry - Creates a new DIEEntry to be a proxy for a debug 306/// information entry. 307DIEEntry *DwarfDebug::createDIEEntry(DIE *Entry) { 308 DIEEntry *Value = new DIEEntry(Entry); 309 DIEValues.push_back(Value); 310 return Value; 311} 312 313/// addUInt - Add an unsigned integer attribute data and value. 314/// 315void DwarfDebug::addUInt(DIE *Die, unsigned Attribute, 316 unsigned Form, uint64_t Integer) { 317 if (!Form) Form = DIEInteger::BestForm(false, Integer); 318 DIEValue *Value = new DIEInteger(Integer); 319 DIEValues.push_back(Value); 320 Die->addValue(Attribute, Form, Value); 321} 322 323/// addSInt - Add an signed integer attribute data and value. 324/// 325void DwarfDebug::addSInt(DIE *Die, unsigned Attribute, 326 unsigned Form, int64_t Integer) { 327 if (!Form) Form = DIEInteger::BestForm(true, Integer); 328 DIEValue *Value = new DIEInteger(Integer); 329 DIEValues.push_back(Value); 330 Die->addValue(Attribute, Form, Value); 331} 332 333/// addString - Add a string attribute data and value. DIEString only 334/// keeps string reference. 335void DwarfDebug::addString(DIE *Die, unsigned Attribute, unsigned Form, 336 const StringRef String) { 337 DIEValue *Value = new DIEString(String); 338 DIEValues.push_back(Value); 339 Die->addValue(Attribute, Form, Value); 340} 341 342/// addLabel - Add a Dwarf label attribute data and value. 343/// 344void DwarfDebug::addLabel(DIE *Die, unsigned Attribute, unsigned Form, 345 const DWLabel &Label) { 346 DIEValue *Value = new DIEDwarfLabel(Label); 347 DIEValues.push_back(Value); 348 Die->addValue(Attribute, Form, Value); 349} 350 351/// addObjectLabel - Add an non-Dwarf label attribute data and value. 352/// 353void DwarfDebug::addObjectLabel(DIE *Die, unsigned Attribute, unsigned Form, 354 const std::string &Label) { 355 DIEValue *Value = new DIEObjectLabel(Label); 356 DIEValues.push_back(Value); 357 Die->addValue(Attribute, Form, Value); 358} 359 360/// addSectionOffset - Add a section offset label attribute data and value. 361/// 362void DwarfDebug::addSectionOffset(DIE *Die, unsigned Attribute, unsigned Form, 363 const DWLabel &Label, const DWLabel &Section, 364 bool isEH, bool useSet) { 365 DIEValue *Value = new DIESectionOffset(Label, Section, isEH, useSet); 366 DIEValues.push_back(Value); 367 Die->addValue(Attribute, Form, Value); 368} 369 370/// addDelta - Add a label delta attribute data and value. 371/// 372void DwarfDebug::addDelta(DIE *Die, unsigned Attribute, unsigned Form, 373 const DWLabel &Hi, const DWLabel &Lo) { 374 DIEValue *Value = new DIEDelta(Hi, Lo); 375 DIEValues.push_back(Value); 376 Die->addValue(Attribute, Form, Value); 377} 378 379/// addBlock - Add block data. 380/// 381void DwarfDebug::addBlock(DIE *Die, unsigned Attribute, unsigned Form, 382 DIEBlock *Block) { 383 Block->ComputeSize(TD); 384 DIEValues.push_back(Block); 385 Die->addValue(Attribute, Block->BestForm(), Block); 386} 387 388/// addSourceLine - Add location information to specified debug information 389/// entry. 390void DwarfDebug::addSourceLine(DIE *Die, const DIVariable *V) { 391 // If there is no compile unit specified, don't add a line #. 392 if (V->getCompileUnit().isNull()) 393 return; 394 395 unsigned Line = V->getLineNumber(); 396 unsigned FileID = findCompileUnit(V->getCompileUnit()).getID(); 397 assert(FileID && "Invalid file id"); 398 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID); 399 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line); 400} 401 402/// addSourceLine - Add location information to specified debug information 403/// entry. 404void DwarfDebug::addSourceLine(DIE *Die, const DIGlobal *G) { 405 // If there is no compile unit specified, don't add a line #. 406 if (G->getCompileUnit().isNull()) 407 return; 408 409 unsigned Line = G->getLineNumber(); 410 unsigned FileID = findCompileUnit(G->getCompileUnit()).getID(); 411 assert(FileID && "Invalid file id"); 412 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID); 413 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line); 414} 415 416/// addSourceLine - Add location information to specified debug information 417/// entry. 418void DwarfDebug::addSourceLine(DIE *Die, const DISubprogram *SP) { 419 // If there is no compile unit specified, don't add a line #. 420 if (SP->getCompileUnit().isNull()) 421 return; 422 // If the line number is 0, don't add it. 423 if (SP->getLineNumber() == 0) 424 return; 425 426 427 unsigned Line = SP->getLineNumber(); 428 unsigned FileID = findCompileUnit(SP->getCompileUnit()).getID(); 429 assert(FileID && "Invalid file id"); 430 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID); 431 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line); 432} 433 434/// addSourceLine - Add location information to specified debug information 435/// entry. 436void DwarfDebug::addSourceLine(DIE *Die, const DIType *Ty) { 437 // If there is no compile unit specified, don't add a line #. 438 DICompileUnit CU = Ty->getCompileUnit(); 439 if (CU.isNull()) 440 return; 441 442 unsigned Line = Ty->getLineNumber(); 443 unsigned FileID = findCompileUnit(CU).getID(); 444 assert(FileID && "Invalid file id"); 445 addUInt(Die, dwarf::DW_AT_decl_file, 0, FileID); 446 addUInt(Die, dwarf::DW_AT_decl_line, 0, Line); 447} 448 449/* Byref variables, in Blocks, are declared by the programmer as 450 "SomeType VarName;", but the compiler creates a 451 __Block_byref_x_VarName struct, and gives the variable VarName 452 either the struct, or a pointer to the struct, as its type. This 453 is necessary for various behind-the-scenes things the compiler 454 needs to do with by-reference variables in blocks. 455 456 However, as far as the original *programmer* is concerned, the 457 variable should still have type 'SomeType', as originally declared. 458 459 The following function dives into the __Block_byref_x_VarName 460 struct to find the original type of the variable. This will be 461 passed back to the code generating the type for the Debug 462 Information Entry for the variable 'VarName'. 'VarName' will then 463 have the original type 'SomeType' in its debug information. 464 465 The original type 'SomeType' will be the type of the field named 466 'VarName' inside the __Block_byref_x_VarName struct. 467 468 NOTE: In order for this to not completely fail on the debugger 469 side, the Debug Information Entry for the variable VarName needs to 470 have a DW_AT_location that tells the debugger how to unwind through 471 the pointers and __Block_byref_x_VarName struct to find the actual 472 value of the variable. The function addBlockByrefType does this. */ 473 474/// Find the type the programmer originally declared the variable to be 475/// and return that type. 476/// 477DIType DwarfDebug::getBlockByrefType(DIType Ty, std::string Name) { 478 479 DIType subType = Ty; 480 unsigned tag = Ty.getTag(); 481 482 if (tag == dwarf::DW_TAG_pointer_type) { 483 DIDerivedType DTy = DIDerivedType(Ty.getNode()); 484 subType = DTy.getTypeDerivedFrom(); 485 } 486 487 DICompositeType blockStruct = DICompositeType(subType.getNode()); 488 489 DIArray Elements = blockStruct.getTypeArray(); 490 491 if (Elements.isNull()) 492 return Ty; 493 494 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) { 495 DIDescriptor Element = Elements.getElement(i); 496 DIDerivedType DT = DIDerivedType(Element.getNode()); 497 if (Name == DT.getName()) 498 return (DT.getTypeDerivedFrom()); 499 } 500 501 return Ty; 502} 503 504/// addComplexAddress - Start with the address based on the location provided, 505/// and generate the DWARF information necessary to find the actual variable 506/// given the extra address information encoded in the DIVariable, starting from 507/// the starting location. Add the DWARF information to the die. 508/// 509void DwarfDebug::addComplexAddress(DbgVariable *&DV, DIE *Die, 510 unsigned Attribute, 511 const MachineLocation &Location) { 512 const DIVariable &VD = DV->getVariable(); 513 DIType Ty = VD.getType(); 514 515 // Decode the original location, and use that as the start of the byref 516 // variable's location. 517 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false); 518 DIEBlock *Block = new DIEBlock(); 519 520 if (Location.isReg()) { 521 if (Reg < 32) { 522 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg); 523 } else { 524 Reg = Reg - dwarf::DW_OP_reg0; 525 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg); 526 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg); 527 } 528 } else { 529 if (Reg < 32) 530 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg); 531 else { 532 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx); 533 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg); 534 } 535 536 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset()); 537 } 538 539 for (unsigned i = 0, N = VD.getNumAddrElements(); i < N; ++i) { 540 uint64_t Element = VD.getAddrElement(i); 541 542 if (Element == DIFactory::OpPlus) { 543 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst); 544 addUInt(Block, 0, dwarf::DW_FORM_udata, VD.getAddrElement(++i)); 545 } else if (Element == DIFactory::OpDeref) { 546 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref); 547 } else llvm_unreachable("unknown DIFactory Opcode"); 548 } 549 550 // Now attach the location information to the DIE. 551 addBlock(Die, Attribute, 0, Block); 552} 553 554/* Byref variables, in Blocks, are declared by the programmer as "SomeType 555 VarName;", but the compiler creates a __Block_byref_x_VarName struct, and 556 gives the variable VarName either the struct, or a pointer to the struct, as 557 its type. This is necessary for various behind-the-scenes things the 558 compiler needs to do with by-reference variables in Blocks. 559 560 However, as far as the original *programmer* is concerned, the variable 561 should still have type 'SomeType', as originally declared. 562 563 The function getBlockByrefType dives into the __Block_byref_x_VarName 564 struct to find the original type of the variable, which is then assigned to 565 the variable's Debug Information Entry as its real type. So far, so good. 566 However now the debugger will expect the variable VarName to have the type 567 SomeType. So we need the location attribute for the variable to be an 568 expression that explains to the debugger how to navigate through the 569 pointers and struct to find the actual variable of type SomeType. 570 571 The following function does just that. We start by getting 572 the "normal" location for the variable. This will be the location 573 of either the struct __Block_byref_x_VarName or the pointer to the 574 struct __Block_byref_x_VarName. 575 576 The struct will look something like: 577 578 struct __Block_byref_x_VarName { 579 ... <various fields> 580 struct __Block_byref_x_VarName *forwarding; 581 ... <various other fields> 582 SomeType VarName; 583 ... <maybe more fields> 584 }; 585 586 If we are given the struct directly (as our starting point) we 587 need to tell the debugger to: 588 589 1). Add the offset of the forwarding field. 590 591 2). Follow that pointer to get the the real __Block_byref_x_VarName 592 struct to use (the real one may have been copied onto the heap). 593 594 3). Add the offset for the field VarName, to find the actual variable. 595 596 If we started with a pointer to the struct, then we need to 597 dereference that pointer first, before the other steps. 598 Translating this into DWARF ops, we will need to append the following 599 to the current location description for the variable: 600 601 DW_OP_deref -- optional, if we start with a pointer 602 DW_OP_plus_uconst <forward_fld_offset> 603 DW_OP_deref 604 DW_OP_plus_uconst <varName_fld_offset> 605 606 That is what this function does. */ 607 608/// addBlockByrefAddress - Start with the address based on the location 609/// provided, and generate the DWARF information necessary to find the 610/// actual Block variable (navigating the Block struct) based on the 611/// starting location. Add the DWARF information to the die. For 612/// more information, read large comment just above here. 613/// 614void DwarfDebug::addBlockByrefAddress(DbgVariable *&DV, DIE *Die, 615 unsigned Attribute, 616 const MachineLocation &Location) { 617 const DIVariable &VD = DV->getVariable(); 618 DIType Ty = VD.getType(); 619 DIType TmpTy = Ty; 620 unsigned Tag = Ty.getTag(); 621 bool isPointer = false; 622 623 StringRef varName = VD.getName(); 624 625 if (Tag == dwarf::DW_TAG_pointer_type) { 626 DIDerivedType DTy = DIDerivedType(Ty.getNode()); 627 TmpTy = DTy.getTypeDerivedFrom(); 628 isPointer = true; 629 } 630 631 DICompositeType blockStruct = DICompositeType(TmpTy.getNode()); 632 633 // Find the __forwarding field and the variable field in the __Block_byref 634 // struct. 635 DIArray Fields = blockStruct.getTypeArray(); 636 DIDescriptor varField = DIDescriptor(); 637 DIDescriptor forwardingField = DIDescriptor(); 638 639 640 for (unsigned i = 0, N = Fields.getNumElements(); i < N; ++i) { 641 DIDescriptor Element = Fields.getElement(i); 642 DIDerivedType DT = DIDerivedType(Element.getNode()); 643 StringRef fieldName = DT.getName(); 644 if (fieldName == "__forwarding") 645 forwardingField = Element; 646 else if (fieldName == varName) 647 varField = Element; 648 } 649 650 assert(!varField.isNull() && "Can't find byref variable in Block struct"); 651 assert(!forwardingField.isNull() 652 && "Can't find forwarding field in Block struct"); 653 654 // Get the offsets for the forwarding field and the variable field. 655 unsigned int forwardingFieldOffset = 656 DIDerivedType(forwardingField.getNode()).getOffsetInBits() >> 3; 657 unsigned int varFieldOffset = 658 DIDerivedType(varField.getNode()).getOffsetInBits() >> 3; 659 660 // Decode the original location, and use that as the start of the byref 661 // variable's location. 662 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false); 663 DIEBlock *Block = new DIEBlock(); 664 665 if (Location.isReg()) { 666 if (Reg < 32) 667 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg); 668 else { 669 Reg = Reg - dwarf::DW_OP_reg0; 670 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg); 671 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg); 672 } 673 } else { 674 if (Reg < 32) 675 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg); 676 else { 677 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx); 678 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg); 679 } 680 681 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset()); 682 } 683 684 // If we started with a pointer to the __Block_byref... struct, then 685 // the first thing we need to do is dereference the pointer (DW_OP_deref). 686 if (isPointer) 687 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref); 688 689 // Next add the offset for the '__forwarding' field: 690 // DW_OP_plus_uconst ForwardingFieldOffset. Note there's no point in 691 // adding the offset if it's 0. 692 if (forwardingFieldOffset > 0) { 693 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst); 694 addUInt(Block, 0, dwarf::DW_FORM_udata, forwardingFieldOffset); 695 } 696 697 // Now dereference the __forwarding field to get to the real __Block_byref 698 // struct: DW_OP_deref. 699 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_deref); 700 701 // Now that we've got the real __Block_byref... struct, add the offset 702 // for the variable's field to get to the location of the actual variable: 703 // DW_OP_plus_uconst varFieldOffset. Again, don't add if it's 0. 704 if (varFieldOffset > 0) { 705 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst); 706 addUInt(Block, 0, dwarf::DW_FORM_udata, varFieldOffset); 707 } 708 709 // Now attach the location information to the DIE. 710 addBlock(Die, Attribute, 0, Block); 711} 712 713/// addAddress - Add an address attribute to a die based on the location 714/// provided. 715void DwarfDebug::addAddress(DIE *Die, unsigned Attribute, 716 const MachineLocation &Location) { 717 unsigned Reg = RI->getDwarfRegNum(Location.getReg(), false); 718 DIEBlock *Block = new DIEBlock(); 719 720 if (Location.isReg()) { 721 if (Reg < 32) { 722 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_reg0 + Reg); 723 } else { 724 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_regx); 725 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg); 726 } 727 } else { 728 if (Reg < 32) { 729 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_breg0 + Reg); 730 } else { 731 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_bregx); 732 addUInt(Block, 0, dwarf::DW_FORM_udata, Reg); 733 } 734 735 addUInt(Block, 0, dwarf::DW_FORM_sdata, Location.getOffset()); 736 } 737 738 addBlock(Die, Attribute, 0, Block); 739} 740 741/// addType - Add a new type attribute to the specified entity. 742void DwarfDebug::addType(CompileUnit *DW_Unit, DIE *Entity, DIType Ty) { 743 if (Ty.isNull()) 744 return; 745 746 // Check for pre-existence. 747 DIEEntry *Entry = DW_Unit->getDIEEntry(Ty.getNode()); 748 749 // If it exists then use the existing value. 750 if (Entry) { 751 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry); 752 return; 753 } 754 755 // Set up proxy. 756 Entry = createDIEEntry(); 757 DW_Unit->insertDIEEntry(Ty.getNode(), Entry); 758 759 // Construct type. 760 DIE *Buffer = new DIE(dwarf::DW_TAG_base_type); 761 ModuleCU->insertDIE(Ty.getNode(), Buffer); 762 if (Ty.isBasicType()) 763 constructTypeDIE(DW_Unit, *Buffer, DIBasicType(Ty.getNode())); 764 else if (Ty.isCompositeType()) 765 constructTypeDIE(DW_Unit, *Buffer, DICompositeType(Ty.getNode())); 766 else { 767 assert(Ty.isDerivedType() && "Unknown kind of DIType"); 768 constructTypeDIE(DW_Unit, *Buffer, DIDerivedType(Ty.getNode())); 769 } 770 771 // Add debug information entry to entity and appropriate context. 772 DIE *Die = NULL; 773 DIDescriptor Context = Ty.getContext(); 774 if (!Context.isNull()) 775 Die = DW_Unit->getDIE(Context.getNode()); 776 777 if (Die) 778 Die->addChild(Buffer); 779 else 780 DW_Unit->addDie(Buffer); 781 Entry->setEntry(Buffer); 782 Entity->addValue(dwarf::DW_AT_type, dwarf::DW_FORM_ref4, Entry); 783} 784 785/// constructTypeDIE - Construct basic type die from DIBasicType. 786void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer, 787 DIBasicType BTy) { 788 // Get core information. 789 StringRef Name = BTy.getName(); 790 Buffer.setTag(dwarf::DW_TAG_base_type); 791 addUInt(&Buffer, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1, 792 BTy.getEncoding()); 793 794 // Add name if not anonymous or intermediate type. 795 if (!Name.empty()) 796 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name); 797 uint64_t Size = BTy.getSizeInBits() >> 3; 798 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size); 799} 800 801/// constructTypeDIE - Construct derived type die from DIDerivedType. 802void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer, 803 DIDerivedType DTy) { 804 // Get core information. 805 StringRef Name = DTy.getName(); 806 uint64_t Size = DTy.getSizeInBits() >> 3; 807 unsigned Tag = DTy.getTag(); 808 809 // FIXME - Workaround for templates. 810 if (Tag == dwarf::DW_TAG_inheritance) Tag = dwarf::DW_TAG_reference_type; 811 812 Buffer.setTag(Tag); 813 814 // Map to main type, void will not have a type. 815 DIType FromTy = DTy.getTypeDerivedFrom(); 816 addType(DW_Unit, &Buffer, FromTy); 817 818 // Add name if not anonymous or intermediate type. 819 if (!Name.empty()) 820 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name); 821 822 // Add size if non-zero (derived types might be zero-sized.) 823 if (Size) 824 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size); 825 826 // Add source line info if available and TyDesc is not a forward declaration. 827 if (!DTy.isForwardDecl()) 828 addSourceLine(&Buffer, &DTy); 829} 830 831/// constructTypeDIE - Construct type DIE from DICompositeType. 832void DwarfDebug::constructTypeDIE(CompileUnit *DW_Unit, DIE &Buffer, 833 DICompositeType CTy) { 834 // Get core information. 835 StringRef Name = CTy.getName(); 836 837 uint64_t Size = CTy.getSizeInBits() >> 3; 838 unsigned Tag = CTy.getTag(); 839 Buffer.setTag(Tag); 840 841 switch (Tag) { 842 case dwarf::DW_TAG_vector_type: 843 case dwarf::DW_TAG_array_type: 844 constructArrayTypeDIE(DW_Unit, Buffer, &CTy); 845 break; 846 case dwarf::DW_TAG_enumeration_type: { 847 DIArray Elements = CTy.getTypeArray(); 848 849 // Add enumerators to enumeration type. 850 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) { 851 DIE *ElemDie = NULL; 852 DIEnumerator Enum(Elements.getElement(i).getNode()); 853 if (!Enum.isNull()) { 854 ElemDie = constructEnumTypeDIE(DW_Unit, &Enum); 855 Buffer.addChild(ElemDie); 856 } 857 } 858 } 859 break; 860 case dwarf::DW_TAG_subroutine_type: { 861 // Add return type. 862 DIArray Elements = CTy.getTypeArray(); 863 DIDescriptor RTy = Elements.getElement(0); 864 addType(DW_Unit, &Buffer, DIType(RTy.getNode())); 865 866 // Add prototype flag. 867 addUInt(&Buffer, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1); 868 869 // Add arguments. 870 for (unsigned i = 1, N = Elements.getNumElements(); i < N; ++i) { 871 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter); 872 DIDescriptor Ty = Elements.getElement(i); 873 addType(DW_Unit, Arg, DIType(Ty.getNode())); 874 Buffer.addChild(Arg); 875 } 876 } 877 break; 878 case dwarf::DW_TAG_structure_type: 879 case dwarf::DW_TAG_union_type: 880 case dwarf::DW_TAG_class_type: { 881 // Add elements to structure type. 882 DIArray Elements = CTy.getTypeArray(); 883 884 // A forward struct declared type may not have elements available. 885 if (Elements.isNull()) 886 break; 887 888 // Add elements to structure type. 889 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) { 890 DIDescriptor Element = Elements.getElement(i); 891 if (Element.isNull()) 892 continue; 893 DIE *ElemDie = NULL; 894 if (Element.getTag() == dwarf::DW_TAG_subprogram) 895 ElemDie = createMemberSubprogramDIE(DW_Unit, 896 DISubprogram(Element.getNode())); 897 else 898 ElemDie = createMemberDIE(DW_Unit, 899 DIDerivedType(Element.getNode())); 900 Buffer.addChild(ElemDie); 901 } 902 903 if (CTy.isAppleBlockExtension()) 904 addUInt(&Buffer, dwarf::DW_AT_APPLE_block, dwarf::DW_FORM_flag, 1); 905 906 unsigned RLang = CTy.getRunTimeLang(); 907 if (RLang) 908 addUInt(&Buffer, dwarf::DW_AT_APPLE_runtime_class, 909 dwarf::DW_FORM_data1, RLang); 910 break; 911 } 912 default: 913 break; 914 } 915 916 // Add name if not anonymous or intermediate type. 917 if (!Name.empty()) 918 addString(&Buffer, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name); 919 920 if (Tag == dwarf::DW_TAG_enumeration_type || 921 Tag == dwarf::DW_TAG_structure_type || Tag == dwarf::DW_TAG_union_type) { 922 // Add size if non-zero (derived types might be zero-sized.) 923 if (Size) 924 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, Size); 925 else { 926 // Add zero size if it is not a forward declaration. 927 if (CTy.isForwardDecl()) 928 addUInt(&Buffer, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1); 929 else 930 addUInt(&Buffer, dwarf::DW_AT_byte_size, 0, 0); 931 } 932 933 // Add source line info if available. 934 if (!CTy.isForwardDecl()) 935 addSourceLine(&Buffer, &CTy); 936 } 937} 938 939/// constructSubrangeDIE - Construct subrange DIE from DISubrange. 940void DwarfDebug::constructSubrangeDIE(DIE &Buffer, DISubrange SR, DIE *IndexTy){ 941 int64_t L = SR.getLo(); 942 int64_t H = SR.getHi(); 943 DIE *DW_Subrange = new DIE(dwarf::DW_TAG_subrange_type); 944 945 addDIEEntry(DW_Subrange, dwarf::DW_AT_type, dwarf::DW_FORM_ref4, IndexTy); 946 if (L) 947 addSInt(DW_Subrange, dwarf::DW_AT_lower_bound, 0, L); 948 addSInt(DW_Subrange, dwarf::DW_AT_upper_bound, 0, H); 949 950 Buffer.addChild(DW_Subrange); 951} 952 953/// constructArrayTypeDIE - Construct array type DIE from DICompositeType. 954void DwarfDebug::constructArrayTypeDIE(CompileUnit *DW_Unit, DIE &Buffer, 955 DICompositeType *CTy) { 956 Buffer.setTag(dwarf::DW_TAG_array_type); 957 if (CTy->getTag() == dwarf::DW_TAG_vector_type) 958 addUInt(&Buffer, dwarf::DW_AT_GNU_vector, dwarf::DW_FORM_flag, 1); 959 960 // Emit derived type. 961 addType(DW_Unit, &Buffer, CTy->getTypeDerivedFrom()); 962 DIArray Elements = CTy->getTypeArray(); 963 964 // Get an anonymous type for index type. 965 DIE *IdxTy = DW_Unit->getIndexTyDie(); 966 if (!IdxTy) { 967 // Construct an anonymous type for index type. 968 IdxTy = new DIE(dwarf::DW_TAG_base_type); 969 addUInt(IdxTy, dwarf::DW_AT_byte_size, 0, sizeof(int32_t)); 970 addUInt(IdxTy, dwarf::DW_AT_encoding, dwarf::DW_FORM_data1, 971 dwarf::DW_ATE_signed); 972 DW_Unit->addDie(IdxTy); 973 DW_Unit->setIndexTyDie(IdxTy); 974 } 975 976 // Add subranges to array type. 977 for (unsigned i = 0, N = Elements.getNumElements(); i < N; ++i) { 978 DIDescriptor Element = Elements.getElement(i); 979 if (Element.getTag() == dwarf::DW_TAG_subrange_type) 980 constructSubrangeDIE(Buffer, DISubrange(Element.getNode()), IdxTy); 981 } 982} 983 984/// constructEnumTypeDIE - Construct enum type DIE from DIEnumerator. 985DIE *DwarfDebug::constructEnumTypeDIE(CompileUnit *DW_Unit, DIEnumerator *ETy) { 986 DIE *Enumerator = new DIE(dwarf::DW_TAG_enumerator); 987 StringRef Name = ETy->getName(); 988 addString(Enumerator, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name); 989 int64_t Value = ETy->getEnumValue(); 990 addSInt(Enumerator, dwarf::DW_AT_const_value, dwarf::DW_FORM_sdata, Value); 991 return Enumerator; 992} 993 994/// createGlobalVariableDIE - Create new DIE using GV. 995DIE *DwarfDebug::createGlobalVariableDIE(CompileUnit *DW_Unit, 996 const DIGlobalVariable &GV) { 997 // If the global variable was optmized out then no need to create debug info 998 // entry. 999 if (!GV.getGlobal()) return NULL; 1000 if (GV.getDisplayName().empty()) return NULL; 1001 1002 DIE *GVDie = new DIE(dwarf::DW_TAG_variable); 1003 addString(GVDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, 1004 GV.getDisplayName()); 1005 1006 StringRef LinkageName = GV.getLinkageName(); 1007 if (!LinkageName.empty()) { 1008 // Skip special LLVM prefix that is used to inform the asm printer to not 1009 // emit usual symbol prefix before the symbol name. This happens for 1010 // Objective-C symbol names and symbol whose name is replaced using GCC's 1011 // __asm__ attribute. 1012 if (LinkageName[0] == 1) 1013 LinkageName = LinkageName.substr(1); 1014 addString(GVDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string, 1015 LinkageName); 1016 } 1017 addType(DW_Unit, GVDie, GV.getType()); 1018 if (!GV.isLocalToUnit()) 1019 addUInt(GVDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1); 1020 addSourceLine(GVDie, &GV); 1021 1022 // Add address. 1023 DIEBlock *Block = new DIEBlock(); 1024 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_addr); 1025 addObjectLabel(Block, 0, dwarf::DW_FORM_udata, 1026 Asm->Mang->getMangledName(GV.getGlobal())); 1027 addBlock(GVDie, dwarf::DW_AT_location, 0, Block); 1028 1029 return GVDie; 1030} 1031 1032/// createMemberDIE - Create new member DIE. 1033DIE *DwarfDebug::createMemberDIE(CompileUnit *DW_Unit, const DIDerivedType &DT){ 1034 DIE *MemberDie = new DIE(DT.getTag()); 1035 StringRef Name = DT.getName(); 1036 if (!Name.empty()) 1037 addString(MemberDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name); 1038 1039 addType(DW_Unit, MemberDie, DT.getTypeDerivedFrom()); 1040 1041 addSourceLine(MemberDie, &DT); 1042 1043 DIEBlock *MemLocationDie = new DIEBlock(); 1044 addUInt(MemLocationDie, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_plus_uconst); 1045 1046 uint64_t Size = DT.getSizeInBits(); 1047 uint64_t FieldSize = DT.getOriginalTypeSize(); 1048 1049 if (Size != FieldSize) { 1050 // Handle bitfield. 1051 addUInt(MemberDie, dwarf::DW_AT_byte_size, 0, DT.getOriginalTypeSize()>>3); 1052 addUInt(MemberDie, dwarf::DW_AT_bit_size, 0, DT.getSizeInBits()); 1053 1054 uint64_t Offset = DT.getOffsetInBits(); 1055 uint64_t FieldOffset = Offset; 1056 uint64_t AlignMask = ~(DT.getAlignInBits() - 1); 1057 uint64_t HiMark = (Offset + FieldSize) & AlignMask; 1058 FieldOffset = (HiMark - FieldSize); 1059 Offset -= FieldOffset; 1060 1061 // Maybe we need to work from the other end. 1062 if (TD->isLittleEndian()) Offset = FieldSize - (Offset + Size); 1063 addUInt(MemberDie, dwarf::DW_AT_bit_offset, 0, Offset); 1064 1065 // Here WD_AT_data_member_location points to the anonymous 1066 // field that includes this bit field. 1067 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, FieldOffset >> 3); 1068 1069 } else 1070 // This is not a bitfield. 1071 addUInt(MemLocationDie, 0, dwarf::DW_FORM_udata, DT.getOffsetInBits() >> 3); 1072 1073 addBlock(MemberDie, dwarf::DW_AT_data_member_location, 0, MemLocationDie); 1074 1075 if (DT.isProtected()) 1076 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag, 1077 dwarf::DW_ACCESS_protected); 1078 else if (DT.isPrivate()) 1079 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag, 1080 dwarf::DW_ACCESS_private); 1081 else if (DT.getTag() == dwarf::DW_TAG_inheritance) 1082 addUInt(MemberDie, dwarf::DW_AT_accessibility, dwarf::DW_FORM_flag, 1083 dwarf::DW_ACCESS_public); 1084 if (DT.isVirtual()) 1085 addUInt(MemberDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, 1086 dwarf::DW_VIRTUALITY_virtual); 1087 return MemberDie; 1088} 1089 1090/// createRawSubprogramDIE - Create new partially incomplete DIE. This is 1091/// a helper routine used by createMemberSubprogramDIE and 1092/// createSubprogramDIE. 1093DIE *DwarfDebug::createRawSubprogramDIE(CompileUnit *DW_Unit, 1094 const DISubprogram &SP) { 1095 DIE *SPDie = new DIE(dwarf::DW_TAG_subprogram); 1096 addString(SPDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, SP.getName()); 1097 1098 StringRef LinkageName = SP.getLinkageName(); 1099 if (!LinkageName.empty()) { 1100 // Skip special LLVM prefix that is used to inform the asm printer to not 1101 // emit usual symbol prefix before the symbol name. This happens for 1102 // Objective-C symbol names and symbol whose name is replaced using GCC's 1103 // __asm__ attribute. 1104 if (LinkageName[0] == 1) 1105 LinkageName = LinkageName.substr(1); 1106 addString(SPDie, dwarf::DW_AT_MIPS_linkage_name, dwarf::DW_FORM_string, 1107 LinkageName); 1108 } 1109 addSourceLine(SPDie, &SP); 1110 1111 // Add prototyped tag, if C or ObjC. 1112 unsigned Lang = SP.getCompileUnit().getLanguage(); 1113 if (Lang == dwarf::DW_LANG_C99 || Lang == dwarf::DW_LANG_C89 || 1114 Lang == dwarf::DW_LANG_ObjC) 1115 addUInt(SPDie, dwarf::DW_AT_prototyped, dwarf::DW_FORM_flag, 1); 1116 1117 // Add Return Type. 1118 DICompositeType SPTy = SP.getType(); 1119 DIArray Args = SPTy.getTypeArray(); 1120 unsigned SPTag = SPTy.getTag(); 1121 1122 if (Args.isNull() || SPTag != dwarf::DW_TAG_subroutine_type) 1123 addType(DW_Unit, SPDie, SPTy); 1124 else 1125 addType(DW_Unit, SPDie, DIType(Args.getElement(0).getNode())); 1126 1127 unsigned VK = SP.getVirtuality(); 1128 if (VK) { 1129 addUInt(SPDie, dwarf::DW_AT_virtuality, dwarf::DW_FORM_flag, VK); 1130 DIEBlock *Block = new DIEBlock(); 1131 addUInt(Block, 0, dwarf::DW_FORM_data1, dwarf::DW_OP_constu); 1132 addUInt(Block, 0, dwarf::DW_FORM_data1, SP.getVirtualIndex()); 1133 addBlock(SPDie, dwarf::DW_AT_vtable_elem_location, 0, Block); 1134 ContainingTypeMap.insert(std::make_pair(SPDie, WeakVH(SP.getContainingType().getNode()))); 1135 } 1136 1137 return SPDie; 1138} 1139 1140/// createMemberSubprogramDIE - Create new member DIE using SP. This routine 1141/// always returns a die with DW_AT_declaration attribute. 1142DIE *DwarfDebug::createMemberSubprogramDIE(CompileUnit *DW_Unit, 1143 const DISubprogram &SP) { 1144 DIE *SPDie = ModuleCU->getDIE(SP.getNode()); 1145 if (!SPDie) 1146 SPDie = createSubprogramDIE(DW_Unit, SP); 1147 1148 // If SPDie has DW_AT_declaration then reuse it. 1149 if (!SP.isDefinition()) 1150 return SPDie; 1151 1152 // Otherwise create new DIE for the declaration. First push definition 1153 // DIE at the top level. 1154 if (TopLevelDIEs.insert(SPDie)) 1155 TopLevelDIEsVector.push_back(SPDie); 1156 1157 SPDie = createRawSubprogramDIE(DW_Unit, SP); 1158 1159 // Add arguments. 1160 DICompositeType SPTy = SP.getType(); 1161 DIArray Args = SPTy.getTypeArray(); 1162 unsigned SPTag = SPTy.getTag(); 1163 if (SPTag == dwarf::DW_TAG_subroutine_type) 1164 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) { 1165 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter); 1166 addType(DW_Unit, Arg, DIType(Args.getElement(i).getNode())); 1167 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ?? 1168 SPDie->addChild(Arg); 1169 } 1170 1171 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1); 1172 return SPDie; 1173} 1174 1175/// createSubprogramDIE - Create new DIE using SP. 1176DIE *DwarfDebug::createSubprogramDIE(CompileUnit *DW_Unit, 1177 const DISubprogram &SP) { 1178 DIE *SPDie = ModuleCU->getDIE(SP.getNode()); 1179 if (SPDie) 1180 return SPDie; 1181 1182 SPDie = createRawSubprogramDIE(DW_Unit, SP); 1183 1184 if (!SP.isDefinition()) { 1185 addUInt(SPDie, dwarf::DW_AT_declaration, dwarf::DW_FORM_flag, 1); 1186 1187 // Add arguments. Do not add arguments for subprogram definition. They will 1188 // be handled while processing variables. 1189 DICompositeType SPTy = SP.getType(); 1190 DIArray Args = SPTy.getTypeArray(); 1191 unsigned SPTag = SPTy.getTag(); 1192 1193 if (SPTag == dwarf::DW_TAG_subroutine_type) 1194 for (unsigned i = 1, N = Args.getNumElements(); i < N; ++i) { 1195 DIE *Arg = new DIE(dwarf::DW_TAG_formal_parameter); 1196 addType(DW_Unit, Arg, DIType(Args.getElement(i).getNode())); 1197 addUInt(Arg, dwarf::DW_AT_artificial, dwarf::DW_FORM_flag, 1); // ?? 1198 SPDie->addChild(Arg); 1199 } 1200 } 1201 1202 // DW_TAG_inlined_subroutine may refer to this DIE. 1203 DW_Unit->insertDIE(SP.getNode(), SPDie); 1204 return SPDie; 1205} 1206 1207/// findCompileUnit - Get the compile unit for the given descriptor. 1208/// 1209CompileUnit &DwarfDebug::findCompileUnit(DICompileUnit Unit) const { 1210 DenseMap<Value *, CompileUnit *>::const_iterator I = 1211 CompileUnitMap.find(Unit.getNode()); 1212 assert(I != CompileUnitMap.end() && "Missing compile unit."); 1213 return *I->second; 1214} 1215 1216/// createDbgScopeVariable - Create a new scope variable. 1217/// 1218DIE *DwarfDebug::createDbgScopeVariable(DbgVariable *DV, CompileUnit *Unit) { 1219 // Get the descriptor. 1220 const DIVariable &VD = DV->getVariable(); 1221 StringRef Name = VD.getName(); 1222 if (Name.empty()) 1223 return NULL; 1224 1225 // Translate tag to proper Dwarf tag. The result variable is dropped for 1226 // now. 1227 unsigned Tag; 1228 switch (VD.getTag()) { 1229 case dwarf::DW_TAG_return_variable: 1230 return NULL; 1231 case dwarf::DW_TAG_arg_variable: 1232 Tag = dwarf::DW_TAG_formal_parameter; 1233 break; 1234 case dwarf::DW_TAG_auto_variable: // fall thru 1235 default: 1236 Tag = dwarf::DW_TAG_variable; 1237 break; 1238 } 1239 1240 // Define variable debug information entry. 1241 DIE *VariableDie = new DIE(Tag); 1242 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name); 1243 1244 // Add source line info if available. 1245 addSourceLine(VariableDie, &VD); 1246 1247 // Add variable type. 1248 // FIXME: isBlockByrefVariable should be reformulated in terms of complex 1249 // addresses instead. 1250 if (VD.isBlockByrefVariable()) 1251 addType(Unit, VariableDie, getBlockByrefType(VD.getType(), Name)); 1252 else 1253 addType(Unit, VariableDie, VD.getType()); 1254 1255 // Add variable address. 1256 // Variables for abstract instances of inlined functions don't get a 1257 // location. 1258 MachineLocation Location; 1259 unsigned FrameReg; 1260 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg); 1261 Location.set(FrameReg, Offset); 1262 1263 1264 if (VD.hasComplexAddress()) 1265 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location); 1266 else if (VD.isBlockByrefVariable()) 1267 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location); 1268 else 1269 addAddress(VariableDie, dwarf::DW_AT_location, Location); 1270 1271 return VariableDie; 1272} 1273 1274/// getUpdatedDbgScope - Find or create DbgScope assicated with the instruction. 1275/// Initialize scope and update scope hierarchy. 1276DbgScope *DwarfDebug::getUpdatedDbgScope(MDNode *N, const MachineInstr *MI, 1277 MDNode *InlinedAt) { 1278 assert (N && "Invalid Scope encoding!"); 1279 assert (MI && "Missing machine instruction!"); 1280 bool GetConcreteScope = (MI && InlinedAt); 1281 1282 DbgScope *NScope = NULL; 1283 1284 if (InlinedAt) 1285 NScope = DbgScopeMap.lookup(InlinedAt); 1286 else 1287 NScope = DbgScopeMap.lookup(N); 1288 assert (NScope && "Unable to find working scope!"); 1289 1290 if (NScope->getFirstInsn()) 1291 return NScope; 1292 1293 DbgScope *Parent = NULL; 1294 if (GetConcreteScope) { 1295 DILocation IL(InlinedAt); 1296 Parent = getUpdatedDbgScope(IL.getScope().getNode(), MI, 1297 IL.getOrigLocation().getNode()); 1298 assert (Parent && "Unable to find Parent scope!"); 1299 NScope->setParent(Parent); 1300 Parent->addScope(NScope); 1301 } else if (DIDescriptor(N).isLexicalBlock()) { 1302 DILexicalBlock DB(N); 1303 if (!DB.getContext().isNull()) { 1304 Parent = getUpdatedDbgScope(DB.getContext().getNode(), MI, InlinedAt); 1305 NScope->setParent(Parent); 1306 Parent->addScope(NScope); 1307 } 1308 } 1309 1310 NScope->setFirstInsn(MI); 1311 1312 if (!Parent && !InlinedAt) { 1313 StringRef SPName = DISubprogram(N).getLinkageName(); 1314 if (SPName == MF->getFunction()->getName()) 1315 CurrentFnDbgScope = NScope; 1316 } 1317 1318 if (GetConcreteScope) { 1319 ConcreteScopes[InlinedAt] = NScope; 1320 getOrCreateAbstractScope(N); 1321 } 1322 1323 return NScope; 1324} 1325 1326DbgScope *DwarfDebug::getOrCreateAbstractScope(MDNode *N) { 1327 assert (N && "Invalid Scope encoding!"); 1328 1329 DbgScope *AScope = AbstractScopes.lookup(N); 1330 if (AScope) 1331 return AScope; 1332 1333 DbgScope *Parent = NULL; 1334 1335 DIDescriptor Scope(N); 1336 if (Scope.isLexicalBlock()) { 1337 DILexicalBlock DB(N); 1338 DIDescriptor ParentDesc = DB.getContext(); 1339 if (!ParentDesc.isNull()) 1340 Parent = getOrCreateAbstractScope(ParentDesc.getNode()); 1341 } 1342 1343 AScope = new DbgScope(Parent, DIDescriptor(N), NULL); 1344 1345 if (Parent) 1346 Parent->addScope(AScope); 1347 AScope->setAbstractScope(); 1348 AbstractScopes[N] = AScope; 1349 if (DIDescriptor(N).isSubprogram()) 1350 AbstractScopesList.push_back(AScope); 1351 return AScope; 1352} 1353 1354/// updateSubprogramScopeDIE - Find DIE for the given subprogram and 1355/// attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes. 1356/// If there are global variables in this scope then create and insert 1357/// DIEs for these variables. 1358DIE *DwarfDebug::updateSubprogramScopeDIE(MDNode *SPNode) { 1359 1360 DIE *SPDie = ModuleCU->getDIE(SPNode); 1361 assert (SPDie && "Unable to find subprogram DIE!"); 1362 addLabel(SPDie, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, 1363 DWLabel("func_begin", SubprogramCount)); 1364 addLabel(SPDie, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, 1365 DWLabel("func_end", SubprogramCount)); 1366 MachineLocation Location(RI->getFrameRegister(*MF)); 1367 addAddress(SPDie, dwarf::DW_AT_frame_base, Location); 1368 1369 if (!DISubprogram(SPNode).isLocalToUnit()) 1370 addUInt(SPDie, dwarf::DW_AT_external, dwarf::DW_FORM_flag, 1); 1371 1372 // If there are global variables at this scope then add their dies. 1373 for (SmallVector<WeakVH, 4>::iterator SGI = ScopedGVs.begin(), 1374 SGE = ScopedGVs.end(); SGI != SGE; ++SGI) { 1375 MDNode *N = dyn_cast_or_null<MDNode>(*SGI); 1376 if (!N) continue; 1377 DIGlobalVariable GV(N); 1378 if (GV.getContext().getNode() == SPNode) { 1379 DIE *ScopedGVDie = createGlobalVariableDIE(ModuleCU, GV); 1380 if (ScopedGVDie) 1381 SPDie->addChild(ScopedGVDie); 1382 } 1383 } 1384 1385 return SPDie; 1386} 1387 1388/// constructLexicalScope - Construct new DW_TAG_lexical_block 1389/// for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels. 1390DIE *DwarfDebug::constructLexicalScopeDIE(DbgScope *Scope) { 1391 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID()); 1392 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID()); 1393 1394 // Ignore empty scopes. 1395 if (StartID == EndID && StartID != 0) 1396 return NULL; 1397 1398 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_lexical_block); 1399 if (Scope->isAbstractScope()) 1400 return ScopeDIE; 1401 1402 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, 1403 StartID ? 1404 DWLabel("label", StartID) 1405 : DWLabel("func_begin", SubprogramCount)); 1406 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, 1407 EndID ? 1408 DWLabel("label", EndID) 1409 : DWLabel("func_end", SubprogramCount)); 1410 1411 1412 1413 return ScopeDIE; 1414} 1415 1416/// constructInlinedScopeDIE - This scope represents inlined body of 1417/// a function. Construct DIE to represent this concrete inlined copy 1418/// of the function. 1419DIE *DwarfDebug::constructInlinedScopeDIE(DbgScope *Scope) { 1420 unsigned StartID = MMI->MappedLabel(Scope->getStartLabelID()); 1421 unsigned EndID = MMI->MappedLabel(Scope->getEndLabelID()); 1422 assert (StartID && "Invalid starting label for an inlined scope!"); 1423 assert (EndID && "Invalid end label for an inlined scope!"); 1424 // Ignore empty scopes. 1425 if (StartID == EndID && StartID != 0) 1426 return NULL; 1427 1428 DIScope DS(Scope->getScopeNode()); 1429 if (DS.isNull()) 1430 return NULL; 1431 DIE *ScopeDIE = new DIE(dwarf::DW_TAG_inlined_subroutine); 1432 1433 DISubprogram InlinedSP = getDISubprogram(DS.getNode()); 1434 DIE *OriginDIE = ModuleCU->getDIE(InlinedSP.getNode()); 1435 assert (OriginDIE && "Unable to find Origin DIE!"); 1436 addDIEEntry(ScopeDIE, dwarf::DW_AT_abstract_origin, 1437 dwarf::DW_FORM_ref4, OriginDIE); 1438 1439 addLabel(ScopeDIE, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr, 1440 DWLabel("label", StartID)); 1441 addLabel(ScopeDIE, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr, 1442 DWLabel("label", EndID)); 1443 1444 InlinedSubprogramDIEs.insert(OriginDIE); 1445 1446 // Track the start label for this inlined function. 1447 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator 1448 I = InlineInfo.find(InlinedSP.getNode()); 1449 1450 if (I == InlineInfo.end()) { 1451 InlineInfo[InlinedSP.getNode()].push_back(std::make_pair(StartID, 1452 ScopeDIE)); 1453 InlinedSPNodes.push_back(InlinedSP.getNode()); 1454 } else 1455 I->second.push_back(std::make_pair(StartID, ScopeDIE)); 1456 1457 StringPool.insert(InlinedSP.getName()); 1458 StringPool.insert(InlinedSP.getLinkageName()); 1459 DILocation DL(Scope->getInlinedAt()); 1460 addUInt(ScopeDIE, dwarf::DW_AT_call_file, 0, ModuleCU->getID()); 1461 addUInt(ScopeDIE, dwarf::DW_AT_call_line, 0, DL.getLineNumber()); 1462 1463 return ScopeDIE; 1464} 1465 1466 1467/// constructVariableDIE - Construct a DIE for the given DbgVariable. 1468DIE *DwarfDebug::constructVariableDIE(DbgVariable *DV, 1469 DbgScope *Scope, CompileUnit *Unit) { 1470 // Get the descriptor. 1471 const DIVariable &VD = DV->getVariable(); 1472 StringRef Name = VD.getName(); 1473 if (Name.empty()) 1474 return NULL; 1475 1476 // Translate tag to proper Dwarf tag. The result variable is dropped for 1477 // now. 1478 unsigned Tag; 1479 switch (VD.getTag()) { 1480 case dwarf::DW_TAG_return_variable: 1481 return NULL; 1482 case dwarf::DW_TAG_arg_variable: 1483 Tag = dwarf::DW_TAG_formal_parameter; 1484 break; 1485 case dwarf::DW_TAG_auto_variable: // fall thru 1486 default: 1487 Tag = dwarf::DW_TAG_variable; 1488 break; 1489 } 1490 1491 // Define variable debug information entry. 1492 DIE *VariableDie = new DIE(Tag); 1493 1494 1495 DIE *AbsDIE = NULL; 1496 if (DbgVariable *AV = DV->getAbstractVariable()) 1497 AbsDIE = AV->getDIE(); 1498 1499 if (AbsDIE) { 1500 DIScope DS(Scope->getScopeNode()); 1501 DISubprogram InlinedSP = getDISubprogram(DS.getNode()); 1502 DIE *OriginSPDIE = ModuleCU->getDIE(InlinedSP.getNode()); 1503 (void) OriginSPDIE; 1504 assert (OriginSPDIE && "Unable to find Origin DIE for the SP!"); 1505 DIE *AbsDIE = DV->getAbstractVariable()->getDIE(); 1506 assert (AbsDIE && "Unable to find Origin DIE for the Variable!"); 1507 addDIEEntry(VariableDie, dwarf::DW_AT_abstract_origin, 1508 dwarf::DW_FORM_ref4, AbsDIE); 1509 } 1510 else { 1511 addString(VariableDie, dwarf::DW_AT_name, dwarf::DW_FORM_string, Name); 1512 addSourceLine(VariableDie, &VD); 1513 1514 // Add variable type. 1515 // FIXME: isBlockByrefVariable should be reformulated in terms of complex 1516 // addresses instead. 1517 if (VD.isBlockByrefVariable()) 1518 addType(Unit, VariableDie, getBlockByrefType(VD.getType(), Name)); 1519 else 1520 addType(Unit, VariableDie, VD.getType()); 1521 } 1522 1523 // Add variable address. 1524 if (!Scope->isAbstractScope()) { 1525 MachineLocation Location; 1526 unsigned FrameReg; 1527 int Offset = RI->getFrameIndexReference(*MF, DV->getFrameIndex(), FrameReg); 1528 Location.set(FrameReg, Offset); 1529 1530 if (VD.hasComplexAddress()) 1531 addComplexAddress(DV, VariableDie, dwarf::DW_AT_location, Location); 1532 else if (VD.isBlockByrefVariable()) 1533 addBlockByrefAddress(DV, VariableDie, dwarf::DW_AT_location, Location); 1534 else 1535 addAddress(VariableDie, dwarf::DW_AT_location, Location); 1536 } 1537 DV->setDIE(VariableDie); 1538 return VariableDie; 1539 1540} 1541 1542void DwarfDebug::addPubTypes(DISubprogram SP) { 1543 DICompositeType SPTy = SP.getType(); 1544 unsigned SPTag = SPTy.getTag(); 1545 if (SPTag != dwarf::DW_TAG_subroutine_type) 1546 return; 1547 1548 DIArray Args = SPTy.getTypeArray(); 1549 if (Args.isNull()) 1550 return; 1551 1552 for (unsigned i = 0, e = Args.getNumElements(); i != e; ++i) { 1553 DIType ATy(Args.getElement(i).getNode()); 1554 if (ATy.isNull()) 1555 continue; 1556 DICompositeType CATy = getDICompositeType(ATy); 1557 if (!CATy.isNull() && !CATy.getName().empty()) { 1558 if (DIEEntry *Entry = ModuleCU->getDIEEntry(CATy.getNode())) 1559 ModuleCU->addGlobalType(CATy.getName(), Entry->getEntry()); 1560 } 1561 } 1562} 1563 1564/// constructScopeDIE - Construct a DIE for this scope. 1565DIE *DwarfDebug::constructScopeDIE(DbgScope *Scope) { 1566 if (!Scope) 1567 return NULL; 1568 DIScope DS(Scope->getScopeNode()); 1569 if (DS.isNull()) 1570 return NULL; 1571 1572 DIE *ScopeDIE = NULL; 1573 if (Scope->getInlinedAt()) 1574 ScopeDIE = constructInlinedScopeDIE(Scope); 1575 else if (DS.isSubprogram()) { 1576 if (Scope->isAbstractScope()) 1577 ScopeDIE = ModuleCU->getDIE(DS.getNode()); 1578 else 1579 ScopeDIE = updateSubprogramScopeDIE(DS.getNode()); 1580 } 1581 else { 1582 ScopeDIE = constructLexicalScopeDIE(Scope); 1583 if (!ScopeDIE) return NULL; 1584 } 1585 1586 // Add variables to scope. 1587 SmallVector<DbgVariable *, 8> &Variables = Scope->getVariables(); 1588 for (unsigned i = 0, N = Variables.size(); i < N; ++i) { 1589 DIE *VariableDIE = constructVariableDIE(Variables[i], Scope, ModuleCU); 1590 if (VariableDIE) 1591 ScopeDIE->addChild(VariableDIE); 1592 } 1593 1594 // Add nested scopes. 1595 SmallVector<DbgScope *, 4> &Scopes = Scope->getScopes(); 1596 for (unsigned j = 0, M = Scopes.size(); j < M; ++j) { 1597 // Define the Scope debug information entry. 1598 DIE *NestedDIE = constructScopeDIE(Scopes[j]); 1599 if (NestedDIE) 1600 ScopeDIE->addChild(NestedDIE); 1601 } 1602 1603 if (DS.isSubprogram()) 1604 addPubTypes(DISubprogram(DS.getNode())); 1605 1606 return ScopeDIE; 1607} 1608 1609/// GetOrCreateSourceID - Look up the source id with the given directory and 1610/// source file names. If none currently exists, create a new id and insert it 1611/// in the SourceIds map. This can update DirectoryNames and SourceFileNames 1612/// maps as well. 1613unsigned DwarfDebug::GetOrCreateSourceID(StringRef DirName, StringRef FileName) { 1614 unsigned DId; 1615 StringMap<unsigned>::iterator DI = DirectoryIdMap.find(DirName); 1616 if (DI != DirectoryIdMap.end()) { 1617 DId = DI->getValue(); 1618 } else { 1619 DId = DirectoryNames.size() + 1; 1620 DirectoryIdMap[DirName] = DId; 1621 DirectoryNames.push_back(DirName); 1622 } 1623 1624 unsigned FId; 1625 StringMap<unsigned>::iterator FI = SourceFileIdMap.find(FileName); 1626 if (FI != SourceFileIdMap.end()) { 1627 FId = FI->getValue(); 1628 } else { 1629 FId = SourceFileNames.size() + 1; 1630 SourceFileIdMap[FileName] = FId; 1631 SourceFileNames.push_back(FileName); 1632 } 1633 1634 DenseMap<std::pair<unsigned, unsigned>, unsigned>::iterator SI = 1635 SourceIdMap.find(std::make_pair(DId, FId)); 1636 if (SI != SourceIdMap.end()) 1637 return SI->second; 1638 1639 unsigned SrcId = SourceIds.size() + 1; // DW_AT_decl_file cannot be 0. 1640 SourceIdMap[std::make_pair(DId, FId)] = SrcId; 1641 SourceIds.push_back(std::make_pair(DId, FId)); 1642 1643 return SrcId; 1644} 1645 1646void DwarfDebug::constructCompileUnit(MDNode *N) { 1647 DICompileUnit DIUnit(N); 1648 StringRef FN = DIUnit.getFilename(); 1649 StringRef Dir = DIUnit.getDirectory(); 1650 unsigned ID = GetOrCreateSourceID(Dir, FN); 1651 1652 DIE *Die = new DIE(dwarf::DW_TAG_compile_unit); 1653 addSectionOffset(Die, dwarf::DW_AT_stmt_list, dwarf::DW_FORM_data4, 1654 DWLabel("section_line", 0), DWLabel("section_line", 0), 1655 false); 1656 addString(Die, dwarf::DW_AT_producer, dwarf::DW_FORM_string, 1657 DIUnit.getProducer()); 1658 addUInt(Die, dwarf::DW_AT_language, dwarf::DW_FORM_data1, 1659 DIUnit.getLanguage()); 1660 addString(Die, dwarf::DW_AT_name, dwarf::DW_FORM_string, FN); 1661 1662 if (!Dir.empty()) 1663 addString(Die, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string, Dir); 1664 if (DIUnit.isOptimized()) 1665 addUInt(Die, dwarf::DW_AT_APPLE_optimized, dwarf::DW_FORM_flag, 1); 1666 1667 StringRef Flags = DIUnit.getFlags(); 1668 if (!Flags.empty()) 1669 addString(Die, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string, Flags); 1670 1671 unsigned RVer = DIUnit.getRunTimeVersion(); 1672 if (RVer) 1673 addUInt(Die, dwarf::DW_AT_APPLE_major_runtime_vers, 1674 dwarf::DW_FORM_data1, RVer); 1675 1676 CompileUnit *Unit = new CompileUnit(ID, Die); 1677 if (!ModuleCU && DIUnit.isMain()) { 1678 // Use first compile unit marked as isMain as the compile unit 1679 // for this module. 1680 ModuleCU = Unit; 1681 } 1682 1683 CompileUnitMap[DIUnit.getNode()] = Unit; 1684 CompileUnits.push_back(Unit); 1685} 1686 1687void DwarfDebug::constructGlobalVariableDIE(MDNode *N) { 1688 DIGlobalVariable DI_GV(N); 1689 1690 // If debug information is malformed then ignore it. 1691 if (DI_GV.Verify() == false) 1692 return; 1693 1694 // Check for pre-existence. 1695 if (ModuleCU->getDIE(DI_GV.getNode())) 1696 return; 1697 1698 DIE *VariableDie = createGlobalVariableDIE(ModuleCU, DI_GV); 1699 1700 // Add to map. 1701 ModuleCU->insertDIE(N, VariableDie); 1702 1703 // Add to context owner. 1704 if (TopLevelDIEs.insert(VariableDie)) 1705 TopLevelDIEsVector.push_back(VariableDie); 1706 1707 // Expose as global. FIXME - need to check external flag. 1708 ModuleCU->addGlobal(DI_GV.getName(), VariableDie); 1709 1710 DIType GTy = DI_GV.getType(); 1711 if (GTy.isCompositeType() && !GTy.getName().empty()) { 1712 DIEEntry *Entry = ModuleCU->getDIEEntry(GTy.getNode()); 1713 assert (Entry && "Missing global type!"); 1714 ModuleCU->addGlobalType(GTy.getName(), Entry->getEntry()); 1715 } 1716 return; 1717} 1718 1719void DwarfDebug::constructSubprogramDIE(MDNode *N) { 1720 DISubprogram SP(N); 1721 1722 // Check for pre-existence. 1723 if (ModuleCU->getDIE(N)) 1724 return; 1725 1726 if (!SP.isDefinition()) 1727 // This is a method declaration which will be handled while constructing 1728 // class type. 1729 return; 1730 1731 DIE *SubprogramDie = createSubprogramDIE(ModuleCU, SP); 1732 1733 // Add to map. 1734 ModuleCU->insertDIE(N, SubprogramDie); 1735 1736 // Add to context owner. 1737 if (SP.getContext().getNode() == SP.getCompileUnit().getNode()) 1738 if (TopLevelDIEs.insert(SubprogramDie)) 1739 TopLevelDIEsVector.push_back(SubprogramDie); 1740 1741 // Expose as global. 1742 ModuleCU->addGlobal(SP.getName(), SubprogramDie); 1743 1744 return; 1745} 1746 1747/// beginModule - Emit all Dwarf sections that should come prior to the 1748/// content. Create global DIEs and emit initial debug info sections. 1749/// This is inovked by the target AsmPrinter. 1750void DwarfDebug::beginModule(Module *M, MachineModuleInfo *mmi) { 1751 this->M = M; 1752 1753 if (TimePassesIsEnabled) 1754 DebugTimer->startTimer(); 1755 1756 if (!MAI->doesSupportDebugInformation()) 1757 return; 1758 1759 DebugInfoFinder DbgFinder; 1760 DbgFinder.processModule(*M); 1761 1762 // Create all the compile unit DIEs. 1763 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(), 1764 E = DbgFinder.compile_unit_end(); I != E; ++I) 1765 constructCompileUnit(*I); 1766 1767 if (CompileUnits.empty()) { 1768 if (TimePassesIsEnabled) 1769 DebugTimer->stopTimer(); 1770 1771 return; 1772 } 1773 1774 // If main compile unit for this module is not seen than randomly 1775 // select first compile unit. 1776 if (!ModuleCU) 1777 ModuleCU = CompileUnits[0]; 1778 1779 // Create DIEs for each of the externally visible global variables. 1780 for (DebugInfoFinder::iterator I = DbgFinder.global_variable_begin(), 1781 E = DbgFinder.global_variable_end(); I != E; ++I) { 1782 DIGlobalVariable GV(*I); 1783 if (GV.getContext().getNode() != GV.getCompileUnit().getNode()) 1784 ScopedGVs.push_back(*I); 1785 else 1786 constructGlobalVariableDIE(*I); 1787 } 1788 1789 // Create DIEs for each subprogram. 1790 for (DebugInfoFinder::iterator I = DbgFinder.subprogram_begin(), 1791 E = DbgFinder.subprogram_end(); I != E; ++I) 1792 constructSubprogramDIE(*I); 1793 1794 MMI = mmi; 1795 shouldEmit = true; 1796 MMI->setDebugInfoAvailability(true); 1797 1798 // Prime section data. 1799 SectionMap.insert(Asm->getObjFileLowering().getTextSection()); 1800 1801 // Print out .file directives to specify files for .loc directives. These are 1802 // printed out early so that they precede any .loc directives. 1803 if (MAI->hasDotLocAndDotFile()) { 1804 for (unsigned i = 1, e = getNumSourceIds()+1; i != e; ++i) { 1805 // Remember source id starts at 1. 1806 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(i); 1807 sys::Path FullPath(getSourceDirectoryName(Id.first)); 1808 bool AppendOk = 1809 FullPath.appendComponent(getSourceFileName(Id.second)); 1810 assert(AppendOk && "Could not append filename to directory!"); 1811 AppendOk = false; 1812 Asm->EmitFile(i, FullPath.str()); 1813 Asm->EOL(); 1814 } 1815 } 1816 1817 // Emit initial sections 1818 emitInitial(); 1819 1820 if (TimePassesIsEnabled) 1821 DebugTimer->stopTimer(); 1822} 1823 1824/// endModule - Emit all Dwarf sections that should come after the content. 1825/// 1826void DwarfDebug::endModule() { 1827 if (!ModuleCU) 1828 return; 1829 1830 if (TimePassesIsEnabled) 1831 DebugTimer->startTimer(); 1832 1833 // Attach DW_AT_inline attribute with inlined subprogram DIEs. 1834 for (SmallPtrSet<DIE *, 4>::iterator AI = InlinedSubprogramDIEs.begin(), 1835 AE = InlinedSubprogramDIEs.end(); AI != AE; ++AI) { 1836 DIE *ISP = *AI; 1837 addUInt(ISP, dwarf::DW_AT_inline, 0, dwarf::DW_INL_inlined); 1838 } 1839 1840 // Insert top level DIEs. 1841 for (SmallVector<DIE *, 4>::iterator TI = TopLevelDIEsVector.begin(), 1842 TE = TopLevelDIEsVector.end(); TI != TE; ++TI) 1843 ModuleCU->getCUDie()->addChild(*TI); 1844 1845 for (DenseMap<DIE *, WeakVH>::iterator CI = ContainingTypeMap.begin(), 1846 CE = ContainingTypeMap.end(); CI != CE; ++CI) { 1847 DIE *SPDie = CI->first; 1848 MDNode *N = dyn_cast_or_null<MDNode>(CI->second); 1849 if (!N) continue; 1850 DIE *NDie = ModuleCU->getDIE(N); 1851 if (!NDie) continue; 1852 addDIEEntry(SPDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie); 1853 addDIEEntry(NDie, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, NDie); 1854 } 1855 1856 // Standard sections final addresses. 1857 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getTextSection()); 1858 EmitLabel("text_end", 0); 1859 Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getDataSection()); 1860 EmitLabel("data_end", 0); 1861 1862 // End text sections. 1863 for (unsigned i = 1, N = SectionMap.size(); i <= N; ++i) { 1864 Asm->OutStreamer.SwitchSection(SectionMap[i]); 1865 EmitLabel("section_end", i); 1866 } 1867 1868 // Emit common frame information. 1869 emitCommonDebugFrame(); 1870 1871 // Emit function debug frame information 1872 for (std::vector<FunctionDebugFrameInfo>::iterator I = DebugFrames.begin(), 1873 E = DebugFrames.end(); I != E; ++I) 1874 emitFunctionDebugFrame(*I); 1875 1876 // Compute DIE offsets and sizes. 1877 computeSizeAndOffsets(); 1878 1879 // Emit all the DIEs into a debug info section 1880 emitDebugInfo(); 1881 1882 // Corresponding abbreviations into a abbrev section. 1883 emitAbbreviations(); 1884 1885 // Emit source line correspondence into a debug line section. 1886 emitDebugLines(); 1887 1888 // Emit info into a debug pubnames section. 1889 emitDebugPubNames(); 1890 1891 // Emit info into a debug pubtypes section. 1892 emitDebugPubTypes(); 1893 1894 // Emit info into a debug str section. 1895 emitDebugStr(); 1896 1897 // Emit info into a debug loc section. 1898 emitDebugLoc(); 1899 1900 // Emit info into a debug aranges section. 1901 EmitDebugARanges(); 1902 1903 // Emit info into a debug ranges section. 1904 emitDebugRanges(); 1905 1906 // Emit info into a debug macinfo section. 1907 emitDebugMacInfo(); 1908 1909 // Emit inline info. 1910 emitDebugInlineInfo(); 1911 1912 if (TimePassesIsEnabled) 1913 DebugTimer->stopTimer(); 1914} 1915 1916/// findAbstractVariable - Find abstract variable, if any, associated with Var. 1917DbgVariable *DwarfDebug::findAbstractVariable(DIVariable &Var, 1918 unsigned FrameIdx, 1919 DILocation &ScopeLoc) { 1920 1921 DbgVariable *AbsDbgVariable = AbstractVariables.lookup(Var.getNode()); 1922 if (AbsDbgVariable) 1923 return AbsDbgVariable; 1924 1925 DbgScope *Scope = AbstractScopes.lookup(ScopeLoc.getScope().getNode()); 1926 if (!Scope) 1927 return NULL; 1928 1929 AbsDbgVariable = new DbgVariable(Var, FrameIdx); 1930 Scope->addVariable(AbsDbgVariable); 1931 AbstractVariables[Var.getNode()] = AbsDbgVariable; 1932 return AbsDbgVariable; 1933} 1934 1935/// collectVariableInfo - Populate DbgScope entries with variables' info. 1936void DwarfDebug::collectVariableInfo() { 1937 if (!MMI) return; 1938 1939 MachineModuleInfo::VariableDbgInfoMapTy &VMap = MMI->getVariableDbgInfo(); 1940 for (MachineModuleInfo::VariableDbgInfoMapTy::iterator VI = VMap.begin(), 1941 VE = VMap.end(); VI != VE; ++VI) { 1942 MetadataBase *MB = VI->first; 1943 MDNode *Var = dyn_cast_or_null<MDNode>(MB); 1944 if (!Var) continue; 1945 DIVariable DV (Var); 1946 std::pair< unsigned, MDNode *> VP = VI->second; 1947 DILocation ScopeLoc(VP.second); 1948 1949 DbgScope *Scope = 1950 ConcreteScopes.lookup(ScopeLoc.getOrigLocation().getNode()); 1951 if (!Scope) 1952 Scope = DbgScopeMap.lookup(ScopeLoc.getScope().getNode()); 1953 // If variable scope is not found then skip this variable. 1954 if (!Scope) 1955 continue; 1956 1957 DbgVariable *RegVar = new DbgVariable(DV, VP.first); 1958 Scope->addVariable(RegVar); 1959 if (DbgVariable *AbsDbgVariable = findAbstractVariable(DV, VP.first, 1960 ScopeLoc)) 1961 RegVar->setAbstractVariable(AbsDbgVariable); 1962 } 1963} 1964 1965/// beginScope - Process beginning of a scope starting at Label. 1966void DwarfDebug::beginScope(const MachineInstr *MI, unsigned Label) { 1967 InsnToDbgScopeMapTy::iterator I = DbgScopeBeginMap.find(MI); 1968 if (I == DbgScopeBeginMap.end()) 1969 return; 1970 ScopeVector &SD = I->second; 1971 for (ScopeVector::iterator SDI = SD.begin(), SDE = SD.end(); 1972 SDI != SDE; ++SDI) 1973 (*SDI)->setStartLabelID(Label); 1974} 1975 1976/// endScope - Process end of a scope. 1977void DwarfDebug::endScope(const MachineInstr *MI) { 1978 InsnToDbgScopeMapTy::iterator I = DbgScopeEndMap.find(MI); 1979 if (I == DbgScopeEndMap.end()) 1980 return; 1981 1982 unsigned Label = MMI->NextLabelID(); 1983 Asm->printLabel(Label); 1984 1985 SmallVector<DbgScope *, 2> &SD = I->second; 1986 for (SmallVector<DbgScope *, 2>::iterator SDI = SD.begin(), SDE = SD.end(); 1987 SDI != SDE; ++SDI) 1988 (*SDI)->setEndLabelID(Label); 1989 return; 1990} 1991 1992/// createDbgScope - Create DbgScope for the scope. 1993void DwarfDebug::createDbgScope(MDNode *Scope, MDNode *InlinedAt) { 1994 1995 if (!InlinedAt) { 1996 DbgScope *WScope = DbgScopeMap.lookup(Scope); 1997 if (WScope) 1998 return; 1999 WScope = new DbgScope(NULL, DIDescriptor(Scope), NULL); 2000 DbgScopeMap.insert(std::make_pair(Scope, WScope)); 2001 if (DIDescriptor(Scope).isLexicalBlock()) 2002 createDbgScope(DILexicalBlock(Scope).getContext().getNode(), NULL); 2003 return; 2004 } 2005 2006 DbgScope *WScope = DbgScopeMap.lookup(InlinedAt); 2007 if (WScope) 2008 return; 2009 2010 WScope = new DbgScope(NULL, DIDescriptor(Scope), InlinedAt); 2011 DbgScopeMap.insert(std::make_pair(InlinedAt, WScope)); 2012 DILocation DL(InlinedAt); 2013 createDbgScope(DL.getScope().getNode(), DL.getOrigLocation().getNode()); 2014} 2015 2016/// extractScopeInformation - Scan machine instructions in this function 2017/// and collect DbgScopes. Return true, if atleast one scope was found. 2018bool DwarfDebug::extractScopeInformation(MachineFunction *MF) { 2019 // If scope information was extracted using .dbg intrinsics then there is not 2020 // any need to extract these information by scanning each instruction. 2021 if (!DbgScopeMap.empty()) 2022 return false; 2023 2024 // Scan each instruction and create scopes. First build working set of scopes. 2025 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end(); 2026 I != E; ++I) { 2027 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end(); 2028 II != IE; ++II) { 2029 const MachineInstr *MInsn = II; 2030 DebugLoc DL = MInsn->getDebugLoc(); 2031 if (DL.isUnknown()) continue; 2032 DebugLocTuple DLT = MF->getDebugLocTuple(DL); 2033 if (!DLT.Scope) continue; 2034 // There is no need to create another DIE for compile unit. For all 2035 // other scopes, create one DbgScope now. This will be translated 2036 // into a scope DIE at the end. 2037 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue; 2038 createDbgScope(DLT.Scope, DLT.InlinedAtLoc); 2039 } 2040 } 2041 2042 2043 // Build scope hierarchy using working set of scopes. 2044 for (MachineFunction::const_iterator I = MF->begin(), E = MF->end(); 2045 I != E; ++I) { 2046 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end(); 2047 II != IE; ++II) { 2048 const MachineInstr *MInsn = II; 2049 DebugLoc DL = MInsn->getDebugLoc(); 2050 if (DL.isUnknown()) continue; 2051 DebugLocTuple DLT = MF->getDebugLocTuple(DL); 2052 if (!DLT.Scope) continue; 2053 // There is no need to create another DIE for compile unit. For all 2054 // other scopes, create one DbgScope now. This will be translated 2055 // into a scope DIE at the end. 2056 if (DIDescriptor(DLT.Scope).isCompileUnit()) continue; 2057 DbgScope *Scope = getUpdatedDbgScope(DLT.Scope, MInsn, DLT.InlinedAtLoc); 2058 Scope->setLastInsn(MInsn); 2059 } 2060 } 2061 2062 // If a scope's last instruction is not set then use its child scope's 2063 // last instruction as this scope's last instrunction. 2064 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(), 2065 DE = DbgScopeMap.end(); DI != DE; ++DI) { 2066 if (DI->second->isAbstractScope()) 2067 continue; 2068 assert (DI->second->getFirstInsn() && "Invalid first instruction!"); 2069 DI->second->fixInstructionMarkers(); 2070 assert (DI->second->getLastInsn() && "Invalid last instruction!"); 2071 } 2072 2073 // Each scope has first instruction and last instruction to mark beginning 2074 // and end of a scope respectively. Create an inverse map that list scopes 2075 // starts (and ends) with an instruction. One instruction may start (or end) 2076 // multiple scopes. 2077 for (ValueMap<MDNode *, DbgScope *>::iterator DI = DbgScopeMap.begin(), 2078 DE = DbgScopeMap.end(); DI != DE; ++DI) { 2079 DbgScope *S = DI->second; 2080 if (S->isAbstractScope()) 2081 continue; 2082 const MachineInstr *MI = S->getFirstInsn(); 2083 assert (MI && "DbgScope does not have first instruction!"); 2084 2085 InsnToDbgScopeMapTy::iterator IDI = DbgScopeBeginMap.find(MI); 2086 if (IDI != DbgScopeBeginMap.end()) 2087 IDI->second.push_back(S); 2088 else 2089 DbgScopeBeginMap[MI].push_back(S); 2090 2091 MI = S->getLastInsn(); 2092 assert (MI && "DbgScope does not have last instruction!"); 2093 IDI = DbgScopeEndMap.find(MI); 2094 if (IDI != DbgScopeEndMap.end()) 2095 IDI->second.push_back(S); 2096 else 2097 DbgScopeEndMap[MI].push_back(S); 2098 } 2099 2100 return !DbgScopeMap.empty(); 2101} 2102 2103/// beginFunction - Gather pre-function debug information. Assumes being 2104/// emitted immediately after the function entry point. 2105void DwarfDebug::beginFunction(MachineFunction *MF) { 2106 this->MF = MF; 2107 2108 if (!ShouldEmitDwarfDebug()) return; 2109 2110 if (TimePassesIsEnabled) 2111 DebugTimer->startTimer(); 2112 2113 if (!extractScopeInformation(MF)) 2114 return; 2115 2116 collectVariableInfo(); 2117 2118 // Begin accumulating function debug information. 2119 MMI->BeginFunction(MF); 2120 2121 // Assumes in correct section after the entry point. 2122 EmitLabel("func_begin", ++SubprogramCount); 2123 2124 // Emit label for the implicitly defined dbg.stoppoint at the start of the 2125 // function. 2126 DebugLoc FDL = MF->getDefaultDebugLoc(); 2127 if (!FDL.isUnknown()) { 2128 DebugLocTuple DLT = MF->getDebugLocTuple(FDL); 2129 unsigned LabelID = 0; 2130 DISubprogram SP = getDISubprogram(DLT.Scope); 2131 if (!SP.isNull()) 2132 LabelID = recordSourceLine(SP.getLineNumber(), 0, DLT.Scope); 2133 else 2134 LabelID = recordSourceLine(DLT.Line, DLT.Col, DLT.Scope); 2135 Asm->printLabel(LabelID); 2136 O << '\n'; 2137 } 2138 if (TimePassesIsEnabled) 2139 DebugTimer->stopTimer(); 2140} 2141 2142/// endFunction - Gather and emit post-function debug information. 2143/// 2144void DwarfDebug::endFunction(MachineFunction *MF) { 2145 if (!ShouldEmitDwarfDebug()) return; 2146 2147 if (TimePassesIsEnabled) 2148 DebugTimer->startTimer(); 2149 2150 if (DbgScopeMap.empty()) 2151 return; 2152 2153 // Define end label for subprogram. 2154 EmitLabel("func_end", SubprogramCount); 2155 2156 // Get function line info. 2157 if (!Lines.empty()) { 2158 // Get section line info. 2159 unsigned ID = SectionMap.insert(Asm->getCurrentSection()); 2160 if (SectionSourceLines.size() < ID) SectionSourceLines.resize(ID); 2161 std::vector<SrcLineInfo> &SectionLineInfos = SectionSourceLines[ID-1]; 2162 // Append the function info to section info. 2163 SectionLineInfos.insert(SectionLineInfos.end(), 2164 Lines.begin(), Lines.end()); 2165 } 2166 2167 // Construct abstract scopes. 2168 for (SmallVector<DbgScope *, 4>::iterator AI = AbstractScopesList.begin(), 2169 AE = AbstractScopesList.end(); AI != AE; ++AI) 2170 constructScopeDIE(*AI); 2171 2172 constructScopeDIE(CurrentFnDbgScope); 2173 2174 DebugFrames.push_back(FunctionDebugFrameInfo(SubprogramCount, 2175 MMI->getFrameMoves())); 2176 2177 // Clear debug info 2178 CurrentFnDbgScope = NULL; 2179 DbgScopeMap.clear(); 2180 DbgScopeBeginMap.clear(); 2181 DbgScopeEndMap.clear(); 2182 ConcreteScopes.clear(); 2183 AbstractScopesList.clear(); 2184 2185 Lines.clear(); 2186 2187 if (TimePassesIsEnabled) 2188 DebugTimer->stopTimer(); 2189} 2190 2191/// recordSourceLine - Records location information and associates it with a 2192/// label. Returns a unique label ID used to generate a label and provide 2193/// correspondence to the source line list. 2194unsigned DwarfDebug::recordSourceLine(unsigned Line, unsigned Col, 2195 MDNode *S) { 2196 if (!MMI) 2197 return 0; 2198 2199 if (TimePassesIsEnabled) 2200 DebugTimer->startTimer(); 2201 2202 StringRef Dir; 2203 StringRef Fn; 2204 2205 DIDescriptor Scope(S); 2206 if (Scope.isCompileUnit()) { 2207 DICompileUnit CU(S); 2208 Dir = CU.getDirectory(); 2209 Fn = CU.getFilename(); 2210 } else if (Scope.isSubprogram()) { 2211 DISubprogram SP(S); 2212 Dir = SP.getDirectory(); 2213 Fn = SP.getFilename(); 2214 } else if (Scope.isLexicalBlock()) { 2215 DILexicalBlock DB(S); 2216 Dir = DB.getDirectory(); 2217 Fn = DB.getFilename(); 2218 } else 2219 assert (0 && "Unexpected scope info"); 2220 2221 unsigned Src = GetOrCreateSourceID(Dir, Fn); 2222 unsigned ID = MMI->NextLabelID(); 2223 Lines.push_back(SrcLineInfo(Line, Col, Src, ID)); 2224 2225 if (TimePassesIsEnabled) 2226 DebugTimer->stopTimer(); 2227 2228 return ID; 2229} 2230 2231/// getOrCreateSourceID - Public version of GetOrCreateSourceID. This can be 2232/// timed. Look up the source id with the given directory and source file 2233/// names. If none currently exists, create a new id and insert it in the 2234/// SourceIds map. This can update DirectoryNames and SourceFileNames maps as 2235/// well. 2236unsigned DwarfDebug::getOrCreateSourceID(const std::string &DirName, 2237 const std::string &FileName) { 2238 if (TimePassesIsEnabled) 2239 DebugTimer->startTimer(); 2240 2241 unsigned SrcId = GetOrCreateSourceID(DirName.c_str(), FileName.c_str()); 2242 2243 if (TimePassesIsEnabled) 2244 DebugTimer->stopTimer(); 2245 2246 return SrcId; 2247} 2248 2249//===----------------------------------------------------------------------===// 2250// Emit Methods 2251//===----------------------------------------------------------------------===// 2252 2253/// computeSizeAndOffset - Compute the size and offset of a DIE. 2254/// 2255unsigned 2256DwarfDebug::computeSizeAndOffset(DIE *Die, unsigned Offset, bool Last) { 2257 // Get the children. 2258 const std::vector<DIE *> &Children = Die->getChildren(); 2259 2260 // If not last sibling and has children then add sibling offset attribute. 2261 if (!Last && !Children.empty()) Die->addSiblingOffset(); 2262 2263 // Record the abbreviation. 2264 assignAbbrevNumber(Die->getAbbrev()); 2265 2266 // Get the abbreviation for this DIE. 2267 unsigned AbbrevNumber = Die->getAbbrevNumber(); 2268 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1]; 2269 2270 // Set DIE offset 2271 Die->setOffset(Offset); 2272 2273 // Start the size with the size of abbreviation code. 2274 Offset += MCAsmInfo::getULEB128Size(AbbrevNumber); 2275 2276 const SmallVector<DIEValue*, 32> &Values = Die->getValues(); 2277 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData(); 2278 2279 // Size the DIE attribute values. 2280 for (unsigned i = 0, N = Values.size(); i < N; ++i) 2281 // Size attribute value. 2282 Offset += Values[i]->SizeOf(TD, AbbrevData[i].getForm()); 2283 2284 // Size the DIE children if any. 2285 if (!Children.empty()) { 2286 assert(Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes && 2287 "Children flag not set"); 2288 2289 for (unsigned j = 0, M = Children.size(); j < M; ++j) 2290 Offset = computeSizeAndOffset(Children[j], Offset, (j + 1) == M); 2291 2292 // End of children marker. 2293 Offset += sizeof(int8_t); 2294 } 2295 2296 Die->setSize(Offset - Die->getOffset()); 2297 return Offset; 2298} 2299 2300/// computeSizeAndOffsets - Compute the size and offset of all the DIEs. 2301/// 2302void DwarfDebug::computeSizeAndOffsets() { 2303 // Compute size of compile unit header. 2304 static unsigned Offset = 2305 sizeof(int32_t) + // Length of Compilation Unit Info 2306 sizeof(int16_t) + // DWARF version number 2307 sizeof(int32_t) + // Offset Into Abbrev. Section 2308 sizeof(int8_t); // Pointer Size (in bytes) 2309 2310 computeSizeAndOffset(ModuleCU->getCUDie(), Offset, true); 2311 CompileUnitOffsets[ModuleCU] = 0; 2312} 2313 2314/// emitInitial - Emit initial Dwarf declarations. This is necessary for cc 2315/// tools to recognize the object file contains Dwarf information. 2316void DwarfDebug::emitInitial() { 2317 // Check to see if we already emitted intial headers. 2318 if (didInitial) return; 2319 didInitial = true; 2320 2321 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 2322 2323 // Dwarf sections base addresses. 2324 if (MAI->doesDwarfRequireFrameSection()) { 2325 Asm->OutStreamer.SwitchSection(TLOF.getDwarfFrameSection()); 2326 EmitLabel("section_debug_frame", 0); 2327 } 2328 2329 Asm->OutStreamer.SwitchSection(TLOF.getDwarfInfoSection()); 2330 EmitLabel("section_info", 0); 2331 Asm->OutStreamer.SwitchSection(TLOF.getDwarfAbbrevSection()); 2332 EmitLabel("section_abbrev", 0); 2333 Asm->OutStreamer.SwitchSection(TLOF.getDwarfARangesSection()); 2334 EmitLabel("section_aranges", 0); 2335 2336 if (const MCSection *LineInfoDirective = TLOF.getDwarfMacroInfoSection()) { 2337 Asm->OutStreamer.SwitchSection(LineInfoDirective); 2338 EmitLabel("section_macinfo", 0); 2339 } 2340 2341 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLineSection()); 2342 EmitLabel("section_line", 0); 2343 Asm->OutStreamer.SwitchSection(TLOF.getDwarfLocSection()); 2344 EmitLabel("section_loc", 0); 2345 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubNamesSection()); 2346 EmitLabel("section_pubnames", 0); 2347 Asm->OutStreamer.SwitchSection(TLOF.getDwarfPubTypesSection()); 2348 EmitLabel("section_pubtypes", 0); 2349 Asm->OutStreamer.SwitchSection(TLOF.getDwarfStrSection()); 2350 EmitLabel("section_str", 0); 2351 Asm->OutStreamer.SwitchSection(TLOF.getDwarfRangesSection()); 2352 EmitLabel("section_ranges", 0); 2353 2354 Asm->OutStreamer.SwitchSection(TLOF.getTextSection()); 2355 EmitLabel("text_begin", 0); 2356 Asm->OutStreamer.SwitchSection(TLOF.getDataSection()); 2357 EmitLabel("data_begin", 0); 2358} 2359 2360/// emitDIE - Recusively Emits a debug information entry. 2361/// 2362void DwarfDebug::emitDIE(DIE *Die) { 2363 // Get the abbreviation for this DIE. 2364 unsigned AbbrevNumber = Die->getAbbrevNumber(); 2365 const DIEAbbrev *Abbrev = Abbreviations[AbbrevNumber - 1]; 2366 2367 Asm->EOL(); 2368 2369 // Emit the code (index) for the abbreviation. 2370 Asm->EmitULEB128Bytes(AbbrevNumber); 2371 2372 if (Asm->isVerbose()) 2373 Asm->EOL(std::string("Abbrev [" + 2374 utostr(AbbrevNumber) + 2375 "] 0x" + utohexstr(Die->getOffset()) + 2376 ":0x" + utohexstr(Die->getSize()) + " " + 2377 dwarf::TagString(Abbrev->getTag()))); 2378 else 2379 Asm->EOL(); 2380 2381 SmallVector<DIEValue*, 32> &Values = Die->getValues(); 2382 const SmallVector<DIEAbbrevData, 8> &AbbrevData = Abbrev->getData(); 2383 2384 // Emit the DIE attribute values. 2385 for (unsigned i = 0, N = Values.size(); i < N; ++i) { 2386 unsigned Attr = AbbrevData[i].getAttribute(); 2387 unsigned Form = AbbrevData[i].getForm(); 2388 assert(Form && "Too many attributes for DIE (check abbreviation)"); 2389 2390 switch (Attr) { 2391 case dwarf::DW_AT_sibling: 2392 Asm->EmitInt32(Die->getSiblingOffset()); 2393 break; 2394 case dwarf::DW_AT_abstract_origin: { 2395 DIEEntry *E = cast<DIEEntry>(Values[i]); 2396 DIE *Origin = E->getEntry(); 2397 unsigned Addr = Origin->getOffset(); 2398 Asm->EmitInt32(Addr); 2399 break; 2400 } 2401 default: 2402 // Emit an attribute using the defined form. 2403 Values[i]->EmitValue(this, Form); 2404 break; 2405 } 2406 2407 Asm->EOL(dwarf::AttributeString(Attr)); 2408 } 2409 2410 // Emit the DIE children if any. 2411 if (Abbrev->getChildrenFlag() == dwarf::DW_CHILDREN_yes) { 2412 const std::vector<DIE *> &Children = Die->getChildren(); 2413 2414 for (unsigned j = 0, M = Children.size(); j < M; ++j) 2415 emitDIE(Children[j]); 2416 2417 Asm->EmitInt8(0); Asm->EOL("End Of Children Mark"); 2418 } 2419} 2420 2421/// emitDebugInfo / emitDebugInfoPerCU - Emit the debug info section. 2422/// 2423void DwarfDebug::emitDebugInfoPerCU(CompileUnit *Unit) { 2424 DIE *Die = Unit->getCUDie(); 2425 2426 // Emit the compile units header. 2427 EmitLabel("info_begin", Unit->getID()); 2428 2429 // Emit size of content not including length itself 2430 unsigned ContentSize = Die->getSize() + 2431 sizeof(int16_t) + // DWARF version number 2432 sizeof(int32_t) + // Offset Into Abbrev. Section 2433 sizeof(int8_t) + // Pointer Size (in bytes) 2434 sizeof(int32_t); // FIXME - extra pad for gdb bug. 2435 2436 Asm->EmitInt32(ContentSize); Asm->EOL("Length of Compilation Unit Info"); 2437 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number"); 2438 EmitSectionOffset("abbrev_begin", "section_abbrev", 0, 0, true, false); 2439 Asm->EOL("Offset Into Abbrev. Section"); 2440 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)"); 2441 2442 emitDIE(Die); 2443 // FIXME - extra padding for gdb bug. 2444 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB"); 2445 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB"); 2446 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB"); 2447 Asm->EmitInt8(0); Asm->EOL("Extra Pad For GDB"); 2448 EmitLabel("info_end", Unit->getID()); 2449 2450 Asm->EOL(); 2451} 2452 2453void DwarfDebug::emitDebugInfo() { 2454 // Start debug info section. 2455 Asm->OutStreamer.SwitchSection( 2456 Asm->getObjFileLowering().getDwarfInfoSection()); 2457 2458 emitDebugInfoPerCU(ModuleCU); 2459} 2460 2461/// emitAbbreviations - Emit the abbreviation section. 2462/// 2463void DwarfDebug::emitAbbreviations() const { 2464 // Check to see if it is worth the effort. 2465 if (!Abbreviations.empty()) { 2466 // Start the debug abbrev section. 2467 Asm->OutStreamer.SwitchSection( 2468 Asm->getObjFileLowering().getDwarfAbbrevSection()); 2469 2470 EmitLabel("abbrev_begin", 0); 2471 2472 // For each abbrevation. 2473 for (unsigned i = 0, N = Abbreviations.size(); i < N; ++i) { 2474 // Get abbreviation data 2475 const DIEAbbrev *Abbrev = Abbreviations[i]; 2476 2477 // Emit the abbrevations code (base 1 index.) 2478 Asm->EmitULEB128Bytes(Abbrev->getNumber()); 2479 Asm->EOL("Abbreviation Code"); 2480 2481 // Emit the abbreviations data. 2482 Abbrev->Emit(Asm); 2483 2484 Asm->EOL(); 2485 } 2486 2487 // Mark end of abbreviations. 2488 Asm->EmitULEB128Bytes(0); Asm->EOL("EOM(3)"); 2489 2490 EmitLabel("abbrev_end", 0); 2491 Asm->EOL(); 2492 } 2493} 2494 2495/// emitEndOfLineMatrix - Emit the last address of the section and the end of 2496/// the line matrix. 2497/// 2498void DwarfDebug::emitEndOfLineMatrix(unsigned SectionEnd) { 2499 // Define last address of section. 2500 Asm->EmitInt8(0); Asm->EOL("Extended Op"); 2501 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size"); 2502 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address"); 2503 EmitReference("section_end", SectionEnd); Asm->EOL("Section end label"); 2504 2505 // Mark end of matrix. 2506 Asm->EmitInt8(0); Asm->EOL("DW_LNE_end_sequence"); 2507 Asm->EmitULEB128Bytes(1); Asm->EOL(); 2508 Asm->EmitInt8(1); Asm->EOL(); 2509} 2510 2511/// emitDebugLines - Emit source line information. 2512/// 2513void DwarfDebug::emitDebugLines() { 2514 // If the target is using .loc/.file, the assembler will be emitting the 2515 // .debug_line table automatically. 2516 if (MAI->hasDotLocAndDotFile()) 2517 return; 2518 2519 // Minimum line delta, thus ranging from -10..(255-10). 2520 const int MinLineDelta = -(dwarf::DW_LNS_fixed_advance_pc + 1); 2521 // Maximum line delta, thus ranging from -10..(255-10). 2522 const int MaxLineDelta = 255 + MinLineDelta; 2523 2524 // Start the dwarf line section. 2525 Asm->OutStreamer.SwitchSection( 2526 Asm->getObjFileLowering().getDwarfLineSection()); 2527 2528 // Construct the section header. 2529 EmitDifference("line_end", 0, "line_begin", 0, true); 2530 Asm->EOL("Length of Source Line Info"); 2531 EmitLabel("line_begin", 0); 2532 2533 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF version number"); 2534 2535 EmitDifference("line_prolog_end", 0, "line_prolog_begin", 0, true); 2536 Asm->EOL("Prolog Length"); 2537 EmitLabel("line_prolog_begin", 0); 2538 2539 Asm->EmitInt8(1); Asm->EOL("Minimum Instruction Length"); 2540 2541 Asm->EmitInt8(1); Asm->EOL("Default is_stmt_start flag"); 2542 2543 Asm->EmitInt8(MinLineDelta); Asm->EOL("Line Base Value (Special Opcodes)"); 2544 2545 Asm->EmitInt8(MaxLineDelta); Asm->EOL("Line Range Value (Special Opcodes)"); 2546 2547 Asm->EmitInt8(-MinLineDelta); Asm->EOL("Special Opcode Base"); 2548 2549 // Line number standard opcode encodings argument count 2550 Asm->EmitInt8(0); Asm->EOL("DW_LNS_copy arg count"); 2551 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_pc arg count"); 2552 Asm->EmitInt8(1); Asm->EOL("DW_LNS_advance_line arg count"); 2553 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_file arg count"); 2554 Asm->EmitInt8(1); Asm->EOL("DW_LNS_set_column arg count"); 2555 Asm->EmitInt8(0); Asm->EOL("DW_LNS_negate_stmt arg count"); 2556 Asm->EmitInt8(0); Asm->EOL("DW_LNS_set_basic_block arg count"); 2557 Asm->EmitInt8(0); Asm->EOL("DW_LNS_const_add_pc arg count"); 2558 Asm->EmitInt8(1); Asm->EOL("DW_LNS_fixed_advance_pc arg count"); 2559 2560 // Emit directories. 2561 for (unsigned DI = 1, DE = getNumSourceDirectories()+1; DI != DE; ++DI) { 2562 Asm->EmitString(getSourceDirectoryName(DI)); 2563 Asm->EOL("Directory"); 2564 } 2565 2566 Asm->EmitInt8(0); Asm->EOL("End of directories"); 2567 2568 // Emit files. 2569 for (unsigned SI = 1, SE = getNumSourceIds()+1; SI != SE; ++SI) { 2570 // Remember source id starts at 1. 2571 std::pair<unsigned, unsigned> Id = getSourceDirectoryAndFileIds(SI); 2572 Asm->EmitString(getSourceFileName(Id.second)); 2573 Asm->EOL("Source"); 2574 Asm->EmitULEB128Bytes(Id.first); 2575 Asm->EOL("Directory #"); 2576 Asm->EmitULEB128Bytes(0); 2577 Asm->EOL("Mod date"); 2578 Asm->EmitULEB128Bytes(0); 2579 Asm->EOL("File size"); 2580 } 2581 2582 Asm->EmitInt8(0); Asm->EOL("End of files"); 2583 2584 EmitLabel("line_prolog_end", 0); 2585 2586 // A sequence for each text section. 2587 unsigned SecSrcLinesSize = SectionSourceLines.size(); 2588 2589 for (unsigned j = 0; j < SecSrcLinesSize; ++j) { 2590 // Isolate current sections line info. 2591 const std::vector<SrcLineInfo> &LineInfos = SectionSourceLines[j]; 2592 2593 /*if (Asm->isVerbose()) { 2594 const MCSection *S = SectionMap[j + 1]; 2595 O << '\t' << MAI->getCommentString() << " Section" 2596 << S->getName() << '\n'; 2597 }*/ 2598 Asm->EOL(); 2599 2600 // Dwarf assumes we start with first line of first source file. 2601 unsigned Source = 1; 2602 unsigned Line = 1; 2603 2604 // Construct rows of the address, source, line, column matrix. 2605 for (unsigned i = 0, N = LineInfos.size(); i < N; ++i) { 2606 const SrcLineInfo &LineInfo = LineInfos[i]; 2607 unsigned LabelID = MMI->MappedLabel(LineInfo.getLabelID()); 2608 if (!LabelID) continue; 2609 2610 if (LineInfo.getLine() == 0) continue; 2611 2612 if (!Asm->isVerbose()) 2613 Asm->EOL(); 2614 else { 2615 std::pair<unsigned, unsigned> SourceID = 2616 getSourceDirectoryAndFileIds(LineInfo.getSourceID()); 2617 O << '\t' << MAI->getCommentString() << ' ' 2618 << getSourceDirectoryName(SourceID.first) << ' ' 2619 << getSourceFileName(SourceID.second) 2620 <<" :" << utostr_32(LineInfo.getLine()) << '\n'; 2621 } 2622 2623 // Define the line address. 2624 Asm->EmitInt8(0); Asm->EOL("Extended Op"); 2625 Asm->EmitInt8(TD->getPointerSize() + 1); Asm->EOL("Op size"); 2626 Asm->EmitInt8(dwarf::DW_LNE_set_address); Asm->EOL("DW_LNE_set_address"); 2627 EmitReference("label", LabelID); Asm->EOL("Location label"); 2628 2629 // If change of source, then switch to the new source. 2630 if (Source != LineInfo.getSourceID()) { 2631 Source = LineInfo.getSourceID(); 2632 Asm->EmitInt8(dwarf::DW_LNS_set_file); Asm->EOL("DW_LNS_set_file"); 2633 Asm->EmitULEB128Bytes(Source); Asm->EOL("New Source"); 2634 } 2635 2636 // If change of line. 2637 if (Line != LineInfo.getLine()) { 2638 // Determine offset. 2639 int Offset = LineInfo.getLine() - Line; 2640 int Delta = Offset - MinLineDelta; 2641 2642 // Update line. 2643 Line = LineInfo.getLine(); 2644 2645 // If delta is small enough and in range... 2646 if (Delta >= 0 && Delta < (MaxLineDelta - 1)) { 2647 // ... then use fast opcode. 2648 Asm->EmitInt8(Delta - MinLineDelta); Asm->EOL("Line Delta"); 2649 } else { 2650 // ... otherwise use long hand. 2651 Asm->EmitInt8(dwarf::DW_LNS_advance_line); 2652 Asm->EOL("DW_LNS_advance_line"); 2653 Asm->EmitSLEB128Bytes(Offset); Asm->EOL("Line Offset"); 2654 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy"); 2655 } 2656 } else { 2657 // Copy the previous row (different address or source) 2658 Asm->EmitInt8(dwarf::DW_LNS_copy); Asm->EOL("DW_LNS_copy"); 2659 } 2660 } 2661 2662 emitEndOfLineMatrix(j + 1); 2663 } 2664 2665 if (SecSrcLinesSize == 0) 2666 // Because we're emitting a debug_line section, we still need a line 2667 // table. The linker and friends expect it to exist. If there's nothing to 2668 // put into it, emit an empty table. 2669 emitEndOfLineMatrix(1); 2670 2671 EmitLabel("line_end", 0); 2672 Asm->EOL(); 2673} 2674 2675/// emitCommonDebugFrame - Emit common frame info into a debug frame section. 2676/// 2677void DwarfDebug::emitCommonDebugFrame() { 2678 if (!MAI->doesDwarfRequireFrameSection()) 2679 return; 2680 2681 int stackGrowth = 2682 Asm->TM.getFrameInfo()->getStackGrowthDirection() == 2683 TargetFrameInfo::StackGrowsUp ? 2684 TD->getPointerSize() : -TD->getPointerSize(); 2685 2686 // Start the dwarf frame section. 2687 Asm->OutStreamer.SwitchSection( 2688 Asm->getObjFileLowering().getDwarfFrameSection()); 2689 2690 EmitLabel("debug_frame_common", 0); 2691 EmitDifference("debug_frame_common_end", 0, 2692 "debug_frame_common_begin", 0, true); 2693 Asm->EOL("Length of Common Information Entry"); 2694 2695 EmitLabel("debug_frame_common_begin", 0); 2696 Asm->EmitInt32((int)dwarf::DW_CIE_ID); 2697 Asm->EOL("CIE Identifier Tag"); 2698 Asm->EmitInt8(dwarf::DW_CIE_VERSION); 2699 Asm->EOL("CIE Version"); 2700 Asm->EmitString(""); 2701 Asm->EOL("CIE Augmentation"); 2702 Asm->EmitULEB128Bytes(1); 2703 Asm->EOL("CIE Code Alignment Factor"); 2704 Asm->EmitSLEB128Bytes(stackGrowth); 2705 Asm->EOL("CIE Data Alignment Factor"); 2706 Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), false)); 2707 Asm->EOL("CIE RA Column"); 2708 2709 std::vector<MachineMove> Moves; 2710 RI->getInitialFrameState(Moves); 2711 2712 EmitFrameMoves(NULL, 0, Moves, false); 2713 2714 Asm->EmitAlignment(2, 0, 0, false); 2715 EmitLabel("debug_frame_common_end", 0); 2716 2717 Asm->EOL(); 2718} 2719 2720/// emitFunctionDebugFrame - Emit per function frame info into a debug frame 2721/// section. 2722void 2723DwarfDebug::emitFunctionDebugFrame(const FunctionDebugFrameInfo&DebugFrameInfo){ 2724 if (!MAI->doesDwarfRequireFrameSection()) 2725 return; 2726 2727 // Start the dwarf frame section. 2728 Asm->OutStreamer.SwitchSection( 2729 Asm->getObjFileLowering().getDwarfFrameSection()); 2730 2731 EmitDifference("debug_frame_end", DebugFrameInfo.Number, 2732 "debug_frame_begin", DebugFrameInfo.Number, true); 2733 Asm->EOL("Length of Frame Information Entry"); 2734 2735 EmitLabel("debug_frame_begin", DebugFrameInfo.Number); 2736 2737 EmitSectionOffset("debug_frame_common", "section_debug_frame", 2738 0, 0, true, false); 2739 Asm->EOL("FDE CIE offset"); 2740 2741 EmitReference("func_begin", DebugFrameInfo.Number); 2742 Asm->EOL("FDE initial location"); 2743 EmitDifference("func_end", DebugFrameInfo.Number, 2744 "func_begin", DebugFrameInfo.Number); 2745 Asm->EOL("FDE address range"); 2746 2747 EmitFrameMoves("func_begin", DebugFrameInfo.Number, DebugFrameInfo.Moves, 2748 false); 2749 2750 Asm->EmitAlignment(2, 0, 0, false); 2751 EmitLabel("debug_frame_end", DebugFrameInfo.Number); 2752 2753 Asm->EOL(); 2754} 2755 2756void DwarfDebug::emitDebugPubNamesPerCU(CompileUnit *Unit) { 2757 EmitDifference("pubnames_end", Unit->getID(), 2758 "pubnames_begin", Unit->getID(), true); 2759 Asm->EOL("Length of Public Names Info"); 2760 2761 EmitLabel("pubnames_begin", Unit->getID()); 2762 2763 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version"); 2764 2765 EmitSectionOffset("info_begin", "section_info", 2766 Unit->getID(), 0, true, false); 2767 Asm->EOL("Offset of Compilation Unit Info"); 2768 2769 EmitDifference("info_end", Unit->getID(), "info_begin", Unit->getID(), 2770 true); 2771 Asm->EOL("Compilation Unit Length"); 2772 2773 const StringMap<DIE*> &Globals = Unit->getGlobals(); 2774 for (StringMap<DIE*>::const_iterator 2775 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) { 2776 const char *Name = GI->getKeyData(); 2777 DIE * Entity = GI->second; 2778 2779 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset"); 2780 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name"); 2781 } 2782 2783 Asm->EmitInt32(0); Asm->EOL("End Mark"); 2784 EmitLabel("pubnames_end", Unit->getID()); 2785 2786 Asm->EOL(); 2787} 2788 2789/// emitDebugPubNames - Emit visible names into a debug pubnames section. 2790/// 2791void DwarfDebug::emitDebugPubNames() { 2792 // Start the dwarf pubnames section. 2793 Asm->OutStreamer.SwitchSection( 2794 Asm->getObjFileLowering().getDwarfPubNamesSection()); 2795 2796 emitDebugPubNamesPerCU(ModuleCU); 2797} 2798 2799void DwarfDebug::emitDebugPubTypes() { 2800 // Start the dwarf pubnames section. 2801 Asm->OutStreamer.SwitchSection( 2802 Asm->getObjFileLowering().getDwarfPubTypesSection()); 2803 EmitDifference("pubtypes_end", ModuleCU->getID(), 2804 "pubtypes_begin", ModuleCU->getID(), true); 2805 Asm->EOL("Length of Public Types Info"); 2806 2807 EmitLabel("pubtypes_begin", ModuleCU->getID()); 2808 2809 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("DWARF Version"); 2810 2811 EmitSectionOffset("info_begin", "section_info", 2812 ModuleCU->getID(), 0, true, false); 2813 Asm->EOL("Offset of Compilation ModuleCU Info"); 2814 2815 EmitDifference("info_end", ModuleCU->getID(), "info_begin", ModuleCU->getID(), 2816 true); 2817 Asm->EOL("Compilation ModuleCU Length"); 2818 2819 const StringMap<DIE*> &Globals = ModuleCU->getGlobalTypes(); 2820 for (StringMap<DIE*>::const_iterator 2821 GI = Globals.begin(), GE = Globals.end(); GI != GE; ++GI) { 2822 const char *Name = GI->getKeyData(); 2823 DIE * Entity = GI->second; 2824 2825 Asm->EmitInt32(Entity->getOffset()); Asm->EOL("DIE offset"); 2826 Asm->EmitString(Name, strlen(Name)); Asm->EOL("External Name"); 2827 } 2828 2829 Asm->EmitInt32(0); Asm->EOL("End Mark"); 2830 EmitLabel("pubtypes_end", ModuleCU->getID()); 2831 2832 Asm->EOL(); 2833} 2834 2835/// emitDebugStr - Emit visible names into a debug str section. 2836/// 2837void DwarfDebug::emitDebugStr() { 2838 // Check to see if it is worth the effort. 2839 if (!StringPool.empty()) { 2840 // Start the dwarf str section. 2841 Asm->OutStreamer.SwitchSection( 2842 Asm->getObjFileLowering().getDwarfStrSection()); 2843 2844 // For each of strings in the string pool. 2845 for (unsigned StringID = 1, N = StringPool.size(); 2846 StringID <= N; ++StringID) { 2847 // Emit a label for reference from debug information entries. 2848 EmitLabel("string", StringID); 2849 2850 // Emit the string itself. 2851 const std::string &String = StringPool[StringID]; 2852 Asm->EmitString(String); Asm->EOL(); 2853 } 2854 2855 Asm->EOL(); 2856 } 2857} 2858 2859/// emitDebugLoc - Emit visible names into a debug loc section. 2860/// 2861void DwarfDebug::emitDebugLoc() { 2862 // Start the dwarf loc section. 2863 Asm->OutStreamer.SwitchSection( 2864 Asm->getObjFileLowering().getDwarfLocSection()); 2865 Asm->EOL(); 2866} 2867 2868/// EmitDebugARanges - Emit visible names into a debug aranges section. 2869/// 2870void DwarfDebug::EmitDebugARanges() { 2871 // Start the dwarf aranges section. 2872 Asm->OutStreamer.SwitchSection( 2873 Asm->getObjFileLowering().getDwarfARangesSection()); 2874 2875 // FIXME - Mock up 2876#if 0 2877 CompileUnit *Unit = GetBaseCompileUnit(); 2878 2879 // Don't include size of length 2880 Asm->EmitInt32(0x1c); Asm->EOL("Length of Address Ranges Info"); 2881 2882 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version"); 2883 2884 EmitReference("info_begin", Unit->getID()); 2885 Asm->EOL("Offset of Compilation Unit Info"); 2886 2887 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Size of Address"); 2888 2889 Asm->EmitInt8(0); Asm->EOL("Size of Segment Descriptor"); 2890 2891 Asm->EmitInt16(0); Asm->EOL("Pad (1)"); 2892 Asm->EmitInt16(0); Asm->EOL("Pad (2)"); 2893 2894 // Range 1 2895 EmitReference("text_begin", 0); Asm->EOL("Address"); 2896 EmitDifference("text_end", 0, "text_begin", 0, true); Asm->EOL("Length"); 2897 2898 Asm->EmitInt32(0); Asm->EOL("EOM (1)"); 2899 Asm->EmitInt32(0); Asm->EOL("EOM (2)"); 2900#endif 2901 2902 Asm->EOL(); 2903} 2904 2905/// emitDebugRanges - Emit visible names into a debug ranges section. 2906/// 2907void DwarfDebug::emitDebugRanges() { 2908 // Start the dwarf ranges section. 2909 Asm->OutStreamer.SwitchSection( 2910 Asm->getObjFileLowering().getDwarfRangesSection()); 2911 Asm->EOL(); 2912} 2913 2914/// emitDebugMacInfo - Emit visible names into a debug macinfo section. 2915/// 2916void DwarfDebug::emitDebugMacInfo() { 2917 if (const MCSection *LineInfo = 2918 Asm->getObjFileLowering().getDwarfMacroInfoSection()) { 2919 // Start the dwarf macinfo section. 2920 Asm->OutStreamer.SwitchSection(LineInfo); 2921 Asm->EOL(); 2922 } 2923} 2924 2925/// emitDebugInlineInfo - Emit inline info using following format. 2926/// Section Header: 2927/// 1. length of section 2928/// 2. Dwarf version number 2929/// 3. address size. 2930/// 2931/// Entries (one "entry" for each function that was inlined): 2932/// 2933/// 1. offset into __debug_str section for MIPS linkage name, if exists; 2934/// otherwise offset into __debug_str for regular function name. 2935/// 2. offset into __debug_str section for regular function name. 2936/// 3. an unsigned LEB128 number indicating the number of distinct inlining 2937/// instances for the function. 2938/// 2939/// The rest of the entry consists of a {die_offset, low_pc} pair for each 2940/// inlined instance; the die_offset points to the inlined_subroutine die in the 2941/// __debug_info section, and the low_pc is the starting address for the 2942/// inlining instance. 2943void DwarfDebug::emitDebugInlineInfo() { 2944 if (!MAI->doesDwarfUsesInlineInfoSection()) 2945 return; 2946 2947 if (!ModuleCU) 2948 return; 2949 2950 Asm->OutStreamer.SwitchSection( 2951 Asm->getObjFileLowering().getDwarfDebugInlineSection()); 2952 Asm->EOL(); 2953 EmitDifference("debug_inlined_end", 1, 2954 "debug_inlined_begin", 1, true); 2955 Asm->EOL("Length of Debug Inlined Information Entry"); 2956 2957 EmitLabel("debug_inlined_begin", 1); 2958 2959 Asm->EmitInt16(dwarf::DWARF_VERSION); Asm->EOL("Dwarf Version"); 2960 Asm->EmitInt8(TD->getPointerSize()); Asm->EOL("Address Size (in bytes)"); 2961 2962 for (SmallVector<MDNode *, 4>::iterator I = InlinedSPNodes.begin(), 2963 E = InlinedSPNodes.end(); I != E; ++I) { 2964 2965// for (ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator 2966 // I = InlineInfo.begin(), E = InlineInfo.end(); I != E; ++I) { 2967 MDNode *Node = *I; 2968 ValueMap<MDNode *, SmallVector<InlineInfoLabels, 4> >::iterator II 2969 = InlineInfo.find(Node); 2970 SmallVector<InlineInfoLabels, 4> &Labels = II->second; 2971 DISubprogram SP(Node); 2972 StringRef LName = SP.getLinkageName(); 2973 StringRef Name = SP.getName(); 2974 2975 if (LName.empty()) 2976 Asm->EmitString(Name); 2977 else { 2978 // Skip special LLVM prefix that is used to inform the asm printer to not 2979 // emit usual symbol prefix before the symbol name. This happens for 2980 // Objective-C symbol names and symbol whose name is replaced using GCC's 2981 // __asm__ attribute. 2982 if (LName[0] == 1) 2983 LName = LName.substr(1); 2984// Asm->EmitString(LName); 2985 EmitSectionOffset("string", "section_str", 2986 StringPool.idFor(LName), false, true); 2987 2988 } 2989 Asm->EOL("MIPS linkage name"); 2990// Asm->EmitString(Name); 2991 EmitSectionOffset("string", "section_str", 2992 StringPool.idFor(Name), false, true); 2993 Asm->EOL("Function name"); 2994 Asm->EmitULEB128Bytes(Labels.size()); Asm->EOL("Inline count"); 2995 2996 for (SmallVector<InlineInfoLabels, 4>::iterator LI = Labels.begin(), 2997 LE = Labels.end(); LI != LE; ++LI) { 2998 DIE *SP = LI->second; 2999 Asm->EmitInt32(SP->getOffset()); Asm->EOL("DIE offset"); 3000 3001 if (TD->getPointerSize() == sizeof(int32_t)) 3002 O << MAI->getData32bitsDirective(); 3003 else 3004 O << MAI->getData64bitsDirective(); 3005 3006 PrintLabelName("label", LI->first); Asm->EOL("low_pc"); 3007 } 3008 } 3009 3010 EmitLabel("debug_inlined_end", 1); 3011 Asm->EOL(); 3012} 3013