/* -----------------------------------------------------------------------------
- * $Id: Proftimer.c,v 1.5 1999/08/25 16:11:49 simonmar Exp $
+ * $Id: Proftimer.c,v 1.6 2000/04/03 15:54:49 simonmar Exp $
*
* (c) The GHC Team, 1998-1999
*
*
* ---------------------------------------------------------------------------*/
-/* Only have cost centres etc if PROFILING defined */
-
#if defined (PROFILING)
#include "Rts.h"
-#include "ProfRts.h"
+#include "Profiling.h"
#include "Itimer.h"
#include "Proftimer.h"
-nat current_interval = 1; /* Current interval number --
- stored in AGE */
-
-nat interval_ticks = DEFAULT_INTERVAL; /* No of ticks in an interval */
-
-nat previous_ticks = 0; /* ticks in previous intervals */
-nat current_ticks = 0; /* ticks in current interval */
+rtsBool do_prof_ticks = rtsFalse; /* enable profiling ticks */
void
stopProfTimer(void)
{ /* Stops time profile */
- if (time_profiling) {
- do_prof_ticks = rtsFalse;
- }
+ if (time_profiling) {
+ do_prof_ticks = rtsFalse;
+ }
};
void
startProfTimer(void)
{ /* Starts time profile */
- if (time_profiling) {
- do_prof_ticks = rtsTrue;
- }
+ if (time_profiling) {
+ do_prof_ticks = rtsTrue;
+ }
};
+void
+handleProfTick(void)
+{
+ if (do_prof_ticks) {
+ CCS_TICK(CCCS);
+ }
+}
#endif /* PROFILING */