[OCaml] Expose Llvm.parse_command_line_options.
[oota-llvm.git] / bindings / ocaml / analysis / llvm_analysis.ml
1 (*===-- llvm_analysis.ml - LLVM OCaml Interface ---------------*- OCaml -*-===*
2  *
3  *                     The LLVM Compiler Infrastructure
4  *
5  * This file is distributed under the University of Illinois Open Source
6  * License. See LICENSE.TXT for details.
7  *
8  *===----------------------------------------------------------------------===*)
9
10
11 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
12
13 external verify_function : Llvm.llvalue -> bool = "llvm_verify_function"
14
15 external assert_valid_module : Llvm.llmodule -> unit
16                              = "llvm_assert_valid_module"
17
18 external assert_valid_function : Llvm.llvalue -> unit
19                                = "llvm_assert_valid_function"
20 external view_function_cfg : Llvm.llvalue -> unit = "llvm_view_function_cfg"
21 external view_function_cfg_only : Llvm.llvalue -> unit
22                                 = "llvm_view_function_cfg_only"