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