blob: 6d957760cff730efcdb6de0a4117cc811152427c [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"
Jeroen Ketemab7f633b2016-04-01 07:56:17 +000016#include "llvm-c/Core.h"
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000017#include "caml/alloc.h"
Gordon Henriksen2a8cd892007-12-23 16:59:28 +000018#include "caml/fail.h"
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000019#include "caml/memory.h"
Peter Zotov662538a2014-10-29 08:15:54 +000020#include "caml/callback.h"
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000021
Peter Zotov1b254f92014-10-30 08:29:29 +000022void llvm_raise(value Prototype, char *Message);
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000023
Erick Tryzelaar5c35b5c2009-08-19 06:40:29 +000024/* Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule */
Peter Zotov662538a2014-10-29 08:15:54 +000025CAMLprim LLVMModuleRef llvm_get_module(LLVMContextRef C, LLVMMemoryBufferRef MemBuf) {
26 LLVMModuleRef M;
Peter Zotov110f6292014-10-28 06:15:18 +000027
Rafael Espindola2339ffe2015-12-18 23:46:42 +000028 if (LLVMGetBitcodeModuleInContext2(C, MemBuf, &M))
Jeroen Ketemab7f633b2016-04-01 07:56:17 +000029 llvm_raise(*caml_named_value("Llvm_bitreader.Error"), LLVMCreateMessage(""));
Peter Zotov110f6292014-10-28 06:15:18 +000030
Peter Zotov662538a2014-10-29 08:15:54 +000031 return M;
Gordon Henriksen34eb6d82007-12-19 22:30:40 +000032}
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000033
Erick Tryzelaar5c35b5c2009-08-19 06:40:29 +000034/* Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule */
Peter Zotov662538a2014-10-29 08:15:54 +000035CAMLprim LLVMModuleRef llvm_parse_bitcode(LLVMContextRef C, LLVMMemoryBufferRef MemBuf) {
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000036 LLVMModuleRef M;
Peter Zotov110f6292014-10-28 06:15:18 +000037
Rafael Espindola2339ffe2015-12-18 23:46:42 +000038 if (LLVMParseBitcodeInContext2(C, MemBuf, &M))
Jeroen Ketemab7f633b2016-04-01 07:56:17 +000039 llvm_raise(*caml_named_value("Llvm_bitreader.Error"), LLVMCreateMessage(""));
Peter Zotov110f6292014-10-28 06:15:18 +000040
Peter Zotov662538a2014-10-29 08:15:54 +000041 return M;
Gordon Henriksen2b0eed22007-12-11 00:20:48 +000042}