Home | History | Annotate | Download | only in tutorial

Lines Matching full:executionengine

453       DataLayout.add (ExecutionEngine.target_data the_execution_engine) the_fpm;
1630                     let result = ExecutionEngine.run_function the_function [||]
1672           let the_execution_engine = ExecutionEngine.create Codegen.the_module in
1677           DataLayout.add (ExecutionEngine.target_data the_execution_engine) the_fpm;