1*9880d681SAndroid Build Coastguard Worker(*===-- llvm_analysis.ml - LLVM OCaml Interface ---------------*- OCaml -*-===* 2*9880d681SAndroid Build Coastguard Worker * 3*9880d681SAndroid Build Coastguard Worker * The LLVM Compiler Infrastructure 4*9880d681SAndroid Build Coastguard Worker * 5*9880d681SAndroid Build Coastguard Worker * This file is distributed under the University of Illinois Open Source 6*9880d681SAndroid Build Coastguard Worker * License. See LICENSE.TXT for details. 7*9880d681SAndroid Build Coastguard Worker * 8*9880d681SAndroid Build Coastguard Worker *===----------------------------------------------------------------------===*) 9*9880d681SAndroid Build Coastguard Worker 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Workerexternal verify_module : Llvm.llmodule -> string option = "llvm_verify_module" 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Workerexternal verify_function : Llvm.llvalue -> bool = "llvm_verify_function" 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerexternal assert_valid_module : Llvm.llmodule -> unit 16*9880d681SAndroid Build Coastguard Worker = "llvm_assert_valid_module" 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Workerexternal assert_valid_function : Llvm.llvalue -> unit 19*9880d681SAndroid Build Coastguard Worker = "llvm_assert_valid_function" 20*9880d681SAndroid Build Coastguard Workerexternal view_function_cfg : Llvm.llvalue -> unit = "llvm_view_function_cfg" 21*9880d681SAndroid Build Coastguard Workerexternal view_function_cfg_only : Llvm.llvalue -> unit 22*9880d681SAndroid Build Coastguard Worker = "llvm_view_function_cfg_only" 23