rts/Profiling.h

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team, 1998-2005
   4  *
   5  * Support for profiling
   6  *
   7  * ---------------------------------------------------------------------------*/
   8
   9 #ifndef PROFILING_H
  10 #define PROFILING_H
  11
  12 #include <stdio.h>
  13
  14 #if defined(PROFILING) || defined(DEBUG)
  15 void initProfiling1 ( void );
  16 void initProfiling2 ( void );
  17 void endProfiling   ( void );
  18
  19 extern FILE *prof_file;
  20 extern FILE *hp_file;
  21 #endif
  22
  23 #ifdef PROFILING
  24
  25 void gen_XML_logfile     ( void );
  26 void reportCCSProfiling ( void );
  27
  28 void PrintNewStackDecls ( void );
  29
  30 extern void fprintCCS( FILE *f, CostCentreStack *ccs );
  31 extern void fprintCCS_stderr( CostCentreStack *ccs );
  32
  33 #ifdef DEBUG
  34 extern void debugCCS( CostCentreStack *ccs );
  35 #endif
  36
  37 #endif
  38
  39 #endif /* PROFILING_H */