package llvm
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=82401fea7b79d0078043f7598b835284d6650a75b93e64b6f761ea7b63097501
md5=0333b37c90e183d5298470d5b70a87e4
doc/llvm_analysis/Llvm_analysis/index.html
Module Llvm_analysis
Intermediate representation analysis.
This interface provides an OCaml API for LLVM IR analyses, the classes in the Analysis library.
val verify_module : Llvm.llmodule -> string option
verify_module m
returns None
if the module m
is valid, and Some reason
if it is invalid. reason
is a string containing a human-readable validation report. See llvm::verifyModule
.
val verify_function : Llvm.llvalue -> bool
verify_function f
returns true
if the function f
is valid, and false
if it is invalid. See llvm::verifyFunction
.
val assert_valid_module : Llvm.llmodule -> unit
verify_module m
returns if the module m
is valid, but prints a validation report to stderr
and aborts the program if it is invalid. See llvm::verifyModule
.
val assert_valid_function : Llvm.llvalue -> unit
verify_function f
returns if the function f
is valid, but prints a validation report to stderr
and aborts the program if it is invalid. See llvm::verifyFunction
.
val view_function_cfg : Llvm.llvalue -> unit
view_function_cfg f
opens up a ghostscript window displaying the CFG of the current function with the code for each basic block inside. See llvm::Function::viewCFG
.
val view_function_cfg_only : Llvm.llvalue -> unit
view_function_cfg_only f
works just like view_function_cfg
, but does not include the contents of basic blocks into the nodes. See llvm::Function::viewCFGOnly
.