//===- CFGPrinter.cpp - DOT printer for the control flow graph ------------===//
-//
+//
// The LLVM Compiler Infrastructure
//
// This file was developed by the LLVM research group and is distributed under
// the University of Illinois Open Source License. See LICENSE.TXT for details.
-//
+//
//===----------------------------------------------------------------------===//
//
// This file defines a '-print-cfg' analysis pass, which emits the
//
//===----------------------------------------------------------------------===//
-#include "Support/GraphWriter.h"
-#include "llvm/Pass.h"
#include "llvm/Function.h"
-#include "llvm/iTerminators.h"
+#include "llvm/Instructions.h"
+#include "llvm/Pass.h"
+#include "llvm/Analysis/CFGPrinter.h"
#include "llvm/Assembly/Writer.h"
#include "llvm/Support/CFG.h"
+#include "llvm/Support/Compiler.h"
+#include "llvm/Support/GraphWriter.h"
+#include "llvm/Config/config.h"
+#include <iosfwd>
#include <sstream>
#include <fstream>
+using namespace llvm;
/// CFGOnly flag - This is used to control whether or not the CFG graph printer
/// prints out the contents of basic blocks or not. This is acceptable because
///
static bool CFGOnly = false;
+namespace llvm {
template<>
struct DOTGraphTraits<const Function*> : public DefaultDOTGraphTraits {
static std::string getGraphName(const Function *F) {
static std::string getNodeLabel(const BasicBlock *Node,
const Function *Graph) {
- if (CFGOnly && !Node->getName().empty()) return Node->getName() + ":";
+ if (CFGOnly && !Node->getName().empty())
+ return Node->getName() + ":";
std::ostringstream Out;
if (CFGOnly) {
- WriteAsOperand(Out, Node, false, true);
+ WriteAsOperand(Out, Node, false);
return Out.str();
}
+ if (Node->getName().empty()) {
+ WriteAsOperand(Out, Node, false);
+ Out << ":";
+ }
+
Out << *Node;
std::string OutStr = Out.str();
if (OutStr[0] == '\n') OutStr.erase(OutStr.begin());
return OutStr;
}
- static std::string getNodeAttributes(const BasicBlock *N) {
- return "fontname=Courier";
- }
-
static std::string getEdgeSourceLabel(const BasicBlock *Node,
succ_const_iterator I) {
// Label source of conditional branches with "T" or "F"
return "";
}
};
+}
namespace {
- struct CFGPrinter : public FunctionPass {
+ struct VISIBILITY_HIDDEN CFGPrinter : public FunctionPass {
virtual bool runOnFunction(Function &F) {
std::string Filename = "cfg." + F.getName() + ".dot";
- std::cerr << "Writing '" << Filename << "'...";
+ cerr << "Writing '" << Filename << "'...";
std::ofstream File(Filename.c_str());
-
+
if (File.good())
WriteGraph(File, (const Function*)&F);
else
- std::cerr << " error opening file for writing!";
- std::cerr << "\n";
+ cerr << " error opening file for writing!";
+ cerr << "\n";
return false;
}
- void print(std::ostream &OS) const {}
-
+ void print(std::ostream &OS, const Module* = 0) const {}
+
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
AU.setPreservesAll();
}
};
- RegisterAnalysis<CFGPrinter> P1("print-cfg",
- "Print CFG of function to 'dot' file");
-};
+ RegisterPass<CFGPrinter> P1("print-cfg",
+ "Print CFG of function to 'dot' file");
+ struct VISIBILITY_HIDDEN CFGOnlyPrinter : public CFGPrinter {
+ virtual bool runOnFunction(Function &F) {
+ bool OldCFGOnly = CFGOnly;
+ CFGOnly = true;
+ CFGPrinter::runOnFunction(F);
+ CFGOnly = OldCFGOnly;
+ return false;
+ }
+ void print(std::ostream &OS, const Module* = 0) const {}
+ virtual void getAnalysisUsage(AnalysisUsage &AU) const {
+ AU.setPreservesAll();
+ }
+ };
+ RegisterPass<CFGOnlyPrinter>
+ P2("print-cfg-only",
+ "Print CFG of function to 'dot' file (with no function bodies)");
+}
/// viewCFG - This function is meant for use from the debugger. You can just
/// say 'call F->viewCFG()' and a ghostview window should pop up from the
/// being a 'dot' and 'gv' program in your path.
///
void Function::viewCFG() const {
- std::string Filename = "/tmp/cfg." + getName() + ".dot";
- std::cerr << "Writing '" << Filename << "'... ";
- std::ofstream F(Filename.c_str());
-
- if (!F.good()) {
- std::cerr << " error opening file for writing!\n";
- return;
- }
-
- WriteGraph(F, this);
- F.close();
- std::cerr << "\n";
-
- std::cerr << "Running 'dot' program... " << std::flush;
- if (system(("dot -Tps " + Filename + " > /tmp/cfg.tempgraph.ps").c_str())) {
- std::cerr << "Error running dot: 'dot' not in path?\n";
- } else {
- std::cerr << "\n";
- system("gv /tmp/cfg.tempgraph.ps");
- }
- system(("rm " + Filename + " /tmp/cfg.tempgraph.ps").c_str());
+ ViewGraph(this, "cfg" + getName());
}
/// viewCFGOnly - This function is meant for use from the debugger. It works
viewCFG();
CFGOnly = false;
}
+
+FunctionPass *llvm::createCFGPrinterPass () {
+ return new CFGPrinter();
+}
+
+FunctionPass *llvm::createCFGOnlyPrinterPass () {
+ return new CFGOnlyPrinter();
+}
+