#define LLVM_PASSMANAGER_H
#include "llvm/Pass.h"
-#include <vector>
namespace llvm {
class ModulePass;
class Module;
class ModuleProvider;
-class ModulePassManager;
-class FunctionPassManagerT;
-class BasicBlockPassManager;
+class PassManagerImpl;
+class FunctionPassManagerImpl;
+
+/// PassManager manages ModulePassManagers
class PassManager {
- ModulePassManager *PM; // This is a straightforward Pimpl class
+
public:
+
PassManager();
~PassManager();
/// the Pass to the PassManager. When the PassManager is destroyed, the pass
/// will be destroyed as well, so there is no need to delete the pass. This
/// implies that all passes MUST be allocated with 'new'.
- ///
void add(Pass *P);
-
+
/// run - Execute all of the passes scheduled for execution. Keep track of
/// whether any of the passes modifies the module, and if so, return true.
- ///
bool run(Module &M);
-};
-class FunctionPass;
-class ImmutablePass;
-class Function;
+private:
+
+ /// PassManagerImpl_New is the actual class. PassManager is just the
+ /// wraper to publish simple pass manager interface
+ PassManagerImpl *PM;
+
+};
+/// FunctionPassManager manages FunctionPasses and BasicBlockPassManagers.
class FunctionPassManager {
- FunctionPassManagerT *PM; // This is a straightforward Pimpl class
- ModuleProvider *MP;
public:
- FunctionPassManager(ModuleProvider *P);
+ explicit FunctionPassManager(ModuleProvider *P);
+ FunctionPassManager();
~FunctionPassManager();
-
+
/// add - Add a pass to the queue of passes to run. This passes
- /// ownership of the FunctionPass to the PassManager. When the
- /// PassManager is destroyed, the pass will be destroyed as well, so
- /// there is no need to delete the pass. This implies that all
- /// passes MUST be allocated with 'new'.
- ///
- void add(FunctionPass *P);
-
- /// add - ImmutablePasses are not FunctionPasses, so we have a
- /// special hack to get them into a FunctionPassManager.
- ///
- void add(ImmutablePass *IP);
+ /// ownership of the Pass to the PassManager. When the
+ /// PassManager_X is destroyed, the pass will be destroyed as well, so
+ /// there is no need to delete the pass. (TODO delete passes.)
+ /// This implies that all passes MUST be allocated with 'new'.
+ void add(Pass *P);
- /// doInitialization - Run all of the initializers for the function passes.
- ///
- bool doInitialization();
-
/// run - Execute all of the passes scheduled for execution. Keep
/// track of whether any of the passes modifies the function, and if
/// so, return true.
///
bool run(Function &F);
- /// doFinalization - Run all of the initializers for the function passes.
+ /// doInitialization - Run all of the initializers for the function passes.
///
- bool doFinalization();
-};
-
-class ModulePassManager_New;
-class PassManagerImpl_New;
-
-/// PassManagerAnalysisHelper helps pass manager analysis required by
-/// the managed passes. It provides methods to add/remove analysis
-/// available and query if certain analysis is available or not.
-class PassManagerAnalysisHelper {
-
-public:
-
- /// Return true IFF pass P's required analysis set does not required new
- /// manager.
- bool manageablePass(Pass *P);
-
- /// Return true IFF AnalysisID AID is currently available.
- bool analysisCurrentlyAvailable(AnalysisID AID);
-
- /// Augment RequiredSet by adding analysis required by pass P.
- void noteDownRequiredAnalysis(Pass *P);
-
- /// Remove AnalysisID from the RequiredSet
- void removeAnalysis(AnalysisID AID);
-
- /// Remove Analysis that is not preserved by the pass
- void removeNotPreservedAnalysis(Pass *P);
+ bool doInitialization();
- /// Remove dead passes
- void removeDeadPasses() { /* TODO : Implement */ }
-
-private:
- // Required set of analysis for the passes managed by this manager
- std::vector<AnalysisID> RequiredSet;
-};
-
-/// PassManager_New manages ModulePassManagers
-class PassManager_New : public Pass,
- public PassManagerAnalysisHelper {
-
-public:
-
- PassManager_New();
-
- /// add - Add a pass to the queue of passes to run. This passes ownership of
- /// the Pass to the PassManager. When the PassManager is destroyed, the pass
- /// will be destroyed as well, so there is no need to delete the pass. This
- /// implies that all passes MUST be allocated with 'new'.
- void add(Pass *P);
-
- /// run - Execute all of the passes scheduled for execution. Keep track of
- /// whether any of the passes modifies the module, and if so, return true.
- bool run(Module &M);
-
+ /// doFinalization - Run all of the finalizers for the function passes.
+ ///
+ bool doFinalization();
private:
-
- /// PassManagerImpl_New is the actual class. PassManager_New is just the
- /// wraper to publish simple pass manager interface
- PassManagerImpl_New *PM;
-
+
+ FunctionPassManagerImpl *FPM;
+ ModuleProvider *MP;
};
} // End llvm namespace