Class: LLVM::PassBuilder

Inherits:
Object
  • Object
show all
Extended by:
FFI::Library
Defined in:
lib/llvm/transforms/pass_builder.rb

Overview

rubocop:disable Metrics/ClassLength

Constant Summary collapse

OPT_PASSES =

rubocop:disable Layout/LineLength

{
  '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',
}.freeze

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initializePassBuilder

rubocop:enable Layout/LineLength



22
23
24
25
26
# File 'lib/llvm/transforms/pass_builder.rb', line 22

def initialize
  @passes = []
  @inliner_threshold = nil
  @merge_functions = nil
end

Instance Attribute Details

#inliner_thresholdObject

Returns the value of attribute inliner_threshold.



9
10
11
# File 'lib/llvm/transforms/pass_builder.rb', line 9

def inliner_threshold
  @inliner_threshold
end

#merge_functionsObject

Returns the value of attribute merge_functions.



9
10
11
# File 'lib/llvm/transforms/pass_builder.rb', line 9

def merge_functions
  @merge_functions
end

#passesObject

Returns the value of attribute passes.



8
9
10
# File 'lib/llvm/transforms/pass_builder.rb', line 8

def passes
  @passes
end

Instance Method Details

#adce!Object

Aggressive Dead Code Elimination

Returns:

  • self



448
449
450
# File 'lib/llvm/transforms/pass_builder.rb', line 448

def adce!
  add_pass('adce')
end

#add_discriminators!Object

Returns self.

Returns:

  • self



347
348
349
# File 'lib/llvm/transforms/pass_builder.rb', line 347

def add_discriminators!
  add_pass('add-discriminators')
end

#add_function_passObject



28
29
30
31
32
33
34
35
# File 'lib/llvm/transforms/pass_builder.rb', line 28

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.

Returns:

  • self



62
63
64
65
# File 'lib/llvm/transforms/pass_builder.rb', line 62

def add_pass(pass)
  passes << pass
  self
end

#alignment_from_assumptions!Object

Returns self.

Returns:

  • self



141
142
143
# File 'lib/llvm/transforms/pass_builder.rb', line 141

def alignment_from_assumptions!
  add_pass('alignment-from-assumptions')
end

#always_inline!Object

Returns:

  • self



402
403
404
# File 'lib/llvm/transforms/pass_builder.rb', line 402

def always_inline!
  add_pass('always-inline')
end

#argpromotion!Object Also known as: arg_promote!

Returns self.

Returns:

  • self



515
516
517
# File 'lib/llvm/transforms/pass_builder.rb', line 515

def argpromotion!
  add_pass('argpromotion')
end

#asan!(options = {}) ⇒ Object

Returns:

  • self



559
560
561
562
# File 'lib/llvm/transforms/pass_builder.rb', line 559

def asan!(options = {})
  opt_str = options[:kernel] ? '<kernel>' : ''
  add_pass("asan#{opt_str}")
end

#basic_aa!Object Also known as: basicaa!

Returns self.

Returns:

  • self



362
363
364
# File 'lib/llvm/transforms/pass_builder.rb', line 362

def basic_aa!
  add_pass('require<basic-aa>')
end

#bb_vectorize!Object



637
638
639
640
# File 'lib/llvm/transforms/pass_builder.rb', line 637

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

Returns:

  • self



502
503
504
# File 'lib/llvm/transforms/pass_builder.rb', line 502

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

Returns:

  • self



425
426
427
# File 'lib/llvm/transforms/pass_builder.rb', line 425

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

Returns:

  • self



440
441
442
# File 'lib/llvm/transforms/pass_builder.rb', line 440

def constmerge!
  add_pass('constmerge')
end

#constprop!Object



642
643
644
# File 'lib/llvm/transforms/pass_builder.rb', line 642

def constprop!
  warn('constprop! / LLVMAddConstantPropagationPass was removed from LLVM')
end

#correlated_propagation!Object

Returns self.

Returns:

  • self



327
328
329
# File 'lib/llvm/transforms/pass_builder.rb', line 327

def correlated_propagation!
  add_pass('correlated-propagation')
end

#cvprop!Object

Returns self.

Returns:

  • self



322
323
324
# File 'lib/llvm/transforms/pass_builder.rb', line 322

def cvprop!
  correlated_propagation!
end

#dce!Object

Returns self.

