blob: 04fd61917dc6205979d36b64c8c314bcb5effc94 [file] [log] [blame]
Sylvestre Ledru493cd8c2013-11-01 00:26:01 +00001/*===-- bitwriter_ocaml.c - LLVM OCaml Glue ---------------------*- C++ -*-===*\
Gordon Henriksen37582f72007-09-18 12:49:39 +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 Henriksen37582f72007-09-18 12:49:39 +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 Henriksen37582f72007-09-18 12:49:39 +000011|* are by and large transparent wrappers to the corresponding C functions. *|
12|* *|
13|* Note that these functions intentionally take liberties with the CAMLparamX *|
14|* macros, since most of the parameters are not GC heap objects. *|
15|* *|
16\*===----------------------------------------------------------------------===*/
17
18#include "llvm-c/BitWriter.h"
19#include "llvm-c/Core.h"
20#include "caml/alloc.h"
21#include "caml/mlvalues.h"
22#include "caml/memory.h"
23
Gordon Henriksen37582f72007-09-18 12:49:39 +000024/* Llvm.llmodule -> string -> bool */
Peter Zotov662538a2014-10-29 08:15:54 +000025CAMLprim value llvm_write_bitcode_file(LLVMModuleRef M, value Path) {
26 int Result = LLVMWriteBitcodeToFile(M, String_val(Path));
27 return Val_bool(Result == 0);
Gordon Henriksen37582f72007-09-18 12:49:39 +000028}
Erick Tryzelaar381268e2010-03-06 00:30:06 +000029
30/* ?unbuffered:bool -> Llvm.llmodule -> Unix.file_descr -> bool */
Peter Zotov662538a2014-10-29 08:15:54 +000031CAMLprim value llvm_write_bitcode_to_fd(value U, LLVMModuleRef M, value FD) {
Erick Tryzelaar381268e2010-03-06 00:30:06 +000032 int Unbuffered;
Peter Zotov662538a2014-10-29 08:15:54 +000033 int Result;
Erick Tryzelaar381268e2010-03-06 00:30:06 +000034
35 if (U == Val_int(0)) {
36 Unbuffered = 0;
37 } else {
Peter Zotov662538a2014-10-29 08:15:54 +000038 Unbuffered = Bool_val(Field(U, 0));
Erick Tryzelaar381268e2010-03-06 00:30:06 +000039 }
40
Peter Zotov662538a2014-10-29 08:15:54 +000041 Result = LLVMWriteBitcodeToFD(M, Int_val(FD), 0, Unbuffered);
42 return Val_bool(Result == 0);
Erick Tryzelaar381268e2010-03-06 00:30:06 +000043}
Peter Zotov5f287292014-10-29 08:16:01 +000044
45/* Llvm.llmodule -> Llvm.llmemorybuffer */
46CAMLprim LLVMMemoryBufferRef llvm_write_bitcode_to_memory_buffer(LLVMModuleRef M) {
47 return LLVMWriteBitcodeToMemoryBuffer(M);
48}