2002-10-01 22:34:45 +00:00
|
|
|
//===- DataStructure.h - Build data structure graphs ------------*- C++ -*-===//
|
2002-03-26 22:38:45 +00:00
|
|
|
//
|
|
|
|
// Implement the LLVM data structure analysis library.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_ANALYSIS_DATA_STRUCTURE_H
|
|
|
|
#define LLVM_ANALYSIS_DATA_STRUCTURE_H
|
|
|
|
|
|
|
|
#include "llvm/Pass.h"
|
2003-02-01 04:52:08 +00:00
|
|
|
#include "Support/HashExtras.h"
|
|
|
|
#include "Support/hash_set"
|
2002-03-26 22:38:45 +00:00
|
|
|
|
|
|
|
class Type;
|
2002-10-02 22:14:17 +00:00
|
|
|
class DSGraph;
|
2002-10-21 19:47:18 +00:00
|
|
|
class DSNode;
|
2002-11-09 19:24:41 +00:00
|
|
|
class DSCallSite;
|
2002-07-10 22:42:17 +00:00
|
|
|
|
2002-10-01 22:34:45 +00:00
|
|
|
// FIXME: move this stuff to a private header
|
|
|
|
namespace DataStructureAnalysis {
|
|
|
|
// isPointerType - Return true if this first class type is big enough to hold
|
|
|
|
// a pointer.
|
2002-03-30 09:07:51 +00:00
|
|
|
//
|
2002-10-01 22:34:45 +00:00
|
|
|
bool isPointerType(const Type *Ty);
|
2002-07-10 22:42:17 +00:00
|
|
|
}
|
2002-03-26 22:38:45 +00:00
|
|
|
|
|
|
|
|
2002-07-10 22:42:17 +00:00
|
|
|
// LocalDataStructures - The analysis that computes the local data structure
|
|
|
|
// graphs for all of the functions in the program.
|
2002-03-26 22:38:45 +00:00
|
|
|
//
|
2002-07-18 00:11:28 +00:00
|
|
|
// FIXME: This should be a Function pass that can be USED by a Pass, and would
|
|
|
|
// be automatically preserved. Until we can do that, this is a Pass.
|
|
|
|
//
|
2002-07-10 22:42:17 +00:00
|
|
|
class LocalDataStructures : public Pass {
|
|
|
|
// DSInfo, one graph for each function
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_map<const Function*, DSGraph*> DSInfo;
|
2002-11-09 20:01:01 +00:00
|
|
|
DSGraph *GlobalsGraph;
|
2002-03-26 22:38:45 +00:00
|
|
|
public:
|
2002-07-10 22:42:17 +00:00
|
|
|
~LocalDataStructures() { releaseMemory(); }
|
2002-03-26 22:38:45 +00:00
|
|
|
|
2002-07-10 22:42:17 +00:00
|
|
|
virtual bool run(Module &M);
|
2002-03-26 22:38:45 +00:00
|
|
|
|
2002-11-10 06:53:19 +00:00
|
|
|
bool hasGraph(const Function &F) const {
|
|
|
|
return DSInfo.find(&F) != DSInfo.end();
|
|
|
|
}
|
|
|
|
|
2002-07-10 22:42:17 +00:00
|
|
|
// getDSGraph - Return the data structure graph for the specified function.
|
2002-07-30 22:02:04 +00:00
|
|
|
DSGraph &getDSGraph(const Function &F) const {
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_map<const Function*, DSGraph*>::const_iterator I = DSInfo.find(&F);
|
2002-07-10 22:42:17 +00:00
|
|
|
assert(I != DSInfo.end() && "Function not in module!");
|
|
|
|
return *I->second;
|
2002-03-29 21:23:29 +00:00
|
|
|
}
|
|
|
|
|
2002-11-09 21:12:07 +00:00
|
|
|
DSGraph &getGlobalsGraph() const { return *GlobalsGraph; }
|
|
|
|
|
2002-03-26 22:38:45 +00:00
|
|
|
// print - Print out the analysis results...
|
2002-07-27 01:12:15 +00:00
|
|
|
void print(std::ostream &O, const Module *M) const;
|
2002-03-26 22:38:45 +00:00
|
|
|
|
|
|
|
// If the pass pipeline is done with this pass, we can release our memory...
|
|
|
|
virtual void releaseMemory();
|
|
|
|
|
2002-07-10 22:42:17 +00:00
|
|
|
// getAnalysisUsage - This obviously provides a data structure graph.
|
2002-04-27 06:56:12 +00:00
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
|
AU.setPreservesAll();
|
2002-03-26 22:38:45 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2002-11-09 19:21:56 +00:00
|
|
|
|
2002-07-18 00:11:28 +00:00
|
|
|
// BUDataStructures - The analysis that computes the interprocedurally closed
|
|
|
|
// data structure graphs for all of the functions in the program. This pass
|
2002-10-29 22:55:11 +00:00
|
|
|
// only performs a "Bottom Up" propagation (hence the name).
|
2002-07-18 00:11:28 +00:00
|
|
|
//
|
|
|
|
class BUDataStructures : public Pass {
|
|
|
|
// DSInfo, one graph for each function
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_map<const Function*, DSGraph*> DSInfo;
|
2002-11-09 21:12:07 +00:00
|
|
|
DSGraph *GlobalsGraph;
|
2002-07-18 00:11:28 +00:00
|
|
|
public:
|
|
|
|
~BUDataStructures() { releaseMemory(); }
|
|
|
|
|
|
|
|
virtual bool run(Module &M);
|
|
|
|
|
2002-11-10 06:53:19 +00:00
|
|
|
bool hasGraph(const Function &F) const {
|
|
|
|
return DSInfo.find(&F) != DSInfo.end();
|
|
|
|
}
|
|
|
|
|
2002-07-18 00:11:28 +00:00
|
|
|
// getDSGraph - Return the data structure graph for the specified function.
|
2002-07-30 22:02:04 +00:00
|
|
|
DSGraph &getDSGraph(const Function &F) const {
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_map<const Function*, DSGraph*>::const_iterator I = DSInfo.find(&F);
|
2002-07-18 00:11:28 +00:00
|
|
|
assert(I != DSInfo.end() && "Function not in module!");
|
|
|
|
return *I->second;
|
|
|
|
}
|
2002-07-30 22:02:04 +00:00
|
|
|
|
2002-11-09 21:12:07 +00:00
|
|
|
DSGraph &getGlobalsGraph() const { return *GlobalsGraph; }
|
|
|
|
|
|
|
|
// print - Print out the analysis results...
|
2002-07-27 01:12:15 +00:00
|
|
|
void print(std::ostream &O, const Module *M) const;
|
2002-07-18 00:11:28 +00:00
|
|
|
|
|
|
|
// If the pass pipeline is done with this pass, we can release our memory...
|
|
|
|
virtual void releaseMemory();
|
|
|
|
|
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
|
AU.setPreservesAll();
|
2002-08-08 19:01:30 +00:00
|
|
|
AU.addRequired<LocalDataStructures>();
|
2002-07-18 00:11:28 +00:00
|
|
|
}
|
|
|
|
private:
|
2002-11-11 21:34:34 +00:00
|
|
|
DSGraph &calculateGraph(Function &F);
|
2002-11-12 15:57:28 +00:00
|
|
|
|
|
|
|
// inlineNonSCCGraphs - This method is almost like the other two calculate
|
|
|
|
// graph methods. This one is used to inline function graphs (from functions
|
|
|
|
// outside of the SCC) into functions in the SCC. It is not supposed to touch
|
|
|
|
// functions IN the SCC at all.
|
|
|
|
//
|
2002-12-12 05:28:39 +00:00
|
|
|
DSGraph &inlineNonSCCGraphs(Function &F,
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_set<Function*> &SCCFunctions);
|
2002-11-12 15:57:28 +00:00
|
|
|
|
2002-11-11 21:34:34 +00:00
|
|
|
DSGraph &calculateSCCGraph(Function &F,
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_set<Function*> &InlinedSCCFunctions);
|
2002-11-11 21:34:34 +00:00
|
|
|
void calculateReachableGraphs(Function *F);
|
|
|
|
|
|
|
|
|
|
|
|
DSGraph &getOrCreateGraph(Function *F);
|
|
|
|
|
|
|
|
unsigned calculateGraphs(Function *F, std::vector<Function*> &Stack,
|
|
|
|
unsigned &NextID,
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_map<Function*, unsigned> &ValMap);
|
2002-07-18 00:11:28 +00:00
|
|
|
};
|
|
|
|
|
2002-11-09 19:21:56 +00:00
|
|
|
|
2002-07-18 16:12:08 +00:00
|
|
|
// TDDataStructures - Analysis that computes new data structure graphs
|
|
|
|
// for each function using the closed graphs for the callers computed
|
|
|
|
// by the bottom-up pass.
|
|
|
|
//
|
|
|
|
class TDDataStructures : public Pass {
|
|
|
|
// DSInfo, one graph for each function
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_map<const Function*, DSGraph*> DSInfo;
|
|
|
|
hash_set<const Function*> GraphDone;
|
2002-11-09 21:12:07 +00:00
|
|
|
DSGraph *GlobalsGraph;
|
2002-07-18 16:12:08 +00:00
|
|
|
public:
|
2003-02-03 22:51:28 +00:00
|
|
|
~TDDataStructures() { releaseMyMemory(); }
|
2002-07-18 16:12:08 +00:00
|
|
|
|
|
|
|
virtual bool run(Module &M);
|
|
|
|
|
2002-11-10 06:53:19 +00:00
|
|
|
bool hasGraph(const Function &F) const {
|
|
|
|
return DSInfo.find(&F) != DSInfo.end();
|
|
|
|
}
|
|
|
|
|
2002-07-18 16:12:08 +00:00
|
|
|
// getDSGraph - Return the data structure graph for the specified function.
|
2002-07-30 22:02:04 +00:00
|
|
|
DSGraph &getDSGraph(const Function &F) const {
|
2003-02-01 04:52:08 +00:00
|
|
|
hash_map<const Function*, DSGraph*>::const_iterator I = DSInfo.find(&F);
|
2002-07-18 16:12:08 +00:00
|
|
|
assert(I != DSInfo.end() && "Function not in module!");
|
|
|
|
return *I->second;
|
|
|
|
}
|
|
|
|
|
2002-11-09 21:12:07 +00:00
|
|
|
DSGraph &getGlobalsGraph() const { return *GlobalsGraph; }
|
|
|
|
|
2002-07-18 16:12:08 +00:00
|
|
|
// print - Print out the analysis results...
|
2002-07-27 01:12:15 +00:00
|
|
|
void print(std::ostream &O, const Module *M) const;
|
2002-07-18 16:12:08 +00:00
|
|
|
|
|
|
|
// If the pass pipeline is done with this pass, we can release our memory...
|
2003-02-03 22:51:28 +00:00
|
|
|
virtual void releaseMyMemory();
|
2002-07-18 16:12:08 +00:00
|
|
|
|
|
|
|
// getAnalysisUsage - This obviously provides a data structure graph.
|
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
|
AU.setPreservesAll();
|
2002-08-08 19:01:30 +00:00
|
|
|
AU.addRequired<BUDataStructures>();
|
2002-07-18 16:12:08 +00:00
|
|
|
}
|
2003-02-03 22:51:28 +00:00
|
|
|
|
2002-07-18 16:12:08 +00:00
|
|
|
private:
|
2002-11-08 21:24:51 +00:00
|
|
|
void calculateGraph(Function &F);
|
|
|
|
DSGraph &getOrCreateDSGraph(Function &F);
|
2002-07-18 16:12:08 +00:00
|
|
|
};
|
2002-10-01 22:34:45 +00:00
|
|
|
|
|
|
|
#endif
|