bindings/ocaml/analysis/llvm_analysis.ml

   1 (*===-- llvm_analysis.ml - LLVM Ocaml Interface -----------------*- C++ -*-===*
   2  *
   3  *                     The LLVM Compiler Infrastructure
   4  *
   5  * This file was developed by Gordon Henriksen and is distributed under the
   6  * University of Illinois Open Source 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"