Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add Flambda_pass timing pass

master
Mark Shinwell 2016-01-13 13:41:15 +01:00
parent 6dd5c69302
commit fb6cb2f56e
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
utils/timings.ml
View File

@ -40,6 +40,7 @@ type compiler_pass =
| Linearize of source_provenance
| Scheduling of source_provenance
| Emit of source_provenance
| Flambda_pass of string * source_provenance
let timings : (compiler_pass, float * float option) Hashtbl.t = Hashtbl.create 20
let reset () = Hashtbl.clear timings
@ -123,6 +124,8 @@ let pass_name = function
| Linearize k -> Printf.sprintf "linearize(%s)" (kind_name k)
| Scheduling k -> Printf.sprintf "scheduling(%s)" (kind_name k)
| Emit k -> Printf.sprintf "emit(%s)" (kind_name k)
| Flambda_pass (pass, file) ->
Printf.sprintf "flambda(%s)(%s)" pass (kind_name file)
let timings_list () =
let l = Hashtbl.fold (fun pass times l -> (pass, times) :: l) timings [] in

1
utils/timings.mli
View File

@ -42,6 +42,7 @@ type compiler_pass =
| Linearize of source_provenance
| Scheduling of source_provenance
| Emit of source_provenance
| Flambda_pass of string * source_provenance
val reset : unit -> unit
(** erase all recorded times *)