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, 1);
  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 }