Lines Matching refs:Codegen

245 In order to generate code for this, we implement the ``Codegen`` method
291           (* Codegen of 'then' can change the current block, update then_bb for the
312 expression. Because calling Codegen recursively could arbitrarily change
323           (* Codegen of 'else' can change the current block, update else_bb for the
532 The first part of Codegen is very simple: we just output the start
683 ``Codegen.codegen_expr``.
1078               (* Codegen of 'then' can change the current block, update then_bb for the
1088               (* Codegen of 'else' can change the current block, update else_bb for the
1265                     dump_value (Codegen.codegen_func the_fpm e);
1269                     dump_value (Codegen.codegen_proto e);
1274                     let the_function = Codegen.codegen_func the_fpm e in
1282                     print_float (GenericValue.as_float Codegen.double_type result);
1284                 with Stream.Error s | Codegen.Error s ->
1319           let the_execution_engine = ExecutionEngine.create Codegen.the_module in
1320           let the_fpm = PassManager.create_function Codegen.the_module in
1344           dump_module Codegen.the_module