2007-12-11 08:20:48 +08:00
|
|
|
(*===-- llvm_bitreader.mli - LLVM Ocaml Interface ---------------*- C++ -*-===*
|
|
|
|
*
|
|
|
|
* The LLVM Compiler Infrastructure
|
|
|
|
*
|
2007-12-30 06:59:10 +08:00
|
|
|
* This file is distributed under the University of Illinois Open Source
|
|
|
|
* License. See LICENSE.TXT for details.
|
2007-12-11 08:20:48 +08:00
|
|
|
*
|
|
|
|
*===----------------------------------------------------------------------===*)
|
|
|
|
|
2008-03-09 15:17:38 +08:00
|
|
|
(** Bitcode reader.
|
|
|
|
|
|
|
|
This interface provides an ocaml API for the LLVM bitcode reader, the
|
|
|
|
classes in the Bitreader library. *)
|
2007-12-11 08:20:48 +08:00
|
|
|
|
2007-12-20 06:30:40 +08:00
|
|
|
exception Error of string
|
2007-12-11 08:20:48 +08:00
|
|
|
|
2010-03-03 07:59:00 +08: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 23:49:26 +08:00
|
|
|
val get_module : Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule
|
|
|
|
|
2007-12-11 08:20:48 +08:00
|
|
|
|
2009-08-19 14:40:29 +08: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
|
2012-07-19 08:23:13 +08:00
|
|
|
raises [Error msg] otherwise, where [msg] is a description of the error
|
|
|
|
encountered. See the function [llvm::ParseBitcodeFile]. *)
|
2010-12-23 23:49:26 +08:00
|
|
|
val parse_bitcode : Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule
|