1 /*===-- analysis_ocaml.c - LLVM OCaml Glue ----------------------*- C++ -*-===*\ 2 |* *| 3 |* Part of the LLVM Project, under the Apache License v2.0 with LLVM *| 4 |* Exceptions. *| 5 |* See https://llvm.org/LICENSE.txt for license information. *| 6 |* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception *| 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 #include "llvm_ocaml.h" 24 25 /* Llvm.llmodule -> string option */ llvm_verify_module(LLVMModuleRef M)26value llvm_verify_module(LLVMModuleRef M) { 27 CAMLparam0(); 28 CAMLlocal2(String, Option); 29 30 char *Message; 31 int Result = LLVMVerifyModule(M, LLVMReturnStatusAction, &Message); 32 33 if (0 == Result) { 34 Option = Val_none; 35 } else { 36 String = copy_string(Message); 37 Option = caml_alloc_some(String); 38 } 39 40 LLVMDisposeMessage(Message); 41 42 CAMLreturn(Option); 43 } 44 45 /* Llvm.llvalue -> bool */ llvm_verify_function(LLVMValueRef Fn)46value llvm_verify_function(LLVMValueRef Fn) { 47 return Val_bool(LLVMVerifyFunction(Fn, LLVMReturnStatusAction) == 0); 48 } 49 50 /* Llvm.llmodule -> unit */ llvm_assert_valid_module(LLVMModuleRef M)51value llvm_assert_valid_module(LLVMModuleRef M) { 52 LLVMVerifyModule(M, LLVMAbortProcessAction, 0); 53 return Val_unit; 54 } 55 56 /* Llvm.llvalue -> unit */ llvm_assert_valid_function(LLVMValueRef Fn)57value llvm_assert_valid_function(LLVMValueRef Fn) { 58 LLVMVerifyFunction(Fn, LLVMAbortProcessAction); 59 return Val_unit; 60 } 61 62 /* Llvm.llvalue -> unit */ llvm_view_function_cfg(LLVMValueRef Fn)63value llvm_view_function_cfg(LLVMValueRef Fn) { 64 LLVMViewFunctionCFG(Fn); 65 return Val_unit; 66 } 67 68 /* Llvm.llvalue -> unit */ llvm_view_function_cfg_only(LLVMValueRef Fn)69value llvm_view_function_cfg_only(LLVMValueRef Fn) { 70 LLVMViewFunctionCFGOnly(Fn); 71 return Val_unit; 72 } 73