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