Returns:

  • self



68
69
70
# File 'lib/llvm/transforms/pass_builder.rb', line 68

def dce!
  add_pass('dce')
end

#deadargelim!Object Also known as: dae!

Returns self.

Returns:

  • self



430
431
432
# File 'lib/llvm/transforms/pass_builder.rb', line 430

def deadargelim!
  add_pass('deadargelim')
end

#dfsan!Object

Returns:

  • self



579
580
581
# File 'lib/llvm/transforms/pass_builder.rb', line 579

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

Returns:

  • self



510
511
512
# File 'lib/llvm/transforms/pass_builder.rb', line 510

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

Returns:

  • self



286
287
288
# File 'lib/llvm/transforms/pass_builder.rb', line 286

def early_cse!
  add_pass('early-cse')
end

#early_cse_memssa!Object

Returns:

  • self



294
295
296
# File 'lib/llvm/transforms/pass_builder.rb', line 294

def early_cse_memssa!
  add_pass('early-cse<memssa>')
end

#function_attrs!Object Also known as: fun_attrs!

Returns self.

Returns:

  • self



453
454
455
# File 'lib/llvm/transforms/pass_builder.rb', line 453

def function_attrs!
  add_pass('function-attrs')
end

#global_opt!Object

Returns self.

Returns:

  • self



487
488
489
# File 'lib/llvm/transforms/pass_builder.rb', line 487

def global_opt!
  add_pass('globalopt')
end

#globaldce!Object Also known as: gdce!

Global Dead Code Elimination TODO: takes params

Returns:

  • self



494
495
496
# File 'lib/llvm/transforms/pass_builder.rb', line 494

def globaldce!
  add_pass('globaldce')
end

#gobals_aa!Object

Returns self.

Returns:

  • self



389
390
391
# File 'lib/llvm/transforms/pass_builder.rb', line 389

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

Returns:

  • self



105
106
107
# File 'lib/llvm/transforms/pass_builder.rb', line 105

def gvn!
  add_pass('gvn')
end

#gvn_hoist!Object

hoists expressions from branches to a common dominator. llvm.org/doxygen/GVNHoist_8cpp_source.html

Returns:

  • self



119
120
121
# File 'lib/llvm/transforms/pass_builder.rb', line 119

def gvn_hoist!
  add_pass('gvn-hoist')
end

#gvn_sink!Object

sink instructions into successors llvm.org/doxygen/GVNSink_8cpp_source.html

Returns:

  • self



126
127
128
# File 'lib/llvm/transforms/pass_builder.rb', line 126

def gvn_sink!
  add_pass('gvn-sink')
end

#hwasan!(_options = {}) ⇒ Object

Returns:

  • self



549
550
551
# File 'lib/llvm/transforms/pass_builder.rb', line 549

def hwasan!(_options = {})
  add_pass('hwasan')
end

#indvars!Object

Returns self.

Returns:

  • self



136
137
138
# File 'lib/llvm/transforms/pass_builder.rb', line 136

def indvars!
  add_pass('indvars')
end

#inline!Object

Returns:

  • self



526
527
528
# File 'lib/llvm/transforms/pass_builder.rb', line 526

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

Returns:

  • self



207
208
209
# File 'lib/llvm/transforms/pass_builder.rb', line 207

def instcombine!
  add_pass('instcombine')
end

#instsimplify!Object

Returns self.

Returns:

  • self



212
213
214
# File 'lib/llvm/transforms/pass_builder.rb', line 212

def instsimplify!
  add_pass('instsimplify')
end

#internalize!(_all_but_main = true) ⇒ Object

TODO: test this

Returns:

  • self



473
474
475
# File 'lib/llvm/transforms/pass_builder.rb', line 473

def internalize!(_all_but_main = true) # rubocop:disable Style/OptionalBooleanParameter
  add_pass('internalize')
end

#ipcp!Object



613
614
615
# File 'lib/llvm/transforms/pass_builder.rb', line 613

def ipcp!
  deprecated('ipcp! / LLVMAddIPConstantPropagationPass was removed from LLVM')
end

#ipsccp!Object

TODO:

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

Returns:

  • self



482
483
484
# File 'lib/llvm/transforms/pass_builder.rb', line 482

def ipsccp!
  add_pass('ipsccp')
end

#jump_threading!Object

Returns self.

