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 "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 */
     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 */
     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 }
     61 
     62 /* Llvm.llvalue -> unit */
     63 CAMLprim value llvm_view_function_cfg(LLVMValueRef Fn) {
     64   LLVMViewFunctionCFG(Fn);
     65   return Val_unit;
     66 }
     67 
     68 /* Llvm.llvalue -> unit */
     69 CAMLprim value llvm_view_function_cfg_only(LLVMValueRef Fn) {
     70   LLVMViewFunctionCFGOnly(Fn);
     71   return Val_unit;
     72 }
     73