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  * This interface provides an ocaml API for LLVM IR analyses, the classes in
  11  * the Analysis library.
  12  *
  13  *===----------------------------------------------------------------------===*)
  14
  15
  16 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
  17
  18 external verify_function : Llvm.llvalue -> bool = "llvm_verify_function"
  19
  20 external assert_valid_module : Llvm.llmodule -> unit
  21                              = "llvm_assert_valid_module"
  22
  23 external assert_valid_function : Llvm.llvalue -> unit
  24                                = "llvm_assert_valid_function"