diff options
Diffstat (limited to 'bindings/ocaml/transforms/ipo')
| -rw-r--r-- | bindings/ocaml/transforms/ipo/ipo_ocaml.c | 4 | ||||
| -rw-r--r-- | bindings/ocaml/transforms/ipo/llvm_ipo.ml | 32 | ||||
| -rw-r--r-- | bindings/ocaml/transforms/ipo/llvm_ipo.mli | 6 |
3 files changed, 6 insertions, 36 deletions
diff --git a/bindings/ocaml/transforms/ipo/ipo_ocaml.c b/bindings/ocaml/transforms/ipo/ipo_ocaml.c index 612015c099..496dc15e8c 100644 --- a/bindings/ocaml/transforms/ipo/ipo_ocaml.c +++ b/bindings/ocaml/transforms/ipo/ipo_ocaml.c @@ -1,4 +1,4 @@ -/*===-- ipo_ocaml.c - LLVM Ocaml Glue -------------------*- C++ -*-===*\ +/*===-- ipo_ocaml.c - LLVM OCaml Glue ---------------------------*- C++ -*-===*\ |* *| |* The LLVM Compiler Infrastructure *| |* *| @@ -7,7 +7,7 @@ |* *| |*===----------------------------------------------------------------------===*| |* *| -|* This file glues LLVM's ocaml interface to its C interface. These functions *| +|* This file glues LLVM's OCaml interface to its C interface. These functions *| |* are by and large transparent wrappers to the corresponding C functions. *| |* *| |* Note that these functions intentionally take liberties with the CAMLparamX *| diff --git a/bindings/ocaml/transforms/ipo/llvm_ipo.ml b/bindings/ocaml/transforms/ipo/llvm_ipo.ml index 1562d10ae1..e895c7a789 100644 --- a/bindings/ocaml/transforms/ipo/llvm_ipo.ml +++ b/bindings/ocaml/transforms/ipo/llvm_ipo.ml @@ -1,4 +1,4 @@ -(*===-- llvm_ipo.mli - LLVM Ocaml Interface ------------*- OCaml -*-===* +(*===-- llvm_ipo.ml - LLVM OCaml Interface --------------------*- OCaml -*-===* * * The LLVM Compiler Infrastructure * @@ -7,59 +7,29 @@ * *===----------------------------------------------------------------------===*) -(** IPO Transforms. - - This interface provides an ocaml API for LLVM interprocedural optimizations, the - classes in the [LLVMIPO] library. *) - -(** See llvm::createAddArgumentPromotionPass *) external add_argument_promotion : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_argument_promotion" - -(** See llvm::createConstantMergePass function. *) external add_constant_merge : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_constant_merge" - -(** See llvm::createDeadArgEliminationPass function. *) external add_dead_arg_elimination : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_dead_arg_elimination" - -(** See llvm::createFunctionAttrsPass function. *) external add_function_attrs : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_function_attrs" - -(** See llvm::createFunctionInliningPass function. *) external add_function_inlining : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_function_inlining" - -(** See llvm::createGlobalDCEPass function. *) external add_global_dce : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_global_dce" - -(** See llvm::createGlobalOptimizerPass function. *) external add_global_optimizer : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_global_optimizer" - -(** See llvm::createIPConstantPropagationPass function. *) external add_ipc_propagation : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_ipc_propagation" - -(** See llvm::createPruneEHPass function. *) external add_prune_eh : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_prune_eh" - -(** See llvm::createIPSCCPPass function. *) external add_ipsccp : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_ipsccp" - -(** See llvm::createInternalizePass function. *) external add_internalize : [ | `Module ] Llvm.PassManager.t -> bool -> unit = "llvm_add_internalize" - -(** See llvm::createStripDeadPrototypesPass function. *) external add_strip_dead_prototypes : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_strip_dead_prototypes" - -(** See llvm::createStripSymbolsPass function. *) external add_strip_symbols : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_strip_symbols" diff --git a/bindings/ocaml/transforms/ipo/llvm_ipo.mli b/bindings/ocaml/transforms/ipo/llvm_ipo.mli index 636103d4f8..68f7c0e6cb 100644 --- a/bindings/ocaml/transforms/ipo/llvm_ipo.mli +++ b/bindings/ocaml/transforms/ipo/llvm_ipo.mli @@ -1,4 +1,4 @@ -(*===-- llvm_ipo.mli - LLVM Ocaml Interface ------------*- OCaml -*-===* +(*===-- llvm_ipo.mli - LLVM OCaml Interface -------------------*- OCaml -*-===* * * The LLVM Compiler Infrastructure * @@ -9,13 +9,13 @@ (** IPO Transforms. - This interface provides an ocaml API for LLVM interprocedural optimizations, the + This interface provides an OCaml API for LLVM interprocedural optimizations, the classes in the [LLVMIPO] library. *) (** See llvm::createAddArgumentPromotionPass *) external add_argument_promotion : [ | `Module ] Llvm.PassManager.t -> unit = - "llvm_add_argument_promotion" + (** See llvm::createConstantMergePass function. *) external add_constant_merge : [ | `Module ] Llvm.PassManager.t -> unit = "llvm_add_constant_merge" |