2004-06-28 06:31:26 +00:00
|
|
|
//===-- llvm/Analysis/Passes.h - Constructors for analyses ------*- C++ -*-===//
|
2005-04-21 20:19:05 +00:00
|
|
|
//
|
2004-06-28 06:31:26 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 19:59:42 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 20:19:05 +00:00
|
|
|
//
|
2004-06-28 06:31:26 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This header file defines prototypes for accessor functions that expose passes
|
|
|
|
// in the analysis libraries.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_ANALYSIS_PASSES_H
|
|
|
|
#define LLVM_ANALYSIS_PASSES_H
|
|
|
|
|
|
|
|
namespace llvm {
|
2005-01-08 22:01:16 +00:00
|
|
|
class FunctionPass;
|
|
|
|
class ImmutablePass;
|
2009-06-24 21:29:13 +00:00
|
|
|
class LoopPass;
|
2005-01-08 22:01:16 +00:00
|
|
|
class ModulePass;
|
2004-06-28 06:31:26 +00:00
|
|
|
class Pass;
|
2009-08-08 18:44:18 +00:00
|
|
|
class PassInfo;
|
2008-05-07 19:53:05 +00:00
|
|
|
class LibCallInfo;
|
2004-06-28 06:31:26 +00:00
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
2005-01-08 22:01:16 +00:00
|
|
|
// createGlobalsModRefPass - This pass provides alias and mod/ref info for
|
|
|
|
// global values that do not have their addresses taken.
|
2004-06-28 06:31:26 +00:00
|
|
|
//
|
|
|
|
Pass *createGlobalsModRefPass();
|
2005-01-08 22:01:16 +00:00
|
|
|
|
2006-11-14 05:21:04 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createAliasDebugger - This pass helps debug clients of AA
|
|
|
|
//
|
|
|
|
Pass *createAliasDebugger();
|
|
|
|
|
2005-01-08 22:01:16 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createAliasAnalysisCounterPass - This pass counts alias queries and how the
|
|
|
|
// alias analysis implementation responds.
|
|
|
|
//
|
|
|
|
ModulePass *createAliasAnalysisCounterPass();
|
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createAAEvalPass - This pass implements a simple N^2 alias analysis
|
|
|
|
// accuracy evaluator.
|
|
|
|
//
|
|
|
|
FunctionPass *createAAEvalPass();
|
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createNoAAPass - This pass implements a "I don't know" alias analysis.
|
|
|
|
//
|
|
|
|
ImmutablePass *createNoAAPass();
|
2005-04-21 20:19:05 +00:00
|
|
|
|
2005-01-08 22:01:16 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createBasicAliasAnalysisPass - This pass implements the default alias
|
2010-07-07 14:27:09 +00:00
|
|
|
// analysis.
|
2005-01-08 22:01:16 +00:00
|
|
|
//
|
|
|
|
ImmutablePass *createBasicAliasAnalysisPass();
|
2005-04-21 20:19:05 +00:00
|
|
|
|
2008-05-07 19:53:05 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
/// createLibCallAliasAnalysisPass - Create an alias analysis pass that knows
|
|
|
|
/// about the semantics of a set of libcalls specified by LCI. The newly
|
|
|
|
/// constructed pass takes ownership of the pointer that is provided.
|
|
|
|
///
|
|
|
|
FunctionPass *createLibCallAliasAnalysisPass(LibCallInfo *LCI);
|
|
|
|
|
2009-08-26 14:53:06 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createScalarEvolutionAliasAnalysisPass - This pass implements a simple
|
|
|
|
// alias analysis using ScalarEvolution queries.
|
|
|
|
//
|
|
|
|
FunctionPass *createScalarEvolutionAliasAnalysisPass();
|
|
|
|
|
2010-08-02 23:11:01 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createTypeBasedAliasAnalysisPass - This pass implements metadata-based
|
|
|
|
// type-based alias analysis.
|
|
|
|
//
|
|
|
|
ImmutablePass *createTypeBasedAliasAnalysisPass();
|
|
|
|
|
2005-01-08 22:01:16 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
2005-01-10 03:56:27 +00:00
|
|
|
// createProfileLoaderPass - This pass loads information from a profile dump
|
|
|
|
// file.
|
2005-01-08 22:01:16 +00:00
|
|
|
//
|
2005-01-10 03:56:27 +00:00
|
|
|
ModulePass *createProfileLoaderPass();
|
2010-08-06 18:33:48 +00:00
|
|
|
extern char &ProfileLoaderPassID;
|
2005-04-21 20:19:05 +00:00
|
|
|
|
2005-01-08 22:01:16 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createNoProfileInfoPass - This pass implements the default "no profile".
|
|
|
|
//
|
|
|
|
ImmutablePass *createNoProfileInfoPass();
|
2005-04-21 20:19:05 +00:00
|
|
|
|
2009-08-08 18:44:18 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createProfileEstimatorPass - This pass estimates profiling information
|
|
|
|
// instead of loading it from a previous run.
|
|
|
|
//
|
|
|
|
FunctionPass *createProfileEstimatorPass();
|
2010-08-06 18:33:48 +00:00
|
|
|
extern char &ProfileEstimatorPassID;
|
2009-08-08 18:44:18 +00:00
|
|
|
|
2009-09-01 08:48:42 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createProfileVerifierPass - This pass verifies profiling information.
|
|
|
|
//
|
|
|
|
FunctionPass *createProfileVerifierPass();
|
|
|
|
|
2005-01-09 20:42:52 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createDSAAPass - This pass implements simple context sensitive alias
|
|
|
|
// analysis.
|
|
|
|
//
|
|
|
|
ModulePass *createDSAAPass();
|
2005-04-21 20:19:05 +00:00
|
|
|
|
2005-01-09 20:42:52 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createDSOptPass - This pass uses DSA to do a series of simple
|
|
|
|
// optimizations.
|
|
|
|
//
|
|
|
|
ModulePass *createDSOptPass();
|
2005-04-21 20:19:05 +00:00
|
|
|
|
2005-01-09 20:42:52 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createSteensgaardPass - This pass uses the data structure graphs to do a
|
|
|
|
// simple context insensitive alias analysis.
|
|
|
|
//
|
|
|
|
ModulePass *createSteensgaardPass();
|
2009-03-19 17:29:04 +00:00
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createLiveValuesPass - This creates an instance of the LiveValues pass.
|
|
|
|
//
|
|
|
|
FunctionPass *createLiveValuesPass();
|
2009-11-11 00:22:30 +00:00
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
/// createLazyValueInfoPass - This creates an instance of the LazyValueInfo
|
|
|
|
/// pass.
|
|
|
|
FunctionPass *createLazyValueInfoPass();
|
2009-06-24 21:29:13 +00:00
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createLoopDependenceAnalysisPass - This creates an instance of the
|
|
|
|
// LoopDependenceAnalysis pass.
|
|
|
|
//
|
|
|
|
LoopPass *createLoopDependenceAnalysisPass();
|
2005-10-24 01:00:32 +00:00
|
|
|
|
|
|
|
// Minor pass prototypes, allowing us to expose them through bugpoint and
|
|
|
|
// analyze.
|
|
|
|
FunctionPass *createInstCountPass();
|
2008-12-16 09:09:19 +00:00
|
|
|
|
|
|
|
// print debug info intrinsics in human readable form
|
|
|
|
FunctionPass *createDbgInfoPrinterPass();
|
2010-05-07 16:22:32 +00:00
|
|
|
|
2010-07-22 07:46:31 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createRegionInfoPass - This pass finds all single entry single exit regions
|
|
|
|
// in a function and builds the region hierarchy.
|
|
|
|
//
|
|
|
|
FunctionPass *createRegionInfoPass();
|
|
|
|
|
2010-05-07 16:22:32 +00:00
|
|
|
// Print module-level debug info metadata in human-readable form.
|
|
|
|
ModulePass *createModuleDebugInfoPrinterPass();
|
2010-09-16 22:08:32 +00:00
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// createMemDepPrinter - This pass exhaustively collects all memdep
|
|
|
|
// information and prints it with -analyze.
|
|
|
|
//
|
|
|
|
FunctionPass *createMemDepPrinter();
|
2004-06-28 06:31:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|