bindings/ocaml/analysis/llvm_analysis.ml

   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"