[rustc.git] / src / llvm / bindings / ocaml / transforms / scalar_opts / scalar_opts_ocaml.c

/*===-- scalar_opts_ocaml.c - LLVM OCaml Glue -------------------*- C++ -*-===*\
|*                                                                            *|
|*                     The LLVM Compiler Infrastructure                       *|
|*                                                                            *|
|* This file is distributed under the University of Illinois Open Source      *|
|* License. See LICENSE.TXT for details.                                      *|
|*                                                                            *|
|*===----------------------------------------------------------------------===*|
|*                                                                            *|
|* 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 *|
|* macros, since most of the parameters are not GC heap objects.              *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/

#include "llvm-c/Transforms/Scalar.h"
#include "caml/mlvalues.h"
#include "caml/misc.h"

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_aggressive_dce(LLVMPassManagerRef PM) {
  LLVMAddAggressiveDCEPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_alignment_from_assumptions(LLVMPassManagerRef PM) {
  LLVMAddAlignmentFromAssumptionsPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_cfg_simplification(LLVMPassManagerRef PM) {
  LLVMAddCFGSimplificationPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_dead_store_elimination(LLVMPassManagerRef PM) {
  LLVMAddDeadStoreEliminationPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_scalarizer(LLVMPassManagerRef PM) {
  LLVMAddScalarizerPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_merged_load_store_motion(LLVMPassManagerRef PM) {
  LLVMAddMergedLoadStoreMotionPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_gvn(LLVMPassManagerRef PM) {
  LLVMAddGVNPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_ind_var_simplify(LLVMPassManagerRef PM) {
  LLVMAddIndVarSimplifyPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_instruction_combining(LLVMPassManagerRef PM) {
  LLVMAddInstructionCombiningPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_jump_threading(LLVMPassManagerRef PM) {
  LLVMAddJumpThreadingPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_licm(LLVMPassManagerRef PM) {
  LLVMAddLICMPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_loop_deletion(LLVMPassManagerRef PM) {
  LLVMAddLoopDeletionPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_loop_idiom(LLVMPassManagerRef PM) {
  LLVMAddLoopIdiomPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_loop_rotate(LLVMPassManagerRef PM) {
  LLVMAddLoopRotatePass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_loop_reroll(LLVMPassManagerRef PM) {
  LLVMAddLoopRerollPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_loop_unroll(LLVMPassManagerRef PM) {
  LLVMAddLoopUnrollPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_loop_unswitch(LLVMPassManagerRef PM) {
  LLVMAddLoopUnswitchPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_memcpy_opt(LLVMPassManagerRef PM) {
  LLVMAddMemCpyOptPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_partially_inline_lib_calls(LLVMPassManagerRef PM) {
  LLVMAddPartiallyInlineLibCallsPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_lower_switch(LLVMPassManagerRef PM) {
  LLVMAddLowerSwitchPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_promote_memory_to_register(LLVMPassManagerRef PM) {
  LLVMAddPromoteMemoryToRegisterPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_reassociation(LLVMPassManagerRef PM) {
  LLVMAddReassociatePass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_sccp(LLVMPassManagerRef PM) {
  LLVMAddSCCPPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_scalar_repl_aggregates(LLVMPassManagerRef PM) {
  LLVMAddScalarReplAggregatesPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_scalar_repl_aggregates_ssa(LLVMPassManagerRef PM) {
  LLVMAddScalarReplAggregatesPassSSA(PM);
  return Val_unit;
}

/* int -> [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_scalar_repl_aggregates_with_threshold(value threshold,
                                                              LLVMPassManagerRef PM) {
  LLVMAddScalarReplAggregatesPassWithThreshold(PM, Int_val(threshold));
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_simplify_lib_calls(LLVMPassManagerRef PM) {
  LLVMAddSimplifyLibCallsPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_tail_call_elimination(LLVMPassManagerRef PM) {
  LLVMAddTailCallEliminationPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_constant_propagation(LLVMPassManagerRef PM) {
  LLVMAddConstantPropagationPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_demote_memory_to_register(LLVMPassManagerRef PM) {
  LLVMAddDemoteMemoryToRegisterPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_verifier(LLVMPassManagerRef PM) {
  LLVMAddVerifierPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_correlated_value_propagation(LLVMPassManagerRef PM) {
  LLVMAddCorrelatedValuePropagationPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_early_cse(LLVMPassManagerRef PM) {
  LLVMAddEarlyCSEPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_lower_expect_intrinsic(LLVMPassManagerRef PM) {
  LLVMAddLowerExpectIntrinsicPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_type_based_alias_analysis(LLVMPassManagerRef PM) {
  LLVMAddTypeBasedAliasAnalysisPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_scoped_no_alias_aa(LLVMPassManagerRef PM) {
  LLVMAddScopedNoAliasAAPass(PM);
  return Val_unit;
}

/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
CAMLprim value llvm_add_basic_alias_analysis(LLVMPassManagerRef PM) {
  LLVMAddBasicAliasAnalysisPass(PM);
  return Val_unit;
}
Commit	Line	Data
1a4d82fc	1	/===-- scalar_opts_ocaml.c - LLVM OCaml Glue -------------------- C++ --===\
223e47cc LB	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	\|* *\|
1a4d82fc	10	\|* This file glues LLVM's OCaml interface to its C interface. These functions *\|
223e47cc LB	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 */
85aaf69f SL	23	CAMLprim value llvm_add_aggressive_dce(LLVMPassManagerRef PM) {
85aaf69f SL	24	LLVMAddAggressiveDCEPass(PM);
223e47cc LB	25	return Val_unit;
	26	}
	27
	28	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	29	CAMLprim value llvm_add_alignment_from_assumptions(LLVMPassManagerRef PM) {
85aaf69f SL	30	LLVMAddAlignmentFromAssumptionsPass(PM);
223e47cc LB	31	return Val_unit;
	32	}
	33
	34	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	35	CAMLprim value llvm_add_cfg_simplification(LLVMPassManagerRef PM) {
85aaf69f SL	36	LLVMAddCFGSimplificationPass(PM);
223e47cc LB	37	return Val_unit;
	38	}
	39
	40	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	41	CAMLprim value llvm_add_dead_store_elimination(LLVMPassManagerRef PM) {
85aaf69f SL	42	LLVMAddDeadStoreEliminationPass(PM);
223e47cc LB	43	return Val_unit;
	44	}
	45
	46	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	47	CAMLprim value llvm_add_scalarizer(LLVMPassManagerRef PM) {
85aaf69f SL	48	LLVMAddScalarizerPass(PM);
223e47cc LB	49	return Val_unit;
	50	}
	51
	52	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	53	CAMLprim value llvm_add_merged_load_store_motion(LLVMPassManagerRef PM) {
85aaf69f SL	54	LLVMAddMergedLoadStoreMotionPass(PM);
223e47cc LB	55	return Val_unit;
	56	}
	57
