[PM/AA] Remove the AliasDebugger pass.
[oota-llvm.git] / include / llvm / Analysis / Passes.h
index d9ec91b735f60437ffb12c9899770ba04fd13b6f..0aa2075154e95312e04a8c735d89bece0cbeb6e9 100644 (file)
@@ -1,10 +1,10 @@
 //===-- llvm/Analysis/Passes.h - Constructors for analyses ------*- C++ -*-===//
-// 
+//
 //                     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.
+//
 //===----------------------------------------------------------------------===//
 //
 // This header file defines prototypes for accessor functions that expose passes
 namespace llvm {
   class FunctionPass;
   class ImmutablePass;
+  class LoopPass;
   class ModulePass;
   class Pass;
+  class PassInfo;
+  class LibCallInfo;
 
   //===--------------------------------------------------------------------===//
   //
@@ -47,61 +50,116 @@ namespace llvm {
   // createNoAAPass - This pass implements a "I don't know" alias analysis.
   //
   ImmutablePass *createNoAAPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  // createCFLAliasAnalysisPass - This pass implements a set-based approach to
+  // alias analysis.
+  //
+  ImmutablePass *createCFLAliasAnalysisPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  /// 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.
+  //
+  FunctionPass *createScalarEvolutionAliasAnalysisPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  // createTypeBasedAliasAnalysisPass - This pass implements metadata-based
+  // type-based alias analysis.
+  //
+  ImmutablePass *createTypeBasedAliasAnalysisPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  // createScopedNoAliasAAPass - This pass implements metadata-based
+  // scoped noalias analysis.
+  //
+  ImmutablePass *createScopedNoAliasAAPass();
+
   //===--------------------------------------------------------------------===//
   //
-  // createBasicAliasAnalysisPass - This pass implements the default alias
-  // analysis.
+  // createObjCARCAliasAnalysisPass - This pass implements ObjC-ARC-based
+  // alias analysis.
+  //
+  ImmutablePass *createObjCARCAliasAnalysisPass();
+
+  FunctionPass *createPAEvalPass();
+
+  //===--------------------------------------------------------------------===//
   //
-  ImmutablePass *createBasicAliasAnalysisPass();
+  /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
+  /// pass.
+  FunctionPass *createLazyValueInfoPass();
+
   //===--------------------------------------------------------------------===//
   //
-  // createAndersensPass - This pass implements Andersen's interprocedural alias
-  // analysis.
+  // createDependenceAnalysisPass - This creates an instance of the
+  // DependenceAnalysis pass.
   //
-  ModulePass *createAndersensPass();
+  FunctionPass *createDependenceAnalysisPass();
+
   //===--------------------------------------------------------------------===//
   //
-  // createBasicVNPass - This pass walks SSA def-use chains to trivially
-  // identify lexically identical expressions.
+  // createCostModelAnalysisPass - This creates an instance of the
+  // CostModelAnalysis pass.
   //
-  ImmutablePass *createBasicVNPass();
+  FunctionPass *createCostModelAnalysisPass();
+
   //===--------------------------------------------------------------------===//
   //
-  // createProfileLoaderPass - This pass loads information from a profile dump
-  // file.
+  // createDelinearizationPass - This pass implements attempts to restore
+  // multidimensional array indices from linearized expressions.
   //
-  ModulePass *createProfileLoaderPass();
+  FunctionPass *createDelinearizationPass();
+
   //===--------------------------------------------------------------------===//
   //
-  // createNoProfileInfoPass - This pass implements the default "no profile".
+  // createDivergenceAnalysisPass - This pass determines which branches in a GPU
+  // program are divergent.
   //
-  ImmutablePass *createNoProfileInfoPass();
+  FunctionPass *createDivergenceAnalysisPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  // Minor pass prototypes, allowing us to expose them through bugpoint and
+  // analyze.
+  FunctionPass *createInstCountPass();
+
   //===--------------------------------------------------------------------===//
   //
-  // createDSAAPass - This pass implements simple context sensitive alias
-  // analysis.
+  // createRegionInfoPass - This pass finds all single entry single exit regions
+  // in a function and builds the region hierarchy.
   //
-  ModulePass *createDSAAPass();
+  FunctionPass *createRegionInfoPass();
+
+  // Print module-level debug info metadata in human-readable form.
+  ModulePass *createModuleDebugInfoPrinterPass();
+
   //===--------------------------------------------------------------------===//
   //
-  // createDSOptPass - This pass uses DSA to do a series of simple
-  // optimizations.
+  // createMemDepPrinter - This pass exhaustively collects all memdep
+  // information and prints it with -analyze.
   //
-  ModulePass *createDSOptPass();
+  FunctionPass *createMemDepPrinter();
+
   //===--------------------------------------------------------------------===//
   //
-  // createSteensgaardPass - This pass uses the data structure graphs to do a
-  // simple context insensitive alias analysis.
+  // createMemDerefPrinter - This pass collects memory dereferenceability
+  // information and prints it with -analyze.
   //
-  ModulePass *createSteensgaardPass();
+  FunctionPass *createMemDerefPrinter();
+
 }
 
 #endif