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 */
llvm_verify_module(LLVMModuleRef M)25 CAMLprim 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 */
llvm_verify_function(LLVMValueRef Fn)46 CAMLprim value 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)51 CAMLprim value 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)57 CAMLprim value 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)63 CAMLprim value 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)69 CAMLprim value llvm_view_function_cfg_only(LLVMValueRef Fn) {
70 LLVMViewFunctionCFGOnly(Fn);
71 return Val_unit;
72 }
73