Class: LLVM::PassBuilder
- Inherits:
-
Object
- Object
- LLVM::PassBuilder
- Extended by:
- FFI::Library
- Defined in:
- lib/llvm/pass_builder.rb
Overview
rubocop:disable Metrics/ClassLength
Constant Summary collapse
- OPT_PASSES =
rubocop:disable Layout/LineLength
{ # :nocov: '0' => 'always-inline,coro-cond(coro-early,cgscc(coro-split),coro-cleanup,globaldce),function(annotation-remarks),verify', '1' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,libcalls-shrinkwrap,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,memcpyopt,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,coro-elide,adce,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O1>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify', '2' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,openmp-opt-cgscc,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,aggressive-instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,slp-vectorizer,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O2>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify', '3' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>,callsite-splitting),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,argpromotion,openmp-opt-cgscc,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,aggressive-instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,chr,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,slp-vectorizer,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O3>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify', 's' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,aggressive-instcombine,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,slp-vectorizer,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O2>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify', 'z' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,aggressive-instcombine,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<no-header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<no-header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O2>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify', # :nocov: }.freeze
Instance Attribute Summary collapse
-
#inliner_threshold ⇒ Object
Returns the value of attribute inliner_threshold.
-
#merge_functions ⇒ Object
Returns the value of attribute merge_functions.
-
#passes ⇒ Object
readonly
Returns the value of attribute passes.
Instance Method Summary collapse
-
#adce! ⇒ Object
Aggressive Dead Code Elimination.
-
#add_discriminators! ⇒ Object
Self.
- #add_function_pass ⇒ Object
-
#add_pass(pass) ⇒ Object
Self.
-
#alignment_from_assumptions! ⇒ Object
Self.
-
#always_inline! ⇒ Object
Inlines functions marked as “always_inline”.
-
#argpromotion! ⇒ Object
(also: #arg_promote!)
Self.
-
#asan!(options = {}) ⇒ Object
Address Sanitizer TODO: takes params clang.llvm.org/docs/AddressSanitizer.html llvm.org/doxygen/AddressSanitizer_8h_source.html llvm.org/doxygen/AddressSanitizer_8cpp_source.html.
-
#basic_aa! ⇒ Object
(also: #basicaa!)
Self.
- #bb_vectorize! ⇒ Object
-
#bdce! ⇒ Object
Bit-Tracking Dead Code Elimination pass.
-
#called_value_propagation! ⇒ Object
Propagate called values This file implements a transformation that attaches !callees metadata to indirect call sites.
-
#constmerge! ⇒ Object
(also: #const_merge!)
ConstantMerge is designed to build up a map of available constants and eliminate duplicates when it is initialized.
- #constprop! ⇒ Object
-
#correlated_propagation! ⇒ Object
Self.
-
#cvprop! ⇒ Object
Self.
-
#dce! ⇒ Object
Self.
-
#deadargelim! ⇒ Object
(also: #dae!)
Self.
-
#dfsan! ⇒ Object
DataFlow Sanitizer clang.llvm.org/docs/DataFlowSanitizer.html.
-
#dse! ⇒ Object
Dead Store Elimination his file implements a trivial dead store elimination that only considers basic-block local redundant stores.
-
#early_cse! ⇒ Object
A simple and fast domtree-based CSE pass.
-
#early_cse_memssa! ⇒ Object
A simple and fast domtree-based CSE pass.
-
#function_attrs! ⇒ Object
(also: #fun_attrs!)
Self.
-
#global_opt! ⇒ Object
Self.
-
#globaldce! ⇒ Object
(also: #gdce!)
Global Dead Code Elimination TODO: takes params.
-
#gobals_aa! ⇒ Object
Self.
-
#gvn! ⇒ Object
Global Value Numbering pass llvm.org/doxygen/GVN_8h_source.html TODO: takes params.
-
#gvn_hoist! ⇒ Object
hoists expressions from branches to a common dominator.
-
#gvn_sink! ⇒ Object
sink instructions into successors llvm.org/doxygen/GVNSink_8cpp_source.html.
-
#hwasan!(_options = {}) ⇒ Object
Hardware Assisted Address Sanitiver TODO: takes params clang.llvm.org/docs/HardwareAssistedAddressSanitizerDesign.html llvm.org/doxygen/HWAddressSanitizer_8cpp_source.html.
-
#indvars! ⇒ Object
Self.
-
#initialize ⇒ PassBuilder
constructor
rubocop:enable Layout/LineLength.
-
#inline! ⇒ Object
The inliner pass for the new pass manager.
-
#instcombine! ⇒ Object
Combine instructions to form fewer, simple instructions.
-
#instsimplify! ⇒ Object
Self.
-
#internalize!(preserve_gv = []) ⇒ Object
preserve_gv - true / false to support previous option of all_but_main otherwise preserve_gv is assumed to be an array of global variable names internalize<preserve-gv=GV> tests showing usage: github.com/llvm/llvm-project/blob/a4b429f9e4175a06cc95f054c5dab3d4bc8fa690/llvm/test/Transforms/Internalize/lists.ll#L17.
- #ipcp! ⇒ Object
-
#ipsccp! ⇒ Object
This pass implements interprocedural sparse conditional constant propagation and merging.
-
#jump_threading! ⇒ Object
Self.
-
#lcssa! ⇒ Object
Self.
-
#licm! ⇒ Object
Self.
-
#loop_deletion! ⇒ Object
Self.
-
#loop_idiom! ⇒ Object
Self.
-
#loop_reroll! ⇒ Object
Self.
-
#loop_rotate! ⇒ Object
Self.
-
#loop_unroll! ⇒ Object
Self.
-
#loop_unroll_and_jam! ⇒ Object
Self.
-
#loop_unswitch! ⇒ Object
Self.
-
#loop_vectorize! ⇒ Object
TODO: takes params.
-
#lower_atomic! ⇒ Object
(also: #loweratomic!)
Self.
-
#lower_constant_intrinsics! ⇒ Object
Self.
-
#lower_expect! ⇒ Object
Self.
-
#lower_switch! ⇒ Object
(also: #lowerswitch!)
Self.
-
#mem2reg! ⇒ Object
Self.
-
#memcpyopt! ⇒ Object
Self.
-
#memoryssa! ⇒ Object
Self.
-
#mergefunc! ⇒ Object
This pass looks for equivalent functions that are mergable and folds them.
-
#mergeicmps! ⇒ Object
Self.
-
#mergereturn! ⇒ Object
Self.
-
#mldst_motion! ⇒ Object
Merged Load Store Motion.
-
#module_summary! ⇒ Object
Self.
-
#msan!(options = {}) ⇒ Object
Memory Sanitizer TODO: takes params llvm.org/doxygen/MemorySanitizer_8cpp.html llvm.org/doxygen/MemorySanitizer_8h_source.html clang.llvm.org/docs/MemorySanitizer.html KernelMemorySanitizer only supports X86_64 and SystemZ at the moment.
-
#newgvn! ⇒ Object
New Global Value Numbering pass llvm.org/doxygen/NewGVN_8cpp.html#details.
-
#no_op_cgscc! ⇒ Object
Self.
-
#no_op_function! ⇒ Object
Self.
-
#no_op_module! ⇒ Object
Self.
-
#o!(opt_level = '0', options = {}) ⇒ Object
–O0 - Optimization level 0.
-
#objc_arc_aa! ⇒ Object
Self.
-
#partial_inliner! ⇒ Object
This pass performs partial inlining, typically by inlining an if statement that surrounds the body of the function.
-
#partially_inline_libcalls! ⇒ Object
Self.
- #pass_string ⇒ Object
- #prune_eh! ⇒ Object
-
#reassociate! ⇒ Object
Self.
-
#reg2mem! ⇒ Object
Self.
- #run(mod, target) ⇒ Object
- #sancov_module! ⇒ Object
- #sanmd_module! ⇒ Object
-
#scalarizer! ⇒ Object
Self.
- #scalarrepl! ⇒ Object
- #scalarrepl_ssa! ⇒ Object
- #scalarrepl_threshold!(_threshold = 0) ⇒ Object
-
#sccp! ⇒ Object
Self.
-
#scev_aa! ⇒ Object
Self.
-
#scoped_noalias_aa! ⇒ Object
Self.
-
#simple_loop_unswitch! ⇒ Object
Self.
- #simplify_libcalls! ⇒ Object
-
#simplifycfg! ⇒ Object
A pass to simplify and canonicalize the CFG of a function.
-
#slp_vectorize! ⇒ Object
Self.
-
#slp_vectorizer! ⇒ Object
Self.
-
#sroa! ⇒ Object
Scalar Replacement Of Aggregates llvm.org/doxygen/SROA_8h_source.html llvm.org/doxygen/SROA_8cpp.html.
-
#stack_safety! ⇒ Object
Self.
-
#strip! ⇒ Object
Self.
-
#strip_dead_prototypes! ⇒ Object
(also: #sdp!)
Self.
-
#tailcallelim! ⇒ Object
Self.
-
#tbaa! ⇒ Object
Self.
-
#tsan! ⇒ Object
Thread Sanitizer clang.llvm.org/docs/ThreadSanitizer.html.
-
#tsan_module! ⇒ Object
Thread Sanitiver - Module clang.llvm.org/docs/ThreadSanitizer.html.
-
#verify! ⇒ Object
Self.
Constructor Details
#initialize ⇒ PassBuilder
rubocop:enable Layout/LineLength
24 25 26 27 28 |
# File 'lib/llvm/pass_builder.rb', line 24 def initialize @passes = [] @inliner_threshold = nil @merge_functions = nil end |
Instance Attribute Details
#inliner_threshold ⇒ Object
Returns the value of attribute inliner_threshold.
9 10 11 |
# File 'lib/llvm/pass_builder.rb', line 9 def inliner_threshold @inliner_threshold end |
#merge_functions ⇒ Object
Returns the value of attribute merge_functions.
9 10 11 |
# File 'lib/llvm/pass_builder.rb', line 9 def merge_functions @merge_functions end |
#passes ⇒ Object
Returns the value of attribute passes.
8 9 10 |
# File 'lib/llvm/pass_builder.rb', line 8 def passes @passes end |
Instance Method Details
#adce! ⇒ Object
Aggressive Dead Code Elimination
467 468 469 |
# File 'lib/llvm/pass_builder.rb', line 467 def adce! add_pass('adce') end |
#add_discriminators! ⇒ Object
Returns self.
352 353 354 |
# File 'lib/llvm/pass_builder.rb', line 352 def add_discriminators! add_pass('add-discriminators') end |
#add_function_pass ⇒ Object
30 31 32 33 34 35 36 37 |
# File 'lib/llvm/pass_builder.rb', line 30 def add_function_pass pb = PassBuilder.new if block_given? yield pb end add_pass("function(#{pb.pass_string})") end |
#add_pass(pass) ⇒ Object
Returns self.
64 65 66 67 |
# File 'lib/llvm/pass_builder.rb', line 64 def add_pass(pass) passes << pass self end |
#alignment_from_assumptions! ⇒ Object
Returns self.
143 144 145 |
# File 'lib/llvm/pass_builder.rb', line 143 def alignment_from_assumptions! add_pass('alignment-from-assumptions') end |
#always_inline! ⇒ Object
Inlines functions marked as “always_inline”. llvm.org/doxygen/AlwaysInliner_8h_source.html llvm.org/doxygen/AlwaysInliner_8cpp_source.html
410 411 412 |
# File 'lib/llvm/pass_builder.rb', line 410 def always_inline! add_pass('always-inline') end |
#argpromotion! ⇒ Object Also known as: arg_promote!
Returns self.
551 552 553 |
# File 'lib/llvm/pass_builder.rb', line 551 def argpromotion! add_pass('argpromotion') end |
#asan!(options = {}) ⇒ Object
Address Sanitizer TODO: takes params clang.llvm.org/docs/AddressSanitizer.html llvm.org/doxygen/AddressSanitizer_8h_source.html llvm.org/doxygen/AddressSanitizer_8cpp_source.html
595 596 597 598 |
# File 'lib/llvm/pass_builder.rb', line 595 def asan!( = {}) opt_str = [:kernel] ? '<kernel>' : '' add_pass("asan#{opt_str}") end |
#basic_aa! ⇒ Object Also known as: basicaa!
Returns self.
367 368 369 |
# File 'lib/llvm/pass_builder.rb', line 367 def basic_aa! add_pass('require<basic-aa>') end |
#bb_vectorize! ⇒ Object
679 680 681 682 |
# File 'lib/llvm/pass_builder.rb', line 679 def bb_vectorize! warn('bb_vectorize! / LLVMAddBBVectorizePass was removed from LLVM - replace with slp_vectorize!') slp_vectorize! end |
#bdce! ⇒ Object
Bit-Tracking Dead Code Elimination pass
538 539 540 |
# File 'lib/llvm/pass_builder.rb', line 538 def bdce! add_pass('bdce') end |
#called_value_propagation! ⇒ Object
Propagate called values This file implements a transformation that attaches !callees metadata to indirect call sites. For a given call site, the metadata, if present, indicates the set of functions the call site could possibly target at run-time. This metadata is added to indirect call sites when the set of possible targets can be determined by analysis and is known to be small. The analysis driving the transformation is similar to constant propagation and makes uses of the generic sparse propagation solver. llvm.org/doxygen/CalledValuePropagation_8h_source.html
444 445 446 |
# File 'lib/llvm/pass_builder.rb', line 444 def called_value_propagation! add_pass('called-value-propagation') end |
#constmerge! ⇒ Object Also known as: const_merge!
ConstantMerge is designed to build up a map of available constants and eliminate duplicates when it is initialized. llvm.org/doxygen/ConstantMerge_8cpp_source.html llvm.org/doxygen/ConstantMerge_8h_source.html
459 460 461 |
# File 'lib/llvm/pass_builder.rb', line 459 def constmerge! add_pass('constmerge') end |
#constprop! ⇒ Object
684 685 686 |
# File 'lib/llvm/pass_builder.rb', line 684 def constprop! warn('constprop! / LLVMAddConstantPropagationPass was removed from LLVM') end |
#correlated_propagation! ⇒ Object
Returns self.
332 333 334 |
# File 'lib/llvm/pass_builder.rb', line 332 def add_pass('correlated-propagation') end |
#cvprop! ⇒ Object
Returns self.
327 328 329 |
# File 'lib/llvm/pass_builder.rb', line 327 def cvprop! end |
#dce! ⇒ Object
Returns self.
70 71 72 |
# File 'lib/llvm/pass_builder.rb', line 70 def dce! add_pass('dce') end |
#deadargelim! ⇒ Object Also known as: dae!
Returns self.
449 450 451 |
# File 'lib/llvm/pass_builder.rb', line 449 def deadargelim! add_pass('deadargelim') end |
#dfsan! ⇒ Object
DataFlow Sanitizer clang.llvm.org/docs/DataFlowSanitizer.html
615 616 617 |
# File 'lib/llvm/pass_builder.rb', line 615 def dfsan! add_pass('dfsan') end |
#dse! ⇒ Object
Dead Store Elimination his file implements a trivial dead store elimination that only considers basic-block local redundant stores. llvm.org/doxygen/DeadStoreElimination_8h_source.html
546 547 548 |
# File 'lib/llvm/pass_builder.rb', line 546 def dse! add_pass('dse') end |
#early_cse! ⇒ Object
A simple and fast domtree-based CSE pass.
This pass does a simple depth-first walk over the dominator tree, eliminating trivially redundant instructions and using instsimplify to canonicalize things as it goes. It is intended to be fast and catch obvious cases so that instcombine and other passes are more effective. It is expected that a later pass of GVN will catch the interesting/hard cases. llvm.org/doxygen/EarlyCSE_8h_source.html llvm.org/doxygen/EarlyCSE_8cpp.html
291 292 293 |
# File 'lib/llvm/pass_builder.rb', line 291 def early_cse! add_pass('early-cse') end |
#early_cse_memssa! ⇒ Object
A simple and fast domtree-based CSE pass. llvm.org/doxygen/EarlyCSE_8h_source.html llvm.org/doxygen/EarlyCSE_8cpp.html
299 300 301 |
# File 'lib/llvm/pass_builder.rb', line 299 def early_cse_memssa! add_pass('early-cse<memssa>') end |
#function_attrs! ⇒ Object Also known as: fun_attrs!
Returns self.
472 473 474 |
# File 'lib/llvm/pass_builder.rb', line 472 def function_attrs! add_pass('function-attrs') end |
#global_opt! ⇒ Object
Returns self.
523 524 525 |
# File 'lib/llvm/pass_builder.rb', line 523 def global_opt! add_pass('globalopt') end |
#globaldce! ⇒ Object Also known as: gdce!
Global Dead Code Elimination TODO: takes params
530 531 532 |
# File 'lib/llvm/pass_builder.rb', line 530 def globaldce! add_pass('globaldce') end |
#gobals_aa! ⇒ Object
Returns self.
394 395 396 |
# File 'lib/llvm/pass_builder.rb', line 394 def gobals_aa! add_pass('require<globals-aa>') end |
#gvn! ⇒ Object
Global Value Numbering pass llvm.org/doxygen/GVN_8h_source.html TODO: takes params
107 108 109 |
# File 'lib/llvm/pass_builder.rb', line 107 def gvn! add_pass('gvn') end |
#gvn_hoist! ⇒ Object
hoists expressions from branches to a common dominator. llvm.org/doxygen/GVNHoist_8cpp_source.html
121 122 123 |
# File 'lib/llvm/pass_builder.rb', line 121 def gvn_hoist! add_pass('gvn-hoist') end |
#gvn_sink! ⇒ Object
sink instructions into successors llvm.org/doxygen/GVNSink_8cpp_source.html
128 129 130 |
# File 'lib/llvm/pass_builder.rb', line 128 def gvn_sink! add_pass('gvn-sink') end |
#hwasan!(_options = {}) ⇒ Object
Hardware Assisted Address Sanitiver TODO: takes params clang.llvm.org/docs/HardwareAssistedAddressSanitizerDesign.html llvm.org/doxygen/HWAddressSanitizer_8cpp_source.html
585 586 587 |
# File 'lib/llvm/pass_builder.rb', line 585 def hwasan!( = {}) add_pass('hwasan') end |
#indvars! ⇒ Object
Returns self.
138 139 140 |
# File 'lib/llvm/pass_builder.rb', line 138 def indvars! add_pass('indvars') end |
#inline! ⇒ Object
The inliner pass for the new pass manager. llvm.org/doxygen/classllvm_1_1InlinerPass.html llvm.org/doxygen/Inliner_8h_source.html llvm.org/doxygen/Inliner_8cpp_source.html
562 563 564 |
# File 'lib/llvm/pass_builder.rb', line 562 def inline! add_pass('inline') end |
#instcombine! ⇒ Object
Combine instructions to form fewer, simple instructions. This pass does not modify the CFG. This pass is where algebraic simplification happens. llvm.org/doxygen/InstructionCombining_8cpp_source.html llvm.org/doxygen/InstCombineInternal_8h_source.html
209 210 211 |
# File 'lib/llvm/pass_builder.rb', line 209 def instcombine! add_pass('instcombine') end |
#instsimplify! ⇒ Object
Returns self.
214 215 216 |
# File 'lib/llvm/pass_builder.rb', line 214 def instsimplify! add_pass('instsimplify') end |
#internalize!(preserve_gv = []) ⇒ Object
preserve_gv - true / false to support previous option of all_but_main otherwise preserve_gv is assumed to be an array of global variable names internalize<preserve-gv=GV> tests showing usage: github.com/llvm/llvm-project/blob/a4b429f9e4175a06cc95f054c5dab3d4bc8fa690/llvm/test/Transforms/Internalize/lists.ll#L17
495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 |
# File 'lib/llvm/pass_builder.rb', line 495 def internalize!(preserve_gv = []) preserved = case preserve_gv when true ['main'] when false [] else preserve_gv end preserved_string = preserved.map { |gv| "preserve-gv=#{gv}" }.join(';') if preserved_string.empty? add_pass('internalize') else add_pass("internalize<#{preserved_string}>") end end |
#ipcp! ⇒ Object
649 650 651 |
# File 'lib/llvm/pass_builder.rb', line 649 def ipcp! deprecated('ipcp! / LLVMAddIPConstantPropagationPass was removed from LLVM') end |
#ipsccp! ⇒ Object
accept parameters ipsccp<no-func-spec;func-spec>
This pass implements interprocedural sparse conditional constant propagation and merging. llvm.org/doxygen/IPO_2SCCP_8h_source.html llvm.org/doxygen/IPO_2SCCP_8cpp_source.html
518 519 520 |
# File 'lib/llvm/pass_builder.rb', line 518 def ipsccp! add_pass('ipsccp') end |
#jump_threading! ⇒ Object
Returns self.
133 134 135 |
# File 'lib/llvm/pass_builder.rb', line 133 def jump_threading! add_pass('jump-threading') end |
#lcssa! ⇒ Object
Returns self.
304 305 306 |
# File 'lib/llvm/pass_builder.rb', line 304 def lcssa! add_pass('lcssa') end |
#licm! ⇒ Object
Returns self.
75 76 77 |
# File 'lib/llvm/pass_builder.rb', line 75 def licm! add_pass('licm') end |
#loop_deletion! ⇒ Object
Returns self.
148 149 150 |
# File 'lib/llvm/pass_builder.rb', line 148 def loop_deletion! add_pass('loop-deletion') end |
#loop_idiom! ⇒ Object
Returns self.
153 154 155 |
# File 'lib/llvm/pass_builder.rb', line 153 def loop_idiom! add_pass('loop-idiom') end |
#loop_reroll! ⇒ Object
Returns self.
163 164 165 |
# File 'lib/llvm/pass_builder.rb', line 163 def loop_reroll! deprecated('loop-reroll pass was removed in LLVM 19') end |
#loop_rotate! ⇒ Object
Returns self.
158 159 160 |
# File 'lib/llvm/pass_builder.rb', line 158 def loop_rotate! add_pass('loop-rotate') end |
#loop_unroll! ⇒ Object
Returns self.
168 169 170 |
# File 'lib/llvm/pass_builder.rb', line 168 def loop_unroll! add_pass('loop-unroll') end |
#loop_unroll_and_jam! ⇒ Object
Returns self.
173 174 175 |
# File 'lib/llvm/pass_builder.rb', line 173 def loop_unroll_and_jam! add_pass('loop-unroll-and-jam') end |
#loop_unswitch! ⇒ Object
Returns self.
183 184 185 |
# File 'lib/llvm/pass_builder.rb', line 183 def loop_unswitch! simple_loop_unswitch! end |
#loop_vectorize! ⇒ Object
TODO: takes params
189 190 191 |
# File 'lib/llvm/pass_builder.rb', line 189 def loop_vectorize! add_pass('loop-vectorize') end |
#lower_atomic! ⇒ Object Also known as: loweratomic!
Returns self.
219 220 221 222 |
# File 'lib/llvm/pass_builder.rb', line 219 def lower_atomic! # TODO: change in LLVM-19 add_pass('loweratomic') end |
#lower_constant_intrinsics! ⇒ Object
Returns self.
337 338 339 |
# File 'lib/llvm/pass_builder.rb', line 337 def lower_constant_intrinsics! add_pass('lower-constant-intrinsics') end |
#lower_expect! ⇒ Object
Returns self.
322 323 324 |
# File 'lib/llvm/pass_builder.rb', line 322 def lower_expect! add_pass('lower-expect') end |
#lower_switch! ⇒ Object Also known as: lowerswitch!
Returns self.
399 400 401 402 |
# File 'lib/llvm/pass_builder.rb', line 399 def lower_switch! # TODO: change in LLVM-19 add_pass('lowerswitch') end |
#mem2reg! ⇒ Object
Returns self.
247 248 249 |
# File 'lib/llvm/pass_builder.rb', line 247 def mem2reg! add_pass('mem2reg') end |
#memcpyopt! ⇒ Object
Returns self.
194 195 196 |
# File 'lib/llvm/pass_builder.rb', line 194 def memcpyopt! add_pass('memcpyopt') end |
#memoryssa! ⇒ Object
Returns self.
309 310 311 |
# File 'lib/llvm/pass_builder.rb', line 309 def memoryssa! add_pass('require<memoryssa>') end |
#mergefunc! ⇒ Object
This pass looks for equivalent functions that are mergable and folds them. llvm.org/docs/MergeFunctions.html llvm.org/doxygen/MergeFunctions_8cpp_source.html llvm.org/doxygen/MergeFunctions_8h_source.html
430 431 432 |
# File 'lib/llvm/pass_builder.rb', line 430 def mergefunc! add_pass('mergefunc') end |
#mergeicmps! ⇒ Object
Returns self.
362 363 364 |
# File 'lib/llvm/pass_builder.rb', line 362 def mergeicmps! add_pass('mergeicmps') end |
#mergereturn! ⇒ Object
Returns self.
357 358 359 |
# File 'lib/llvm/pass_builder.rb', line 357 def mergereturn! add_pass('mergereturn') end |
#mldst_motion! ⇒ Object
Merged Load Store Motion
99 100 101 |
# File 'lib/llvm/pass_builder.rb', line 99 def mldst_motion! add_pass('mldst-motion') end |
#module_summary! ⇒ Object
Returns self.
257 258 259 |
# File 'lib/llvm/pass_builder.rb', line 257 def module_summary! add_pass('require<module-summary>') end |
#msan!(options = {}) ⇒ Object
Memory Sanitizer TODO: takes params llvm.org/doxygen/MemorySanitizer_8cpp.html llvm.org/doxygen/MemorySanitizer_8h_source.html clang.llvm.org/docs/MemorySanitizer.html KernelMemorySanitizer only supports X86_64 and SystemZ at the moment.
607 608 609 610 |
# File 'lib/llvm/pass_builder.rb', line 607 def msan!( = {}) opt_str = [:kernel] ? '<kernel>' : '' add_pass("msan#{opt_str}") end |
#newgvn! ⇒ Object
New Global Value Numbering pass llvm.org/doxygen/NewGVN_8cpp.html#details
114 115 116 |
# File 'lib/llvm/pass_builder.rb', line 114 def newgvn! add_pass('newgvn') end |
#no_op_cgscc! ⇒ Object
Returns self.
267 268 269 |
# File 'lib/llvm/pass_builder.rb', line 267 def no_op_cgscc! add_pass('no-op-cgscc') end |
#no_op_function! ⇒ Object
Returns self.
272 273 274 |
# File 'lib/llvm/pass_builder.rb', line 272 def no_op_function! add_pass('no-op-function') end |
#no_op_module! ⇒ Object
Returns self.
262 263 264 |
# File 'lib/llvm/pass_builder.rb', line 262 def no_op_module! add_pass('no-op-module') end |
#o!(opt_level = '0', options = {}) ⇒ Object
–O0 - Optimization level 0. Similar to clang -O0. Use -passes=‘default<O0>’ for the new PM –O1 - Optimization level 1. Similar to clang -O1. Use -passes=‘default<O1>’ for the new PM –O2 - Optimization level 2. Similar to clang -O2. Use -passes=‘default<O2>’ for the new PM –O3 - Optimization level 3. Similar to clang -O3. Use -passes=‘default<O3>’ for the new PM –Os - Like -O2 but size-conscious. Similar to clang -Os. Use -passes=‘default<Os>’ for the new PM –Oz - Like -O2 but optimize for code size above all else. Similar to clang -Oz. Use -passes=‘default<Oz>’ for the new PM
46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 |
# File 'lib/llvm/pass_builder.rb', line 46 def o!(opt_level = '0', = {}) opt_level = opt_level.to_s = OPT_PASSES[opt_level] if .nil? return add_pass("default<O#{opt_level}>") end if [:disable_inline] = .gsub('devirt<4>(inline,', 'devirt<4>(') end if [:disable_always_inline] = .gsub('always-inline,', '') end add_pass() end |
#objc_arc_aa! ⇒ Object
Returns self.
374 375 376 |
# File 'lib/llvm/pass_builder.rb', line 374 def objc_arc_aa! add_pass('require<objc-arc-aa>') end |
#partial_inliner! ⇒ Object
This pass performs partial inlining, typically by inlining an if statement that surrounds the body of the function. llvm.org/doxygen/PartialInlining_8h_source.html llvm.org/doxygen/PartialInlining_8cpp_source.html llvm.org/doxygen/PartialInlining_8h.html llvm.org/doxygen/PartialInlining_8cpp.html
421 422 423 |
# File 'lib/llvm/pass_builder.rb', line 421 def partial_inliner! add_pass('partial-inliner') end |
#partially_inline_libcalls! ⇒ Object
Returns self.
227 228 229 |
# File 'lib/llvm/pass_builder.rb', line 227 def partially_inline_libcalls! add_pass('partially-inline-libcalls') end |
#pass_string ⇒ Object
645 646 647 |
# File 'lib/llvm/pass_builder.rb', line 645 def pass_string passes.join(',') end |
#prune_eh! ⇒ Object
653 654 655 |
# File 'lib/llvm/pass_builder.rb', line 653 def prune_eh! deprecated('prune_eh! / LLVMAddPruneEHPass was removed in LLVM 16') end |
#reassociate! ⇒ Object
Returns self.
232 233 234 |
# File 'lib/llvm/pass_builder.rb', line 232 def reassociate! add_pass('reassociate') end |
#reg2mem! ⇒ Object
Returns self.
242 243 244 |
# File 'lib/llvm/pass_builder.rb', line 242 def reg2mem! add_pass('reg2mem') end |
#run(mod, target) ⇒ Object
631 632 633 634 635 636 637 638 639 640 641 642 643 |
# File 'lib/llvm/pass_builder.rb', line 631 def run(mod, target) return self if passes.empty? error = { || C.run_passes(mod, pass_string, target, ) } if !error.null? error_msg = C.(error) # TODO: clone then dispose of error_msg, currently produces "munmap_chunk(): invalid pointer" # save_message = error_msg.clone # C.dispose_error_message(error_msg) raise ArgumentError, error_msg end self end |
#sancov_module! ⇒ Object
621 622 623 |
# File 'lib/llvm/pass_builder.rb', line 621 def sancov_module! add_pass('sancov-module') end |
#sanmd_module! ⇒ Object
627 628 629 |
# File 'lib/llvm/pass_builder.rb', line 627 def sanmd_module! add_pass('sanmd-module') end |
#scalarizer! ⇒ Object
Returns self.
93 94 95 |
# File 'lib/llvm/pass_builder.rb', line 93 def scalarizer! add_pass('scalarizer') end |
#scalarrepl! ⇒ Object
662 663 664 665 |
# File 'lib/llvm/pass_builder.rb', line 662 def scalarrepl! deprecated('scalarrepl was removed from LLVM in 2016 - use sroa') sroa! end |
#scalarrepl_ssa! ⇒ Object
668 669 670 671 |
# File 'lib/llvm/pass_builder.rb', line 668 def scalarrepl_ssa! deprecated('scalarrepl_ssa was removed from LLVM in 2016 - use sroa') sroa! end |
#scalarrepl_threshold!(_threshold = 0) ⇒ Object
674 675 676 677 |
# File 'lib/llvm/pass_builder.rb', line 674 def scalarrepl_threshold!(_threshold = 0) deprecated('scalarrepl_threshold was removed from LLVM in 2016 - use sroa') sroa! end |
#sccp! ⇒ Object
Returns self.
199 200 201 |
# File 'lib/llvm/pass_builder.rb', line 199 def sccp! add_pass('sccp') end |
#scev_aa! ⇒ Object
Returns self.
379 380 381 |
# File 'lib/llvm/pass_builder.rb', line 379 def scev_aa! add_pass('require<scev-aa>') end |
#scoped_noalias_aa! ⇒ Object
Returns self.
384 385 386 |
# File 'lib/llvm/pass_builder.rb', line 384 def scoped_noalias_aa! add_pass('require<scoped-noalias-aa>') end |
#simple_loop_unswitch! ⇒ Object
Returns self.
178 179 180 |
# File 'lib/llvm/pass_builder.rb', line 178 def simple_loop_unswitch! add_pass('simple-loop-unswitch') end |
#simplify_libcalls! ⇒ Object
657 658 659 |
# File 'lib/llvm/pass_builder.rb', line 657 def simplify_libcalls! deprecated('simplify_libcalls! / LLVMAddSimplifyLibCallsPass was removed from LLVM') end |
#simplifycfg! ⇒ Object
A pass to simplify and canonicalize the CFG of a function. This pass iteratively simplifies the entire CFG of a function. It may change or remove control flow to put the CFG into a canonical form expected by other passes of the mid-level optimizer. Depending on the specified options, it may further optimize control-flow to create non-canonical form llvm.org/doxygen/SimplifyCFG_8h_source.html TODO: takes params Options: simplifycfg<no-forward-switch-cond;forward-switch-cond;no-switch-range-to-icmp;switch-range-to-icmp;no-switch-to-lookup;switch-to-lookup;no-keep-loops;keep-loops;no-hoist-common-insts;hoist-common-insts;no-sink-common-insts;sink-common-insts;bonus-inst-threshold=N>
88 89 90 |
# File 'lib/llvm/pass_builder.rb', line 88 def simplifycfg! add_pass('simplifycfg') end |
#slp_vectorize! ⇒ Object
Returns self.
342 343 344 |
# File 'lib/llvm/pass_builder.rb', line 342 def slp_vectorize! slp_vectorizer! end |
#slp_vectorizer! ⇒ Object
Returns self.
347 348 349 |
# File 'lib/llvm/pass_builder.rb', line 347 def slp_vectorizer! add_pass('slp-vectorizer') end |
#sroa! ⇒ Object
Scalar Replacement Of Aggregates llvm.org/doxygen/SROA_8h_source.html llvm.org/doxygen/SROA_8cpp.html
317 318 319 |
# File 'lib/llvm/pass_builder.rb', line 317 def sroa! add_pass('sroa') end |
#stack_safety! ⇒ Object
Returns self.
277 278 279 |
# File 'lib/llvm/pass_builder.rb', line 277 def stack_safety! add_pass('require<stack-safety>') end |
#strip! ⇒ Object
Returns self.
479 480 481 |
# File 'lib/llvm/pass_builder.rb', line 479 def strip! add_pass('strip') end |
#strip_dead_prototypes! ⇒ Object Also known as: sdp!
Returns self.
484 485 486 |
# File 'lib/llvm/pass_builder.rb', line 484 def strip_dead_prototypes! add_pass('strip-dead-prototypes') end |
#tailcallelim! ⇒ Object
Returns self.
237 238 239 |
# File 'lib/llvm/pass_builder.rb', line 237 def tailcallelim! add_pass('tailcallelim') end |
#tbaa! ⇒ Object
Returns self.
389 390 391 |
# File 'lib/llvm/pass_builder.rb', line 389 def tbaa! add_pass('require<tbaa>') end |
#tsan! ⇒ Object
Thread Sanitizer clang.llvm.org/docs/ThreadSanitizer.html
569 570 571 |
# File 'lib/llvm/pass_builder.rb', line 569 def tsan! add_pass('tsan') end |
#tsan_module! ⇒ Object
Thread Sanitiver - Module clang.llvm.org/docs/ThreadSanitizer.html
576 577 578 |
# File 'lib/llvm/pass_builder.rb', line 576 def tsan_module! add_pass('tsan-module') end |
#verify! ⇒ Object
Returns self.
252 253 254 |
# File 'lib/llvm/pass_builder.rb', line 252 def verify! add_pass('verify') end |