2007-12-11 01:20:48 +01:00
|
|
|
(*===-- llvm_bitreader.mli - LLVM Ocaml Interface ---------------*- C++ -*-===*
|
|
|
|
*
|
|
|
|
* The LLVM Compiler Infrastructure
|
|
|
|
*
|
2007-12-29 23:59:10 +01:00
|
|
|
* This file is distributed under the University of Illinois Open Source
|
|
|
|
* License. See LICENSE.TXT for details.
|
2007-12-11 01:20:48 +01:00
|
|
|
*
|
|
|
|
*===----------------------------------------------------------------------===*)
|
|
|
|
|
2008-03-09 08:17:38 +01:00
|
|
|
(** Bitcode reader.
|
|
|
|
|
|
|
|
This interface provides an ocaml API for the LLVM bitcode reader, the
|
|
|
|
classes in the Bitreader library. *)
|
2007-12-11 01:20:48 +01:00
|
|
|
|
2007-12-19 23:30:40 +01:00
|
|
|
exception Error of string
|
2007-12-11 01:20:48 +01:00
|
|
|
|
2010-03-03 00:59:00 +01:00
|
|
|
(** [get_module context mb] reads the bitcode for a new module [m] from the
|
|
|
|
memory buffer [mb] in the context [context]. Returns [m] if successful, or
|
|
|
|
raises [Error msg] otherwise, where [msg] is a description of the error
|
|
|
|
encountered. See the function [llvm::getBitcodeModule]. *)
|
2010-12-23 16:49:26 +01:00
|
|
|
val get_module : Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule
|
|
|
|
|
2007-12-11 01:20:48 +01:00
|
|
|
|
2009-08-19 08:40:29 +02:00
|
|
|
(** [parse_bitcode context mb] parses the bitcode for a new module [m] from the
|
|
|
|
memory buffer [mb] in the context [context]. Returns [m] if successful, or
|
|
|
|
raises [Error msg] otherwise, where [msg] is a description of the error
|
|
|
|
encountered. See the function [llvm::ParseBitcodeFile]. *)
|
2010-12-23 16:49:26 +01:00
|
|
|
val parse_bitcode : Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule
|
|
|
|
|