Add an Intraprocedural form of BasicAliasAnalysis, which aims to
[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   // 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.
71   //
72   ImmutablePass *createBasicAliasAnalysisPass();
73
74   //===--------------------------------------------------------------------===//
75   //
76   // createInterproceduralBasicAliasAnalysisPass - This pass is similar to
77   // baiscaa, except that it properly supports queries to values which live
78   // in different functions.
79   //
80   ImmutablePass *createInterproceduralBasicAliasAnalysisPass();
81
82   //===--------------------------------------------------------------------===//
83   //
84   /// createLibCallAliasAnalysisPass - Create an alias analysis pass that knows
85   /// about the semantics of a set of libcalls specified by LCI.  The newly
86   /// constructed pass takes ownership of the pointer that is provided.
87   ///
88   FunctionPass *createLibCallAliasAnalysisPass(LibCallInfo *LCI);
89
90   //===--------------------------------------------------------------------===//
91   //
92   // createScalarEvolutionAliasAnalysisPass - This pass implements a simple
93   // alias analysis using ScalarEvolution queries.
94   //
95   FunctionPass *createScalarEvolutionAliasAnalysisPass();
96
97   //===--------------------------------------------------------------------===//
98   //
99   // createProfileLoaderPass - This pass loads information from a profile dump
100   // file.
101   //
102   ModulePass *createProfileLoaderPass();
103   extern const PassInfo *ProfileLoaderPassID;
104
105   //===--------------------------------------------------------------------===//
106   //
107   // createNoProfileInfoPass - This pass implements the default "no profile".
108   //
109   ImmutablePass *createNoProfileInfoPass();
110
111   //===--------------------------------------------------------------------===//
112   //
113   // createProfileEstimatorPass - This pass estimates profiling information
114   // instead of loading it from a previous run.
115   //
116   FunctionPass *createProfileEstimatorPass();
117   extern const PassInfo *ProfileEstimatorPassID;
118
119   //===--------------------------------------------------------------------===//
120   //
121   // createProfileVerifierPass - This pass verifies profiling information.
122   //
123   FunctionPass *createProfileVerifierPass();
124
125   //===--------------------------------------------------------------------===//
126   //
127   // createDSAAPass - This pass implements simple context sensitive alias
128   // analysis.
129   //
130   ModulePass *createDSAAPass();
131
132   //===--------------------------------------------------------------------===//
133   //
134   // createDSOptPass - This pass uses DSA to do a series of simple
135   // optimizations.
136   //
137   ModulePass *createDSOptPass();
138
139   //===--------------------------------------------------------------------===//
140   //
141   // createSteensgaardPass - This pass uses the data structure graphs to do a
142   // simple context insensitive alias analysis.
143   //
144   ModulePass *createSteensgaardPass();
145
146   //===--------------------------------------------------------------------===//
147   //
148   // createLiveValuesPass - This creates an instance of the LiveValues pass.
149   //
150   FunctionPass *createLiveValuesPass();
151   
152   //===--------------------------------------------------------------------===//
153   //
154   /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
155   /// pass.
156   FunctionPass *createLazyValueInfoPass();
157
158   //===--------------------------------------------------------------------===//
159   //
160   // createLoopDependenceAnalysisPass - This creates an instance of the
161   // LoopDependenceAnalysis pass.
162   //
163   LoopPass *createLoopDependenceAnalysisPass();
164   
165   // Minor pass prototypes, allowing us to expose them through bugpoint and
166   // analyze.
167   FunctionPass *createInstCountPass();
168
169   // print debug info intrinsics in human readable form
170   FunctionPass *createDbgInfoPrinterPass();
171
172   // Print module-level debug info metadata in human-readable form.
173   ModulePass *createModuleDebugInfoPrinterPass();
174 }
175
176 #endif