Lines Matching full:executionengine
1278 let result = ExecutionEngine.run_function the_function [||]1319 let the_execution_engine = ExecutionEngine.create Codegen.the_module in1324 DataLayout.add (ExecutionEngine.target_data the_execution_engine) the_fpm;