1 (*===-- llvm_analysis.ml - LLVM Ocaml Interface -----------------*- C++ -*-===* 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" 23
