source: parabix-LLVM/llvm_git/bindings/ocaml/analysis/llvm_analysis.ml @ 4078

Last change on this file since 4078 was 4078, checked in by linmengl, 5 years ago

checkin llvm-meng source

File size: 920 bytes
Line 
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
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"
Note: See TracBrowser for help on using the repository browser.