2002-07-23 19:56:27 +00:00
|
|
|
//===- llvm/Transforms/IPO.h - Interprocedural Transformations --*- C++ -*-===//
|
2005-04-21 20:59:05 +00:00
|
|
|
//
|
2003-10-20 20:19:47 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
2005-04-21 20:59:05 +00:00
|
|
|
//
|
2003-10-20 20:19:47 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2001-10-31 04:32:53 +00:00
|
|
|
//
|
2002-07-23 19:56:27 +00:00
|
|
|
// This header file defines prototypes for accessor functions that expose passes
|
|
|
|
// in the IPO transformations library.
|
2001-10-31 04:32:53 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2002-07-23 19:48:52 +00:00
|
|
|
#ifndef LLVM_TRANSFORMS_IPO_H
|
|
|
|
#define LLVM_TRANSFORMS_IPO_H
|
2001-10-31 04:32:53 +00:00
|
|
|
|
2004-08-13 03:03:44 +00:00
|
|
|
#include <vector>
|
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
namespace llvm {
|
|
|
|
|
2005-01-10 04:23:32 +00:00
|
|
|
class FunctionPass;
|
2004-09-20 04:41:39 +00:00
|
|
|
class ModulePass;
|
2002-11-19 18:42:59 +00:00
|
|
|
class Function;
|
2004-08-13 03:03:44 +00:00
|
|
|
class BasicBlock;
|
2002-04-10 20:31:22 +00:00
|
|
|
|
2004-12-02 21:24:19 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// These functions removes symbols from functions and modules. If OnlyDebugInfo
|
|
|
|
// is true, only debugging information is removed from the module.
|
|
|
|
//
|
|
|
|
ModulePass *createStripSymbolsPass(bool OnlyDebugInfo = false);
|
|
|
|
|
2003-09-15 05:05:23 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createLowerSetJmpPass - This function lowers the setjmp/longjmp intrinsics
|
|
|
|
/// to invoke/unwind instructions. This should really be part of the C/C++
|
|
|
|
/// front-end, but it's so much easier to write transformations in LLVM proper.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass* createLowerSetJmpPass();
|
2003-09-15 05:05:23 +00:00
|
|
|
|
2002-07-23 19:56:27 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createConstantMergePass - This function returns a new pass that merges
|
|
|
|
/// duplicate global constants together into a single constant that is shared.
|
|
|
|
/// This is useful because some passes (ie TraceValues) insert a lot of string
|
|
|
|
/// constants into the program, regardless of whether or not they duplicate an
|
|
|
|
/// existing string.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createConstantMergePass();
|
2002-07-23 19:56:27 +00:00
|
|
|
|
|
|
|
|
2004-02-25 21:34:51 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-10-07 04:12:02 +00:00
|
|
|
/// createGlobalOptimizerPass - This function returns a new pass that optimizes
|
|
|
|
/// non-address taken internal globals.
|
2004-03-14 20:00:37 +00:00
|
|
|
///
|
2004-10-07 04:12:02 +00:00
|
|
|
ModulePass *createGlobalOptimizerPass();
|
2004-02-25 21:34:51 +00:00
|
|
|
|
|
|
|
|
2003-09-01 03:14:00 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createRaiseAllocationsPass - Return a new pass that transforms malloc and
|
|
|
|
/// free function calls into malloc and free instructions.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createRaiseAllocationsPass();
|
2003-09-01 03:14:00 +00:00
|
|
|
|
|
|
|
|
2002-07-23 19:48:52 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createDeadTypeEliminationPass - Return a new pass that eliminates symbol
|
|
|
|
/// table entries for types that are never used.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createDeadTypeEliminationPass();
|
2001-10-31 04:32:53 +00:00
|
|
|
|
2002-04-10 20:31:22 +00:00
|
|
|
|
2002-07-24 17:10:58 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createGlobalDCEPass - This transform is designed to eliminate unreachable
|
|
|
|
/// internal globals (functions or global variables)
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createGlobalDCEPass();
|
2002-07-24 17:10:58 +00:00
|
|
|
|
|
|
|
|
2002-11-19 18:42:59 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2005-04-21 20:59:05 +00:00
|
|
|
/// createFunctionExtractionPass - If deleteFn is true, this pass deletes as
|
2004-04-22 23:00:51 +00:00
|
|
|
/// the specified function. Otherwise, it deletes as much of the module as
|
|
|
|
/// possible, except for the function specified.
|
2004-03-14 20:00:37 +00:00
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createFunctionExtractionPass(Function *F, bool deleteFn = false);
|
2002-11-19 18:42:59 +00:00
|
|
|
|
|
|
|
|
2002-07-23 19:48:52 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// FunctionResolvingPass - Go over the functions that are in the module and
|
|
|
|
/// look for functions that have the same name. More often than not, there will
|
|
|
|
/// be things like:
|
|
|
|
/// void "foo"(...)
|
|
|
|
/// void "foo"(int, int)
|
|
|
|
/// because of the way things are declared in C. If this is the case, patch
|
|
|
|
/// things up.
|
|
|
|
///
|
|
|
|
/// This is an interprocedural pass.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createFunctionResolvingPass();
|
2002-04-10 20:31:22 +00:00
|
|
|
|
2002-11-19 20:43:24 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createFunctionInliningPass - Return a new pass object that uses a heuristic
|
|
|
|
/// to inline direct function calls to small functions.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createFunctionInliningPass();
|
2002-07-24 17:10:58 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createPruneEHPass - Return a new pass object which transforms invoke
|
|
|
|
/// instructions into calls, if the callee can _not_ unwind the stack.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createPruneEHPass();
|
2003-08-31 16:30:25 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createInternalizePass - This pass loops over all of the functions in the
|
|
|
|
/// input module, looking for a main function. If a main function is found, all
|
|
|
|
/// other functions are marked as internal.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createInternalizePass();
|
2002-07-24 17:10:58 +00:00
|
|
|
|
2003-06-16 12:16:52 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createDeadArgEliminationPass - This pass removes arguments from functions
|
|
|
|
/// which are not used by the body of the function.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createDeadArgEliminationPass();
|
2003-11-05 21:43:42 +00:00
|
|
|
|
2004-03-14 20:00:37 +00:00
|
|
|
/// DeadArgHacking pass - Same as DAE, but delete arguments of external
|
|
|
|
/// functions as well. This is definitely not safe, and should only be used by
|
|
|
|
/// bugpoint.
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createDeadArgHackingPass();
|
2003-06-16 12:16:52 +00:00
|
|
|
|
2004-03-07 21:30:08 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createArgumentPromotionPass - This pass promotes "by reference" arguments to
|
|
|
|
/// be passed by value.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createArgumentPromotionPass();
|
2004-03-07 21:30:08 +00:00
|
|
|
|
2003-10-23 16:51:49 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createIPConstantPropagationPass - This pass propagates constants from call
|
|
|
|
/// sites into the bodies of functions.
|
|
|
|
///
|
2004-09-20 04:41:39 +00:00
|
|
|
ModulePass *createIPConstantPropagationPass();
|
2003-10-23 16:51:49 +00:00
|
|
|
|
2004-12-10 07:55:01 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// createIPSCCPPass - This pass propagates constants from call sites into the
|
|
|
|
/// bodies of functions, and keeps track of whether basic blocks are executable
|
|
|
|
/// in the process.
|
|
|
|
///
|
|
|
|
ModulePass *createIPSCCPPass();
|
2002-07-24 17:10:58 +00:00
|
|
|
|
2004-03-14 02:36:34 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2005-01-08 17:21:40 +00:00
|
|
|
/// createLoopExtractorPass - This pass extracts all natural loops from the
|
|
|
|
/// program into a function if it can.
|
|
|
|
///
|
2005-01-10 04:23:32 +00:00
|
|
|
FunctionPass *createLoopExtractorPass();
|
2005-01-08 17:21:40 +00:00
|
|
|
|
2004-03-14 20:00:37 +00:00
|
|
|
/// createSingleLoopExtractorPass - This pass extracts one natural loop from the
|
|
|
|
/// program into a function if it can. This is used by bugpoint.
|
|
|
|
///
|
2005-01-10 04:23:32 +00:00
|
|
|
FunctionPass *createSingleLoopExtractorPass();
|
2004-03-14 02:36:34 +00:00
|
|
|
|
2004-08-13 03:03:44 +00:00
|
|
|
// createBlockExtractorPass - This pass extracts all blocks (except those
|
|
|
|
// specified in the argument list) from the functions in the module.
|
|
|
|
//
|
2004-10-18 14:43:45 +00:00
|
|
|
ModulePass *createBlockExtractorPass(std::vector<BasicBlock*> &BTNE);
|
2004-08-13 03:03:44 +00:00
|
|
|
|
2005-04-25 02:54:00 +00:00
|
|
|
// createOptimizeWellKnownCallsPass - This pass optimizes specific calls to
|
|
|
|
// specific well-known (library) functions.
|
|
|
|
ModulePass *createSimplifyLibCallsPass();
|
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2001-10-31 04:32:53 +00:00
|
|
|
#endif
|