2014-10-29 08:16:01 +00:00
|
|
|
(*===-- llvm_bitwriter.mli - LLVM OCaml Interface -------------*- OCaml -*-===*
|
2007-09-18 12:49:39 +00:00
|
|
|
*
|
|
|
|
* The LLVM Compiler Infrastructure
|
|
|
|
*
|
2007-12-29 22:59:10 +00:00
|
|
|
* This file is distributed under the University of Illinois Open Source
|
|
|
|
* License. See LICENSE.TXT for details.
|
2007-09-18 12:49:39 +00:00
|
|
|
*
|
|
|
|
*===----------------------------------------------------------------------===*)
|
|
|
|
|
2008-03-09 07:17:38 +00:00
|
|
|
(** Bitcode writer.
|
|
|
|
|
2013-11-01 00:26:01 +00:00
|
|
|
This interface provides an OCaml API for the LLVM bitcode writer, the
|
2008-03-09 07:17:38 +00:00
|
|
|
classes in the Bitwriter library. *)
|
2007-09-18 12:49:39 +00:00
|
|
|
|
2007-12-01 21:01:15 +00:00
|
|
|
(** [write_bitcode_file m path] writes the bitcode for module [m] to the file at
|
2008-03-09 07:17:38 +00:00
|
|
|
[path]. Returns [true] if successful, [false] otherwise. *)
|
2014-10-29 08:16:01 +00:00
|
|
|
external write_bitcode_file
|
|
|
|
: Llvm.llmodule -> string -> bool
|
|
|
|
= "llvm_write_bitcode_file"
|
2010-03-06 00:30:06 +00:00
|
|
|
|
|
|
|
(** [write_bitcode_to_fd ~unbuffered fd m] writes the bitcode for module
|
|
|
|
[m] to the channel [c]. If [unbuffered] is [true], after every write the fd
|
|
|
|
will be flushed. Returns [true] if successful, [false] otherwise. *)
|
2014-10-29 08:16:01 +00:00
|
|
|
external write_bitcode_to_fd
|
|
|
|
: ?unbuffered:bool -> Llvm.llmodule -> Unix.file_descr -> bool
|
|
|
|
= "llvm_write_bitcode_to_fd"
|
|
|
|
|
|
|
|
(** [write_bitcode_to_memory_buffer m] returns a memory buffer containing
|
|
|
|
the bitcode for module [m]. *)
|
|
|
|
external write_bitcode_to_memory_buffer
|
|
|
|
: Llvm.llmodule -> Llvm.llmemorybuffer
|
|
|
|
= "llvm_write_bitcode_to_memory_buffer"
|
2010-03-06 00:30:06 +00:00
|
|
|
|
|
|
|
(** [output_bitcode ~unbuffered c m] writes the bitcode for module [m]
|
|
|
|
to the channel [c]. If [unbuffered] is [true], after every write the fd
|
|
|
|
will be flushed. Returns [true] if successful, [false] otherwise. *)
|
|
|
|
val output_bitcode : ?unbuffered:bool -> out_channel -> Llvm.llmodule -> bool
|