Fix bug in constructing Ocaml option types in the bindings.
[oota-llvm.git] / bindings / ocaml / analysis / analysis_ocaml.c
1 /*===-- analysis_ocaml.c - LLVM Ocaml Glue ----------------------*- C++ -*-===*\
2 |*                                                                            *|
3 |*                     The LLVM Compiler Infrastructure                       *|
4 |*                                                                            *|
5 |* This file was developed by Gordon Henriksen and is distributed under the   *|
6 |* University of Illinois Open Source 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 "caml/alloc.h"
20 #include "caml/mlvalues.h"
21 #include "caml/memory.h"
22
23
24 /* Llvm.llmodule -> string option */
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   LLVMDisposeVerifierMessage(Message);
41   
42   CAMLreturn(Option);
43 }
44
45 /* Llvm.llvalue -> bool */
46 CAMLprim value llvm_verify_function(LLVMValueRef Fn) {
47   return Val_bool(LLVMVerifyFunction(Fn, LLVMReturnStatusAction) == 0);
48 }
49
50 /* Llvm.llmodule -> unit */
51 CAMLprim value llvm_assert_valid_module(LLVMModuleRef M) {
52   LLVMVerifyModule(M, LLVMAbortProcessAction, 0);
53   return Val_unit;
54 }
55
56 /* Llvm.llvalue -> unit */
57 CAMLprim value llvm_assert_valid_function(LLVMValueRef Fn) {
58   LLVMVerifyFunction(Fn, LLVMAbortProcessAction);
59   return Val_unit;
60 }