Page MenuHomePhabricator

Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline

Differential D136400 Diff 497502 llvm/bindings/ocaml/analysis/analysis_ocaml.c

Changeset View

Standalone View

View Options

llvm/bindings/ocaml/analysis/analysis_ocaml.c

/*===-- analysis_ocaml.c - LLVM OCaml Glue ----------------------*- C++ -*-===*\ /*===-- analysis_ocaml.c - LLVM OCaml Glue ----------------------*- C++ -*-===*\
|* *| |* *|
|* Part of the LLVM Project, under the Apache License v2.0 with LLVM *| |* Part of the LLVM Project, under the Apache License v2.0 with LLVM *|
|* Exceptions. *| |* Exceptions. *|
|* See https://llvm.org/LICENSE.txt for license information. *| |* See https://llvm.org/LICENSE.txt for license information. *|
|* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception *| |* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception *|
|* *| |* *|
|*===----------------------------------------------------------------------===*| |*===----------------------------------------------------------------------===*|
|* *| |* *|
|* This file glues LLVM's OCaml interface to its C interface. These functions *| |* This file glues LLVM's OCaml interface to its C interface. These functions *|
|* are by and large transparent wrappers to the corresponding C functions. *| |* are by and large transparent wrappers to the corresponding C functions. *|
|* *| |* *|
|* Note that these functions intentionally take liberties with the CAMLparamX *|
|* macros, since most of the parameters are not GC heap objects. *|
|* *|
\*===----------------------------------------------------------------------===*/ \*===----------------------------------------------------------------------===*/
#include "llvm-c/Analysis.h" #include "llvm-c/Analysis.h"
#include "llvm-c/Core.h" #include "llvm-c/Core.h"
#include "caml/alloc.h" #include "caml/alloc.h"
#include "caml/mlvalues.h" #include "caml/mlvalues.h"
#include "caml/memory.h" #include "caml/memory.h"
#include "llvm_ocaml.h" #include "llvm_ocaml.h"
/* Llvm.llmodule -> string option */ /* Llvm.llmodule -> string option */
value llvm_verify_module(LLVMModuleRef M) { value llvm_verify_module(value M) {
CAMLparam0(); CAMLparam1(M);
CAMLlocal2(String, Option); CAMLlocal2(String, Option);
char *Message; char *Message;
int Result = LLVMVerifyModule(M, LLVMReturnStatusAction, &Message); int Result =
LLVMVerifyModule(Module_val(M), LLVMReturnStatusAction, &Message);
if (0 == Result) { if (0 == Result) {
Option = Val_none; Option = Val_none;
} else { } else {
String = copy_string(Message); String = caml_copy_string(Message);
Option = caml_alloc_some(String); Option = caml_alloc_some(String);
} }
LLVMDisposeMessage(Message); LLVMDisposeMessage(Message);
CAMLreturn(Option); CAMLreturn(Option);
} }
/* Llvm.llvalue -> bool */ /* Llvm.llvalue -> bool */
value llvm_verify_function(LLVMValueRef Fn) { value llvm_verify_function(value Fn) {
return Val_bool(LLVMVerifyFunction(Fn, LLVMReturnStatusAction) == 0); CAMLparam1(Fn);
CAMLreturn(
Val_bool(LLVMVerifyFunction(Value_val(Fn), LLVMReturnStatusAction) == 0));
} }
/* Llvm.llmodule -> unit */ /* Llvm.llmodule -> unit */
value llvm_assert_valid_module(LLVMModuleRef M) { value llvm_assert_valid_module(value M) {
LLVMVerifyModule(M, LLVMAbortProcessAction, 0); CAMLparam1(M);
return Val_unit; LLVMVerifyModule(Module_val(M), LLVMAbortProcessAction, 0);
CAMLreturn(Val_unit);
} }
/* Llvm.llvalue -> unit */ /* Llvm.llvalue -> unit */
value llvm_assert_valid_function(LLVMValueRef Fn) { value llvm_assert_valid_function(value Fn) {
LLVMVerifyFunction(Fn, LLVMAbortProcessAction); CAMLparam1(Fn);
return Val_unit; LLVMVerifyFunction(Value_val(Fn), LLVMAbortProcessAction);
CAMLreturn(Val_unit);
} }
/* Llvm.llvalue -> unit */ /* Llvm.llvalue -> unit */
value llvm_view_function_cfg(LLVMValueRef Fn) { value llvm_view_function_cfg(value Fn) {
LLVMViewFunctionCFG(Fn); CAMLparam1(Fn);
return Val_unit; LLVMViewFunctionCFG(Value_val(Fn));
CAMLreturn(Val_unit);
} }
/* Llvm.llvalue -> unit */ /* Llvm.llvalue -> unit */
value llvm_view_function_cfg_only(LLVMValueRef Fn) { value llvm_view_function_cfg_only(value Fn) {
LLVMViewFunctionCFGOnly(Fn); CAMLparam1(Fn);
return Val_unit; LLVMViewFunctionCFGOnly(Value_val(Fn));
CAMLreturn(Val_unit);
} }