bindings/ocaml/transforms/scalar/scalar_opts_ocaml.c

   1 /*===-- scalar_opts_ocaml.c - LLVM Ocaml Glue -------------------*- C++ -*-===*\
   2 |*                                                                            *|
   3 |*                     The LLVM Compiler Infrastructure                       *|
   4 |*                                                                            *|
   5 |* This file is distributed under the University of Illinois Open Source      *|
   6 |* License. See LICENSE.TXT for details.                                      *|
   7 |*                                                                            *|
   8 |*===----------------------------------------------------------------------===*|
   9 |*                                                                            *|
  10 |* This file glues LLVM's ocaml interface to its C interface. These functions *|
  11 |* are by and large transparent wrappers to the corresponding C functions.    *|
  12 |*                                                                            *|
  13 |* Note that these functions intentionally take liberties with the CAMLparamX *|
  14 |* macros, since most of the parameters are not GC heap objects.              *|
  15 |*                                                                            *|
  16 \*===----------------------------------------------------------------------===*/
  17
  18 #include "llvm-c/Transforms/Scalar.h"
  19 #include "caml/mlvalues.h"
  20 #include "caml/misc.h"
  21
  22 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  23 CAMLprim value llvm_add_constant_propagation(LLVMPassManagerRef PM) {
  24   LLVMAddConstantPropagationPass(PM);
  25   return Val_unit;
  26 }
  27
  28 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  29 CAMLprim value llvm_add_sccp(LLVMPassManagerRef PM) {
  30   LLVMAddSCCPPass(PM);
  31   return Val_unit;
  32 }
  33
  34 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  35 CAMLprim value llvm_add_dead_store_elimination(LLVMPassManagerRef PM) {
  36   LLVMAddDeadStoreEliminationPass(PM);
  37   return Val_unit;
  38 }
  39
  40 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  41 CAMLprim value llvm_add_aggressive_dce(LLVMPassManagerRef PM) {
  42   LLVMAddAggressiveDCEPass(PM);
  43   return Val_unit;
  44 }
  45
  46 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  47 CAMLprim value llvm_add_scalar_repl_aggregation(LLVMPassManagerRef PM) {
  48   LLVMAddScalarReplAggregatesPass(PM);
  49   return Val_unit;
  50 }
  51
  52 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  53 CAMLprim value llvm_add_scalar_repl_aggregation_ssa(LLVMPassManagerRef PM) {
  54   LLVMAddScalarReplAggregatesPassSSA(PM);
  55   return Val_unit;
  56 }
  57
  58 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> int -> unit */
  59 CAMLprim value llvm_add_scalar_repl_aggregation_with_threshold(value threshold,
  60                                                                LLVMPassManagerRef PM) {
  61   LLVMAddScalarReplAggregatesPassWithThreshold(PM, Int_val(threshold));
  62   return Val_unit;
  63 }
  64
  65 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  66 CAMLprim value llvm_add_ind_var_simplification(LLVMPassManagerRef PM) {
  67   LLVMAddIndVarSimplifyPass(PM);
  68   return Val_unit;
  69 }
  70
  71 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  72 CAMLprim value llvm_add_instruction_combination(LLVMPassManagerRef PM) {
  73   LLVMAddInstructionCombiningPass(PM);
  74   return Val_unit;
  75 }
  76
  77 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  78 CAMLprim value llvm_add_licm(LLVMPassManagerRef PM) {
  79   LLVMAddLICMPass(PM);
  80   return Val_unit;
  81 }
  82
  83 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  84 CAMLprim value llvm_add_loop_unswitch(LLVMPassManagerRef PM) {
  85   LLVMAddLoopUnswitchPass(PM);
  86   return Val_unit;
  87 }
  88
  89 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  90 CAMLprim value llvm_add_loop_unroll(LLVMPassManagerRef PM) {
  91   LLVMAddLoopUnrollPass(PM);
  92   return Val_unit;
  93 }
  94
  95 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  96 CAMLprim value llvm_add_loop_rotation(LLVMPassManagerRef PM) {
  97   LLVMAddLoopRotatePass(PM);
  98   return Val_unit;
  99 }
 100
 101 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 102 CAMLprim value llvm_add_memory_to_register_promotion(LLVMPassManagerRef PM) {
 103   LLVMAddPromoteMemoryToRegisterPass(PM);
 104   return Val_unit;
 105 }
 106
 107 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 108 CAMLprim value llvm_add_memory_to_register_demotion(LLVMPassManagerRef PM) {
 109   LLVMAddDemoteMemoryToRegisterPass(PM);
 110   return Val_unit;
 111 }
 112
 113 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 114 CAMLprim value llvm_add_reassociation(LLVMPassManagerRef PM) {
 115   LLVMAddReassociatePass(PM);
 116   return Val_unit;
 117 }
 118
 119 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 120 CAMLprim value llvm_add_jump_threading(LLVMPassManagerRef PM) {
 121   LLVMAddJumpThreadingPass(PM);
 122   return Val_unit;
 123 }
 124
 125 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 126 CAMLprim value llvm_add_cfg_simplification(LLVMPassManagerRef PM) {
 127   LLVMAddCFGSimplificationPass(PM);
 128   return Val_unit;
 129 }
 130
 131 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 132 CAMLprim value llvm_add_tail_call_elimination(LLVMPassManagerRef PM) {
 133   LLVMAddTailCallEliminationPass(PM);
 134   return Val_unit;
 135 }
 136
 137 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 138 CAMLprim value llvm_add_gvn(LLVMPassManagerRef PM) {
 139   LLVMAddGVNPass(PM);
 140   return Val_unit;
 141 }
 142
 143 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 144 CAMLprim value llvm_add_memcpy_opt(LLVMPassManagerRef PM) {
 145   LLVMAddMemCpyOptPass(PM);
 146   return Val_unit;
 147 }
 148
 149 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 150 CAMLprim value llvm_add_loop_deletion(LLVMPassManagerRef PM) {
 151   LLVMAddLoopDeletionPass(PM);
 152   return Val_unit;
 153 }
 154
 155 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 156 CAMLprim value llvm_add_loop_idiom(LLVMPassManagerRef PM) {
 157   LLVMAddLoopIdiomPass(PM);
 158   return Val_unit;
 159 }
 160
 161 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 162 CAMLprim value llvm_add_lib_call_simplification(LLVMPassManagerRef PM) {
 163   LLVMAddSimplifyLibCallsPass(PM);
 164   return Val_unit;
 165 }
 166
 167 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 168 CAMLprim value llvm_add_verifier(LLVMPassManagerRef PM) {
 169   LLVMAddVerifierPass(PM);
 170   return Val_unit;
 171 }
 172
 173 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 174 CAMLprim value llvm_add_correlated_value_propagation(LLVMPassManagerRef PM) {
 175   LLVMAddCorrelatedValuePropagationPass(PM);
 176   return Val_unit;
 177 }
 178
 179 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 180 CAMLprim value llvm_add_early_cse(LLVMPassManagerRef PM) {
 181   LLVMAddEarlyCSEPass(PM);
 182   return Val_unit;
 183 }
 184
 185 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 186 CAMLprim value llvm_add_lower_expect_intrinsic(LLVMPassManagerRef PM) {
 187   LLVMAddLowerExpectIntrinsicPass(PM);
 188   return Val_unit;
 189 }
 190
 191 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 192 CAMLprim value llvm_add_type_based_alias_analysis(LLVMPassManagerRef PM) {
 193   LLVMAddTypeBasedAliasAnalysisPass(PM);
 194   return Val_unit;
 195 }
 196
 197 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 198 CAMLprim value llvm_add_basic_alias_analysis(LLVMPassManagerRef PM) {
 199   LLVMAddBasicAliasAnalysisPass(PM);
 200   return Val_unit;
 201 }