[PM/AA] Hoist ScopedNoAliasAA's interface into a header and move the
[oota-llvm.git] / 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   // createScalarEvolutionAliasAnalysisPass - This pass implements a simple
50   // alias analysis using ScalarEvolution queries.
51   //
52   FunctionPass *createScalarEvolutionAliasAnalysisPass();
53
54   //===--------------------------------------------------------------------===//
55   //
56   // createTypeBasedAliasAnalysisPass - This pass implements metadata-based
57   // type-based alias analysis.
58   //
59   ImmutablePass *createTypeBasedAliasAnalysisPass();
60
61   //===--------------------------------------------------------------------===//
62   //
63   // createObjCARCAliasAnalysisPass - This pass implements ObjC-ARC-based
64   // alias analysis.
65   //
66   ImmutablePass *createObjCARCAliasAnalysisPass();
67
68   FunctionPass *createPAEvalPass();
69
70   //===--------------------------------------------------------------------===//
71   //
72   /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
73   /// pass.
74   FunctionPass *createLazyValueInfoPass();
75
76   //===--------------------------------------------------------------------===//
77   //
78   // createDependenceAnalysisPass - This creates an instance of the
79   // DependenceAnalysis pass.
80   //
81   FunctionPass *createDependenceAnalysisPass();
82
83   //===--------------------------------------------------------------------===//
84   //
85   // createCostModelAnalysisPass - This creates an instance of the
86   // CostModelAnalysis pass.
87   //
88   FunctionPass *createCostModelAnalysisPass();
89
90   //===--------------------------------------------------------------------===//
91   //
92   // createDelinearizationPass - This pass implements attempts to restore
93   // multidimensional array indices from linearized expressions.
94   //
95   FunctionPass *createDelinearizationPass();
96
97   //===--------------------------------------------------------------------===//
98   //
99   // createDivergenceAnalysisPass - This pass determines which branches in a GPU
100   // program are divergent.
101   //
102   FunctionPass *createDivergenceAnalysisPass();
103
104   //===--------------------------------------------------------------------===//
105   //
106   // Minor pass prototypes, allowing us to expose them through bugpoint and
107   // analyze.
108   FunctionPass *createInstCountPass();
109
110   //===--------------------------------------------------------------------===//
111   //
112   // createRegionInfoPass - This pass finds all single entry single exit regions
113   // in a function and builds the region hierarchy.
114   //
115   FunctionPass *createRegionInfoPass();
116
117   // Print module-level debug info metadata in human-readable form.
118   ModulePass *createModuleDebugInfoPrinterPass();
119
120   //===--------------------------------------------------------------------===//
121   //
122   // createMemDepPrinter - This pass exhaustively collects all memdep
123   // information and prints it with -analyze.
124   //
125   FunctionPass *createMemDepPrinter();
126
127   //===--------------------------------------------------------------------===//
128   //
129   // createMemDerefPrinter - This pass collects memory dereferenceability
130   // information and prints it with -analyze.
131   //
132   FunctionPass *createMemDerefPrinter();
133
134 }
135
136 #endif