• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1(*===-- llvm_ipo.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(** IPO Transforms.
11
12    This interface provides an OCaml API for LLVM interprocedural optimizations, the
13    classes in the [LLVMIPO] library. *)
14
15(** See the [llvm::createAddArgumentPromotionPass] function. *)
16external add_argument_promotion
17  : [ `Module ] Llvm.PassManager.t -> unit
18  = "llvm_add_argument_promotion"
19
20(** See the [llvm::createConstantMergePass] function. *)
21external add_constant_merge
22  : [ `Module ] Llvm.PassManager.t -> unit
23  = "llvm_add_constant_merge"
24
25(** See the [llvm::createDeadArgEliminationPass] function. *)
26external add_dead_arg_elimination
27  : [ `Module ] Llvm.PassManager.t -> unit
28  = "llvm_add_dead_arg_elimination"
29
30(** See the [llvm::createFunctionAttrsPass] function. *)
31external add_function_attrs
32  : [ `Module ] Llvm.PassManager.t -> unit
33  = "llvm_add_function_attrs"
34
35(** See the [llvm::createFunctionInliningPass] function. *)
36external add_function_inlining
37  : [ `Module ] Llvm.PassManager.t -> unit
38  = "llvm_add_function_inlining"
39
40(** See the [llvm::createAlwaysInlinerPass] function. *)
41external add_always_inliner
42  : [ `Module ] Llvm.PassManager.t -> unit
43  = "llvm_add_always_inliner"
44
45(** See the [llvm::createGlobalDCEPass] function. *)
46external add_global_dce
47  : [ `Module ] Llvm.PassManager.t -> unit
48  = "llvm_add_global_dce"
49
50(** See the [llvm::createGlobalOptimizerPass] function. *)
51external add_global_optimizer
52  : [ `Module ] Llvm.PassManager.t -> unit
53  = "llvm_add_global_optimizer"
54
55(** See the [llvm::createIPConstantPropagationPass] function. *)
56external add_ipc_propagation
57  : [ `Module ] Llvm.PassManager.t -> unit
58  = "llvm_add_ip_constant_propagation"
59
60(** See the [llvm::createPruneEHPass] function. *)
61external add_prune_eh
62  : [ `Module ] Llvm.PassManager.t -> unit
63  = "llvm_add_prune_eh"
64
65(** See the [llvm::createIPSCCPPass] function. *)
66external add_ipsccp
67  : [ `Module ] Llvm.PassManager.t -> unit
68  = "llvm_add_ipsccp"
69
70(** See the [llvm::createInternalizePass] function. *)
71external add_internalize
72  : [ `Module ] Llvm.PassManager.t -> all_but_main:bool -> unit
73  = "llvm_add_internalize"
74
75(** See the [llvm::createStripDeadPrototypesPass] function. *)
76external add_strip_dead_prototypes
77  : [ `Module ] Llvm.PassManager.t -> unit
78  = "llvm_add_strip_dead_prototypes"
79
80(** See the [llvm::createStripSymbolsPass] function. *)
81external add_strip_symbols
82  : [ `Module ] Llvm.PassManager.t -> unit
83  = "llvm_add_strip_symbols"
84