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_instruction_combining(LLVMPassManagerRef PM) {
  30   LLVMAddInstructionCombiningPass(PM);
  31   return Val_unit;
  32 }
  33
  34 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  35 CAMLprim value llvm_add_memory_to_register_promotion(LLVMPassManagerRef PM) {
  36   LLVMAddPromoteMemoryToRegisterPass(PM);
  37   return Val_unit;
  38 }
  39
  40 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  41 CAMLprim value llvm_add_memory_to_register_demotion(LLVMPassManagerRef PM) {
  42   LLVMAddDemoteMemoryToRegisterPass(PM);
  43   return Val_unit;
  44 }
  45
  46 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  47 CAMLprim value llvm_add_reassociation(LLVMPassManagerRef PM) {
  48   LLVMAddReassociatePass(PM);
  49   return Val_unit;
  50 }
  51
  52 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  53 CAMLprim value llvm_add_gvn(LLVMPassManagerRef PM) {
  54   LLVMAddGVNPass(PM);
  55   return Val_unit;
  56 }
  57
  58 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
  59 CAMLprim value llvm_add_cfg_simplification(LLVMPassManagerRef PM) {
  60   LLVMAddCFGSimplificationPass(PM);
  61   return Val_unit;
  62 }