llvm_analysis.ml revision 0465fb5663a0108399df4c19db1afb4516328964 
1(*===-- llvm_analysis.ml - LLVM Ocaml Interface -----------------*- C++ -*-===*
2 *
3 *                     The LLVM Compiler Infrastructure
4 *
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.
7 *
8 *===----------------------------------------------------------------------===*)
9
10
11external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
12
13external verify_function : Llvm.llvalue -> bool = "llvm_verify_function"
14
15external assert_valid_module : Llvm.llmodule -> unit
16                             = "llvm_assert_valid_module"
17
18external assert_valid_function : Llvm.llvalue -> unit
19                               = "llvm_assert_valid_function"
20