Returns:

  • self



131
132
133
# File 'lib/llvm/transforms/pass_builder.rb', line 131

def jump_threading!
  add_pass('jump-threading')
end

#lcssa!Object

Returns self.

Returns:

  • self



299
300
301
# File 'lib/llvm/transforms/pass_builder.rb', line 299

def lcssa!
  add_pass('lcssa')
end

#licm!Object

Returns self.

Returns:

  • self



73
74
75
# File 'lib/llvm/transforms/pass_builder.rb', line 73

def licm!
  add_pass('licm')
end

#loop_deletion!Object

Returns self.

Returns:

  • self



146
147
148
# File 'lib/llvm/transforms/pass_builder.rb', line 146

def loop_deletion!
  add_pass('loop-deletion')
end

#loop_idiom!Object

Returns self.

Returns:

  • self



151
152
153
# File 'lib/llvm/transforms/pass_builder.rb', line 151

def loop_idiom!
  add_pass('loop-idiom')
end

#loop_reroll!Object

Returns self.

Returns:

  • self



161
162
163
# File 'lib/llvm/transforms/pass_builder.rb', line 161

def loop_reroll!
  add_pass('loop-reroll')
end

#loop_rotate!Object

Returns self.

Returns:

  • self



156
157
158
# File 'lib/llvm/transforms/pass_builder.rb', line 156

def loop_rotate!
  add_pass('loop-rotate')
end

#loop_unroll!Object

Returns self.

Returns:

  • self



166
167
168
# File 'lib/llvm/transforms/pass_builder.rb', line 166

def loop_unroll!
  add_pass('loop-unroll')
end

#loop_unroll_and_jam!Object

Returns self.

Returns:

  • self



171
172
173
# File 'lib/llvm/transforms/pass_builder.rb', line 171

def loop_unroll_and_jam!
  add_pass('loop-unroll-and-jam')
end

#loop_unswitch!Object

Returns self.

Returns:

  • self



181
182
183
# File 'lib/llvm/transforms/pass_builder.rb', line 181

def loop_unswitch!
  simple_loop_unswitch!
end

#loop_vectorize!Object

TODO: takes params

Returns:

  • self



187
188
189
# File 'lib/llvm/transforms/pass_builder.rb', line 187

def loop_vectorize!
  add_pass('loop-vectorize')
end

#lower_constant_intrinsics!Object

Returns self.

Returns:

  • self



332
333
334
# File 'lib/llvm/transforms/pass_builder.rb', line 332

def lower_constant_intrinsics!
  add_pass('lower-constant-intrinsics')
end

#lower_expect!Object

Returns self.

Returns:

  • self



317
318
319
# File 'lib/llvm/transforms/pass_builder.rb', line 317

def lower_expect!
  add_pass('lower-expect')
end

#loweratomic!Object

Returns self.

Returns:

  • self



217
218
219
# File 'lib/llvm/transforms/pass_builder.rb', line 217

def loweratomic!
  add_pass('loweratomic')
end

#lowerswitch!Object

Returns self.

Returns:

  • self



394
395
396
# File 'lib/llvm/transforms/pass_builder.rb', line 394

def lowerswitch!
  add_pass('lowerswitch')
end

#mem2reg!Object

Returns self.

Returns:

  • self



242
243
244
# File 'lib/llvm/transforms/pass_builder.rb', line 242

def mem2reg!
  add_pass('mem2reg')
end

#memcpyopt!Object

Returns self.

Returns:

  • self



192
193
194
# File 'lib/llvm/transforms/pass_builder.rb', line 192

def memcpyopt!
  add_pass('memcpyopt')
end

#memoryssa!Object

Returns self.

Returns:

  • self



304
305
306
# File 'lib/llvm/transforms/pass_builder.rb', line 304

def memoryssa!
  add_pass('require<memoryssa>')
end

#mergefunc!Object

Returns:

  • self



411
412
413
# File 'lib/llvm/transforms/pass_builder.rb', line 411

def mergefunc!
  add_pass('mergefunc')
end

#mergeicmps!Object

Returns self.

Returns:

  • self



357
358
359
# File 'lib/llvm/transforms/pass_builder.rb', line 357

def mergeicmps!
  add_pass('mergeicmps')
end

#mergereturn!Object

Returns self.

Returns:

  • self



