<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_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">external</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="string">"llvm_genericvalue_of_float"</span><br> <span class="keyword">external</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="string">"llvm_genericvalue_of_pointer"</span><br> <span class="keyword">external</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="string">"llvm_genericvalue_of_int32"</span><br> <span class="keyword">external</span> of_int :<br> <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="string">"llvm_genericvalue_of_int"</span><br> <span class="keyword">external</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="string">"llvm_genericvalue_of_nativeint"</span><br> <span class="keyword">external</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="string">"llvm_genericvalue_of_int64"</span><br> <span class="keyword">external</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="string">"llvm_genericvalue_as_float"</span><br> <span class="keyword">external</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="string">"llvm_genericvalue_as_pointer"</span><br> <span class="keyword">external</span> as_int32 : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> int32<br> = <span class="string">"llvm_genericvalue_as_int32"</span><br> <span class="keyword">external</span> as_int : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> int<br> = <span class="string">"llvm_genericvalue_as_int"</span><br> <span class="keyword">external</span> as_nativeint :<br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> nativeint<br> = <span class="string">"llvm_genericvalue_as_nativeint"</span><br> <span class="keyword">external</span> as_int64 : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">GenericValue</span>.t <span class="keywordsign">-></span> int64<br> = <span class="string">"llvm_genericvalue_as_int64"</span><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">external</span> create :<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="string">"llvm_ee_create"</span><br> <span class="keyword">external</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="string">"llvm_ee_create_interpreter"</span><br> <span class="keyword">external</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="string">"llvm_ee_create_jit"</span><br> <span class="keyword">external</span> dispose : <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_ee_dispose"</span><br> <span class="keyword">external</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="string">"llvm_ee_add_module"</span><br> <span class="keyword">external</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="string">"llvm_ee_remove_module"</span><br> <span class="keyword">external</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="string">"llvm_ee_find_function"</span><br> <span class="keyword">external</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 = <span class="string">"llvm_ee_run_function"</span><br> <span class="keyword">external</span> run_static_ctors :<br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_ee_run_static_ctors"</span><br> <span class="keyword">external</span> run_static_dtors :<br> <span class="constructor">Llvm_executionengine</span>.<span class="constructor">ExecutionEngine</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_ee_run_static_dtors"</span><br> <span class="keyword">external</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="string">"llvm_ee_run_function_as_main"</span><br> <span class="keyword">external</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="string">"llvm_ee_free_machine_code"</span><br> <span class="keyword">external</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="string">"LLVMGetExecutionEngineTargetData"</span><br> <span class="keyword">end</span><br> <span class="keyword">external</span> initialize_native_target : unit <span class="keywordsign">-></span> bool<br> = <span class="string">"llvm_initialize_native_target"</span><br> <span class="keyword">end</span></code></body></html>