Module Llvm_ipoSource

IPO Transforms.

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

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

See the llvm::createConstantMergePass function.

Sourceval add_merge_functions : [ `Module ] Llvm.PassManager.t -> unit

See the llvm::createMergeFunctionsPass function.

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

See the llvm::createDeadArgEliminationPass function.

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

See the llvm::createFunctionAttrsPass function.

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

See the llvm::createFunctionInliningPass function.

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

See the llvm::createAlwaysInlinerPass function.

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

See the llvm::createGlobalDCEPass function.

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

See the llvm::createGlobalOptimizerPass function.

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

See the llvm::createPruneEHPass function.

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

See the llvm::createIPSCCPPass function.

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

See the llvm::createInternalizePass function.

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

See the llvm::createStripDeadPrototypesPass function.

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

See the llvm::createStripSymbolsPass function.