[PM/AA] Hoist the SCEV-AA interface to its own header and pull the
[oota-llvm.git] / include / llvm / Analysis / Passes.h
index ce3f7a6677a511718cb166623f4ee341873d9591..ca01daa4c30e6577d755537c399dcbf2294b06b6 100644 (file)
@@ -31,19 +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
-  // alias analysis implementation responds.
-  //
-  ModulePass *createAliasAnalysisCounterPass();
-
   //===--------------------------------------------------------------------===//
   //
   // createAAEvalPass - This pass implements a simple N^2 alias analysis
@@ -59,103 +46,84 @@ namespace llvm {
 
   //===--------------------------------------------------------------------===//
   //
-  // createBasicAliasAnalysisPass - This pass implements the default alias
-  // analysis.
+  // createTypeBasedAliasAnalysisPass - This pass implements metadata-based
+  // type-based alias analysis.
   //
-  ImmutablePass *createBasicAliasAnalysisPass();
+  ImmutablePass *createTypeBasedAliasAnalysisPass();
 
   //===--------------------------------------------------------------------===//
   //
-  /// 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);
-
-  //===--------------------------------------------------------------------===//
-  //
-  // createScalarEvolutionAliasAnalysisPass - This pass implements a simple
-  // alias analysis using ScalarEvolution queries.
+  // createObjCARCAliasAnalysisPass - This pass implements ObjC-ARC-based
+  // alias analysis.
   //
-  FunctionPass *createScalarEvolutionAliasAnalysisPass();
+  ImmutablePass *createObjCARCAliasAnalysisPass();
+
+  FunctionPass *createPAEvalPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createProfileLoaderPass - This pass loads information from a profile dump
-  // file.
-  //
-  ModulePass *createProfileLoaderPass();
-  extern const PassInfo *ProfileLoaderPassID;
+  /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
+  /// pass.
+  FunctionPass *createLazyValueInfoPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createNoProfileInfoPass - This pass implements the default "no profile".
+  // createDependenceAnalysisPass - This creates an instance of the
+  // DependenceAnalysis pass.
   //
-  ImmutablePass *createNoProfileInfoPass();
+  FunctionPass *createDependenceAnalysisPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createProfileEstimatorPass - This pass estimates profiling information
-  // instead of loading it from a previous run.
+  // createCostModelAnalysisPass - This creates an instance of the
+  // CostModelAnalysis pass.
   //
-  FunctionPass *createProfileEstimatorPass();
-  extern const PassInfo *ProfileEstimatorPassID;
+  FunctionPass *createCostModelAnalysisPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createProfileVerifierPass - This pass verifies profiling information.
+  // createDelinearizationPass - This pass implements attempts to restore
+  // multidimensional array indices from linearized expressions.
   //
-  FunctionPass *createProfileVerifierPass();
+  FunctionPass *createDelinearizationPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createDSAAPass - This pass implements simple context sensitive alias
-  // analysis.
+  // createDivergenceAnalysisPass - This pass determines which branches in a GPU
+  // program are divergent.
   //
-  ModulePass *createDSAAPass();
+  FunctionPass *createDivergenceAnalysisPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createDSOptPass - This pass uses DSA to do a series of simple
-  // optimizations.
-  //
-  ModulePass *createDSOptPass();
+  // Minor pass prototypes, allowing us to expose them through bugpoint and
+  // analyze.
+  FunctionPass *createInstCountPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createSteensgaardPass - This pass uses the data structure graphs to do a
-  // simple context insensitive alias analysis.
+  // createRegionInfoPass - This pass finds all single entry single exit regions
+  // in a function and builds the region hierarchy.
   //
-  ModulePass *createSteensgaardPass();
+  FunctionPass *createRegionInfoPass();
+
+  // Print module-level debug info metadata in human-readable form.
+  ModulePass *createModuleDebugInfoPrinterPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createLiveValuesPass - This creates an instance of the LiveValues pass.
-  //
-  FunctionPass *createLiveValuesPass();
-  
-  //===--------------------------------------------------------------------===//
+  // createMemDepPrinter - This pass exhaustively collects all memdep
+  // information and prints it with -analyze.
   //
-  /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
-  /// pass.
-  FunctionPass *createLazyValueInfoPass();
+  FunctionPass *createMemDepPrinter();
 
   //===--------------------------------------------------------------------===//
   //
-  // createLoopDependenceAnalysisPass - This creates an instance of the
-  // LoopDependenceAnalysis pass.
+  // createMemDerefPrinter - This pass collects memory dereferenceability
+  // information and prints it with -analyze.
   //
-  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();
+  FunctionPass *createMemDerefPrinter();
 
-  // Print module-level debug info metadata in human-readable form.
-  ModulePass *createModuleDebugInfoPrinterPass();
 }
 
 #endif