Profiling.h 839 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
#if defined(PROFILING) || defined(DEBUG)
15
void initProfiling1 ( void );
Ian Lynagh's avatar
Ian Lynagh committed
16
void freeProfiling1 ( void );
17
18
void initProfiling2 ( void );
void endProfiling   ( void );
19
20

extern FILE *prof_file;
21
extern FILE *hp_file;
22
23
#endif

24
25
#ifdef PROFILING

26
void gen_XML_logfile     ( void );
27
void reportCCSProfiling ( void );
28
29
30

void PrintNewStackDecls ( void );

31
extern void fprintCCS( FILE *f, CostCentreStack *ccs );
32
extern void fprintCCS_stderr( CostCentreStack *ccs );
33

34
35
36
37
#ifdef DEBUG
extern void debugCCS( CostCentreStack *ccs );
#endif

38
#endif
39
40

#endif /* PROFILING_H */