1/*===-- analysis_ocaml.c - LLVM OCaml Glue ----------------------*- 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|* This file glues LLVM's OCaml interface to its C interface. These functions *| 11|* are by and large transparent wrappers to the corresponding C functions. *| 12|* *| 13|* Note that these functions intentionally take liberties with the CAMLparamX *| 14|* macros, since most of the parameters are not GC heap objects. *| 15|* *| 16\*===----------------------------------------------------------------------===*/ 17 18#include "llvm-c/Analysis.h" 19#include "llvm-c/Core.h" 20#include "caml/alloc.h" 21#include "caml/mlvalues.h" 22#include "caml/memory.h" 23 24/* Llvm.llmodule -> string option */ 25CAMLprim value llvm_verify_module(LLVMModuleRef M) { 26 CAMLparam0(); 27 CAMLlocal2(String, Option); 28 29 char *Message; 30 int Result = LLVMVerifyModule(M, LLVMReturnStatusAction, &Message); 31 32 if (0 == Result) { 33 Option = Val_int(0); 34 } else { 35 Option = alloc(1, 0); 36 String = copy_string(Message); 37 Store_field(Option, 0, String); 38 } 39 40 LLVMDisposeMessage(Message); 41 42 CAMLreturn(Option); 43} 44 45/* Llvm.llvalue -> bool */ 46CAMLprim value llvm_verify_function(LLVMValueRef Fn) { 47 return Val_bool(LLVMVerifyFunction(Fn, LLVMReturnStatusAction) == 0); 48} 49 50/* Llvm.llmodule -> unit */ 51CAMLprim value llvm_assert_valid_module(LLVMModuleRef M) { 52 LLVMVerifyModule(M, LLVMAbortProcessAction, 0); 53 return Val_unit; 54} 55 56/* Llvm.llvalue -> unit */ 57CAMLprim value llvm_assert_valid_function(LLVMValueRef Fn) { 58 LLVMVerifyFunction(Fn, LLVMAbortProcessAction); 59 return Val_unit; 60} 61 62/* Llvm.llvalue -> unit */ 63CAMLprim value llvm_view_function_cfg(LLVMValueRef Fn) { 64 LLVMViewFunctionCFG(Fn); 65 return Val_unit; 66} 67 68/* Llvm.llvalue -> unit */ 69CAMLprim value llvm_view_function_cfg_only(LLVMValueRef Fn) { 70 LLVMViewFunctionCFGOnly(Fn); 71 return Val_unit; 72} 73