<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Llvm" rel="Chapter" href="Llvm.html"> <link title="Llvm_analysis" rel="Chapter" href="Llvm_analysis.html"> <link title="Llvm_bitreader" rel="Chapter" href="Llvm_bitreader.html"> <link title="Llvm_bitwriter" rel="Chapter" href="Llvm_bitwriter.html"> <link title="Llvm_executionengine" rel="Chapter" href="Llvm_executionengine.html"> <link title="Llvm_ipo" rel="Chapter" href="Llvm_ipo.html"> <link title="Llvm_scalar_opts" rel="Chapter" href="Llvm_scalar_opts.html"> <link title="Llvm_target" rel="Chapter" href="Llvm_target.html"><title>Llvm_executionengine</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">exception</span> <span class="constructor">Error</span> <span class="keyword">of</span> string<br> <span class="keyword">module</span> <span class="constructor">GenericValue</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> of_float :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> float <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t<br> <span class="keyword">val</span> of_pointer : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t<br> <span class="keyword">val</span> of_int32 :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t<br> <span class="keyword">val</span> of_int : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t<br> <span class="keyword">val</span> of_nativeint :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t<br> <span class="keyword">val</span> of_int64 :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t<br> <span class="keyword">val</span> as_float :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> as_pointer : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> as_int32 : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> as_int : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> as_nativeint : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> nativeint<br> <span class="keyword">val</span> as_int64 : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> int64<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ExecutionEngine</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> create : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t<br> <span class="keyword">val</span> create_interpreter :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t<br> <span class="keyword">val</span> create_jit :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t<br> <span class="keyword">val</span> dispose : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> add_module :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> remove_module :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span><br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule<br> <span class="keyword">val</span> find_function :<br> string <span class="keywordsign">-></span><br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue option<br> <span class="keyword">val</span> run_function :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t array <span class="keywordsign">-></span><br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t<br> <span class="keyword">val</span> run_static_ctors : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> run_static_dtors : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> run_function_as_main :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> string array <span class="keywordsign">-></span><br> (string * string) array <span class="keywordsign">-></span><br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> free_machine_code :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> target_data :<br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> <span class="constructor">Llvm_target</span>.<span class="constructor">TargetData</span>.t<br> <span class="keyword">end</span><br> <span class="keyword">val</span> initialize_native_target : unit <span class="keywordsign">-></span> bool<br> <span class="keyword">end</span></code></body></html>