1 /*===-- scalar_opts_ocaml.c - LLVM OCaml Glue -------------------*- C++ -*-===*\
3 |* The LLVM Compiler Infrastructure *|
5 |* This file is distributed under the University of Illinois Open Source *|
6 |* License. See LICENSE.TXT for details. *|
8 |*===----------------------------------------------------------------------===*|
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. *|
13 |* Note that these functions intentionally take liberties with the CAMLparamX *|
14 |* macros, since most of the parameters are not GC heap objects. *|
16 \*===----------------------------------------------------------------------===*/
18 #include "llvm-c/Transforms/Scalar.h"
19 #include "caml/mlvalues.h"
20 #include "caml/misc.h"
22 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
23 CAMLprim value llvm_add_constant_propagation(LLVMPassManagerRef PM) {
24 LLVMAddConstantPropagationPass(PM);
28 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
29 CAMLprim value llvm_add_sccp(LLVMPassManagerRef PM) {
34 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
35 CAMLprim value llvm_add_dead_store_elimination(LLVMPassManagerRef PM) {
36 LLVMAddDeadStoreEliminationPass(PM);
40 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
41 CAMLprim value llvm_add_aggressive_dce(LLVMPassManagerRef PM) {
42 LLVMAddAggressiveDCEPass(PM);
46 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
47 CAMLprim value llvm_add_scalar_repl_aggregation(LLVMPassManagerRef PM) {
48 LLVMAddScalarReplAggregatesPass(PM);
52 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
53 CAMLprim value llvm_add_scalar_repl_aggregation_ssa(LLVMPassManagerRef PM) {
54 LLVMAddScalarReplAggregatesPassSSA(PM);
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));
65 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
66 CAMLprim value llvm_add_ind_var_simplification(LLVMPassManagerRef PM) {
67 LLVMAddIndVarSimplifyPass(PM);
71 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
72 CAMLprim value llvm_add_instruction_combination(LLVMPassManagerRef PM) {
73 LLVMAddInstructionCombiningPass(PM);
77 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
78 CAMLprim value llvm_add_licm(LLVMPassManagerRef PM) {
83 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
84 CAMLprim value llvm_add_loop_unswitch(LLVMPassManagerRef PM) {
85 LLVMAddLoopUnswitchPass(PM);
89 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
90 CAMLprim value llvm_add_loop_unroll(LLVMPassManagerRef PM) {
91 LLVMAddLoopUnrollPass(PM);
95 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
96 CAMLprim value llvm_add_loop_rotation(LLVMPassManagerRef PM) {
97 LLVMAddLoopRotatePass(PM);
101 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
102 CAMLprim value llvm_add_memory_to_register_promotion(LLVMPassManagerRef PM) {
103 LLVMAddPromoteMemoryToRegisterPass(PM);
107 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
108 CAMLprim value llvm_add_memory_to_register_demotion(LLVMPassManagerRef PM) {
109 LLVMAddDemoteMemoryToRegisterPass(PM);
113 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
114 CAMLprim value llvm_add_reassociation(LLVMPassManagerRef PM) {
115 LLVMAddReassociatePass(PM);
119 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
120 CAMLprim value llvm_add_jump_threading(LLVMPassManagerRef PM) {
121 LLVMAddJumpThreadingPass(PM);
125 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
126 CAMLprim value llvm_add_cfg_simplification(LLVMPassManagerRef PM) {
127 LLVMAddCFGSimplificationPass(PM);
131 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
132 CAMLprim value llvm_add_tail_call_elimination(LLVMPassManagerRef PM) {
133 LLVMAddTailCallEliminationPass(PM);
137 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
138 CAMLprim value llvm_add_gvn(LLVMPassManagerRef PM) {
143 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
144 CAMLprim value llvm_add_memcpy_opt(LLVMPassManagerRef PM) {
145 LLVMAddMemCpyOptPass(PM);
149 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
150 CAMLprim value llvm_add_loop_deletion(LLVMPassManagerRef PM) {
151 LLVMAddLoopDeletionPass(PM);
155 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
156 CAMLprim value llvm_add_loop_idiom(LLVMPassManagerRef PM) {
157 LLVMAddLoopIdiomPass(PM);
161 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
162 CAMLprim value llvm_add_lib_call_simplification(LLVMPassManagerRef PM) {
163 LLVMAddSimplifyLibCallsPass(PM);
167 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
168 CAMLprim value llvm_add_verifier(LLVMPassManagerRef PM) {
169 LLVMAddVerifierPass(PM);
173 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
174 CAMLprim value llvm_add_correlated_value_propagation(LLVMPassManagerRef PM) {
175 LLVMAddCorrelatedValuePropagationPass(PM);
179 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
180 CAMLprim value llvm_add_early_cse(LLVMPassManagerRef PM) {
181 LLVMAddEarlyCSEPass(PM);
185 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
186 CAMLprim value llvm_add_lower_expect_intrinsic(LLVMPassManagerRef PM) {
187 LLVMAddLowerExpectIntrinsicPass(PM);
191 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
192 CAMLprim value llvm_add_type_based_alias_analysis(LLVMPassManagerRef PM) {
193 LLVMAddTypeBasedAliasAnalysisPass(PM);
197 /* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
198 CAMLprim value llvm_add_basic_alias_analysis(LLVMPassManagerRef PM) {
199 LLVMAddBasicAliasAnalysisPass(PM);