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_ind_var_simplification(LLVMPassManagerRef PM) {
  54   LLVMAddIndVarSimplifyPass(PM);
  55   return Val_unit;
  56 }
  57
  58 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  59 CAMLprim value llvm_add_instruction_combination(LLVMPassManagerRef PM) {
  60   LLVMAddInstructionCombiningPass(PM);
  61   return Val_unit;
  62 }
  63
  64 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  65 CAMLprim value llvm_add_licm(LLVMPassManagerRef PM) {
  66   LLVMAddLICMPass(PM);
  67   return Val_unit;
  68 }
  69
  70 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  71 CAMLprim value llvm_add_loop_unswitch(LLVMPassManagerRef PM) {
  72   LLVMAddLoopUnrollPass(PM);
  73   return Val_unit;
  74 }
  75
  76 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  77 CAMLprim value llvm_add_loop_unroll(LLVMPassManagerRef PM) {
  78   LLVMAddLoopUnrollPass(PM);
  79   return Val_unit;
  80 }
  81
  82 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  83 CAMLprim value llvm_add_loop_rotation(LLVMPassManagerRef PM) {
  84   LLVMAddLoopRotatePass(PM);
  85   return Val_unit;
  86 }
  87
  88 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  89 CAMLprim value llvm_add_loop_index_split(LLVMPassManagerRef PM) {
  90   LLVMAddLoopIndexSplitPass(PM);
  91   return Val_unit;
  92 }
  93
  94 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  95 CAMLprim value llvm_add_memory_to_register_promotion(LLVMPassManagerRef PM) {
  96   LLVMAddPromoteMemoryToRegisterPass(PM);
  97   return Val_unit;
  98 }
  99
 100 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 101 CAMLprim value llvm_add_memory_to_register_demotion(LLVMPassManagerRef PM) {
 102   LLVMAddDemoteMemoryToRegisterPass(PM);
 103   return Val_unit;
 104 }
 105
 106 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 107 CAMLprim value llvm_add_reassociation(LLVMPassManagerRef PM) {
 108   LLVMAddReassociatePass(PM);
 109   return Val_unit;
 110 }
 111
 112 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 113 CAMLprim value llvm_add_jump_threading(LLVMPassManagerRef PM) {
 114   LLVMAddJumpThreadingPass(PM);
 115   return Val_unit;
 116 }
 117
 118 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 119 CAMLprim value llvm_add_cfg_simplification(LLVMPassManagerRef PM) {
 120   LLVMAddCFGSimplificationPass(PM);
 121   return Val_unit;
 122 }
 123
 124 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 125 CAMLprim value llvm_add_tail_call_elimination(LLVMPassManagerRef PM) {
 126   LLVMAddTailCallEliminationPass(PM);
 127   return Val_unit;
 128 }
 129
 130 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 131 CAMLprim value llvm_add_gvn(LLVMPassManagerRef PM) {
 132   LLVMAddGVNPass(PM);
 133   return Val_unit;
 134 }
 135
 136 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 137 CAMLprim value llvm_add_memcpy_opt(LLVMPassManagerRef PM) {
 138   LLVMAddMemCpyOptPass(PM);
 139   return Val_unit;
 140 }
 141
 142 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 143 CAMLprim value llvm_add_loop_deletion(LLVMPassManagerRef PM) {
 144   LLVMAddLoopDeletionPass(PM);
 145   return Val_unit;
 146 }
 147
 148 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
 149 CAMLprim value llvm_add_lib_call_simplification(LLVMPassManagerRef PM) {
 150   LLVMAddSimplifyLibCallsPass(PM);
 151   return Val_unit;
 152 }