(*===-- llvm_analysis.ml - LLVM OCaml Interface ---------------*- OCaml -*-===* * * The LLVM Compiler Infrastructure * * This file is distributed under the University of Illinois Open Source * License. See LICENSE.TXT for details. * *===----------------------------------------------------------------------===*) external verify_module : Llvm.llmodule -> string option = "llvm_verify_module" external verify_function : Llvm.llvalue -> bool = "llvm_verify_function" external assert_valid_module : Llvm.llmodule -> unit = "llvm_assert_valid_module" external assert_valid_function : Llvm.llvalue -> unit = "llvm_assert_valid_function" external view_function_cfg : Llvm.llvalue -> unit = "llvm_view_function_cfg" external view_function_cfg_only : Llvm.llvalue -> unit = "llvm_view_function_cfg_only"