Profiling.h 783 Bytes
Newer Older
1
2
/* -----------------------------------------------------------------------------
 *
3
 * (c) The GHC Team, 1998-2005
4
5
6
7
8
 *
 * Support for profiling
 *
 * ---------------------------------------------------------------------------*/

9
10
11
#ifndef PROFILING_H
#define PROFILING_H

12
13
#include <stdio.h>

14
15
16
17
void initProfiling1 (void);
void freeProfiling1 (void);
void initProfiling2 (void);
void endProfiling   (void);
18
19

extern FILE *prof_file;
20
extern FILE *hp_file;
21

22
23
#ifdef PROFILING

24
void gen_XML_logfile     ( void );
25
void reportCCSProfiling ( void );
26
27
28

void PrintNewStackDecls ( void );

29
extern void fprintCCS( FILE *f, CostCentreStack *ccs );
30
extern void fprintCCS_stderr( CostCentreStack *ccs );
31

32
33
34
35
#ifdef DEBUG
extern void debugCCS( CostCentreStack *ccs );
#endif

36
#endif
37
38

#endif /* PROFILING_H */