352
353
354
# File 'lib/llvm/transforms/pass_builder.rb', line 352

def mergereturn!
  add_pass('mergereturn')
end

#mldst_motion!Object

Merged Load Store Motion

Returns:

  • self



97
98
99
# File 'lib/llvm/transforms/pass_builder.rb', line 97

def mldst_motion!
  add_pass('mldst-motion')
end

#module_summary!Object

Returns self.

Returns:

  • self



252
253
254
# File 'lib/llvm/transforms/pass_builder.rb', line 252

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.

Returns:

  • self



571
572
573
574
# File 'lib/llvm/transforms/pass_builder.rb', line 571

def msan!(options = {})
  opt_str = options[:kernel] ? '<kernel>' : ''
  add_pass("msan#{opt_str}")
end

#newgvn!Object

New Global Value Numbering pass llvm.org/doxygen/NewGVN_8cpp.html#details

Returns:

  • self



112
113
114
# File 'lib/llvm/transforms/pass_builder.rb', line 112

def newgvn!
  add_pass('newgvn')
end

#no_op_cgscc!Object

Returns self.

Returns:

  • self



262
263
264
# File 'lib/llvm/transforms/pass_builder.rb', line 262

def no_op_cgscc!
  add_pass('no-op-cgscc')
end

#no_op_function!Object

Returns self.

Returns:

  • self



267
268
269
# File 'lib/llvm/transforms/pass_builder.rb', line 267

def no_op_function!
  add_pass('no-op-function')
end

#no_op_module!Object

Returns self.

Returns:

  • self



257
258
259
# File 'lib/llvm/transforms/pass_builder.rb', line 257

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

Returns:

  • self



44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
# File 'lib/llvm/transforms/pass_builder.rb', line 44

def o!(opt_level = '0', options = {})
  opt_level = opt_level.to_s
  expanded_pass = OPT_PASSES[opt_level]

  if expanded_pass.nil?
    return add_pass("default<O#{opt_level}>")
  end

  if options[:disable_inline]
    expanded_pass = expanded_pass.gsub('devirt<4>(inline,', 'devirt<4>(')
  end
  if options[:disable_always_inline]
    expanded_pass = expanded_pass.gsub('always-inline,', '')
  end
  add_pass(expanded_pass)
end

#objc_arc_aaObject

Returns self.

Returns:

  • self



369
370
371
# File 'lib/llvm/transforms/pass_builder.rb', line 369

def objc_arc_aa
  add_pass('require<objc-arc-aa>')
end

#partially_inline_libcalls!Object

Returns self.

Returns:

  • self



222
223
224
# File 'lib/llvm/transforms/pass_builder.rb', line 222

def partially_inline_libcalls!
  add_pass('partially-inline-libcalls')
end

#pass_stringObject



609
610
611
# File 'lib/llvm/transforms/pass_builder.rb', line 609

def pass_string
  passes.join(',')
end

#prune_eh!Object



617
618
619
# File 'lib/llvm/transforms/pass_builder.rb', line 617

def prune_eh!
  deprecated('prune_eh! / LLVMAddPruneEHPass was removed in LLVM 16')
end

#reassociate!Object

Returns self.

Returns:

  • self



227
228
229
# File 'lib/llvm/transforms/pass_builder.rb', line 227

def reassociate!
  add_pass('reassociate')
end

#reg2mem!Object

Returns self.

Returns:

  • self



237
238
239
# File 'lib/llvm/transforms/pass_builder.rb', line 237

def reg2mem!
  add_pass('reg2mem')
end

#run(mod, target) ⇒ Object



595
596
597
598
599
600
601
602
603
604
605
606
607
# File 'lib/llvm/transforms/pass_builder.rb', line 595

