Home | History | Annotate | Download | only in tutorial

Lines Matching full:executionengine

1351                     let result = ExecutionEngine.run_function the_function [||]
1392           let the_execution_engine = ExecutionEngine.create Codegen.the_module in
1397           DataLayout.add (ExecutionEngine.target_data the_execution_engine) the_fpm;