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   // createAliasAnalysisCounterPass - This pass counts alias queries and how the
  37   // alias analysis implementation responds.
  38   //
  39   ModulePass *createAliasAnalysisCounterPass();
  40
  41   //===--------------------------------------------------------------------===//
  42   //
  43   // createAAEvalPass - This pass implements a simple N^2 alias analysis
  44   // accuracy evaluator.
  45   //
  46   FunctionPass *createAAEvalPass();
  47
  48   //===--------------------------------------------------------------------===//
  49   //
  50   // createNoAAPass - This pass implements a "I don't know" alias analysis.
  51   //
  52   ImmutablePass *createNoAAPass();
  53
  54   //===--------------------------------------------------------------------===//
  55   //
  56   // createCFLAliasAnalysisPass - This pass implements a set-based approach to
  57   // alias analysis.
  58   //
  59   ImmutablePass *createCFLAliasAnalysisPass();
  60
  61   //===--------------------------------------------------------------------===//
  62   //
  63   /// createLibCallAliasAnalysisPass - Create an alias analysis pass that knows
  64   /// about the semantics of a set of libcalls specified by LCI.  The newly
  65   /// constructed pass takes ownership of the pointer that is provided.
  66   ///
  67   FunctionPass *createLibCallAliasAnalysisPass(LibCallInfo *LCI);
  68
  69   //===--------------------------------------------------------------------===//
  70   //
  71   // createScalarEvolutionAliasAnalysisPass - This pass implements a simple
  72   // alias analysis using ScalarEvolution queries.
  73   //
  74   FunctionPass *createScalarEvolutionAliasAnalysisPass();
  75
  76   //===--------------------------------------------------------------------===//
  77   //
  78   // createTypeBasedAliasAnalysisPass - This pass implements metadata-based
  79   // type-based alias analysis.
  80   //
  81   ImmutablePass *createTypeBasedAliasAnalysisPass();
  82
  83   //===--------------------------------------------------------------------===//
  84   //
  85   // createScopedNoAliasAAPass - This pass implements metadata-based
  86   // scoped noalias analysis.
  87   //
  88   ImmutablePass *createScopedNoAliasAAPass();
  89
  90   //===--------------------------------------------------------------------===//
  91   //
  92   // createObjCARCAliasAnalysisPass - This pass implements ObjC-ARC-based
  93   // alias analysis.
  94   //
  95   ImmutablePass *createObjCARCAliasAnalysisPass();
  96
  97   FunctionPass *createPAEvalPass();
  98
  99   //===--------------------------------------------------------------------===//
 100   //
 101   /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
 102   /// pass.
 103   FunctionPass *createLazyValueInfoPass();
 104
 105   //===--------------------------------------------------------------------===//
 106   //
 107   // createDependenceAnalysisPass - This creates an instance of the
 108   // DependenceAnalysis pass.
 109   //
 110   FunctionPass *createDependenceAnalysisPass();
 111
 112   //===--------------------------------------------------------------------===//
 113   //
 114   // createCostModelAnalysisPass - This creates an instance of the
 115   // CostModelAnalysis pass.
 116   //
 117   FunctionPass *createCostModelAnalysisPass();
 118
 119   //===--------------------------------------------------------------------===//
 120   //
 121   // createDelinearizationPass - This pass implements attempts to restore
 122   // multidimensional array indices from linearized expressions.
 123   //
 124   FunctionPass *createDelinearizationPass();
 125
 126   //===--------------------------------------------------------------------===//
 127   //
 128   // createDivergenceAnalysisPass - This pass determines which branches in a GPU
 129   // program are divergent.
 130   //
 131   FunctionPass *createDivergenceAnalysisPass();
 132
 133   //===--------------------------------------------------------------------===//
 134   //
 135   // Minor pass prototypes, allowing us to expose them through bugpoint and
 136   // analyze.
 137   FunctionPass *createInstCountPass();
 138
 139   //===--------------------------------------------------------------------===//
 140   //
 141   // createRegionInfoPass - This pass finds all single entry single exit regions
 142   // in a function and builds the region hierarchy.
 143   //
 144   FunctionPass *createRegionInfoPass();
 145
 146   // Print module-level debug info metadata in human-readable form.
 147   ModulePass *createModuleDebugInfoPrinterPass();
 148
 149   //===--------------------------------------------------------------------===//
 150   //
 151   // createMemDepPrinter - This pass exhaustively collects all memdep
 152   // information and prints it with -analyze.
 153   //
 154   FunctionPass *createMemDepPrinter();
 155
 156   //===--------------------------------------------------------------------===//
 157   //
 158   // createMemDerefPrinter - This pass collects memory dereferenceability
 159   // information and prints it with -analyze.
 160   //
 161   FunctionPass *createMemDerefPrinter();
 162
 163 }
 164
 165 #endif