On Tue, Feb 27, 2007 at 01:24:50PM -0500, Denis Bueno wrote:
> Dear list,
> 
> Just a general request (Caml Hump & Google didn't find anything,
> really): what do people use to time executions? I want to time the
> execution of various phases of a compiler I'm writing, in order to get
> an idea of how relatively efficient they are.
> 
> Would you recommend I just roll my own? Or is there something written
> & debugged I could use?

As part of CIL there's the Stats module which allows very accurate
timings especially on Intel x86 from Pention on upward:

http://hal.cs.berkeley.edu/cil/api/Stats.html

-- 
Chris Stork   <>  Support eff.org!  <>   http://www.ics.uci.edu/~cstork/
OpenPGP fingerprint:  B08B 602C C806 C492 D069  021E 41F3 8C8D 50F9 CA2F