]>
Commit | Line | Data |
---|---|---|
85aaf69f | 1 | (*===-- llvm_analysis.ml - LLVM OCaml Interface ---------------*- OCaml -*-===* |
223e47cc LB |
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" |