X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=include%2Fllvm%2FAnalysis%2FLoopPass.h;h=f78472aeb3e728c557289b9d93c1f098cb8a8b01;hb=0b8c9a80f20772c3793201ab5b251d3520b9cea3;hp=8ebbbafb5858a15895711f508dd856a19b0b9efb;hpb=c7fe32e840758baa9ce4f93c321b508a69b98262;p=oota-llvm.git diff --git a/include/llvm/Analysis/LoopPass.h b/include/llvm/Analysis/LoopPass.h index 8ebbbafb585..f78472aeb3e 100644 --- a/include/llvm/Analysis/LoopPass.h +++ b/include/llvm/Analysis/LoopPass.h @@ -16,9 +16,10 @@ #define LLVM_LOOP_PASS_H #include "llvm/Analysis/LoopInfo.h" +#include "llvm/IR/Function.h" #include "llvm/Pass.h" #include "llvm/PassManagers.h" -#include "llvm/Function.h" +#include namespace llvm { @@ -27,20 +28,23 @@ class Function; class PMStack; class LoopPass : public Pass { +public: + explicit LoopPass(char &pid) : Pass(PT_Loop, pid) {} - public: - explicit LoopPass(intptr_t pid, bool AP = false) : Pass(pid, AP) {} + /// getPrinterPass - Get a pass to print the function corresponding + /// to a Loop. + Pass *createPrinterPass(raw_ostream &O, const std::string &Banner) const; // runOnLoop - This method should be implemented by the subclass to perform - // whatever action is necessary for the specfied Loop. - virtual bool runOnLoop (Loop *L, LPPassManager &LPM) = 0; - virtual bool runOnFunctionBody (Function &F, LPPassManager &LPM) { - return false; - } + // whatever action is necessary for the specified Loop. + virtual bool runOnLoop(Loop *L, LPPassManager &LPM) = 0; + + using llvm::Pass::doInitialization; + using llvm::Pass::doFinalization; // Initialization and finalization hooks. - virtual bool doInitialization(Loop *L, LPPassManager &LPM) { - return false; + virtual bool doInitialization(Loop *L, LPPassManager &LPM) { + return false; } // Finalization hook does not supply Loop because at this time @@ -55,9 +59,9 @@ class LoopPass : public Pass { // LPPassManger as expected. void preparePassManager(PMStack &PMS); - /// Assign pass manager to manager this pass + /// Assign pass manager to manage this pass virtual void assignPassManager(PMStack &PMS, - PassManagerType PMT = PMT_LoopPassManager); + PassManagerType PMT); /// Return what kind of Pass Manager can manage this pass. virtual PassManagerType getPotentialPassManagerType() const { @@ -68,63 +72,62 @@ class LoopPass : public Pass { /// SimpleAnalysis - Provides simple interface to update analysis info /// maintained by various passes. Note, if required this interface can /// be extracted into a separate abstract class but it would require - /// additional use of multiple inheritance in Pass class hierarcy, someting + /// additional use of multiple inheritance in Pass class hierarchy, something /// we are trying to avoid. - /// Each loop pass can override these simple analysis hookss to update + /// Each loop pass can override these simple analysis hooks to update /// desired analysis information. /// cloneBasicBlockAnalysis - Clone analysis info associated with basic block. virtual void cloneBasicBlockAnalysis(BasicBlock *F, BasicBlock *T, Loop *L) {} - /// deletekAnalysisValue - Delete analysis info associated with value V. + /// deleteAnalysisValue - Delete analysis info associated with value V. virtual void deleteAnalysisValue(Value *V, Loop *L) {} }; class LPPassManager : public FunctionPass, public PMDataManager { - public: static char ID; - explicit LPPassManager(int Depth); + explicit LPPassManager(); /// 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 runOnFunction(Function &F); /// Pass Manager itself does not invalidate any analysis info. - // LPPassManager needs LoopInfo. - void getAnalysisUsage(AnalysisUsage &Info) const; - + // LPPassManager needs LoopInfo. + void getAnalysisUsage(AnalysisUsage &Info) const; + virtual const char *getPassName() const { return "Loop Pass Manager"; } - - // Print passes managed by this manager - void dumpPassStructure(unsigned Offset) { - llvm::cerr << std::string(Offset*2, ' ') << "Loop Pass Manager\n"; - for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) { - Pass *P = getContainedPass(Index); - P->dumpPassStructure(Offset + 1); - dumpLastUses(P, Offset+1); - } - } - - Pass *getContainedPass(unsigned N) { - assert ( N < PassVector.size() && "Pass number out of range!"); - Pass *FP = static_cast(PassVector[N]); - return FP; + + virtual PMDataManager *getAsPMDataManager() { return this; } + virtual Pass *getAsPass() { return this; } + + /// Print passes managed by this manager + void dumpPassStructure(unsigned Offset); + + LoopPass *getContainedPass(unsigned N) { + assert(N < PassVector.size() && "Pass number out of range!"); + LoopPass *LP = static_cast(PassVector[N]); + return LP; } - virtual PassManagerType getPassManagerType() const { - return PMT_LoopPassManager; + virtual PassManagerType getPassManagerType() const { + return PMT_LoopPassManager; } public: // Delete loop from the loop queue and loop nest (LoopInfo). void deleteLoopFromQueue(Loop *L); - - // Inset loop into the loop nest(LoopInfo) and loop queue(LQ). + + // Insert loop into the loop queue and add it as a child of the + // given parent. void insertLoop(Loop *L, Loop *ParentLoop); + // Insert a loop into the loop queue. + void insertLoopIntoQueue(Loop *L); + // Reoptimize this loop. LPPassManager will re-insert this loop into the // queue. This allows LoopPass to change loop nest for the loop. This // utility may send LPPassManager into infinite loops so use caution. @@ -134,7 +137,7 @@ public: /// SimpleAnalysis - Provides simple interface to update analysis info /// maintained by various passes. Note, if required this interface can /// be extracted into a separate abstract class but it would require - /// additional use of multiple inheritance in Pass class hierarcy, someting + /// additional use of multiple inheritance in Pass class hierarchy, something /// we are trying to avoid. /// cloneBasicBlockSimpleAnalysis - Invoke cloneBasicBlockAnalysis hook for @@ -144,6 +147,7 @@ public: /// deleteSimpleAnalysisValue - Invoke deleteAnalysisValue hook for all passes /// that implement simple analysis interface. void deleteSimpleAnalysisValue(Value *V, Loop *L); + private: std::deque LQ; bool skipThisLoop;