module PassManager: sig .. end
type 'a t
type [ `Function | `Module ]
val create : unit -> [ `Module ] t
PassManager.create () constructs a new whole-module pass pipeline. This
type of pipeline is suitable for link-time optimization and whole-module
transformations.
See the constructor of llvm::PassManager.
val create_function : Llvm.llmoduleprovider -> [ `Function ] t
PassManager.create_function mp constructs a new function-by-function
pass pipeline over the module provider mp. It does not take ownership of
mp. This type of pipeline is suitable for code generation and JIT
compilation tasks.
See the constructor of llvm::FunctionPassManager.
val run_module : Llvm.llmodule -> [ `Module ] t -> bool
run_module m pm initializes, executes on the module m, and finalizes
all of the passes scheduled in the pass manager pm. Returns true if
any of the passes modified the module, false otherwise.
See the llvm::PassManager::run method.
val initialize : [ `Function ] t -> bool
initialize fpm initializes all of the function passes scheduled in the
function pass manager fpm. Returns true if any of the passes modified
the module, false otherwise.
See the llvm::FunctionPassManager::doInitialization method.
val run_function : Llvm.llvalue -> [ `Function ] t -> bool
run_function f fpm executes all of the function passes scheduled in the
function pass manager fpm over the function f. Returns true if any
of the passes modified f, false otherwise.
See the llvm::FunctionPassManager::run method.
val finalize : [ `Function ] t -> bool
finalize fpm finalizes all of the function passes scheduled in in the
function pass manager fpm. Returns true if any of the passes
modified the module, false otherwise.
See the llvm::FunctionPassManager::doFinalization method.
val dispose : [< any ] t -> unit
Frees the memory of a pass pipeline. For function pipelines, does not free
the module provider.
See the destructor of llvm::BasePassManager.