From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/Stats.html | 69 -------------------------------------------------- 1 file changed, 69 deletions(-) delete mode 100644 cil/doc/api/Stats.html (limited to 'cil/doc/api/Stats.html') diff --git a/cil/doc/api/Stats.html b/cil/doc/api/Stats.html deleted file mode 100644 index b3f8aa42..00000000 --- a/cil/doc/api/Stats.html +++ /dev/null @@ -1,69 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Stats - - - -

Module Stats

-
-

module Stats: sig .. end

Utilities for maintaining timing statistics
-

val reset : bool -> unit

-Resets all the timings. Invoke with "true" if you want to switch to using - the hardware performance counters from now on. You get an exception if - there are not performance counters available
-

exception NoPerfCount

val has_performance_counters : unit -> bool

-Check if we have performance counters
-

val sample_pentium_perfcount_20 : unit -> int

-Sample the current cycle count, in megacycles.
-

val sample_pentium_perfcount_10 : unit -> int

-Sample the current cycle count, in kilocycles.
-

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

-Time a function and associate the time with the given string. If some - timing information is already associated with that string, then accumulate - the times. If this function is invoked within another timed function then - you can have a hierarchy of timings
-

val repeattime : float -> string -> ('a -> 'b) -> 'a -> 'b

-repeattime is like time but runs the function several times until the total - running time is greater or equal to the first argument. The total time is - then divided by the number of times the function was run.
-

val print : Pervasives.out_channel -> string -> unit

-Print the current stats preceeded by a message
-

val lastTime : float Pervasives.ref

-Time a function and set lastTime to the time it took
-

val timethis : ('a -> 'b) -> 'a -> 'b

\ No newline at end of file -- cgit