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
|
|
|
|
2007-12-19 23:30:40 +01:00
|
|
|
(** [read_bitcode_file path] reads the bitcode for a new module [m] from the
|
|
|
|
file at [path]. Returns [Success m] if successful, and [Failure msg]
|
|
|
|
otherwise, where [msg] is a description of the error encountered.
|
2008-03-09 08:17:38 +01:00
|
|
|
See the function [llvm::getBitcodeModuleProvider]. *)
|
2007-12-19 23:30:40 +01:00
|
|
|
external get_module_provider : Llvm.llmemorybuffer -> Llvm.llmoduleprovider
|
|
|
|
= "llvm_get_module_provider"
|
2007-12-11 01:20:48 +01:00
|
|
|
|
2007-12-19 23:30:40 +01:00
|
|
|
(** [parse_bitcode mb] parses the bitcode for a new module [m] from the memory
|
|
|
|
buffer [mb]. Returns [Success m] if successful, and [Failure msg] otherwise,
|
|
|
|
where [msg] is a description of the error encountered.
|
2008-03-09 08:17:38 +01:00
|
|
|
See the function [llvm::ParseBitcodeFile]. *)
|
2007-12-19 23:30:40 +01:00
|
|
|
external parse_bitcode : Llvm.llmemorybuffer -> Llvm.llmodule
|
|
|
|
= "llvm_parse_bitcode"
|