85aaf69f SL	58	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	59	CAMLprim value llvm_add_gvn(LLVMPassManagerRef PM) {
	60	LLVMAddGVNPass(PM);
223e47cc LB	61	return Val_unit;
	62	}
	63
	64	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f	65	CAMLprim value llvm_add_ind_var_simplify(LLVMPassManagerRef PM) {
223e47cc LB	66	LLVMAddIndVarSimplifyPass(PM);
	67	return Val_unit;
	68	}
	69
	70	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f	71	CAMLprim value llvm_add_instruction_combining(LLVMPassManagerRef PM) {
223e47cc LB	72	LLVMAddInstructionCombiningPass(PM);
	73	return Val_unit;
	74	}
	75
85aaf69f SL	76	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	77	CAMLprim value llvm_add_jump_threading(LLVMPassManagerRef PM) {
	78	LLVMAddJumpThreadingPass(PM);
	79	return Val_unit;
	80	}
	81
223e47cc LB	82	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	83	CAMLprim value llvm_add_licm(LLVMPassManagerRef PM) {
	84	LLVMAddLICMPass(PM);
	85	return Val_unit;
	86	}
	87
	88	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	89	CAMLprim value llvm_add_loop_deletion(LLVMPassManagerRef PM) {
85aaf69f SL	90	LLVMAddLoopDeletionPass(PM);
223e47cc LB	91	return Val_unit;
	92	}
	93
	94	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	95	CAMLprim value llvm_add_loop_idiom(LLVMPassManagerRef PM) {
85aaf69f SL	96	LLVMAddLoopIdiomPass(PM);
223e47cc LB	97	return Val_unit;
	98	}
	99
	100	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f	101	CAMLprim value llvm_add_loop_rotate(LLVMPassManagerRef PM) {
223e47cc LB	102	LLVMAddLoopRotatePass(PM);
	103	return Val_unit;
	104	}
	105
	106	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	107	CAMLprim value llvm_add_loop_reroll(LLVMPassManagerRef PM) {
85aaf69f SL	108	LLVMAddLoopRerollPass(PM);
223e47cc LB	109	return Val_unit;
	110	}
	111
	112	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	113	CAMLprim value llvm_add_loop_unroll(LLVMPassManagerRef PM) {
85aaf69f SL	114	LLVMAddLoopUnrollPass(PM);
223e47cc LB	115	return Val_unit;
	116	}
	117
	118	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	119	CAMLprim value llvm_add_loop_unswitch(LLVMPassManagerRef PM) {
85aaf69f SL	120	LLVMAddLoopUnswitchPass(PM);
223e47cc LB	121	return Val_unit;
	122	}
	123
	124	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	125	CAMLprim value llvm_add_memcpy_opt(LLVMPassManagerRef PM) {
85aaf69f SL	126	LLVMAddMemCpyOptPass(PM);
223e47cc LB	127	return Val_unit;
	128	}
	129
	130	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	131	CAMLprim value llvm_add_partially_inline_lib_calls(LLVMPassManagerRef PM) {
85aaf69f SL	132	LLVMAddPartiallyInlineLibCallsPass(PM);
223e47cc LB	133	return Val_unit;
	134	}
	135
	136	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	137	CAMLprim value llvm_add_lower_switch(LLVMPassManagerRef PM) {
85aaf69f SL	138	LLVMAddLowerSwitchPass(PM);
223e47cc LB	139	return Val_unit;
	140	}
	141
