diff options
Diffstat (limited to 'rts/Profiling.h')
| -rw-r--r-- | rts/Profiling.h | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/rts/Profiling.h b/rts/Profiling.h index 6844a89188..24a4e24f0d 100644 --- a/rts/Profiling.h +++ b/rts/Profiling.h @@ -28,10 +28,6 @@ void freeProfiling (void); extern FILE *prof_file; extern FILE *hp_file; -#ifdef PROFILING - -void reportCCSProfiling ( void ); - /* A summary of an execution of a profiled program */ typedef struct { /* Total bytes allocated */ @@ -40,9 +36,16 @@ typedef struct { unsigned int total_prof_ticks; } ProfilerTotals; +#ifdef PROFILING + +void reportCCSProfiling ( void ); + void fprintCCS( FILE *f, CostCentreStack *ccs ); void fprintCCS_stderr (CostCentreStack *ccs, StgClosure *exception, StgTSO *tso); +bool ignoreCCS (CostCentreStack const *ccs); +bool ignoreCC (CostCentre const *cc); + #ifdef DEBUG void debugCCS( CostCentreStack *ccs ); #endif |