Create a ScalarEvolution-based AliasAnalysis implementation.

[oota-llvm.git] / include / llvm / Analysis / Passes.h

diff --git a/include/llvm/Analysis/Passes.h b/include/llvm/Analysis/Passes.h
index d9ec91b735f60437ffb12c9899770ba04fd13b6f..e68765310fb8efdabdfe1a66139d6e4f606ef098 100644 (file)
--- a/include/llvm/Analysis/Passes.h
+++ b/include/llvm/Analysis/Passes.h
@@ -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
@@ -18,8 +18,11 @@
 namespace llvm {
   class FunctionPass;
   class ImmutablePass;
+  class LoopPass;
   class ModulePass;
   class Pass;
+  class PassInfo;
+  class LibCallInfo;
 
   //===--------------------------------------------------------------------===//
   //
@@ -28,6 +31,12 @@ namespace llvm {
   //
   Pass *createGlobalsModRefPass();
 
+  //===--------------------------------------------------------------------===//
+  //
+  // createAliasDebugger - This pass helps debug clients of AA
+  //
+  Pass *createAliasDebugger();
+
   //===--------------------------------------------------------------------===//
   //
   // createAliasAnalysisCounterPass - This pass counts alias queries and how the
@@ -47,61 +56,97 @@ namespace llvm {
   // createNoAAPass - This pass implements a "I don't know" alias analysis.
   //
   ImmutablePass *createNoAAPass();
- 
+
   //===--------------------------------------------------------------------===//
   //
   // createBasicAliasAnalysisPass - This pass implements the default alias
   // analysis.
   //
   ImmutablePass *createBasicAliasAnalysisPass();
- 
+
   //===--------------------------------------------------------------------===//
   //
-  // createAndersensPass - This pass implements Andersen's interprocedural alias
-  // analysis.
+  /// 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);
+
+  //===--------------------------------------------------------------------===//
   //
-  ModulePass *createAndersensPass();
- 
+  // createScalarEvolutionAliasAnalysisPass - This pass implements a simple
+  // alias analysis using ScalarEvolution queries.
+  //
+  FunctionPass *createScalarEvolutionAliasAnalysisPass();
+
   //===--------------------------------------------------------------------===//
   //
-  // createBasicVNPass - This pass walks SSA def-use chains to trivially
-  // identify lexically identical expressions.
+  // createAndersensPass - This pass implements Andersen's interprocedural alias
+  // analysis.
   //
-  ImmutablePass *createBasicVNPass();
- 
+  ModulePass *createAndersensPass();
+
   //===--------------------------------------------------------------------===//
   //
   // createProfileLoaderPass - This pass loads information from a profile dump
   // file.
   //
   ModulePass *createProfileLoaderPass();
- 
+
   //===--------------------------------------------------------------------===//
   //
   // createNoProfileInfoPass - This pass implements the default "no profile".
   //
   ImmutablePass *createNoProfileInfoPass();
- 
+
+  //===--------------------------------------------------------------------===//
+  //
+  // createProfileEstimatorPass - This pass estimates profiling information
+  // instead of loading it from a previous run.
+  //
+  FunctionPass *createProfileEstimatorPass();
+  extern const PassInfo *ProfileEstimatorPassID;
+
   //===--------------------------------------------------------------------===//
   //
   // createDSAAPass - This pass implements simple context sensitive alias
   // analysis.
   //
   ModulePass *createDSAAPass();
- 
+
   //===--------------------------------------------------------------------===//
   //
   // createDSOptPass - This pass uses DSA to do a series of simple
   // optimizations.
   //
   ModulePass *createDSOptPass();
- 
+
   //===--------------------------------------------------------------------===//
   //
   // createSteensgaardPass - This pass uses the data structure graphs to do a
   // simple context insensitive alias analysis.
   //
   ModulePass *createSteensgaardPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  // createLiveValuesPass - This creates an instance of the LiveValues pass.
+  //
+  FunctionPass *createLiveValuesPass();
+
+  //===--------------------------------------------------------------------===//
+  //
+  // 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();
 }
 
 #endif