2007-12-11 01:20:48 +01:00
|
|
|
/*===-- bitwriter_ocaml.c - LLVM Ocaml Glue ---------------------*- C++ -*-===*\
|
|
|
|
|* *|
|
|
|
|
|* The LLVM Compiler Infrastructure *|
|
|
|
|
|* *|
|
2007-12-29 23:59:10 +01:00
|
|
|
|* This file is distributed under the University of Illinois Open Source *|
|
|
|
|
|* License. See LICENSE.TXT for details. *|
|
2007-12-11 01:20:48 +01:00
|
|
|
|* *|
|
|
|
|
|*===----------------------------------------------------------------------===*|
|
|
|
|
|* *|
|
|
|
|
|* This file glues LLVM's ocaml interface to its C interface. These functions *|
|
|
|
|
|* are by and large transparent wrappers to the corresponding C functions. *|
|
|
|
|
|* *|
|
|
|
|
\*===----------------------------------------------------------------------===*/
|
|
|
|
|
|
|
|
#include "llvm-c/BitReader.h"
|
|
|
|
#include "caml/alloc.h"
|
2007-12-23 17:59:28 +01:00
|
|
|
#include "caml/fail.h"
|
2007-12-11 01:20:48 +01:00
|
|
|
#include "caml/memory.h"
|
2007-12-19 23:30:40 +01:00
|
|
|
|
|
|
|
|
|
|
|
/* Can't use the recommended caml_named_value mechanism for backwards
|
|
|
|
compatibility reasons. This is largely equivalent. */
|
|
|
|
static value llvm_bitreader_error_exn;
|
|
|
|
|
|
|
|
CAMLprim value llvm_register_bitreader_exns(value Error) {
|
|
|
|
llvm_bitreader_error_exn = Field(Error, 0);
|
|
|
|
register_global_root(&llvm_bitreader_error_exn);
|
|
|
|
return Val_unit;
|
|
|
|
}
|
|
|
|
|
2007-12-23 17:59:28 +01:00
|
|
|
static void llvm_raise(value Prototype, char *Message) {
|
|
|
|
CAMLparam1(Prototype);
|
|
|
|
CAMLlocal1(CamlMessage);
|
|
|
|
|
|
|
|
CamlMessage = copy_string(Message);
|
|
|
|
LLVMDisposeMessage(Message);
|
|
|
|
|
|
|
|
raise_with_arg(Prototype, CamlMessage);
|
|
|
|
abort(); /* NOTREACHED */
|
2007-12-30 19:12:41 +01:00
|
|
|
#ifdef CAMLnoreturn
|
|
|
|
CAMLnoreturn; /* Silences warnings, but is missing in some versions. */
|
|
|
|
#endif
|
2007-12-23 17:59:28 +01:00
|
|
|
}
|
2007-12-19 23:30:40 +01:00
|
|
|
|
2007-12-11 01:20:48 +01:00
|
|
|
|
|
|
|
/*===-- Modules -----------------------------------------------------------===*/
|
|
|
|
|
2009-08-19 08:40:29 +02:00
|
|
|
/* Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule */
|
2010-03-03 00:59:00 +01:00
|
|
|
CAMLprim value llvm_get_module(LLVMContextRef C, LLVMMemoryBufferRef MemBuf) {
|
2007-12-19 23:30:40 +01:00
|
|
|
CAMLparam0();
|
|
|
|
CAMLlocal2(Variant, MessageVal);
|
|
|
|
char *Message;
|
|
|
|
|
2010-03-03 00:59:00 +01:00
|
|
|
LLVMModuleRef M;
|
|
|
|
if (LLVMGetBitcodeModuleInContext(C, MemBuf, &M, &Message))
|
2007-12-19 23:30:40 +01:00
|
|
|
llvm_raise(llvm_bitreader_error_exn, Message);
|
|
|
|
|
2010-03-03 00:59:00 +01:00
|
|
|
CAMLreturn((value) M);
|
2007-12-19 23:30:40 +01:00
|
|
|
}
|
2007-12-11 01:20:48 +01:00
|
|
|
|
2009-08-19 08:40:29 +02:00
|
|
|
/* Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule */
|
|
|
|
CAMLprim value llvm_parse_bitcode(LLVMContextRef C,
|
|
|
|
LLVMMemoryBufferRef MemBuf) {
|
2007-12-19 23:30:40 +01:00
|
|
|
CAMLparam0();
|
|
|
|
CAMLlocal2(Variant, MessageVal);
|
2007-12-11 01:20:48 +01:00
|
|
|
LLVMModuleRef M;
|
|
|
|
char *Message;
|
|
|
|
|
2009-08-19 08:40:29 +02:00
|
|
|
if (LLVMParseBitcodeInContext(C, MemBuf, &M, &Message))
|
2007-12-19 23:30:40 +01:00
|
|
|
llvm_raise(llvm_bitreader_error_exn, Message);
|
2007-12-11 01:20:48 +01:00
|
|
|
|
2007-12-19 23:30:40 +01:00
|
|
|
CAMLreturn((value) M);
|
2007-12-11 01:20:48 +01:00
|
|
|
}
|