1 //===- CFGPrinter.cpp - DOT printer for the control flow graph ------------===//
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 file defines a `-dot-cfg` analysis pass, which emits the
10 // `<prefix>.<fnname>.dot` file for each function in the program, with a graph
11 // of the CFG for that function. The default value for `<prefix>` is `cfg` but
12 // can be customized as needed.
13 //
14 // The other main feature of this file is that it implements the
15 // Function::viewCFG method, which is useful for debugging passes which operate
16 // on the CFG.
17 //
18 //===----------------------------------------------------------------------===//
19 
20 #include "llvm/Analysis/CFGPrinter.h"
21 #include "llvm/InitializePasses.h"
22 #include "llvm/Pass.h"
23 #include "llvm/Support/CommandLine.h"
24 #include "llvm/Support/FileSystem.h"
25 using namespace llvm;
26 
27 static cl::opt<std::string> CFGFuncName(
28     "cfg-func-name", cl::Hidden,
29     cl::desc("The name of a function (or its substring)"
30              " whose CFG is viewed/printed."));
31 
32 static cl::opt<std::string> CFGDotFilenamePrefix(
33     "cfg-dot-filename-prefix", cl::Hidden,
34     cl::desc("The prefix used for the CFG dot file names."));
35 
36 namespace {
37   struct CFGViewerLegacyPass : public FunctionPass {
38     static char ID; // Pass identifcation, replacement for typeid
CFGViewerLegacyPass__anon0868cd200111::CFGViewerLegacyPass39     CFGViewerLegacyPass() : FunctionPass(ID) {
40       initializeCFGViewerLegacyPassPass(*PassRegistry::getPassRegistry());
41     }
42 
runOnFunction__anon0868cd200111::CFGViewerLegacyPass43     bool runOnFunction(Function &F) override {
44       F.viewCFG();
45       return false;
46     }
47 
print__anon0868cd200111::CFGViewerLegacyPass48     void print(raw_ostream &OS, const Module* = nullptr) const override {}
49 
getAnalysisUsage__anon0868cd200111::CFGViewerLegacyPass50     void getAnalysisUsage(AnalysisUsage &AU) const override {
51       AU.setPreservesAll();
52     }
53   };
54 }
55 
56 char CFGViewerLegacyPass::ID = 0;
57 INITIALIZE_PASS(CFGViewerLegacyPass, "view-cfg", "View CFG of function", false, true)
58 
run(Function & F,FunctionAnalysisManager & AM)59 PreservedAnalyses CFGViewerPass::run(Function &F,
60                                      FunctionAnalysisManager &AM) {
61   F.viewCFG();
62   return PreservedAnalyses::all();
63 }
64 
65 
66 namespace {
67   struct CFGOnlyViewerLegacyPass : public FunctionPass {
68     static char ID; // Pass identifcation, replacement for typeid
CFGOnlyViewerLegacyPass__anon0868cd200211::CFGOnlyViewerLegacyPass69     CFGOnlyViewerLegacyPass() : FunctionPass(ID) {
70       initializeCFGOnlyViewerLegacyPassPass(*PassRegistry::getPassRegistry());
71     }
72 
runOnFunction__anon0868cd200211::CFGOnlyViewerLegacyPass73     bool runOnFunction(Function &F) override {
74       F.viewCFGOnly();
75       return false;
76     }
77 
print__anon0868cd200211::CFGOnlyViewerLegacyPass78     void print(raw_ostream &OS, const Module* = nullptr) const override {}
79 
getAnalysisUsage__anon0868cd200211::CFGOnlyViewerLegacyPass80     void getAnalysisUsage(AnalysisUsage &AU) const override {
81       AU.setPreservesAll();
82     }
83   };
84 }
85 
86 char CFGOnlyViewerLegacyPass::ID = 0;
87 INITIALIZE_PASS(CFGOnlyViewerLegacyPass, "view-cfg-only",
88                 "View CFG of function (with no function bodies)", false, true)
89 
run(Function & F,FunctionAnalysisManager & AM)90 PreservedAnalyses CFGOnlyViewerPass::run(Function &F,
91                                          FunctionAnalysisManager &AM) {
92   F.viewCFGOnly();
93   return PreservedAnalyses::all();
94 }
95 
writeCFGToDotFile(Function & F,bool CFGOnly=false)96 static void writeCFGToDotFile(Function &F, bool CFGOnly = false) {
97   if (!CFGFuncName.empty() && !F.getName().contains(CFGFuncName))
98      return;
99   std::string Filename =
100       (CFGDotFilenamePrefix + "." + F.getName() + ".dot").str();
101   errs() << "Writing '" << Filename << "'...";
102 
103   std::error_code EC;
104   raw_fd_ostream File(Filename, EC, sys::fs::OF_Text);
105 
106   if (!EC)
107     WriteGraph(File, (const Function*)&F, CFGOnly);
108   else
109     errs() << "  error opening file for writing!";
110   errs() << "\n";
111 }
112 
113 namespace {
114   struct CFGPrinterLegacyPass : public FunctionPass {
115     static char ID; // Pass identification, replacement for typeid
CFGPrinterLegacyPass__anon0868cd200311::CFGPrinterLegacyPass116     CFGPrinterLegacyPass() : FunctionPass(ID) {
117       initializeCFGPrinterLegacyPassPass(*PassRegistry::getPassRegistry());
118     }
119 
runOnFunction__anon0868cd200311::CFGPrinterLegacyPass120     bool runOnFunction(Function &F) override {
121       writeCFGToDotFile(F);
122       return false;
123     }
124 
print__anon0868cd200311::CFGPrinterLegacyPass125     void print(raw_ostream &OS, const Module* = nullptr) const override {}
126 
getAnalysisUsage__anon0868cd200311::CFGPrinterLegacyPass127     void getAnalysisUsage(AnalysisUsage &AU) const override {
128       AU.setPreservesAll();
129     }
130   };
131 }
132 
133 char CFGPrinterLegacyPass::ID = 0;
134 INITIALIZE_PASS(CFGPrinterLegacyPass, "dot-cfg", "Print CFG of function to 'dot' file",
135                 false, true)
136 
run(Function & F,FunctionAnalysisManager & AM)137 PreservedAnalyses CFGPrinterPass::run(Function &F,
138                                       FunctionAnalysisManager &AM) {
139   writeCFGToDotFile(F);
140   return PreservedAnalyses::all();
141 }
142 
143 namespace {
144   struct CFGOnlyPrinterLegacyPass : public FunctionPass {
145     static char ID; // Pass identification, replacement for typeid
CFGOnlyPrinterLegacyPass__anon0868cd200411::CFGOnlyPrinterLegacyPass146     CFGOnlyPrinterLegacyPass() : FunctionPass(ID) {
147       initializeCFGOnlyPrinterLegacyPassPass(*PassRegistry::getPassRegistry());
148     }
149 
runOnFunction__anon0868cd200411::CFGOnlyPrinterLegacyPass150     bool runOnFunction(Function &F) override {
151       writeCFGToDotFile(F, /*CFGOnly=*/true);
152       return false;
153     }
print__anon0868cd200411::CFGOnlyPrinterLegacyPass154     void print(raw_ostream &OS, const Module* = nullptr) const override {}
155 
getAnalysisUsage__anon0868cd200411::CFGOnlyPrinterLegacyPass156     void getAnalysisUsage(AnalysisUsage &AU) const override {
157       AU.setPreservesAll();
158     }
159   };
160 }
161 
162 char CFGOnlyPrinterLegacyPass::ID = 0;
163 INITIALIZE_PASS(CFGOnlyPrinterLegacyPass, "dot-cfg-only",
164    "Print CFG of function to 'dot' file (with no function bodies)",
165    false, true)
166 
run(Function & F,FunctionAnalysisManager & AM)167 PreservedAnalyses CFGOnlyPrinterPass::run(Function &F,
168                                           FunctionAnalysisManager &AM) {
169   writeCFGToDotFile(F, /*CFGOnly=*/true);
170   return PreservedAnalyses::all();
171 }
172 
173 /// viewCFG - This function is meant for use from the debugger.  You can just
174 /// say 'call F->viewCFG()' and a ghostview window should pop up from the
175 /// program, displaying the CFG of the current function.  This depends on there
176 /// being a 'dot' and 'gv' program in your path.
177 ///
viewCFG() const178 void Function::viewCFG() const {
179   if (!CFGFuncName.empty() && !getName().contains(CFGFuncName))
180      return;
181   ViewGraph(this, "cfg" + getName());
182 }
183 
184 /// viewCFGOnly - This function is meant for use from the debugger.  It works
185 /// just like viewCFG, but it does not include the contents of basic blocks
186 /// into the nodes, just the label.  If you are only interested in the CFG
187 /// this can make the graph smaller.
188 ///
viewCFGOnly() const189 void Function::viewCFGOnly() const {
190   if (!CFGFuncName.empty() && !getName().contains(CFGFuncName))
191      return;
192   ViewGraph(this, "cfg" + getName(), true);
193 }
194 
createCFGPrinterLegacyPassPass()195 FunctionPass *llvm::createCFGPrinterLegacyPassPass () {
196   return new CFGPrinterLegacyPass();
197 }
198 
createCFGOnlyPrinterLegacyPassPass()199 FunctionPass *llvm::createCFGOnlyPrinterLegacyPassPass () {
200   return new CFGOnlyPrinterLegacyPass();
201 }
202 
203