summaryrefslogtreecommitdiff
path: root/bindings/ocaml/executionengine/llvm_executionengine.mli
diff options
context:
space:
mode:
authorPeter Zotov <whitequark@whitequark.org>2013-11-04 01:39:18 +0000
committerPeter Zotov <whitequark@whitequark.org>2013-11-04 01:39:18 +0000
commite5de63c7de04c81d7d8484e5b64f47941143c739 (patch)
tree5272e98b6323a0de9dcab10a112d50072268d44d /bindings/ocaml/executionengine/llvm_executionengine.mli
parent633f98bdfa266871dcd17ab27af1594c6cc31d9e (diff)
downloadllvm-e5de63c7de04c81d7d8484e5b64f47941143c739.tar.gz
llvm-e5de63c7de04c81d7d8484e5b64f47941143c739.tar.bz2
llvm-e5de63c7de04c81d7d8484e5b64f47941143c739.tar.xz
[OCaml] Formatting
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193965 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings/ocaml/executionengine/llvm_executionengine.mli')
-rw-r--r--bindings/ocaml/executionengine/llvm_executionengine.mli10
1 files changed, 1 insertions, 9 deletions
diff --git a/bindings/ocaml/executionengine/llvm_executionengine.mli b/bindings/ocaml/executionengine/llvm_executionengine.mli
index a3e1da3bcb..1aa250f363 100644
--- a/bindings/ocaml/executionengine/llvm_executionengine.mli
+++ b/bindings/ocaml/executionengine/llvm_executionengine.mli
@@ -43,7 +43,6 @@ module GenericValue: sig
bitwidth [w]. See the field [llvm::GenericValue::IntVal]. *)
val of_nativeint : Llvm.lltype -> nativeint -> t
-
(** [of_int64 n w] boxes the int64 [i] in a generic value with the bitwidth
[w]. See the field [llvm::GenericValue::IntVal]. *)
val of_int64 : Llvm.lltype -> int64 -> t
@@ -110,7 +109,7 @@ module ExecutionEngine: sig
(** [dispose ee] releases the memory used by the execution engine and must be
invoked to avoid memory leaks. *)
val dispose : t -> unit
-
+
(** [add_module m ee] adds the module [m] to the execution engine [ee]. *)
val add_module : Llvm.llmodule -> t -> unit
@@ -119,19 +118,16 @@ module ExecutionEngine: sig
[Error msg] if an error occurs. *)
val remove_module : Llvm.llmodule -> t -> Llvm.llmodule
-
(** [find_function n ee] finds the function named [n] defined in any of the
modules owned by the execution engine [ee]. Returns [None] if the function
is not found and [Some f] otherwise. *)
val find_function : string -> t -> Llvm.llvalue option
-
(** [run_function f args ee] synchronously executes the function [f] with the
arguments [args], which must be compatible with the parameter types. *)
val run_function : Llvm.llvalue -> GenericValue.t array -> t ->
GenericValue.t
-
(** [run_static_ctors ee] executes the static constructors of each module in
the execution engine [ee]. *)
val run_static_ctors : t -> unit
@@ -147,17 +143,13 @@ module ExecutionEngine: sig
val run_function_as_main : Llvm.llvalue -> string array ->
(string * string) array -> t -> int
-
(** [free_machine_code f ee] releases the memory in the execution engine [ee]
used to store the machine code for the function [f]. *)
val free_machine_code : Llvm.llvalue -> t -> unit
-
(** [target_data ee] is the target data owned by the execution engine
[ee]. *)
val target_data : t -> Llvm_target.DataLayout.t
-
end
val initialize_native_target : unit -> bool
-