Sylvestre Ledru | 493cd8c | 2013-11-01 00:26:01 +0000 | [diff] [blame] | 1 | /*===-- bitwriter_ocaml.c - LLVM OCaml Glue ---------------------*- C++ -*-===*\ |
Gordon Henriksen | 37582f7 | 2007-09-18 12:49:39 +0000 | [diff] [blame] | 2 | |* *| |
| 3 | |* The LLVM Compiler Infrastructure *| |
| 4 | |* *| |
Chris Lattner | 6787a45 | 2007-12-29 22:59:10 +0000 | [diff] [blame] | 5 | |* This file is distributed under the University of Illinois Open Source *| |
| 6 | |* License. See LICENSE.TXT for details. *| |
Gordon Henriksen | 37582f7 | 2007-09-18 12:49:39 +0000 | [diff] [blame] | 7 | |* *| |
| 8 | |*===----------------------------------------------------------------------===*| |
| 9 | |* *| |
Sylvestre Ledru | 493cd8c | 2013-11-01 00:26:01 +0000 | [diff] [blame] | 10 | |* This file glues LLVM's OCaml interface to its C interface. These functions *| |
Gordon Henriksen | 37582f7 | 2007-09-18 12:49:39 +0000 | [diff] [blame] | 11 | |* 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 Henriksen | 37582f7 | 2007-09-18 12:49:39 +0000 | [diff] [blame] | 24 | /* Llvm.llmodule -> string -> bool */ |
Peter Zotov | 662538a | 2014-10-29 08:15:54 +0000 | [diff] [blame] | 25 | CAMLprim value llvm_write_bitcode_file(LLVMModuleRef M, value Path) { |
| 26 | int Result = LLVMWriteBitcodeToFile(M, String_val(Path)); |
| 27 | return Val_bool(Result == 0); |
Gordon Henriksen | 37582f7 | 2007-09-18 12:49:39 +0000 | [diff] [blame] | 28 | } |
Erick Tryzelaar | 381268e | 2010-03-06 00:30:06 +0000 | [diff] [blame] | 29 | |
| 30 | /* ?unbuffered:bool -> Llvm.llmodule -> Unix.file_descr -> bool */ |
Peter Zotov | 662538a | 2014-10-29 08:15:54 +0000 | [diff] [blame] | 31 | CAMLprim value llvm_write_bitcode_to_fd(value U, LLVMModuleRef M, value FD) { |
Erick Tryzelaar | 381268e | 2010-03-06 00:30:06 +0000 | [diff] [blame] | 32 | int Unbuffered; |
Peter Zotov | 662538a | 2014-10-29 08:15:54 +0000 | [diff] [blame] | 33 | int Result; |
Erick Tryzelaar | 381268e | 2010-03-06 00:30:06 +0000 | [diff] [blame] | 34 | |
| 35 | if (U == Val_int(0)) { |
| 36 | Unbuffered = 0; |
| 37 | } else { |
Peter Zotov | 662538a | 2014-10-29 08:15:54 +0000 | [diff] [blame] | 38 | Unbuffered = Bool_val(Field(U, 0)); |
Erick Tryzelaar | 381268e | 2010-03-06 00:30:06 +0000 | [diff] [blame] | 39 | } |
| 40 | |
Peter Zotov | 662538a | 2014-10-29 08:15:54 +0000 | [diff] [blame] | 41 | Result = LLVMWriteBitcodeToFD(M, Int_val(FD), 0, Unbuffered); |
| 42 | return Val_bool(Result == 0); |
Erick Tryzelaar | 381268e | 2010-03-06 00:30:06 +0000 | [diff] [blame] | 43 | } |
Peter Zotov | 5f28729 | 2014-10-29 08:16:01 +0000 | [diff] [blame] | 44 | |
| 45 | /* Llvm.llmodule -> Llvm.llmemorybuffer */ |
| 46 | CAMLprim LLVMMemoryBufferRef llvm_write_bitcode_to_memory_buffer(LLVMModuleRef M) { |
| 47 | return LLVMWriteBitcodeToMemoryBuffer(M); |
| 48 | } |