diff options
author | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2015-11-23 18:31:24 +0100 |
---|---|---|
committer | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2015-12-18 13:33:10 +0000 |
commit | 233e1b17915c5bf637e362526299974c2d0c4693 (patch) | |
tree | 92b6a0f485ce59cd025f24b241dc733e8e3c41f9 /driver/optcompile.ml | |
parent | 2f3770001a71e99930560c1003d3ab7aead1caef (diff) | |
download | ocaml-233e1b17915c5bf637e362526299974c2d0c4693.tar.gz |
Record compiler runtime
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r-- | driver/optcompile.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 405011c411..16b375a298 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -71,18 +71,24 @@ let implementation ppf sourcefile outputprefix = ast ++ print_if ppf Clflags.dump_parsetree Printast.implementation ++ print_if ppf Clflags.dump_source Pprintast.structure + ++ Timings.(start_id (Typing sourcefile)) ++ Typemod.type_implementation sourcefile outputprefix modulename env + ++ Timings.(stop_id (Typing sourcefile)) ++ print_if ppf Clflags.dump_typedtree Printtyped.implementation_with_coercion in if not !Clflags.print_types then begin (typedtree, coercion) + ++ Timings.(start_id (Transl sourcefile)) ++ Translmod.transl_store_implementation modulename + ++ Timings.(stop_id (Transl sourcefile)) +++ print_if ppf Clflags.dump_rawlambda Printlambda.lambda + ++ Timings.(start_id (Generate sourcefile)) +++ Simplif.simplify_lambda +++ print_if ppf Clflags.dump_lambda Printlambda.lambda - ++ Asmgen.compile_implementation outputprefix ppf; + ++ Asmgen.compile_implementation ~sourcefile outputprefix ppf; Compilenv.save_unit_info cmxfile; + Timings.(stop (Generate sourcefile)); end; Warnings.check_fatal (); Stypes.dump (Some (outputprefix ^ ".annot")) |