1*bdd1243dSDimitry Andric //===- MachineCFGPrinter.cpp - DOT Printer for Machine Functions ----------===//
2*bdd1243dSDimitry Andric //
3*bdd1243dSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*bdd1243dSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*bdd1243dSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*bdd1243dSDimitry Andric //
7*bdd1243dSDimitry Andric //===----------------------------------------------------------------------===//
8*bdd1243dSDimitry Andric //===----------------------------------------------------------------------===//
9*bdd1243dSDimitry Andric //
10*bdd1243dSDimitry Andric // This file defines the `-dot-machine-cfg` analysis pass, which emits
11*bdd1243dSDimitry Andric // Machine Function in DOT format in file titled `<prefix>.<function-name>.dot.
12*bdd1243dSDimitry Andric //===----------------------------------------------------------------------===//
13*bdd1243dSDimitry Andric
14*bdd1243dSDimitry Andric #include "llvm/CodeGen/MachineCFGPrinter.h"
15*bdd1243dSDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
16*bdd1243dSDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
17*bdd1243dSDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
18*bdd1243dSDimitry Andric #include "llvm/InitializePasses.h"
19*bdd1243dSDimitry Andric #include "llvm/Pass.h"
20*bdd1243dSDimitry Andric #include "llvm/PassRegistry.h"
21*bdd1243dSDimitry Andric #include "llvm/Support/GraphWriter.h"
22*bdd1243dSDimitry Andric
23*bdd1243dSDimitry Andric using namespace llvm;
24*bdd1243dSDimitry Andric
25*bdd1243dSDimitry Andric #define DEBUG_TYPE "dot-machine-cfg"
26*bdd1243dSDimitry Andric
27*bdd1243dSDimitry Andric static cl::opt<std::string>
28*bdd1243dSDimitry Andric MCFGFuncName("mcfg-func-name", cl::Hidden,
29*bdd1243dSDimitry Andric cl::desc("The name of a function (or its substring)"
30*bdd1243dSDimitry Andric " whose CFG is viewed/printed."));
31*bdd1243dSDimitry Andric
32*bdd1243dSDimitry Andric static cl::opt<std::string> MCFGDotFilenamePrefix(
33*bdd1243dSDimitry Andric "mcfg-dot-filename-prefix", cl::Hidden,
34*bdd1243dSDimitry Andric cl::desc("The prefix used for the Machine CFG dot file names."));
35*bdd1243dSDimitry Andric
36*bdd1243dSDimitry Andric static cl::opt<bool>
37*bdd1243dSDimitry Andric CFGOnly("dot-mcfg-only", cl::init(false), cl::Hidden,
38*bdd1243dSDimitry Andric cl::desc("Print only the CFG without blocks body"));
39*bdd1243dSDimitry Andric
writeMCFGToDotFile(MachineFunction & MF)40*bdd1243dSDimitry Andric static void writeMCFGToDotFile(MachineFunction &MF) {
41*bdd1243dSDimitry Andric std::string Filename =
42*bdd1243dSDimitry Andric (MCFGDotFilenamePrefix + "." + MF.getName() + ".dot").str();
43*bdd1243dSDimitry Andric errs() << "Writing '" << Filename << "'...";
44*bdd1243dSDimitry Andric
45*bdd1243dSDimitry Andric std::error_code EC;
46*bdd1243dSDimitry Andric raw_fd_ostream File(Filename, EC, sys::fs::OF_Text);
47*bdd1243dSDimitry Andric
48*bdd1243dSDimitry Andric DOTMachineFuncInfo MCFGInfo(&MF);
49*bdd1243dSDimitry Andric
50*bdd1243dSDimitry Andric if (!EC)
51*bdd1243dSDimitry Andric WriteGraph(File, &MCFGInfo, CFGOnly);
52*bdd1243dSDimitry Andric else
53*bdd1243dSDimitry Andric errs() << " error opening file for writing!";
54*bdd1243dSDimitry Andric errs() << '\n';
55*bdd1243dSDimitry Andric }
56*bdd1243dSDimitry Andric
57*bdd1243dSDimitry Andric namespace {
58*bdd1243dSDimitry Andric
59*bdd1243dSDimitry Andric class MachineCFGPrinter : public MachineFunctionPass {
60*bdd1243dSDimitry Andric public:
61*bdd1243dSDimitry Andric static char ID;
62*bdd1243dSDimitry Andric
63*bdd1243dSDimitry Andric MachineCFGPrinter();
64*bdd1243dSDimitry Andric
65*bdd1243dSDimitry Andric bool runOnMachineFunction(MachineFunction &MF) override;
66*bdd1243dSDimitry Andric
getAnalysisUsage(AnalysisUsage & AU) const67*bdd1243dSDimitry Andric void getAnalysisUsage(AnalysisUsage &AU) const override {
68*bdd1243dSDimitry Andric AU.setPreservesCFG();
69*bdd1243dSDimitry Andric MachineFunctionPass::getAnalysisUsage(AU);
70*bdd1243dSDimitry Andric }
71*bdd1243dSDimitry Andric };
72*bdd1243dSDimitry Andric
73*bdd1243dSDimitry Andric } // namespace
74*bdd1243dSDimitry Andric
75*bdd1243dSDimitry Andric char MachineCFGPrinter::ID = 0;
76*bdd1243dSDimitry Andric
77*bdd1243dSDimitry Andric char &llvm::MachineCFGPrinterID = MachineCFGPrinter::ID;
78*bdd1243dSDimitry Andric
79*bdd1243dSDimitry Andric INITIALIZE_PASS(MachineCFGPrinter, DEBUG_TYPE, "Machine CFG Printer Pass",
80*bdd1243dSDimitry Andric false, true)
81*bdd1243dSDimitry Andric
82*bdd1243dSDimitry Andric /// Default construct and initialize the pass.
MachineCFGPrinter()83*bdd1243dSDimitry Andric MachineCFGPrinter::MachineCFGPrinter() : MachineFunctionPass(ID) {
84*bdd1243dSDimitry Andric initializeMachineCFGPrinterPass(*PassRegistry::getPassRegistry());
85*bdd1243dSDimitry Andric }
86*bdd1243dSDimitry Andric
runOnMachineFunction(MachineFunction & MF)87*bdd1243dSDimitry Andric bool MachineCFGPrinter::runOnMachineFunction(MachineFunction &MF) {
88*bdd1243dSDimitry Andric if (!MCFGFuncName.empty() && !MF.getName().contains(MCFGFuncName))
89*bdd1243dSDimitry Andric return false;
90*bdd1243dSDimitry Andric errs() << "Writing Machine CFG for function ";
91*bdd1243dSDimitry Andric errs().write_escaped(MF.getName()) << '\n';
92*bdd1243dSDimitry Andric
93*bdd1243dSDimitry Andric writeMCFGToDotFile(MF);
94*bdd1243dSDimitry Andric return false;
95*bdd1243dSDimitry Andric }
96