1 //===-- llvm/Analysis/Passes.h - Constructors for analyses ------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This header file defines prototypes for accessor functions that expose passes
11 // in the analysis libraries.
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_ANALYSIS_PASSES_H
16 #define LLVM_ANALYSIS_PASSES_H
27 //===--------------------------------------------------------------------===//
29 // createGlobalsModRefPass - This pass provides alias and mod/ref info for
30 // global values that do not have their addresses taken.
32 Pass *createGlobalsModRefPass();
34 //===--------------------------------------------------------------------===//
36 // createAliasAnalysisCounterPass - This pass counts alias queries and how the
37 // alias analysis implementation responds.
39 ModulePass *createAliasAnalysisCounterPass();
41 //===--------------------------------------------------------------------===//
43 // createAAEvalPass - This pass implements a simple N^2 alias analysis
44 // accuracy evaluator.
46 FunctionPass *createAAEvalPass();
48 //===--------------------------------------------------------------------===//
50 // createNoAAPass - This pass implements a "I don't know" alias analysis.
52 ImmutablePass *createNoAAPass();
54 //===--------------------------------------------------------------------===//
56 // createCFLAliasAnalysisPass - This pass implements a set-based approach to
59 ImmutablePass *createCFLAliasAnalysisPass();
61 //===--------------------------------------------------------------------===//
63 // createScalarEvolutionAliasAnalysisPass - This pass implements a simple
64 // alias analysis using ScalarEvolution queries.
66 FunctionPass *createScalarEvolutionAliasAnalysisPass();
68 //===--------------------------------------------------------------------===//
70 // createTypeBasedAliasAnalysisPass - This pass implements metadata-based
71 // type-based alias analysis.
73 ImmutablePass *createTypeBasedAliasAnalysisPass();
75 //===--------------------------------------------------------------------===//
77 // createScopedNoAliasAAPass - This pass implements metadata-based
78 // scoped noalias analysis.
80 ImmutablePass *createScopedNoAliasAAPass();
82 //===--------------------------------------------------------------------===//
84 // createObjCARCAliasAnalysisPass - This pass implements ObjC-ARC-based
87 ImmutablePass *createObjCARCAliasAnalysisPass();
89 FunctionPass *createPAEvalPass();
91 //===--------------------------------------------------------------------===//
93 /// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
95 FunctionPass *createLazyValueInfoPass();
97 //===--------------------------------------------------------------------===//
99 // createDependenceAnalysisPass - This creates an instance of the
100 // DependenceAnalysis pass.
102 FunctionPass *createDependenceAnalysisPass();
104 //===--------------------------------------------------------------------===//
106 // createCostModelAnalysisPass - This creates an instance of the
107 // CostModelAnalysis pass.
109 FunctionPass *createCostModelAnalysisPass();
111 //===--------------------------------------------------------------------===//
113 // createDelinearizationPass - This pass implements attempts to restore
114 // multidimensional array indices from linearized expressions.
116 FunctionPass *createDelinearizationPass();
118 //===--------------------------------------------------------------------===//
120 // createDivergenceAnalysisPass - This pass determines which branches in a GPU
121 // program are divergent.
123 FunctionPass *createDivergenceAnalysisPass();
125 //===--------------------------------------------------------------------===//
127 // Minor pass prototypes, allowing us to expose them through bugpoint and
129 FunctionPass *createInstCountPass();
131 //===--------------------------------------------------------------------===//
133 // createRegionInfoPass - This pass finds all single entry single exit regions
134 // in a function and builds the region hierarchy.
136 FunctionPass *createRegionInfoPass();
138 // Print module-level debug info metadata in human-readable form.
139 ModulePass *createModuleDebugInfoPrinterPass();
141 //===--------------------------------------------------------------------===//
143 // createMemDepPrinter - This pass exhaustively collects all memdep
144 // information and prints it with -analyze.
146 FunctionPass *createMemDepPrinter();
148 //===--------------------------------------------------------------------===//
150 // createMemDerefPrinter - This pass collects memory dereferenceability
151 // information and prints it with -analyze.
153 FunctionPass *createMemDerefPrinter();