xref: /freebsd-src/contrib/llvm-project/llvm/lib/CodeGen/MachineCFGPrinter.cpp (revision bdd1243df58e60e85101c09001d9812a789b6bc4)
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