Home | History | Annotate | Download | only in analysis 
      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 "caml/alloc.h"
     20 #include "caml/mlvalues.h"
     21 #include "caml/memory.h"
     22 
     23 /* Llvm.llmodule -> string option */
     24 CAMLprim value llvm_verify_module(LLVMModuleRef M) {
     25   CAMLparam0();
     26   CAMLlocal2(String, Option);
     27 
     28   char *Message;
     29   int Result = LLVMVerifyModule(M, LLVMReturnStatusAction, &Message);
     30 
     31   if (0 == Result) {
     32     Option = Val_int(0);
     33   } else {
     34     Option = alloc(1, 0);
     35     String = copy_string(Message);
     36     Store_field(Option, 0, String);
     37   }
     38 
     39   LLVMDisposeMessage(Message);
     40 
     41   CAMLreturn(Option);
     42 }
     43 
     44 /* Llvm.llvalue -> bool */
     45 CAMLprim value llvm_verify_function(LLVMValueRef Fn) {
     46   return Val_bool(LLVMVerifyFunction(Fn, LLVMReturnStatusAction) == 0);
     47 }
     48 
     49 /* Llvm.llmodule -> unit */
     50 CAMLprim value llvm_assert_valid_module(LLVMModuleRef M) {
     51   LLVMVerifyModule(M, LLVMAbortProcessAction, 0);
     52   return Val_unit;
     53 }
     54 
     55 /* Llvm.llvalue -> unit */
     56 CAMLprim value llvm_assert_valid_function(LLVMValueRef Fn) {
     57   LLVMVerifyFunction(Fn, LLVMAbortProcessAction);
     58   return Val_unit;
     59 }
     60 
     61 /* Llvm.llvalue -> unit */
     62 CAMLprim value llvm_view_function_cfg(LLVMValueRef Fn) {
     63   LLVMViewFunctionCFG(Fn);
     64   return Val_unit;
     65 }
     66 
     67 /* Llvm.llvalue -> unit */
     68 CAMLprim value llvm_view_function_cfg_only(LLVMValueRef Fn) {
     69   LLVMViewFunctionCFGOnly(Fn);
     70   return Val_unit;
     71 }
     72