X-Git-Url: http://plrg.eecs.uci.edu/git/?p=oota-llvm.git;a=blobdiff_plain;f=include%2Fllvm%2FAnalysis%2FPasses.h;h=becaa7e1d69ffbfe9a4ce739e229a275dc27580c;hp=e8e77960ad8fc3193bc279a5088b06df74767f7e;hb=f6f87835dae0dc05884652ef57d0c969c1ffe2a6;hpb=c182cb5784cfe557f3c8fa6cfb208c02d2ed42d5 diff --git a/include/llvm/Analysis/Passes.h b/include/llvm/Analysis/Passes.h index e8e77960ad8..becaa7e1d69 100644 --- a/include/llvm/Analysis/Passes.h +++ b/include/llvm/Analysis/Passes.h @@ -31,12 +31,6 @@ namespace llvm { // Pass *createGlobalsModRefPass(); - //===--------------------------------------------------------------------===// - // - // createAliasDebugger - This pass helps debug clients of AA - // - Pass *createAliasDebugger(); - //===--------------------------------------------------------------------===// // // createAliasAnalysisCounterPass - This pass counts alias queries and how the @@ -59,18 +53,10 @@ namespace llvm { //===--------------------------------------------------------------------===// // - // createBasicAliasAnalysisPass - This pass implements the default alias - // analysis. + // createCFLAliasAnalysisPass - This pass implements a set-based approach to + // alias analysis. // - ImmutablePass *createBasicAliasAnalysisPass(); - - //===--------------------------------------------------------------------===// - // - /// createLibCallAliasAnalysisPass - Create an alias analysis pass that knows - /// about the semantics of a set of libcalls specified by LCI. The newly - /// constructed pass takes ownership of the pointer that is provided. - /// - FunctionPass *createLibCallAliasAnalysisPass(LibCallInfo *LCI); + ImmutablePass *createCFLAliasAnalysisPass(); //===--------------------------------------------------------------------===// // @@ -88,79 +74,60 @@ namespace llvm { //===--------------------------------------------------------------------===// // - // createProfileLoaderPass - This pass loads information from a profile dump - // file. + // createScopedNoAliasAAPass - This pass implements metadata-based + // scoped noalias analysis. // - ModulePass *createProfileLoaderPass(); - extern const PassInfo *ProfileLoaderPassID; + ImmutablePass *createScopedNoAliasAAPass(); //===--------------------------------------------------------------------===// // - // createNoProfileInfoPass - This pass implements the default "no profile". + // createObjCARCAliasAnalysisPass - This pass implements ObjC-ARC-based + // alias analysis. // - ImmutablePass *createNoProfileInfoPass(); + ImmutablePass *createObjCARCAliasAnalysisPass(); - //===--------------------------------------------------------------------===// - // - // createProfileEstimatorPass - This pass estimates profiling information - // instead of loading it from a previous run. - // - FunctionPass *createProfileEstimatorPass(); - extern const PassInfo *ProfileEstimatorPassID; + FunctionPass *createPAEvalPass(); //===--------------------------------------------------------------------===// // - // createProfileVerifierPass - This pass verifies profiling information. - // - FunctionPass *createProfileVerifierPass(); + /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo + /// pass. + FunctionPass *createLazyValueInfoPass(); //===--------------------------------------------------------------------===// // - // createDSAAPass - This pass implements simple context sensitive alias - // analysis. + // createDependenceAnalysisPass - This creates an instance of the + // DependenceAnalysis pass. // - ModulePass *createDSAAPass(); + FunctionPass *createDependenceAnalysisPass(); //===--------------------------------------------------------------------===// // - // createDSOptPass - This pass uses DSA to do a series of simple - // optimizations. + // createCostModelAnalysisPass - This creates an instance of the + // CostModelAnalysis pass. // - ModulePass *createDSOptPass(); + FunctionPass *createCostModelAnalysisPass(); //===--------------------------------------------------------------------===// // - // createSteensgaardPass - This pass uses the data structure graphs to do a - // simple context insensitive alias analysis. + // createDelinearizationPass - This pass implements attempts to restore + // multidimensional array indices from linearized expressions. // - ModulePass *createSteensgaardPass(); + FunctionPass *createDelinearizationPass(); //===--------------------------------------------------------------------===// // - // createLiveValuesPass - This creates an instance of the LiveValues pass. - // - FunctionPass *createLiveValuesPass(); - - //===--------------------------------------------------------------------===// + // createDivergenceAnalysisPass - This pass determines which branches in a GPU + // program are divergent. // - /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo - /// pass. - FunctionPass *createLazyValueInfoPass(); + FunctionPass *createDivergenceAnalysisPass(); //===--------------------------------------------------------------------===// // - // createLoopDependenceAnalysisPass - This creates an instance of the - // LoopDependenceAnalysis pass. - // - LoopPass *createLoopDependenceAnalysisPass(); - // Minor pass prototypes, allowing us to expose them through bugpoint and // analyze. FunctionPass *createInstCountPass(); - // print debug info intrinsics in human readable form - FunctionPass *createDbgInfoPrinterPass(); - //===--------------------------------------------------------------------===// // // createRegionInfoPass - This pass finds all single entry single exit regions @@ -170,6 +137,21 @@ namespace llvm { // Print module-level debug info metadata in human-readable form. ModulePass *createModuleDebugInfoPrinterPass(); + + //===--------------------------------------------------------------------===// + // + // createMemDepPrinter - This pass exhaustively collects all memdep + // information and prints it with -analyze. + // + FunctionPass *createMemDepPrinter(); + + //===--------------------------------------------------------------------===// + // + // createMemDerefPrinter - This pass collects memory dereferenceability + // information and prints it with -analyze. + // + FunctionPass *createMemDerefPrinter(); + } #endif