1f22ef01cSRoman Divacky //===-- ModuleDebugInfoPrinter.cpp - Prints module debug info metadata ----===// 2f22ef01cSRoman Divacky // 3f22ef01cSRoman Divacky // The LLVM Compiler Infrastructure 4f22ef01cSRoman Divacky // 5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source 6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details. 7f22ef01cSRoman Divacky // 8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 9f22ef01cSRoman Divacky // 10f22ef01cSRoman Divacky // This pass decodes the debug info metadata in a module and prints in a 11f22ef01cSRoman Divacky // (sufficiently-prepared-) human-readable form. 12f22ef01cSRoman Divacky // 13f22ef01cSRoman Divacky // For example, run this pass from opt along with the -analyze option, and 14f22ef01cSRoman Divacky // it'll print to standard output. 15f22ef01cSRoman Divacky // 16f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 17f22ef01cSRoman Divacky 18139f7f9bSDimitry Andric #include "llvm/ADT/Statistic.h" 19*db17bf38SDimitry Andric #include "llvm/Analysis/Passes.h" 2091bc56edSDimitry Andric #include "llvm/IR/DebugInfo.h" 21139f7f9bSDimitry Andric #include "llvm/IR/Function.h" 227ae0e2c9SDimitry Andric #include "llvm/Pass.h" 23f22ef01cSRoman Divacky #include "llvm/Support/ErrorHandling.h" 24f22ef01cSRoman Divacky #include "llvm/Support/raw_ostream.h" 25f22ef01cSRoman Divacky using namespace llvm; 26f22ef01cSRoman Divacky 27f22ef01cSRoman Divacky namespace { 28f22ef01cSRoman Divacky class ModuleDebugInfoPrinter : public ModulePass { 29f22ef01cSRoman Divacky DebugInfoFinder Finder; 30f22ef01cSRoman Divacky public: 31f22ef01cSRoman Divacky static char ID; // Pass identification, replacement for typeid 322754fe60SDimitry Andric ModuleDebugInfoPrinter() : ModulePass(ID) { 332754fe60SDimitry Andric initializeModuleDebugInfoPrinterPass(*PassRegistry::getPassRegistry()); 342754fe60SDimitry Andric } 35f22ef01cSRoman Divacky 3691bc56edSDimitry Andric bool runOnModule(Module &M) override; 37f22ef01cSRoman Divacky 3891bc56edSDimitry Andric void getAnalysisUsage(AnalysisUsage &AU) const override { 39f22ef01cSRoman Divacky AU.setPreservesAll(); 40f22ef01cSRoman Divacky } 4191bc56edSDimitry Andric void print(raw_ostream &O, const Module *M) const override; 42f22ef01cSRoman Divacky }; 433dac3a9bSDimitry Andric } 44f22ef01cSRoman Divacky 45f22ef01cSRoman Divacky char ModuleDebugInfoPrinter::ID = 0; 46e580952dSDimitry Andric INITIALIZE_PASS(ModuleDebugInfoPrinter, "module-debuginfo", 472754fe60SDimitry Andric "Decodes module-level debug info", false, true) 48f22ef01cSRoman Divacky 49f22ef01cSRoman Divacky ModulePass *llvm::createModuleDebugInfoPrinterPass() { 50f22ef01cSRoman Divacky return new ModuleDebugInfoPrinter(); 51f22ef01cSRoman Divacky } 52f22ef01cSRoman Divacky 53f22ef01cSRoman Divacky bool ModuleDebugInfoPrinter::runOnModule(Module &M) { 54f22ef01cSRoman Divacky Finder.processModule(M); 55f22ef01cSRoman Divacky return false; 56f22ef01cSRoman Divacky } 57f22ef01cSRoman Divacky 58ff0cc061SDimitry Andric static void printFile(raw_ostream &O, StringRef Filename, StringRef Directory, 59ff0cc061SDimitry Andric unsigned Line = 0) { 60ff0cc061SDimitry Andric if (Filename.empty()) 61ff0cc061SDimitry Andric return; 62ff0cc061SDimitry Andric 63ff0cc061SDimitry Andric O << " from "; 64ff0cc061SDimitry Andric if (!Directory.empty()) 65ff0cc061SDimitry Andric O << Directory << "/"; 66ff0cc061SDimitry Andric O << Filename; 67ff0cc061SDimitry Andric if (Line) 68ff0cc061SDimitry Andric O << ":" << Line; 69ff0cc061SDimitry Andric } 70ff0cc061SDimitry Andric 71f22ef01cSRoman Divacky void ModuleDebugInfoPrinter::print(raw_ostream &O, const Module *M) const { 72ff0cc061SDimitry Andric // Printing the nodes directly isn't particularly helpful (since they 73ff0cc061SDimitry Andric // reference other nodes that won't be printed, particularly for the 74ff0cc061SDimitry Andric // filenames), so just print a few useful things. 75ff0cc061SDimitry Andric for (DICompileUnit *CU : Finder.compile_units()) { 76ff0cc061SDimitry Andric O << "Compile unit: "; 77d88c1a5aSDimitry Andric auto Lang = dwarf::LanguageString(CU->getSourceLanguage()); 78d88c1a5aSDimitry Andric if (!Lang.empty()) 79ff0cc061SDimitry Andric O << Lang; 80ff0cc061SDimitry Andric else 81ff0cc061SDimitry Andric O << "unknown-language(" << CU->getSourceLanguage() << ")"; 82ff0cc061SDimitry Andric printFile(O, CU->getFilename(), CU->getDirectory()); 83f22ef01cSRoman Divacky O << '\n'; 84f22ef01cSRoman Divacky } 85f22ef01cSRoman Divacky 86ff0cc061SDimitry Andric for (DISubprogram *S : Finder.subprograms()) { 87ff0cc061SDimitry Andric O << "Subprogram: " << S->getName(); 88ff0cc061SDimitry Andric printFile(O, S->getFilename(), S->getDirectory(), S->getLine()); 89ff0cc061SDimitry Andric if (!S->getLinkageName().empty()) 90ff0cc061SDimitry Andric O << " ('" << S->getLinkageName() << "')"; 91f22ef01cSRoman Divacky O << '\n'; 92f22ef01cSRoman Divacky } 93f22ef01cSRoman Divacky 94d88c1a5aSDimitry Andric for (auto GVU : Finder.global_variables()) { 95d88c1a5aSDimitry Andric const auto *GV = GVU->getVariable(); 96ff0cc061SDimitry Andric O << "Global variable: " << GV->getName(); 97ff0cc061SDimitry Andric printFile(O, GV->getFilename(), GV->getDirectory(), GV->getLine()); 98ff0cc061SDimitry Andric if (!GV->getLinkageName().empty()) 99ff0cc061SDimitry Andric O << " ('" << GV->getLinkageName() << "')"; 100f22ef01cSRoman Divacky O << '\n'; 101f22ef01cSRoman Divacky } 102f22ef01cSRoman Divacky 103ff0cc061SDimitry Andric for (const DIType *T : Finder.types()) { 104f22ef01cSRoman Divacky O << "Type:"; 105ff0cc061SDimitry Andric if (!T->getName().empty()) 106ff0cc061SDimitry Andric O << ' ' << T->getName(); 107ff0cc061SDimitry Andric printFile(O, T->getFilename(), T->getDirectory(), T->getLine()); 108ff0cc061SDimitry Andric if (auto *BT = dyn_cast<DIBasicType>(T)) { 109ff0cc061SDimitry Andric O << " "; 110d88c1a5aSDimitry Andric auto Encoding = dwarf::AttributeEncodingString(BT->getEncoding()); 111d88c1a5aSDimitry Andric if (!Encoding.empty()) 112ff0cc061SDimitry Andric O << Encoding; 113ff0cc061SDimitry Andric else 114ff0cc061SDimitry Andric O << "unknown-encoding(" << BT->getEncoding() << ')'; 115ff0cc061SDimitry Andric } else { 116ff0cc061SDimitry Andric O << ' '; 117d88c1a5aSDimitry Andric auto Tag = dwarf::TagString(T->getTag()); 118d88c1a5aSDimitry Andric if (!Tag.empty()) 119ff0cc061SDimitry Andric O << Tag; 120ff0cc061SDimitry Andric else 121ff0cc061SDimitry Andric O << "unknown-tag(" << T->getTag() << ")"; 122ff0cc061SDimitry Andric } 123ff0cc061SDimitry Andric if (auto *CT = dyn_cast<DICompositeType>(T)) { 124ff0cc061SDimitry Andric if (auto *S = CT->getRawIdentifier()) 125ff0cc061SDimitry Andric O << " (identifier: '" << S->getString() << "')"; 126ff0cc061SDimitry Andric } 127f22ef01cSRoman Divacky O << '\n'; 128f22ef01cSRoman Divacky } 129f22ef01cSRoman Divacky } 130