package llvm

You can search for identifiers within the package.

in-package search v0.2.0

The OCaml bindings distributed with LLVM

Install

Dune Dependency

llvm.moe Edit opam file Versions (24)

Authors

Maintainers

A

Alan Hu <ahulambda@gmail.com>

Sources

llvm-dune-full-minified-15.0.7+nnp-3.tar.gz

md5=c81299338fdd29961ec659f0239e6d8c

sha512=186c8b9f2b5ed61150214b7e8046f08f66bfbcad3af3dc946c4840ff57ca9fcbc0f15c32f8b062b9cc331bdb02a8315afaad6d3810a3b56d7348db2fd376699a

doc/llvm_analysis_static/Llvm_analysis/index.html

Module `Llvm_analysis`Source

Intermediate representation analysis.

This interface provides an OCaml API for LLVM IR analyses, the classes in the Analysis library.

Sourceval 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.

Sourceval 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.

Sourceval 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.

Sourceval 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.

Sourceval 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.

Sourceval 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.