# Module Llvm_ipo

    module Llvm_ipo: sig .. end

IPO Transforms.

This interface provides an OCaml API for LLVM interprocedural optimizations, the classes in the `LLVMIPO` library.

    val add_argument_promotion : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createAddArgumentPromotionPass` function.

    val add_constant_merge : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createConstantMergePass` function.

    val add_dead_arg_elimination : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createDeadArgEliminationPass` function.

    val add_function_attrs : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createFunctionAttrsPass` function.

    val add_function_inlining : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createFunctionInliningPass` function.

    val add_always_inliner : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createAlwaysInlinerPass` function.

    val add_global_dce : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createGlobalDCEPass` function.

    val add_global_optimizer : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createGlobalOptimizerPass` function.

    val add_ipc_propagation : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createIPConstantPropagationPass` function.

    val add_prune_eh : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createPruneEHPass` function.

    val add_ipsccp : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createIPSCCPPass` function.

    val add_internalize : [ `Module ] Llvm.PassManager.t -> all_but_main:bool -> unit

See the `llvm::createInternalizePass` function.

    val add_strip_dead_prototypes : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createStripDeadPrototypesPass` function.

    val add_strip_symbols : [ `Module ] Llvm.PassManager.t -> unit

See the `llvm::createStripSymbolsPass` function.