def run(mod, target)
  return self if passes.empty?

  error = with_options { |options| C.run_passes(mod, pass_string, target, options) }
  if !error.null?
    error_msg = C.get_error_message(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

Returns:

  • self



585
586
587
# File 'lib/llvm/transforms/pass_builder.rb', line 585

def sancov_module!
  add_pass('sancov-module')
end

#sanmd_module!Object

Returns:

  • self



591
592
593
# File 'lib/llvm/transforms/pass_builder.rb', line 591

def sanmd_module!
  add_pass('sanmd-module')
end

#scalarizer!Object

Returns self.

Returns:

  • self



91
92
93
# File 'lib/llvm/transforms/pass_builder.rb', line 91

def scalarizer!
  add_pass('scalarizer')
end

#scalarrepl!Object



625
626
627
# File 'lib/llvm/transforms/pass_builder.rb', line 625

def scalarrepl!
  deprecated('TODO: scalarrepl')
end

#scalarrepl_ssa!Object



629
630
631
# File 'lib/llvm/transforms/pass_builder.rb', line 629

def scalarrepl_ssa!
  deprecated('TODO: scalarrepl_ssa')
end

#scalarrepl_threshold!(_threshold = 0) ⇒ Object



633
634
635
# File 'lib/llvm/transforms/pass_builder.rb', line 633

def scalarrepl_threshold!(_threshold = 0)
  deprecated('TODO: scalarrepl_threshold')
end

#sccp!Object

Returns self.

Returns:

  • self



197
198
199
# File 'lib/llvm/transforms/pass_builder.rb', line 197

def sccp!
  add_pass('sccp')
end

#scev_aa!Object

Returns self.

Returns:

  • self



374
375
376
# File 'lib/llvm/transforms/pass_builder.rb', line 374

def scev_aa!
  add_pass('require<scev-aa>')
end

#scoped_noalias_aa!Object

Returns self.

Returns:

  • self



379
380
381
# File 'lib/llvm/transforms/pass_builder.rb', line 379

def scoped_noalias_aa!
  add_pass('require<scoped-noalias-aa>')
end

#simple_loop_unswitch!Object

Returns self.

Returns:

  • self



176
177
178
# File 'lib/llvm/transforms/pass_builder.rb', line 176

def simple_loop_unswitch!
  add_pass('simple-loop-unswitch')
end

#simplify_libcalls!Object



621
622
623
# File 'lib/llvm/transforms/pass_builder.rb', line 621

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>

Returns:

  • self



86
87
88
# File 'lib/llvm/transforms/pass_builder.rb', line 86

def simplifycfg!
  add_pass('simplifycfg')
end

#slp_vectorize!Object

Returns self.

Returns:

  • self



337
338
339
# File 'lib/llvm/transforms/pass_builder.rb', line 337

def slp_vectorize!
  slp_vectorizer!
end

#slp_vectorizer!Object

Returns self.

Returns:

  • self



342
343
344
# File 'lib/llvm/transforms/pass_builder.rb', line 342

def slp_vectorizer!
  add_pass('slp-vectorizer')
end

#sroa!Object

Returns:

  • self



312
313
314
# File 'lib/llvm/transforms/pass_builder.rb', line 312

def sroa!
  add_pass('sroa')
end

#stack_safety!Object

Returns self.

Returns:

  • self



272
273
274
# File 'lib/llvm/transforms/pass_builder.rb', line 272

def stack_safety!
  add_pass('require<stack-safety>')
end

#strip!Object

Returns self.

Returns:

  • self



460
461
462
# File 'lib/llvm/transforms/pass_builder.rb', line 460

def strip!
  add_pass('strip')
end

#strip_dead_prototypes!Object Also known as: sdp!

Returns self.

Returns:

  • self



465
466
467
# File 'lib/llvm/transforms/pass_builder.rb', line 465

def strip_dead_prototypes!
  add_pass('strip-dead-prototypes')
end

#tailcallelim!Object

Returns self.

Returns:

  • self



232
233
234
# File 'lib/llvm/transforms/pass_builder.rb', line 232

def tailcallelim!
  add_pass('tailcallelim')
end

#tbaa!Object

Returns self.

Returns:

  • self



384
385
386
# File 'lib/llvm/transforms/pass_builder.rb', line 384

def tbaa!
  add_pass('require<tbaa>')
end

#tsan!Object

Returns:

  • self



533
534
535
# File 'lib/llvm/transforms/pass_builder.rb', line 533

def tsan!
  add_pass('tsan')
end

#tsan_module!Object

Thread Sanitiver - Module clang.llvm.org/docs/ThreadSanitizer.html

Returns:

  • self



540
541
542
# File 'lib/llvm/transforms/pass_builder.rb', line 540

def tsan_module!
  add_pass('tsan-module')
end

#verify!Object

Returns self.

Returns:

  • self



247
248
249
# File 'lib/llvm/transforms/pass_builder.rb', line 247

def verify!
  add_pass('verify')
end