From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 29 Mar 2009 09:47:11 +0000 Subject: Cleaned up configure script. Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/Stats.html | 69 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) create 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 new file mode 100644 index 00000000..b3f8aa42 --- /dev/null +++ b/cil/doc/api/Stats.html @@ -0,0 +1,69 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +CIL API Documentation (version 1.3.5) : Stats + + +
Previous + Up + Next +
+

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