1a4d82fc	142	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	143	CAMLprim value llvm_add_promote_memory_to_register(LLVMPassManagerRef PM) {
85aaf69f SL	144	LLVMAddPromoteMemoryToRegisterPass(PM);
1a4d82fc JJ	145	return Val_unit;
	146	}
	147
223e47cc	148	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	149	CAMLprim value llvm_add_reassociation(LLVMPassManagerRef PM) {
85aaf69f SL	150	LLVMAddReassociatePass(PM);
223e47cc LB	151	return Val_unit;
	152	}
	153
	154	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	155	CAMLprim value llvm_add_sccp(LLVMPassManagerRef PM) {
85aaf69f SL	156	LLVMAddSCCPPass(PM);
223e47cc LB	157	return Val_unit;
	158	}
	159
	160	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	161	CAMLprim value llvm_add_scalar_repl_aggregates(LLVMPassManagerRef PM) {
85aaf69f SL	162	LLVMAddScalarReplAggregatesPass(PM);
223e47cc LB	163	return Val_unit;
	164	}
	165
	166	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	167	CAMLprim value llvm_add_scalar_repl_aggregates_ssa(LLVMPassManagerRef PM) {
	168	LLVMAddScalarReplAggregatesPassSSA(PM);
	169	return Val_unit;
	170	}
	171
	172	/* int -> [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	173	CAMLprim value llvm_add_scalar_repl_aggregates_with_threshold(value threshold,
	174	LLVMPassManagerRef PM) {
	175	LLVMAddScalarReplAggregatesPassWithThreshold(PM, Int_val(threshold));
223e47cc LB	176	return Val_unit;
	177	}
	178
	179	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f	180	CAMLprim value llvm_add_simplify_lib_calls(LLVMPassManagerRef PM) {
223e47cc LB	181	LLVMAddSimplifyLibCallsPass(PM);
	182	return Val_unit;
	183	}
	184
85aaf69f SL	185	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	186	CAMLprim value llvm_add_tail_call_elimination(LLVMPassManagerRef PM) {
	187	LLVMAddTailCallEliminationPass(PM);
	188	return Val_unit;
	189	}
	190
	191	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	192	CAMLprim value llvm_add_constant_propagation(LLVMPassManagerRef PM) {
	193	LLVMAddConstantPropagationPass(PM);
	194	return Val_unit;
	195	}
	196
	197	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	198	CAMLprim value llvm_add_demote_memory_to_register(LLVMPassManagerRef PM) {
	199	LLVMAddDemoteMemoryToRegisterPass(PM);
	200	return Val_unit;
	201	}
	202
223e47cc LB	203	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	204	CAMLprim value llvm_add_verifier(LLVMPassManagerRef PM) {
	205	LLVMAddVerifierPass(PM);
	206	return Val_unit;
	207	}
	208
	209	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	210	CAMLprim value llvm_add_correlated_value_propagation(LLVMPassManagerRef PM) {
	211	LLVMAddCorrelatedValuePropagationPass(PM);
	212	return Val_unit;
	213	}
	214
	215	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	216	CAMLprim value llvm_add_early_cse(LLVMPassManagerRef PM) {
	217	LLVMAddEarlyCSEPass(PM);
	218	return Val_unit;
	219	}
	220
	221	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	222	CAMLprim value llvm_add_lower_expect_intrinsic(LLVMPassManagerRef PM) {
	223	LLVMAddLowerExpectIntrinsicPass(PM);
	224	return Val_unit;
	225	}
	226
	227	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
	228	CAMLprim value llvm_add_type_based_alias_analysis(LLVMPassManagerRef PM) {
	229	LLVMAddTypeBasedAliasAnalysisPass(PM);
	230	return Val_unit;
	231	}
	232
	233	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	234	CAMLprim value llvm_add_scoped_no_alias_aa(LLVMPassManagerRef PM) {
85aaf69f SL	235	LLVMAddScopedNoAliasAAPass(PM);
223e47cc LB	236	return Val_unit;
223e47cc LB	237	}
1a4d82fc JJ	238
1a4d82fc JJ	239	/* [<Llvm.PassManager.any] Llvm.PassManager.t -> unit */
85aaf69f SL	240	CAMLprim value llvm_add_basic_alias_analysis(LLVMPassManagerRef PM) {
85aaf69f SL	241	LLVMAddBasicAliasAnalysisPass(PM);
1a4d82fc JJ	242	return Val_unit;
1a4d82fc JJ	243	}