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 {
|
|
|
|
|
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);
|
|
|
|
|
2008-11-18 21:34:39 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2009-03-09 20:49:37 +00:00
|
|
|
// These functions strips symbols from functions and modules.
|
|
|
|
// Only debugging information is not stripped.
|
2008-11-18 21:34:39 +00:00
|
|
|
//
|
|
|
|
ModulePass *createStripNonDebugSymbolsPass();
|
|
|
|
|
2009-03-09 20:49:37 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// These pass removes llvm.dbg.declare intrinsics.
|
|
|
|
ModulePass *createStripDebugDeclarePass();
|
|
|
|
|
2010-07-01 19:49:20 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// These pass removes unused symbols' debug info.
|
|
|
|
ModulePass *createStripDeadDebugInfoPass();
|
|
|
|
|
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
|
|
|
|
|
|
|
|
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
|
|
|
//===----------------------------------------------------------------------===//
|
2011-07-26 09:36:52 +00:00
|
|
|
/// createGVExtractionPass - If deleteFn is true, this pass deletes
|
2008-03-07 19:51:57 +00:00
|
|
|
/// 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
|
2010-08-26 00:22:55 +00:00
|
|
|
deleteFn = 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.
|
|
|
|
///
|
2010-11-02 23:40:26 +00:00
|
|
|
/// The -inline-threshold command line option takes precedence over the
|
|
|
|
/// threshold given here.
|
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
|
|
|
|
2008-09-03 20:24:05 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// createAlwaysInlinerPass - Return a new pass object that inlines only
|
|
|
|
/// functions that are marked as "always_inline".
|
|
|
|
Pass *createAlwaysInlinerPass();
|
2012-02-25 02:56:01 +00:00
|
|
|
Pass *createAlwaysInlinerPass(bool InsertLifetime);
|
2008-09-03 20:24:05 +00:00
|
|
|
|
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
|
2008-05-14 20:01:01 +00:00
|
|
|
/// input module, internalizing all globals (functions and variables) not part
|
|
|
|
/// of the api. If a list of symbols is specified with the
|
|
|
|
/// -internalize-public-api-* command line options, those symbols are not
|
|
|
|
/// internalized and all others are. Otherwise if AllButMain is set and the
|
2008-06-26 09:48:11 +00:00
|
|
|
/// main function is found, all other globals are marked as internal. If no api
|
|
|
|
/// is supplied and AllButMain is not set, or no main function is found, nothing
|
|
|
|
/// is internalized.
|
2004-03-14 20:00:37 +00:00
|
|
|
///
|
2008-06-24 09:14:10 +00:00
|
|
|
ModulePass *createInternalizePass(bool AllButMain);
|
2008-05-14 20:01:01 +00:00
|
|
|
|
|
|
|
/// createInternalizePass - This pass loops over all of the functions in the
|
|
|
|
/// input module, internalizing all globals (functions and variables) not in the
|
|
|
|
/// given exportList.
|
2008-06-26 09:48:11 +00:00
|
|
|
///
|
|
|
|
/// Note that commandline options that are used with the above function are not
|
|
|
|
/// used now! Also, when exportList is empty, nothing is internalized.
|
2008-06-26 09:49:38 +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);
|
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.
|
|
|
|
///
|
2009-09-28 14:37:51 +00:00
|
|
|
Pass *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.
|
|
|
|
///
|
2009-09-28 14:37:51 +00:00
|
|
|
Pass *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.
|
|
|
|
///
|
2010-07-31 00:32:17 +00:00
|
|
|
ModulePass *createBlockExtractorPass();
|
2004-08-13 03:03:44 +00:00
|
|
|
|
2007-02-05 20:47:22 +00:00
|
|
|
/// createStripDeadPrototypesPass - This pass removes any function declarations
|
|
|
|
/// (prototypes) that are not used.
|
|
|
|
ModulePass *createStripDeadPrototypesPass();
|
|
|
|
|
2008-09-19 08:17:05 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2008-12-31 16:14:43 +00:00
|
|
|
/// createFunctionAttrsPass - This pass discovers functions that do not access
|
2008-09-19 08:17:05 +00:00
|
|
|
/// memory, or only read memory, and gives them the readnone/readonly attribute.
|
2008-12-31 16:14:43 +00:00
|
|
|
/// It also discovers function arguments that are not captured by the function
|
|
|
|
/// and marks them with the nocapture attribute.
|
2008-09-19 08:17:05 +00:00
|
|
|
///
|
2008-12-31 16:14:43 +00:00
|
|
|
Pass *createFunctionAttrsPass();
|
2008-11-02 05:52:50 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// createMergeFunctionsPass - This pass discovers identical functions and
|
|
|
|
/// collapses them.
|
|
|
|
///
|
|
|
|
ModulePass *createMergeFunctionsPass();
|
2008-09-19 08:17:05 +00:00
|
|
|
|
2009-06-14 08:26:32 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// createPartialInliningPass - This pass inlines parts of functions.
|
|
|
|
///
|
|
|
|
ModulePass *createPartialInliningPass();
|
2012-09-11 02:46:18 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// createMetaRenamerPass - Rename everything with metasyntatic names.
|
|
|
|
//
|
|
|
|
ModulePass *createMetaRenamerPass();
|
2009-06-14 08:26:32 +00:00
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2001-10-31 04:32:53 +00:00
|
|
|
#endif
|