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
|
|
|
|
//
|
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: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;
|
2007-01-26 00:47:38 +00:00
|
|
|
class Pass;
|
2002-11-19 18:42:59 +00:00
|
|
|
class Function;
|
2004-08-13 03:03:44 +00:00
|
|
|
class BasicBlock;
|
2008-03-07 19:51:57 +00:00
|
|
|
class GlobalValue;
|
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
|
|
|
|
|
|
|
|
2008-03-07 19:51:57 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// createGVExtractionPass - If deleteFn is true, this pass deletes as
|
|
|
|
/// the specified global values. Otherwise, it deletes as much of the module as
|
|
|
|
/// possible, except for the global values specified.
|
|
|
|
///
|
|
|
|
ModulePass *createGVExtractionPass(std::vector<GlobalValue*>& GVs, bool
|
|
|
|
deleteFn = false,
|
|
|
|
bool relinkCallees = false);
|
2002-11-19 18:42:59 +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.
|
|
|
|
///
|
2007-01-26 00:47:38 +00:00
|
|
|
Pass *createFunctionInliningPass();
|
2008-01-12 06:49:13 +00:00
|
|
|
Pass *createFunctionInliningPass(int Threshold);
|
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.
|
|
|
|
///
|
2007-01-26 00:47:38 +00:00
|
|
|
Pass *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
|
2005-10-18 06:28:16 +00:00
|
|
|
/// input module, looking for a main function. If a list of symbols is
|
|
|
|
/// specified with the -internalize-public-api-* command line options, those
|
|
|
|
/// symbols are internalized. Otherwise if InternalizeEverything is set and
|
|
|
|
/// the main function is found, all other globals are marked as internal.
|
2004-03-14 20:00:37 +00:00
|
|
|
///
|
2005-10-18 06:28:16 +00:00
|
|
|
ModulePass *createInternalizePass(bool InternalizeEverything);
|
2006-07-20 17:48:05 +00:00
|
|
|
ModulePass *createInternalizePass(const std::vector<const char *> &exportList);
|
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
|
2008-04-19 19:50:01 +00:00
|
|
|
/// be passed by value if the number of elements passed is smaller or
|
|
|
|
/// equal to maxElements (maxElements == 0 means always promote).
|
2004-03-14 20:00:37 +00:00
|
|
|
///
|
2008-04-19 19:50:01 +00:00
|
|
|
Pass *createArgumentPromotionPass(unsigned maxElements = 3);
|
Add pass to promote sret.
This pass transforms
%struct._Point = type { i32, i32, i32, i32, i32, i32 }
define internal void @foo(%struct._Point* sret %agg.result)
into
%struct._Point = type { i32, i32, i32, i32, i32, i32 }
define internal %struct._Point @foo()
This pass updates foo() clients appropriately to use
getresult instruction to extract return values.
This pass is not yet ready for prime time.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47776 91177308-0d34-0410-b5e6-96231b3b80d8
2008-02-29 23:34:08 +00:00
|
|
|
Pass *createStructRetPromotionPass();
|
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
|
|
|
|
2007-02-05 20:47:22 +00:00
|
|
|
/// createBlockExtractorPass - This pass extracts all blocks (except those
|
|
|
|
/// specified in the argument list) from the functions in the module.
|
|
|
|
///
|
2007-11-05 01:54:05 +00:00
|
|
|
ModulePass *createBlockExtractorPass(const std::vector<BasicBlock*> &BTNE);
|
2004-08-13 03:03:44 +00:00
|
|
|
|
2007-02-05 20:47:22 +00:00
|
|
|
/// createIndMemRemPass - This pass removes potential indirect calls of
|
|
|
|
/// malloc and free
|
2006-04-10 19:26:09 +00:00
|
|
|
ModulePass *createIndMemRemPass();
|
|
|
|
|
2007-02-05 20:47:22 +00:00
|
|
|
/// createStripDeadPrototypesPass - This pass removes any function declarations
|
|
|
|
/// (prototypes) that are not used.
|
|
|
|
ModulePass *createStripDeadPrototypesPass();
|
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2001-10-31 04:32:53 +00:00
|
|
|
#endif
|