• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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
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"
20external view_function_cfg : Llvm.llvalue -> unit = "llvm_view_function_cfg"
21external view_function_cfg_only : Llvm.llvalue -> unit
22                                = "llvm_view_function_cfg_only"
23