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