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