include/llvm/Analysis/Passes.h

   1 //===-- llvm/Analysis/Passes.h - Constructors for analyses ------*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This header file defines prototypes for accessor functions that expose passes
  11 // in the analysis libraries.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_ANALYSIS_PASSES_H
  16 #define LLVM_ANALYSIS_PASSES_H
  17
  18 namespace llvm {
  19   class FunctionPass;
  20   class ImmutablePass;
  21   class LoopPass;
  22   class ModulePass;
  23   class Pass;
  24   class PassInfo;
  25   class LibCallInfo;
  26
  27   //===--------------------------------------------------------------------===//
  28   //
  29   // createGlobalsModRefPass - This pass provides alias and mod/ref info for
  30   // global values that do not have their addresses taken.
  31   //
  32   Pass *createGlobalsModRefPass();
  33
  34   //===--------------------------------------------------------------------===//
  35   //
  36   // createAliasDebugger - This pass helps debug clients of AA
  37   //
  38   Pass *createAliasDebugger();
  39
  40   //===--------------------------------------------------------------------===//
  41   //
  42   // createAliasAnalysisCounterPass - This pass counts alias queries and how the
  43   // alias analysis implementation responds.
  44   //
  45   ModulePass *createAliasAnalysisCounterPass();
  46
  47   //===--------------------------------------------------------------------===//
  48   //
  49   // createAAEvalPass - This pass implements a simple N^2 alias analysis
  50   // accuracy evaluator.
  51   //
  52   FunctionPass *createAAEvalPass();
  53
  54   //===--------------------------------------------------------------------===//
  55   //
  56   // createInterproceduralAAEvalPass - This pass implements a simple
  57   // N^2 interprocedural alias analysis accuracy evaluator.
  58   //
  59   Pass *createInterproceduralAAEvalPass();
  60
  61   //===--------------------------------------------------------------------===//
  62   //
  63   // createNoAAPass - This pass implements a "I don't know" alias analysis.
  64   //
  65   ImmutablePass *createNoAAPass();
  66
  67   //===--------------------------------------------------------------------===//
  68   //
  69   // createBasicAliasAnalysisPass - This pass implements the default alias
  70   // analysis.  This analysis respects the noalias attribute, so it is not
  71   // suitable for some interprocedural uses (see the discussion of noalias
  72   // in AliasAnalysis.html for details).
  73   //
  74   ImmutablePass *createBasicAliasAnalysisPass();
  75
  76   //===--------------------------------------------------------------------===//
  77   //
  78   // createInterproceduralBasicAliasAnalysisPass - This pass is similar to
  79   // baiscaa, except that it properly supports queries to values which live
  80   // in different functions.  Unlike the regular BasicAliasAnalysis, this
  81   // implementation does not respect the noalias attribute.
  82   //
  83   ImmutablePass *createInterproceduralBasicAliasAnalysisPass();
  84
  85   //===--------------------------------------------------------------------===//
  86   //
  87   /// createLibCallAliasAnalysisPass - Create an alias analysis pass that knows
  88   /// about the semantics of a set of libcalls specified by LCI.  The newly
  89   /// constructed pass takes ownership of the pointer that is provided.
  90   ///
  91   FunctionPass *createLibCallAliasAnalysisPass(LibCallInfo *LCI);
  92
  93   //===--------------------------------------------------------------------===//
  94   //
  95   // createScalarEvolutionAliasAnalysisPass - This pass implements a simple
  96   // alias analysis using ScalarEvolution queries.
  97   //
  98   FunctionPass *createScalarEvolutionAliasAnalysisPass();
  99
 100   //===--------------------------------------------------------------------===//
 101   //
 102   // createProfileLoaderPass - This pass loads information from a profile dump
 103   // file.
 104   //
 105   ModulePass *createProfileLoaderPass();
 106   extern const PassInfo *ProfileLoaderPassID;
 107
 108   //===--------------------------------------------------------------------===//
 109   //
 110   // createNoProfileInfoPass - This pass implements the default "no profile".
 111   //
 112   ImmutablePass *createNoProfileInfoPass();
 113
 114   //===--------------------------------------------------------------------===//
 115   //
 116   // createProfileEstimatorPass - This pass estimates profiling information
 117   // instead of loading it from a previous run.
 118   //
 119   FunctionPass *createProfileEstimatorPass();
 120   extern const PassInfo *ProfileEstimatorPassID;
 121
 122   //===--------------------------------------------------------------------===//
 123   //
 124   // createProfileVerifierPass - This pass verifies profiling information.
 125   //
 126   FunctionPass *createProfileVerifierPass();
 127
 128   //===--------------------------------------------------------------------===//
 129   //
 130   // createDSAAPass - This pass implements simple context sensitive alias
 131   // analysis.
 132   //
 133   ModulePass *createDSAAPass();
 134
 135   //===--------------------------------------------------------------------===//
 136   //
 137   // createDSOptPass - This pass uses DSA to do a series of simple
 138   // optimizations.
 139   //
 140   ModulePass *createDSOptPass();
 141
 142   //===--------------------------------------------------------------------===//
 143   //
 144   // createSteensgaardPass - This pass uses the data structure graphs to do a
 145   // simple context insensitive alias analysis.
 146   //
 147   ModulePass *createSteensgaardPass();
 148
 149   //===--------------------------------------------------------------------===//
 150   //
 151   // createLiveValuesPass - This creates an instance of the LiveValues pass.
 152   //
 153   FunctionPass *createLiveValuesPass();
 154
 155   //===--------------------------------------------------------------------===//
 156   //
 157   /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
 158   /// pass.
 159   FunctionPass *createLazyValueInfoPass();
 160
 161   //===--------------------------------------------------------------------===//
 162   //
 163   // createLoopDependenceAnalysisPass - This creates an instance of the
 164   // LoopDependenceAnalysis pass.
 165   //
 166   LoopPass *createLoopDependenceAnalysisPass();
 167
 168   // Minor pass prototypes, allowing us to expose them through bugpoint and
 169   // analyze.
 170   FunctionPass *createInstCountPass();
 171
 172   // print debug info intrinsics in human readable form
 173   FunctionPass *createDbgInfoPrinterPass();
 174
 175   // Print module-level debug info metadata in human-readable form.
 176   ModulePass *createModuleDebugInfoPrinterPass();
 177 }
 178
 179 #endif