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

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

Changeset View

Standalone View

llvm/bindings/ocaml/analysis/analysis_ocaml.c

	Show All 17 Lines
	#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();			CAMLparam0();
	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);			return 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);			LLVMVerifyModule(Module_val(M), LLVMAbortProcessAction, 0);
	return Val_unit;			return 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);			LLVMVerifyFunction(Value_val(Fn), LLVMAbortProcessAction);
	return Val_unit;			return Val_unit;
	}			}

	/* Llvm.llvalue -> unit */			/* Llvm.llvalue -> unit */
	value llvm_view_function_cfg(LLVMValueRef Fn) {			value llvm_view_function_cfg(value Fn) {
	LLVMViewFunctionCFG(Fn);			LLVMViewFunctionCFG(Value_val(Fn));
	return Val_unit;			return 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);			LLVMViewFunctionCFGOnly(Value_val(Fn));
	return Val_unit;			return Val_unit;
	}			}