Profiling.h 826 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
#pragma GCC visibility push(hidden)

16
17
18
19
void initProfiling1 (void);
void freeProfiling1 (void);
void initProfiling2 (void);
void endProfiling   (void);
20
21

extern FILE *prof_file;
22
extern FILE *hp_file;
23

24
25
#ifdef PROFILING

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

void PrintNewStackDecls ( void );

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

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

38
#endif
39

40
41
#pragma GCC visibility pop

42
#endif /* PROFILING_H */