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 freeProfiling1 ( void );
  17 void initProfiling2 ( void );
  18 void endProfiling   ( void );
  19
  20 extern FILE *prof_file;
  21 extern FILE *hp_file;
  22 #endif
  23
  24 #ifdef PROFILING
  25
  26 void gen_XML_logfile     ( void );
  27 void reportCCSProfiling ( void );
  28
  29 void PrintNewStackDecls ( void );
  30
  31 extern void fprintCCS( FILE *f, CostCentreStack *ccs );
  32 extern void fprintCCS_stderr( CostCentreStack *ccs );
  33
  34 #ifdef DEBUG
  35 extern void debugCCS( CostCentreStack *ccs );
  36 #endif
  37
  38 #endif
  39
  40 #endif /* PROFILING_H */