2009-10-18 06:10:40 +02:00
|
|
|
//===- DomPrinter.cpp - DOT printer for the dominance trees ------------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines '-dot-dom' and '-dot-postdom' analysis passes, which emit
|
|
|
|
// a dom.<fnname>.dot or postdom.<fnname>.dot file for each function in the
|
|
|
|
// program, with a graph of the dominance/postdominance tree of that
|
|
|
|
// function.
|
|
|
|
//
|
|
|
|
// There are also passes available to directly call dotty ('-view-dom' or
|
|
|
|
// '-view-postdom'). By appending '-only' like '-dot-dom-only' only the
|
|
|
|
// names of the bbs are printed, but the content is hidden.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/Analysis/DomPrinter.h"
|
2010-01-16 11:56:41 +01:00
|
|
|
|
2009-10-18 06:10:40 +02:00
|
|
|
#include "llvm/Analysis/Dominators.h"
|
2010-01-16 11:56:41 +01:00
|
|
|
#include "llvm/Analysis/DOTGraphTraitsPass.h"
|
2009-10-18 06:10:40 +02:00
|
|
|
#include "llvm/Analysis/PostDominators.h"
|
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
template<>
|
|
|
|
struct DOTGraphTraits<DomTreeNode*> : public DefaultDOTGraphTraits {
|
2009-11-30 13:38:13 +01:00
|
|
|
|
2009-11-30 13:38:47 +01:00
|
|
|
DOTGraphTraits (bool isSimple=false)
|
|
|
|
: DefaultDOTGraphTraits(isSimple) {}
|
2009-11-30 13:38:13 +01:00
|
|
|
|
2009-11-30 13:38:47 +01:00
|
|
|
std::string getNodeLabel(DomTreeNode *Node, DomTreeNode *Graph) {
|
2009-10-18 06:10:40 +02:00
|
|
|
|
|
|
|
BasicBlock *BB = Node->getBlock();
|
|
|
|
|
|
|
|
if (!BB)
|
|
|
|
return "Post dominance root node";
|
|
|
|
|
2009-11-30 13:38:47 +01:00
|
|
|
|
|
|
|
if (isSimple())
|
|
|
|
return DOTGraphTraits<const Function*>
|
|
|
|
::getSimpleNodeLabel(BB, BB->getParent());
|
|
|
|
else
|
|
|
|
return DOTGraphTraits<const Function*>
|
|
|
|
::getCompleteNodeLabel(BB, BB->getParent());
|
2009-10-18 06:10:40 +02:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct DOTGraphTraits<DominatorTree*> : public DOTGraphTraits<DomTreeNode*> {
|
|
|
|
|
2009-11-30 13:38:13 +01:00
|
|
|
DOTGraphTraits (bool isSimple=false)
|
|
|
|
: DOTGraphTraits<DomTreeNode*>(isSimple) {}
|
|
|
|
|
2009-10-18 06:10:40 +02:00
|
|
|
static std::string getGraphName(DominatorTree *DT) {
|
|
|
|
return "Dominator tree";
|
|
|
|
}
|
|
|
|
|
2009-11-30 13:38:47 +01:00
|
|
|
std::string getNodeLabel(DomTreeNode *Node, DominatorTree *G) {
|
|
|
|
return DOTGraphTraits<DomTreeNode*>::getNodeLabel(Node, G->getRootNode());
|
2009-10-18 06:10:40 +02:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct DOTGraphTraits<PostDominatorTree*>
|
|
|
|
: public DOTGraphTraits<DomTreeNode*> {
|
2009-11-30 13:38:13 +01:00
|
|
|
|
|
|
|
DOTGraphTraits (bool isSimple=false)
|
|
|
|
: DOTGraphTraits<DomTreeNode*>(isSimple) {}
|
|
|
|
|
2009-10-18 06:10:40 +02:00
|
|
|
static std::string getGraphName(PostDominatorTree *DT) {
|
|
|
|
return "Post dominator tree";
|
|
|
|
}
|
2009-11-30 13:38:47 +01:00
|
|
|
|
|
|
|
std::string getNodeLabel(DomTreeNode *Node, PostDominatorTree *G ) {
|
|
|
|
return DOTGraphTraits<DomTreeNode*>::getNodeLabel(Node, G->getRootNode());
|
2009-10-18 06:10:40 +02:00
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
template <class Analysis, bool OnlyBBS>
|
|
|
|
struct GenericGraphViewer : public FunctionPass {
|
|
|
|
std::string Name;
|
|
|
|
|
2009-10-18 06:27:14 +02:00
|
|
|
GenericGraphViewer(std::string GraphName, const void *ID) : FunctionPass(ID) {
|
2009-10-18 06:10:40 +02:00
|
|
|
Name = GraphName;
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual bool runOnFunction(Function &F) {
|
|
|
|
Analysis *Graph;
|
2009-11-30 13:06:37 +01:00
|
|
|
std::string Title, GraphName;
|
2009-10-18 06:10:40 +02:00
|
|
|
Graph = &getAnalysis<Analysis>();
|
2009-11-30 13:06:37 +01:00
|
|
|
GraphName = DOTGraphTraits<Analysis*>::getGraphName(Graph);
|
|
|
|
Title = GraphName + " for '" + F.getNameStr() + "' function";
|
|
|
|
ViewGraph(Graph, Name, OnlyBBS, Title);
|
2009-10-18 06:10:40 +02:00
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
|
AU.setPreservesAll();
|
|
|
|
AU.addRequired<Analysis>();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
struct DomViewer
|
2010-01-16 11:56:41 +01:00
|
|
|
: public DOTGraphTraitsViewer<DominatorTree, false> {
|
2009-10-18 06:10:40 +02:00
|
|
|
static char ID;
|
2010-01-16 11:56:41 +01:00
|
|
|
DomViewer() : DOTGraphTraitsViewer<DominatorTree, false>("dom", &ID){}
|
2009-10-18 06:10:40 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct DomOnlyViewer
|
2010-01-16 11:56:41 +01:00
|
|
|
: public DOTGraphTraitsViewer<DominatorTree, true> {
|
2009-10-18 06:10:40 +02:00
|
|
|
static char ID;
|
2010-01-16 11:56:41 +01:00
|
|
|
DomOnlyViewer() : DOTGraphTraitsViewer<DominatorTree, true>("domonly", &ID){}
|
2009-10-18 06:10:40 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct PostDomViewer
|
2010-01-16 11:56:41 +01:00
|
|
|
: public DOTGraphTraitsViewer<PostDominatorTree, false> {
|
2009-10-18 06:10:40 +02:00
|
|
|
static char ID;
|
|
|
|
PostDomViewer() :
|
2010-01-16 11:56:41 +01:00
|
|
|
DOTGraphTraitsViewer<PostDominatorTree, false>("postdom", &ID){}
|
2009-10-18 06:10:40 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct PostDomOnlyViewer
|
2010-01-16 11:56:41 +01:00
|
|
|
: public DOTGraphTraitsViewer<PostDominatorTree, true> {
|
2009-10-18 06:10:40 +02:00
|
|
|
static char ID;
|
|
|
|
PostDomOnlyViewer() :
|
2010-01-16 11:56:41 +01:00
|
|
|
DOTGraphTraitsViewer<PostDominatorTree, true>("postdomonly", &ID){}
|
2009-10-18 06:10:40 +02:00
|
|
|
};
|
|
|
|
} // end anonymous namespace
|
|
|
|
|
|
|
|
char DomViewer::ID = 0;
|
|
|
|
RegisterPass<DomViewer> A("view-dom",
|
|
|
|
"View dominance tree of function");
|
|
|
|
|
|
|
|
char DomOnlyViewer::ID = 0;
|
|
|
|
RegisterPass<DomOnlyViewer> B("view-dom-only",
|
|
|
|
"View dominance tree of function "
|
|
|
|
"(with no function bodies)");
|
|
|
|
|
|
|
|
char PostDomViewer::ID = 0;
|
|
|
|
RegisterPass<PostDomViewer> C("view-postdom",
|
|
|
|
"View postdominance tree of function");
|
|
|
|
|
|
|
|
char PostDomOnlyViewer::ID = 0;
|
|
|
|
RegisterPass<PostDomOnlyViewer> D("view-postdom-only",
|
|
|
|
"View postdominance tree of function "
|
|
|
|
"(with no function bodies)");
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
struct DomPrinter
|
2010-01-16 11:56:41 +01:00
|
|
|
: public DOTGraphTraitsPrinter<DominatorTree, false> {
|
2009-10-18 06:10:40 +02:00
|
|
|
static char ID;
|
2010-01-16 11:56:41 +01:00
|
|
|
DomPrinter() : DOTGraphTraitsPrinter<DominatorTree, false>("dom", &ID) {}
|
2009-10-18 06:10:40 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct DomOnlyPrinter
|
2010-01-16 11:56:41 +01:00
|
|
|
: public DOTGraphTraitsPrinter<DominatorTree, true> {
|
2009-10-18 06:10:40 +02:00
|
|
|
static char ID;
|
2010-01-16 11:56:41 +01:00
|
|
|
DomOnlyPrinter() : DOTGraphTraitsPrinter<DominatorTree, true>("domonly", &ID) {}
|
2009-10-18 06:10:40 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct PostDomPrinter
|
2010-01-16 11:56:41 +01:00
|
|
|
: public DOTGraphTraitsPrinter<PostDominatorTree, false> {
|
2009-10-18 06:10:40 +02:00
|
|
|
static char ID;
|
|
|
|
PostDomPrinter() :
|
2010-01-16 11:56:41 +01:00
|
|
|
DOTGraphTraitsPrinter<PostDominatorTree, false>("postdom", &ID) {}
|
2009-10-18 06:10:40 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct PostDomOnlyPrinter
|
2010-01-16 11:56:41 +01:00
|
|
|
: public DOTGraphTraitsPrinter<PostDominatorTree, true> {
|
2009-10-18 06:10:40 +02:00
|
|
|
static char ID;
|
|
|
|
PostDomOnlyPrinter() :
|
2010-01-16 11:56:41 +01:00
|
|
|
DOTGraphTraitsPrinter<PostDominatorTree, true>("postdomonly", &ID) {}
|
2009-10-18 06:10:40 +02:00
|
|
|
};
|
|
|
|
} // end anonymous namespace
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
char DomPrinter::ID = 0;
|
|
|
|
RegisterPass<DomPrinter> E("dot-dom",
|
|
|
|
"Print dominance tree of function "
|
|
|
|
"to 'dot' file");
|
|
|
|
|
|
|
|
char DomOnlyPrinter::ID = 0;
|
|
|
|
RegisterPass<DomOnlyPrinter> F("dot-dom-only",
|
|
|
|
"Print dominance tree of function "
|
|
|
|
"to 'dot' file "
|
|
|
|
"(with no function bodies)");
|
|
|
|
|
|
|
|
char PostDomPrinter::ID = 0;
|
|
|
|
RegisterPass<PostDomPrinter> G("dot-postdom",
|
|
|
|
"Print postdominance tree of function "
|
|
|
|
"to 'dot' file");
|
|
|
|
|
|
|
|
char PostDomOnlyPrinter::ID = 0;
|
|
|
|
RegisterPass<PostDomOnlyPrinter> H("dot-postdom-only",
|
|
|
|
"Print postdominance tree of function "
|
|
|
|
"to 'dot' file "
|
|
|
|
"(with no function bodies)");
|
|
|
|
|
|
|
|
// Create methods available outside of this file, to use them
|
|
|
|
// "include/llvm/LinkAllPasses.h". Otherwise the pass would be deleted by
|
|
|
|
// the link time optimization.
|
|
|
|
|
|
|
|
FunctionPass *llvm::createDomPrinterPass() {
|
|
|
|
return new DomPrinter();
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *llvm::createDomOnlyPrinterPass() {
|
|
|
|
return new DomOnlyPrinter();
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *llvm::createDomViewerPass() {
|
|
|
|
return new DomViewer();
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *llvm::createDomOnlyViewerPass() {
|
|
|
|
return new DomOnlyViewer();
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *llvm::createPostDomPrinterPass() {
|
|
|
|
return new PostDomPrinter();
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *llvm::createPostDomOnlyPrinterPass() {
|
|
|
|
return new PostDomOnlyPrinter();
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *llvm::createPostDomViewerPass() {
|
|
|
|
return new PostDomViewer();
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *llvm::createPostDomOnlyViewerPass() {
|
|
|
|
return new PostDomOnlyViewer();
|
|
|
|
}
|