2003-08-31 19:23:41 +00:00
|
|
|
//===- PrintSCC.cpp - Enumerate SCCs in some key graphs -------------------===//
|
2005-04-21 21:13:18 +00:00
|
|
|
//
|
2003-10-20 19:43:21 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:44:31 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 21:13:18 +00:00
|
|
|
//
|
2003-10-20 19:43:21 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2002-11-04 14:20:22 +00:00
|
|
|
//
|
|
|
|
// This file provides passes to print out SCCs in a CFG or a CallGraph.
|
|
|
|
// Normally, you would not use these passes; instead, you would use the
|
2003-08-31 20:01:57 +00:00
|
|
|
// scc_iterator directly to enumerate SCCs and process them in some way. These
|
|
|
|
// passes serve three purposes:
|
|
|
|
//
|
|
|
|
// (1) As a reference for how to use the scc_iterator.
|
2002-11-04 14:20:22 +00:00
|
|
|
// (2) To print out the SCCs for a CFG or a CallGraph:
|
|
|
|
// analyze -cfgscc to print the SCCs in each CFG of a module.
|
|
|
|
// analyze -cfgscc -stats to print the #SCCs and the maximum SCC size.
|
|
|
|
// analyze -cfgscc -debug > /dev/null to watch the algorithm in action.
|
2005-04-21 21:13:18 +00:00
|
|
|
//
|
2002-11-04 14:20:22 +00:00
|
|
|
// and similarly:
|
|
|
|
// analyze -callscc [-stats] [-debug] to print SCCs in the CallGraph
|
2005-04-21 21:13:18 +00:00
|
|
|
//
|
2003-08-31 20:01:57 +00:00
|
|
|
// (3) To test the scc_iterator.
|
2003-08-31 19:23:41 +00:00
|
|
|
//
|
2002-11-04 14:20:22 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/Pass.h"
|
|
|
|
#include "llvm/Module.h"
|
|
|
|
#include "llvm/Analysis/CallGraph.h"
|
|
|
|
#include "llvm/Support/CFG.h"
|
2004-09-01 22:55:40 +00:00
|
|
|
#include "llvm/ADT/SCCIterator.h"
|
2004-07-04 12:19:56 +00:00
|
|
|
#include <iostream>
|
2004-09-20 04:44:31 +00:00
|
|
|
using namespace llvm;
|
2003-11-11 22:41:34 +00:00
|
|
|
|
2002-11-04 14:20:22 +00:00
|
|
|
namespace {
|
2003-08-31 19:27:11 +00:00
|
|
|
struct CFGSCC : public FunctionPass {
|
2007-05-03 01:11:54 +00:00
|
|
|
static char ID; // Pass identification, replacement for typeid
|
2007-05-01 21:15:47 +00:00
|
|
|
CFGSCC() : FunctionPass((intptr_t)&ID) {}
|
2003-08-31 19:27:11 +00:00
|
|
|
bool runOnFunction(Function& func);
|
2002-11-04 14:20:22 +00:00
|
|
|
|
2004-12-07 04:03:45 +00:00
|
|
|
void print(std::ostream &O, const Module* = 0) const { }
|
2002-11-04 14:20:22 +00:00
|
|
|
|
2003-08-31 19:27:11 +00:00
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
|
AU.setPreservesAll();
|
2003-08-31 19:23:41 +00:00
|
|
|
}
|
2003-08-31 19:27:11 +00:00
|
|
|
};
|
2002-11-04 14:20:22 +00:00
|
|
|
|
2004-09-20 04:44:31 +00:00
|
|
|
struct CallGraphSCC : public ModulePass {
|
2007-05-03 01:11:54 +00:00
|
|
|
static char ID; // Pass identification, replacement for typeid
|
2007-05-01 21:15:47 +00:00
|
|
|
CallGraphSCC() : ModulePass((intptr_t)&ID) {}
|
|
|
|
|
2003-08-31 19:27:11 +00:00
|
|
|
// run - Print out SCCs in the call graph for the specified module.
|
2004-09-20 04:44:31 +00:00
|
|
|
bool runOnModule(Module &M);
|
2002-11-04 14:20:22 +00:00
|
|
|
|
2004-12-07 04:03:45 +00:00
|
|
|
void print(std::ostream &O, const Module* = 0) const { }
|
2002-11-04 14:20:22 +00:00
|
|
|
|
2003-08-31 19:27:11 +00:00
|
|
|
// getAnalysisUsage - This pass requires the CallGraph.
|
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
|
AU.setPreservesAll();
|
|
|
|
AU.addRequired<CallGraph>();
|
|
|
|
}
|
|
|
|
};
|
2002-11-04 14:20:22 +00:00
|
|
|
|
2007-05-03 01:11:54 +00:00
|
|
|
char CFGSCC::ID = 0;
|
2006-08-27 22:30:17 +00:00
|
|
|
RegisterPass<CFGSCC>
|
2003-08-31 19:23:41 +00:00
|
|
|
Y("cfgscc", "Print SCCs of each function CFG");
|
2002-11-04 14:20:22 +00:00
|
|
|
|
2007-05-03 01:11:54 +00:00
|
|
|
char CallGraphSCC::ID = 0;
|
2006-08-27 22:30:17 +00:00
|
|
|
RegisterPass<CallGraphSCC>
|
2003-08-31 19:23:41 +00:00
|
|
|
Z("callscc", "Print SCCs of the Call Graph");
|
2002-11-04 14:20:22 +00:00
|
|
|
}
|
2003-08-31 19:27:11 +00:00
|
|
|
|
|
|
|
bool CFGSCC::runOnFunction(Function &F) {
|
|
|
|
unsigned sccNum = 0;
|
|
|
|
std::cout << "SCCs for Function " << F.getName() << " in PostOrder:";
|
2003-08-31 20:01:57 +00:00
|
|
|
for (scc_iterator<Function*> SCCI = scc_begin(&F),
|
|
|
|
E = scc_end(&F); SCCI != E; ++SCCI) {
|
2003-08-31 19:55:06 +00:00
|
|
|
std::vector<BasicBlock*> &nextSCC = *SCCI;
|
2003-08-31 19:27:11 +00:00
|
|
|
std::cout << "\nSCC #" << ++sccNum << " : ";
|
2003-08-31 19:51:38 +00:00
|
|
|
for (std::vector<BasicBlock*>::const_iterator I = nextSCC.begin(),
|
2003-08-31 19:27:11 +00:00
|
|
|
E = nextSCC.end(); I != E; ++I)
|
|
|
|
std::cout << (*I)->getName() << ", ";
|
2003-08-31 19:51:38 +00:00
|
|
|
if (nextSCC.size() == 1 && SCCI.hasLoop())
|
2003-08-31 19:27:11 +00:00
|
|
|
std::cout << " (Has self-loop).";
|
|
|
|
}
|
|
|
|
std::cout << "\n";
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// run - Print out SCCs in the call graph for the specified module.
|
2004-09-20 04:44:31 +00:00
|
|
|
bool CallGraphSCC::runOnModule(Module &M) {
|
2003-08-31 19:27:11 +00:00
|
|
|
CallGraphNode* rootNode = getAnalysis<CallGraph>().getRoot();
|
|
|
|
unsigned sccNum = 0;
|
|
|
|
std::cout << "SCCs for the program in PostOrder:";
|
2003-08-31 20:01:57 +00:00
|
|
|
for (scc_iterator<CallGraphNode*> SCCI = scc_begin(rootNode),
|
|
|
|
E = scc_end(rootNode); SCCI != E; ++SCCI) {
|
2003-08-31 19:55:06 +00:00
|
|
|
const std::vector<CallGraphNode*> &nextSCC = *SCCI;
|
2003-08-31 19:27:11 +00:00
|
|
|
std::cout << "\nSCC #" << ++sccNum << " : ";
|
2003-08-31 19:51:38 +00:00
|
|
|
for (std::vector<CallGraphNode*>::const_iterator I = nextSCC.begin(),
|
2003-08-31 19:27:11 +00:00
|
|
|
E = nextSCC.end(); I != E; ++I)
|
|
|
|
std::cout << ((*I)->getFunction() ? (*I)->getFunction()->getName()
|
|
|
|
: std::string("Indirect CallGraph node")) << ", ";
|
2003-08-31 19:51:38 +00:00
|
|
|
if (nextSCC.size() == 1 && SCCI.hasLoop())
|
2003-08-31 19:27:11 +00:00
|
|
|
std::cout << " (Has self-loop).";
|
|
|
|
}
|
|
|
|
std::cout << "\n";
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|