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