Module Timings

module Timings: sig .. end

Compiler performance recording

type file = string

type source_provenance =

`\|`	`File of file`
`\|`	`Pack of string`
`\|`	`Startup`
`\|`	`Toplevel`

type compiler_pass =

`\|`	`All`
`\|`	`Parsing of file`
`\|`	`Preprocessing of file`
`\|`	`Typing of file`
`\|`	`Transl of file`
`\|`	`Generate of file`
`\|`	`Assemble of source_provenance`
`\|`	`Clambda of source_provenance`
`\|`	`Cmm of source_provenance`
`\|`	`Compile_phrases of source_provenance`
`\|`	`Selection of source_provenance`
`\|`	`Comballoc of source_provenance`
`\|`	`CSE of source_provenance`
`\|`	`Liveness of source_provenance`
`\|`	`Deadcode of source_provenance`
`\|`	`Spill of source_provenance`
`\|`	`Split of source_provenance`
`\|`	`Regalloc of source_provenance`
`\|`	`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

val get : compiler_pass -> float option

returns the runtime in seconds of a completed pass

val time : compiler_pass -> ('a -> 'b) -> 'a -> 'b

time pass f arg Record the runtime of f arg

val accumulate_time : compiler_pass -> ('a -> 'b) -> 'a -> 'b

Like time for passes that can run multiple times

val print : Format.formatter -> unit

Prints all recorded timings to the formatter.

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.