bindings/ocaml/transforms/scalar_opts/llvm_scalar_opts.ml

   1 (*===-- llvm_scalar_opts.ml - LLVM OCaml Interface ------------*- OCaml -*-===*
   2  *
   3  * Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4  * See https://llvm.org/LICENSE.txt for license information.
   5  * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6  *
   7  *===----------------------------------------------------------------------===*)
   8
   9 external add_aggressive_dce
  10   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  11   = "llvm_add_aggressive_dce"
  12 external add_dce
  13   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  14   = "llvm_add_dce"
  15 external add_alignment_from_assumptions
  16   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  17   = "llvm_add_alignment_from_assumptions"
  18 external add_cfg_simplification
  19   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  20   = "llvm_add_cfg_simplification"
  21 external add_dead_store_elimination
  22   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  23   = "llvm_add_dead_store_elimination"
  24 external add_scalarizer
  25   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  26   = "llvm_add_scalarizer"
  27 external add_merged_load_store_motion
  28   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  29   = "llvm_add_merged_load_store_motion"
  30 external add_gvn
  31   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  32   = "llvm_add_gvn"
  33 external add_ind_var_simplification
  34   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  35   = "llvm_add_ind_var_simplify"
  36 external add_instruction_combination
  37   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  38   = "llvm_add_instruction_combining"
  39 external add_jump_threading
  40   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  41   = "llvm_add_jump_threading"
  42 external add_licm
  43   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  44   = "llvm_add_licm"
  45 external add_loop_deletion
  46   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  47   = "llvm_add_loop_deletion"
  48 external add_loop_idiom
  49   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  50   = "llvm_add_loop_idiom"
  51 external add_loop_rotation
  52   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  53   = "llvm_add_loop_rotate"
  54 external add_loop_reroll
  55   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  56   = "llvm_add_loop_reroll"
  57 external add_loop_unroll
  58   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  59   = "llvm_add_loop_unroll"
  60 external add_loop_unswitch
  61   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  62   = "llvm_add_loop_unswitch"
  63 external add_memcpy_opt
  64   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  65   = "llvm_add_memcpy_opt"
  66 external add_partially_inline_lib_calls
  67   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  68   = "llvm_add_partially_inline_lib_calls"
  69 external add_lower_atomic
  70   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  71   = "llvm_add_lower_atomic"
  72 external add_lower_switch
  73   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  74   = "llvm_add_lower_switch"
  75 external add_memory_to_register_promotion
  76   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  77   = "llvm_add_promote_memory_to_register"
  78 external add_reassociation
  79   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  80   = "llvm_add_reassociation"
  81 external add_sccp
  82   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  83   = "llvm_add_sccp"
  84 external add_scalar_repl_aggregation
  85   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  86   = "llvm_add_scalar_repl_aggregates"
  87 external add_scalar_repl_aggregation_ssa
  88   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  89   = "llvm_add_scalar_repl_aggregates_ssa"
  90 external add_scalar_repl_aggregation_with_threshold
  91   : int -> [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  92   = "llvm_add_scalar_repl_aggregates_with_threshold"
  93 external add_lib_call_simplification
  94   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  95   = "llvm_add_simplify_lib_calls"
  96 external add_tail_call_elimination
  97   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
  98   = "llvm_add_tail_call_elimination"
  99 external add_constant_propagation
 100   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 101   = "llvm_add_constant_propagation"
 102 external add_memory_to_register_demotion
 103   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 104   = "llvm_add_demote_memory_to_register"
 105 external add_verifier
 106   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 107   = "llvm_add_verifier"
 108 external add_correlated_value_propagation
 109   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 110   = "llvm_add_correlated_value_propagation"
 111 external add_early_cse
 112   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 113   = "llvm_add_early_cse"
 114 external add_lower_expect_intrinsic
 115   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 116   = "llvm_add_lower_expect_intrinsic"
 117 external add_lower_constant_intrinsics
 118   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 119   = "llvm_add_lower_constant_intrinsics"
 120 external add_type_based_alias_analysis
 121   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 122   = "llvm_add_type_based_alias_analysis"
 123 external add_scoped_no_alias_alias_analysis
 124   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 125   = "llvm_add_scoped_no_alias_aa"
 126 external add_basic_alias_analysis
 127   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 128   = "llvm_add_basic_alias_analysis"
 129 external add_unify_function_exit_nodes
 130   : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit
 131   = "llvm_add_unify_function_exit_nodes"