1 (*===-- llvm_analysis.mli - LLVM Ocaml Interface ----------------*- C++ -*-===*
3 * The LLVM Compiler Infrastructure
5 * This file was developed by Gordon Henriksen and is distributed under the
6 * University of Illinois Open Source License. See LICENSE.TXT for details.
8 *===----------------------------------------------------------------------===
10 * This interface provides an ocaml API for LLVM IR analyses, the classes in
11 * the Analysis library.
13 *===----------------------------------------------------------------------===*)
16 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
18 external verify_function : Llvm.llvalue -> bool = "llvm_verify_function"
20 external assert_valid_module : Llvm.llmodule -> unit
21 = "llvm_assert_valid_module"
23 external assert_valid_function : Llvm.llvalue -> unit
24 = "llvm_assert_valid_function"