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