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
|
|
|
|
2012-12-11 16:36:02 +00:00
|
|
|
#include "llvm/ADT/ArrayRef.h"
|
2004-08-13 03:03:44 +00:00
|
|
|
|
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
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2014-03-12 16:12:36 +00:00
|
|
|
// These functions strips symbols from functions and modules.
|
2009-03-09 20:49:37 +00:00
|
|
|
// 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.
|
|
|
|
///
|
2014-03-12 16:12:36 +00:00
|
|
|
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.
|
|
|
|
///
|
2014-03-12 16:12:36 +00:00
|
|
|
/// The Threshold can be passed directly, or asked to be computed from the
|
|
|
|
/// given optimization and size optimization arguments.
|
|
|
|
///
|
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);
|
2014-03-12 16:12:36 +00:00
|
|
|
Pass *createFunctionInliningPass(unsigned OptLevel, unsigned SizeOptLevel);
|
2002-07-24 17:10:58 +00:00
|
|
|
|
2008-09-03 20:24:05 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2014-03-12 16:12:36 +00:00
|
|
|
/// createAlwaysInlinerPass - Return a new pass object that inlines only
|
2008-09-03 20:24:05 +00:00
|
|
|
/// 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
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
2008-05-14 20:01:01 +00:00
|
|
|
/// createInternalizePass - This pass loops over all of the functions in the
|
2013-10-03 18:29:09 +00:00
|
|
|
/// input module, internalizing all globals (functions and variables) it can.
|
|
|
|
////
|
|
|
|
/// The symbols in \p ExportList are never internalized.
|
|
|
|
///
|
Reapply "LTO: add API to set strategy for -internalize"
Reapply r199191, reverted in r199197 because it carelessly broke
Other/link-opts.ll. The problem was that calling
createInternalizePass("main") would select
createInternalizePass(bool("main")) instead of
createInternalizePass(ArrayRef<const char *>("main")). This commit
fixes the bug.
The original commit message follows.
Add API to LTOCodeGenerator to specify a strategy for the -internalize
pass.
This is a new attempt at Bill's change in r185882, which he reverted in
r188029 due to problems with the gold linker. This puts the onus on the
linker to decide whether (and what) to internalize.
In particular, running internalize before outputting an object file may
change a 'weak' symbol into an internal one, even though that symbol
could be needed by an external object file --- e.g., with arclite.
This patch enables three strategies:
- LTO_INTERNALIZE_FULL: the default (and the old behaviour).
- LTO_INTERNALIZE_NONE: skip -internalize.
- LTO_INTERNALIZE_HIDDEN: only -internalize symbols with hidden
visibility.
LTO_INTERNALIZE_FULL should be used when linking an executable.
Outputting an object file (e.g., via ld -r) is more complicated, and
depends on whether hidden symbols should be internalized. E.g., for
ld -r, LTO_INTERNALIZE_NONE can be used when -keep_private_externs, and
LTO_INTERNALIZE_HIDDEN can be used otherwise. However,
LTO_INTERNALIZE_FULL is inappropriate, since the output object file will
eventually need to link with others.
lto_codegen_set_internalize_strategy() sets the strategy for subsequent
calls to lto_codegen_write_merged_modules() and lto_codegen_compile*().
<rdar://problem/14334895>
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@199244 91177308-0d34-0410-b5e6-96231b3b80d8
2014-01-14 18:52:17 +00:00
|
|
|
/// When OnlyHidden=true, only symbols with hidden visibility are internalized.
|
|
|
|
///
|
2013-10-03 18:29:09 +00:00
|
|
|
/// The symbol in DSOList are internalized if it is safe to drop them from
|
|
|
|
/// the symbol table.
|
|
|
|
///
|
2008-06-26 09:48:11 +00:00
|
|
|
/// Note that commandline options that are used with the above function are not
|
2012-10-26 18:47:48 +00:00
|
|
|
/// used now!
|
Reapply "LTO: add API to set strategy for -internalize"
Reapply r199191, reverted in r199197 because it carelessly broke
Other/link-opts.ll. The problem was that calling
createInternalizePass("main") would select
createInternalizePass(bool("main")) instead of
createInternalizePass(ArrayRef<const char *>("main")). This commit
fixes the bug.
The original commit message follows.
Add API to LTOCodeGenerator to specify a strategy for the -internalize
pass.
This is a new attempt at Bill's change in r185882, which he reverted in
r188029 due to problems with the gold linker. This puts the onus on the
linker to decide whether (and what) to internalize.
In particular, running internalize before outputting an object file may
change a 'weak' symbol into an internal one, even though that symbol
could be needed by an external object file --- e.g., with arclite.
This patch enables three strategies:
- LTO_INTERNALIZE_FULL: the default (and the old behaviour).
- LTO_INTERNALIZE_NONE: skip -internalize.
- LTO_INTERNALIZE_HIDDEN: only -internalize symbols with hidden
visibility.
LTO_INTERNALIZE_FULL should be used when linking an executable.
Outputting an object file (e.g., via ld -r) is more complicated, and
depends on whether hidden symbols should be internalized. E.g., for
ld -r, LTO_INTERNALIZE_NONE can be used when -keep_private_externs, and
LTO_INTERNALIZE_HIDDEN can be used otherwise. However,
LTO_INTERNALIZE_FULL is inappropriate, since the output object file will
eventually need to link with others.
lto_codegen_set_internalize_strategy() sets the strategy for subsequent
calls to lto_codegen_write_merged_modules() and lto_codegen_compile*().
<rdar://problem/14334895>
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@199244 91177308-0d34-0410-b5e6-96231b3b80d8
2014-01-14 18:52:17 +00:00
|
|
|
ModulePass *createInternalizePass(ArrayRef<const char *> ExportList,
|
|
|
|
bool OnlyHidden = false);
|
2012-10-26 18:47:48 +00:00
|
|
|
/// createInternalizePass - Same as above, but with an empty exportList.
|
Reapply "LTO: add API to set strategy for -internalize"
Reapply r199191, reverted in r199197 because it carelessly broke
Other/link-opts.ll. The problem was that calling
createInternalizePass("main") would select
createInternalizePass(bool("main")) instead of
createInternalizePass(ArrayRef<const char *>("main")). This commit
fixes the bug.
The original commit message follows.
Add API to LTOCodeGenerator to specify a strategy for the -internalize
pass.
This is a new attempt at Bill's change in r185882, which he reverted in
r188029 due to problems with the gold linker. This puts the onus on the
linker to decide whether (and what) to internalize.
In particular, running internalize before outputting an object file may
change a 'weak' symbol into an internal one, even though that symbol
could be needed by an external object file --- e.g., with arclite.
This patch enables three strategies:
- LTO_INTERNALIZE_FULL: the default (and the old behaviour).
- LTO_INTERNALIZE_NONE: skip -internalize.
- LTO_INTERNALIZE_HIDDEN: only -internalize symbols with hidden
visibility.
LTO_INTERNALIZE_FULL should be used when linking an executable.
Outputting an object file (e.g., via ld -r) is more complicated, and
depends on whether hidden symbols should be internalized. E.g., for
ld -r, LTO_INTERNALIZE_NONE can be used when -keep_private_externs, and
LTO_INTERNALIZE_HIDDEN can be used otherwise. However,
LTO_INTERNALIZE_FULL is inappropriate, since the output object file will
eventually need to link with others.
lto_codegen_set_internalize_strategy() sets the strategy for subsequent
calls to lto_codegen_write_merged_modules() and lto_codegen_compile*().
<rdar://problem/14334895>
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@199244 91177308-0d34-0410-b5e6-96231b3b80d8
2014-01-14 18:52:17 +00:00
|
|
|
ModulePass *createInternalizePass(bool OnlyHidden = false);
|
|
|
|
/// createInternalizePass - Resolve ambiguity when passed a const char *.
|
|
|
|
ModulePass *createInternalizePass(const char *SingleExport);
|
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();
|
2014-03-12 16:12:36 +00:00
|
|
|
|
2012-09-11 02:46:18 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// createMetaRenamerPass - Rename everything with metasyntatic names.
|
|
|
|
//
|
|
|
|
ModulePass *createMetaRenamerPass();
|
2009-06-14 08:26:32 +00:00
|
|
|
|
Introduce a BarrierNoop pass, a hack designed to allow *some* control
over the implicitly-formed-and-nesting CGSCC pass manager and function
pass managers, especially when using them on the opt commandline or
using extension points in the module builder. The '-barrier' opt flag
(or the pass itself) will create a no-op module pass in the pipeline,
resetting the pass manager stack, and allowing the creation of a new
pipeline of function passes or CGSCC passes to be created that is
independent from any previous pipelines.
For example, this can be used to test running two CGSCC passes in
independent CGSCC pass managers as opposed to in the same CGSCC pass
manager. It also allows us to introduce a further hack into the
PassManagerBuilder to separate the O0 pipeline extension passes from the
always-inliner's CGSCC pass manager, which they likely do not want to
participate in... At the very least none of the Sanitizer passes want
this behavior.
This fixes a bug with ASan at O0 currently, and I'll commit the ASan
test which covers this pass. I'm happy to add a test case that this pass
exists and works, but not sure how much time folks would like me to
spend adding test cases for the details of its behavior of partition
pass managers.... The whole thing is just vile, and mostly intended to
unblock ASan, so I'm hoping to rip this all out in a brave new pass
manager world.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@166172 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-18 08:05:46 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// createBarrierNoopPass - This pass is purely a module pass barrier in a pass
|
|
|
|
/// manager.
|
|
|
|
ModulePass *createBarrierNoopPass();
|
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2001-10-31 04:32:53 +00:00
|
|
|
#endif
|