LLVM 23.0.0git
MachineCFGPrinter.cpp
Go to the documentation of this file.
1//===- MachineCFGPrinter.cpp - DOT Printer for Machine Functions ----------===//
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//
10// This file defines the `-dot-machine-cfg` analysis pass, which emits
11// Machine Function in DOT format in file titled `<prefix>.<function-name>.dot.
12//===----------------------------------------------------------------------===//
13
20#include "llvm/Pass.h"
21#include "llvm/PassRegistry.h"
23
24using namespace llvm;
25
26#define DEBUG_TYPE "dot-machine-cfg"
27
29 MCFGFuncName("mcfg-func-name", cl::Hidden,
30 cl::desc("The name of a function (or its substring)"
31 " whose CFG is viewed/printed."));
32
34 "mcfg-dot-filename-prefix", cl::Hidden,
35 cl::desc("The prefix used for the Machine CFG dot file names."));
36
37static cl::opt<bool>
38 CFGOnly("dot-mcfg-only", cl::init(false), cl::Hidden,
39 cl::desc("Print only the CFG without blocks body"));
40
42 std::string Filename =
43 (MCFGDotFilenamePrefix + "." + MF.getName() + ".dot").str();
44 errs() << "Writing '" << Filename << "'...";
45
46 std::error_code EC;
48
49 DOTMachineFuncInfo MCFGInfo(&MF);
50
51 if (!EC)
52 WriteGraph(File, &MCFGInfo, CFGOnly);
53 else
54 errs() << " error opening file for writing!";
55 errs() << '\n';
56}
57
58namespace {
59
60class MachineCFGPrinterLegacy : public MachineFunctionPass {
61public:
62 static char ID;
63
64 MachineCFGPrinterLegacy();
65
66 bool runOnMachineFunction(MachineFunction &MF) override;
67
68 void getAnalysisUsage(AnalysisUsage &AU) const override {
69 AU.setPreservesCFG();
71 }
72};
73
74} // namespace
75
76char MachineCFGPrinterLegacy::ID = 0;
77
78char &llvm::MachineCFGPrinterID = MachineCFGPrinterLegacy::ID;
79
80INITIALIZE_PASS(MachineCFGPrinterLegacy, DEBUG_TYPE, "Machine CFG Printer Pass",
81 false, true)
82
83/// Default construct and initialize the pass.
84MachineCFGPrinterLegacy::MachineCFGPrinterLegacy() : MachineFunctionPass(ID) {}
85
86bool MachineCFGPrinterLegacy::runOnMachineFunction(MachineFunction &MF) {
87 if (!MCFGFuncName.empty() && !MF.getName().contains(MCFGFuncName))
88 return false;
89 errs() << "Writing Machine CFG for function ";
90 errs().write_escaped(MF.getName()) << '\n';
91
93 return false;
94}
95
96PreservedAnalyses
99 if (!MCFGFuncName.empty() && !MF.getName().contains(MCFGFuncName))
100 return PreservedAnalyses::all();
101 errs() << "Writing Machine CFG for function ";
102 errs().write_escaped(MF.getName()) << '\n';
103
105 return PreservedAnalyses::all();
106}
#define DEBUG_TYPE
static cl::opt< std::string > MCFGDotFilenamePrefix("mcfg-dot-filename-prefix", cl::Hidden, cl::desc("The prefix used for the Machine CFG dot file names."))
static void writeMCFGToDotFile(MachineFunction &MF)
static cl::opt< std::string > MCFGFuncName("mcfg-func-name", cl::Hidden, cl::desc("The name of a function (or its substring)" " whose CFG is viewed/printed."))
static cl::opt< bool > CFGOnly("dot-mcfg-only", cl::init(false), cl::Hidden, cl::desc("Print only the CFG without blocks body"))
static constexpr StringLiteral Filename
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition PassSupport.h:56
LLVM_ABI void setPreservesCFG()
This function should be called by the pass, iff they do not:
Definition Pass.cpp:270
LLVM_ABI PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition Analysis.h:118
bool contains(StringRef Other) const
Return true if the given string is a substring of *this, and false otherwise.
Definition StringRef.h:446
A raw_ostream that writes to a file descriptor.
raw_ostream & write_escaped(StringRef Str, bool UseHexEscapes=false)
Output Str, turning '\', '\t', ' ', '"', and anything that doesn't satisfy llvm::isPrint into an esca...
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
initializer< Ty > init(const Ty &Val)
@ OF_Text
The file should be opened in text mode on platforms like z/OS that make this distinction.
Definition FileSystem.h:777
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI char & MachineCFGPrinterID
MachineCFGPrinter pass.
raw_ostream & WriteGraph(raw_ostream &O, const GraphType &G, bool ShortNames=false, const Twine &Title="")
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.