1(*===-- llvm_passmgr_builder.mli - LLVM OCaml Interface -------*- OCaml -*-===*
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(** Pass Manager Builder.
11
12    This interface provides an OCaml API for LLVM pass manager builder
13    from the [LLVMCore] library. *)
14
15type t
16
17(** See [llvm::PassManagerBuilder]. *)
18external create : unit -> t
19  = "llvm_pmbuilder_create"
20
21(** See [llvm::PassManagerBuilder::OptLevel]. *)
22external set_opt_level : int -> t -> unit
23  = "llvm_pmbuilder_set_opt_level"
24
25(** See [llvm::PassManagerBuilder::SizeLevel]. *)
26external set_size_level : int -> t -> unit
27  = "llvm_pmbuilder_set_size_level"
28
29(** See [llvm::PassManagerBuilder::DisableUnitAtATime]. *)
30external set_disable_unit_at_a_time : bool -> t -> unit
31  = "llvm_pmbuilder_set_disable_unit_at_a_time"
32
33(** See [llvm::PassManagerBuilder::DisableUnrollLoops]. *)
34external set_disable_unroll_loops : bool -> t -> unit
35  = "llvm_pmbuilder_set_disable_unroll_loops"
36
37(** See [llvm::PassManagerBuilder::Inliner]. *)
38external use_inliner_with_threshold : int -> t -> unit
39  = "llvm_pmbuilder_use_inliner_with_threshold"
40
41(** See [llvm::PassManagerBuilder::populateFunctionPassManager]. *)
42external populate_function_pass_manager
43  : [ `Function ] Llvm.PassManager.t -> t -> unit
44  = "llvm_pmbuilder_populate_function_pass_manager"
45
46(** See [llvm::PassManagerBuilder::populateModulePassManager]. *)
47external populate_module_pass_manager
48  : [ `Module ] Llvm.PassManager.t -> t -> unit
49  = "llvm_pmbuilder_populate_module_pass_manager"
50
51(** See [llvm::PassManagerBuilder::populateLTOPassManager]. *)
52external populate_lto_pass_manager
53  : [ `Module ] Llvm.PassManager.t -> internalize:bool -> run_inliner:bool -> t -> unit
54  = "llvm_pmbuilder_populate_lto_pass_manager"