blob: a3f873c8d882e97ad932dc0ef9864f5525576a56 [file] [log] [blame]
Sylvestre Ledru493cd8c2013-11-01 00:26:01 +00001/*===-- bitwriter_ocaml.c - LLVM OCaml Glue ---------------------*- C++ -*-===*\
Gordon Henriksen2b0eed22007-12-11 00:20:48 +00002|* *|
3|* The LLVM Compiler Infrastructure *|
4|* *|
Chris Lattner6787a452007-12-29 22:59:10 +00005|* This file is distributed under the University of Illinois Open Source *|
6|* License. See LICENSE.TXT for details. *|
Gordon Henriksen2b0eed22007-12-11 00:20:48 +00007|* *|
8|*===----------------------------------------------------------------------===*|
9|* *|
Sylvestre Ledru493cd8c2013-11-01 00:26:01 +000010|* This file glues LLVM's OCaml interface to its C interface. These functions *|
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000011|* are by and large transparent wrappers to the corresponding C functions. *|
12|* *|
13\*===----------------------------------------------------------------------===*/
14
15#include "llvm-c/BitReader.h"
16#include "caml/alloc.h"
Gordon Henriksen2a8cd892007-12-23 16:59:28 +000017#include "caml/fail.h"
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000018#include "caml/memory.h"
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000019
20
21/* Can't use the recommended caml_named_value mechanism for backwards
22 compatibility reasons. This is largely equivalent. */
23static value llvm_bitreader_error_exn;
24
25CAMLprim value llvm_register_bitreader_exns(value Error) {
26 llvm_bitreader_error_exn = Field(Error, 0);
27 register_global_root(&llvm_bitreader_error_exn);
28 return Val_unit;
29}
30
Gordon Henriksen2a8cd892007-12-23 16:59:28 +000031static void llvm_raise(value Prototype, char *Message) {
32 CAMLparam1(Prototype);
33 CAMLlocal1(CamlMessage);
Peter Zotov110f6292014-10-28 06:15:18 +000034
Gordon Henriksen2a8cd892007-12-23 16:59:28 +000035 CamlMessage = copy_string(Message);
36 LLVMDisposeMessage(Message);
Peter Zotov110f6292014-10-28 06:15:18 +000037
Gordon Henriksen2a8cd892007-12-23 16:59:28 +000038 raise_with_arg(Prototype, CamlMessage);
39 abort(); /* NOTREACHED */
Gordon Henriksen86427bb2007-12-30 18:12:41 +000040#ifdef CAMLnoreturn
41 CAMLnoreturn; /* Silences warnings, but is missing in some versions. */
42#endif
Gordon Henriksen2a8cd892007-12-23 16:59:28 +000043}
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000044
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000045
46/*===-- Modules -----------------------------------------------------------===*/
47
Erick Tryzelaar5c35b5c2009-08-19 06:40:29 +000048/* Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule */
Erick Tryzelaar98b05d62010-03-02 23:59:00 +000049CAMLprim value llvm_get_module(LLVMContextRef C, LLVMMemoryBufferRef MemBuf) {
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000050 CAMLparam0();
51 CAMLlocal2(Variant, MessageVal);
52 char *Message;
Peter Zotov110f6292014-10-28 06:15:18 +000053
Erick Tryzelaar98b05d62010-03-02 23:59:00 +000054 LLVMModuleRef M;
55 if (LLVMGetBitcodeModuleInContext(C, MemBuf, &M, &Message))
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000056 llvm_raise(llvm_bitreader_error_exn, Message);
Peter Zotov110f6292014-10-28 06:15:18 +000057
Erick Tryzelaar98b05d62010-03-02 23:59:00 +000058 CAMLreturn((value) M);
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000059}
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000060
Erick Tryzelaar5c35b5c2009-08-19 06:40:29 +000061/* Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule */
62CAMLprim value llvm_parse_bitcode(LLVMContextRef C,
63 LLVMMemoryBufferRef MemBuf) {
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000064 CAMLparam0();
65 CAMLlocal2(Variant, MessageVal);
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000066 LLVMModuleRef M;
67 char *Message;
Peter Zotov110f6292014-10-28 06:15:18 +000068
Erick Tryzelaar5c35b5c2009-08-19 06:40:29 +000069 if (LLVMParseBitcodeInContext(C, MemBuf, &M, &Message))
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000070 llvm_raise(llvm_bitreader_error_exn, Message);
Peter Zotov110f6292014-10-28 06:15:18 +000071
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000072 CAMLreturn((value) M);
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000073}