2007-12-11 00:20:48 +00:00
|
|
|
(*===-- llvm_bitreader.mli - LLVM Ocaml Interface ---------------*- C++ -*-===*
|
|
|
|
*
|
|
|
|
* 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-12-11 00:20:48 +00:00
|
|
|
*
|
|
|
|
*===----------------------------------------------------------------------===*)
|
|
|
|
|
2008-03-09 07:17:38 +00:00
|
|
|
(** Bitcode reader.
|
|
|
|
|
|
|
|
This interface provides an ocaml API for the LLVM bitcode reader, the
|
|
|
|
classes in the Bitreader library. *)
|
2007-12-11 00:20:48 +00:00
|
|
|
|
2007-12-19 22:30:40 +00:00
|
|
|
exception Error of string
|
2007-12-11 00:20:48 +00:00
|
|
|
|
2010-03-02 23:59:00 +00: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]. *)
|
|
|
|
external get_module : Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule
|
|
|
|
= "llvm_get_module"
|
2007-12-11 00:20:48 +00:00
|
|
|
|
2009-08-19 06:40:29 +00: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]. *)
|
|
|
|
external parse_bitcode : Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule
|
2007-12-19 22:30:40 +00:00
|
|
|
= "llvm_parse_bitcode"
|