[PM/AA] Move the LibCall AA creation routine declaration to that
[oota-llvm.git] / include / llvm / Analysis / Passes.h
index 5a559de6044c788b797fa13a26bd0bd4e2f05b16..becaa7e1d69ffbfe9a4ce739e229a275dc27580c 100644 (file)
@@ -2,8 +2,8 @@
 //
 //                     The LLVM Compiler Infrastructure
 //
-// This file was developed by the LLVM research group and is distributed under
-// the University of Illinois Open Source License. See LICENSE.TXT for details.
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 //
 namespace llvm {
   class FunctionPass;
   class ImmutablePass;
+  class LoopPass;
   class ModulePass;
   class Pass;
+  class PassInfo;
+  class LibCallInfo;
 
   //===--------------------------------------------------------------------===//
   //
@@ -50,58 +53,105 @@ namespace llvm {
 
   //===--------------------------------------------------------------------===//
   //
-  // createBasicAliasAnalysisPass - This pass implements the default alias
-  // analysis.
+  // createCFLAliasAnalysisPass - This pass implements a set-based approach to
+  // alias analysis.
   //
-  ImmutablePass *createBasicAliasAnalysisPass();
+  ImmutablePass *createCFLAliasAnalysisPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createAndersensPass - This pass implements Andersen's interprocedural alias
-  // analysis.
+  // createScalarEvolutionAliasAnalysisPass - This pass implements a simple
+  // alias analysis using ScalarEvolution queries.
   //
-  ModulePass *createAndersensPass();
+  FunctionPass *createScalarEvolutionAliasAnalysisPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createBasicVNPass - This pass walks SSA def-use chains to trivially
-  // identify lexically identical expressions.
+  // createTypeBasedAliasAnalysisPass - This pass implements metadata-based
+  // type-based alias analysis.
   //
-  ImmutablePass *createBasicVNPass();
+  ImmutablePass *createTypeBasedAliasAnalysisPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createProfileLoaderPass - This pass loads information from a profile dump
-  // file.
+  // createScopedNoAliasAAPass - This pass implements metadata-based
+  // scoped noalias analysis.
   //
-  ModulePass *createProfileLoaderPass();
+  ImmutablePass *createScopedNoAliasAAPass();
 
   //===--------------------------------------------------------------------===//
   //
-  // createNoProfileInfoPass - This pass implements the default "no profile".
+  // createObjCARCAliasAnalysisPass - This pass implements ObjC-ARC-based
+  // alias analysis.
   //
-  ImmutablePass *createNoProfileInfoPass();
+  ImmutablePass *createObjCARCAliasAnalysisPass();
+
+  FunctionPass *createPAEvalPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  /// 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.
+  //
+  FunctionPass *createDelinearizationPass();
+
+  //===--------------------------------------------------------------------===//
   //
-  ModulePass *createSteensgaardPass();
+  // createDivergenceAnalysisPass - This pass determines which branches in a GPU
+  // program are divergent.
+  //
+  FunctionPass *createDivergenceAnalysisPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  // Minor pass prototypes, allowing us to expose them through bugpoint and
+  // analyze.
+  FunctionPass *createInstCountPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  // createRegionInfoPass - This pass finds all single entry single exit regions
+  // in a function and builds the region hierarchy.
+  //
+  FunctionPass *createRegionInfoPass();
+
+  // 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