LLVM 20.0.0git
ModuleDebugInfoPrinter.cpp
Go to the documentation of this file.
1//===-- ModuleDebugInfoPrinter.cpp - Prints module debug info metadata ----===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This pass decodes the debug info metadata in a module and prints in a
10// (sufficiently-prepared-) human-readable form.
11//
12// For example, run this pass from opt along with the -analyze option, and
13// it'll print to standard output.
14//
15//===----------------------------------------------------------------------===//
16
20#include "llvm/IR/DebugInfo.h"
21#include "llvm/IR/PassManager.h"
23#include "llvm/Pass.h"
26using namespace llvm;
27
28static void printFile(raw_ostream &O, StringRef Filename, StringRef Directory,
29 unsigned Line = 0) {
30 if (Filename.empty())
31 return;
32
33 O << " from ";
34 if (!Directory.empty())
35 O << Directory << "/";
36 O << Filename;
37 if (Line)
38 O << ":" << Line;
39}
40
41static void printModuleDebugInfo(raw_ostream &O, const Module *M,
42 const DebugInfoFinder &Finder) {
43 // Printing the nodes directly isn't particularly helpful (since they
44 // reference other nodes that won't be printed, particularly for the
45 // filenames), so just print a few useful things.
46 for (DICompileUnit *CU : Finder.compile_units()) {
47 O << "Compile unit: ";
48 auto Lang = dwarf::LanguageString(CU->getSourceLanguage());
49 if (!Lang.empty())
50 O << Lang;
51 else
52 O << "unknown-language(" << CU->getSourceLanguage() << ")";
53 printFile(O, CU->getFilename(), CU->getDirectory());
54 O << '\n';
55 }
56
57 for (DISubprogram *S : Finder.subprograms()) {
58 O << "Subprogram: " << S->getName();
59 printFile(O, S->getFilename(), S->getDirectory(), S->getLine());
60 if (!S->getLinkageName().empty())
61 O << " ('" << S->getLinkageName() << "')";
62 O << '\n';
63 }
64
65 for (auto *GVU : Finder.global_variables()) {
66 const auto *GV = GVU->getVariable();
67 O << "Global variable: " << GV->getName();
68 printFile(O, GV->getFilename(), GV->getDirectory(), GV->getLine());
69 if (!GV->getLinkageName().empty())
70 O << " ('" << GV->getLinkageName() << "')";
71 O << '\n';
72 }
73
74 for (const DIType *T : Finder.types()) {
75 O << "Type:";
76 if (!T->getName().empty())
77 O << ' ' << T->getName();
78 printFile(O, T->getFilename(), T->getDirectory(), T->getLine());
79 if (auto *BT = dyn_cast<DIBasicType>(T)) {
80 O << " ";
81 auto Encoding = dwarf::AttributeEncodingString(BT->getEncoding());
82 if (!Encoding.empty())
83 O << Encoding;
84 else
85 O << "unknown-encoding(" << BT->getEncoding() << ')';
86 } else {
87 O << ' ';
88 auto Tag = dwarf::TagString(T->getTag());
89 if (!Tag.empty())
90 O << Tag;
91 else
92 O << "unknown-tag(" << T->getTag() << ")";
93 }
94 if (auto *CT = dyn_cast<DICompositeType>(T)) {
95 if (auto *S = CT->getRawIdentifier())
96 O << " (identifier: '" << S->getString() << "')";
97 }
98 O << '\n';
99 }
100}
101
103 : OS(OS) {}
104
107 Finder.processModule(M);
108 printModuleDebugInfo(OS, &M, Finder);
109 return PreservedAnalyses::all();
110}
This file contains constants used for implementing Dwarf debug support.
static void printModuleDebugInfo(raw_ostream &O, const Module *M, const DebugInfoFinder &Finder)
static void printFile(raw_ostream &O, StringRef Filename, StringRef Directory, unsigned Line=0)
This header defines various interfaces for pass management in LLVM.
raw_pwrite_stream & OS
A container for analyses that lazily runs them and caches their results.
Definition: PassManager.h:253
Subprogram description.
Base class for types.
Utility to find all debug info in a module.
Definition: DebugInfo.h:103
void processModule(const Module &M)
Process entire module and collect debug info anchors.
Definition: DebugInfo.cpp:195
iterator_range< global_variable_expression_iterator > global_variables() const
Definition: DebugInfo.h:151
iterator_range< subprogram_iterator > subprograms() const
Definition: DebugInfo.h:147
iterator_range< type_iterator > types() const
Definition: DebugInfo.h:155
iterator_range< compile_unit_iterator > compile_units() const
Definition: DebugInfo.h:143
PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
A set of analyses that are preserved following a run of a transformation pass.
Definition: Analysis.h:111
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition: Analysis.h:117
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
constexpr bool empty() const
empty - Check if the string is empty.
Definition: StringRef.h:134
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
StringRef LanguageString(unsigned Language)
Definition: Dwarf.cpp:393
StringRef AttributeEncodingString(unsigned Encoding)
Definition: Dwarf.cpp:263
StringRef TagString(unsigned Tag)
Definition: Dwarf.cpp:21
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18