Profiling: don't report IDLE time by default
authorSimon Marlow <marlowsd@gmail.com>
Wed, 11 Jul 2012 10:29:24 +0000 (11:29 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 11 Jul 2012 13:33:05 +0000 (14:33 +0100)
You can get it with +RTS -P, as with the other systemish cost centres
like "GC".

rts/Profiling.c

index ed374b5..cc4d78e 100644 (file)
@@ -673,7 +673,8 @@ ignoreCC (CostCentre *cc)
         (   cc == CC_OVERHEAD
         || cc == CC_DONT_CARE
         || cc == CC_GC 
-         || cc == CC_SYSTEM)) {
+         || cc == CC_SYSTEM
+         || cc == CC_IDLE)) {
        return rtsTrue;
     } else {
        return rtsFalse;
@@ -687,7 +688,8 @@ ignoreCCS (CostCentreStack *ccs)
         (   ccs == CCS_OVERHEAD
          || ccs == CCS_DONT_CARE
          || ccs == CCS_GC
-         || ccs == CCS_SYSTEM)) {
+         || ccs == CCS_SYSTEM
+         || ccs == CCS_IDLE)) {
         return rtsTrue;
     } else {
        return rtsFalse;