diff options
Diffstat (limited to 'rts/Messages.c')
-rw-r--r-- | rts/Messages.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/Messages.c b/rts/Messages.c index 8fab314bc4..2b13b6306c 100644 --- a/rts/Messages.c +++ b/rts/Messages.c @@ -129,6 +129,9 @@ loop: } else if (i == &stg_WHITEHOLE_info) { +#if defined(PROF_SPIN) + ++whitehole_executeMessage_spin; +#endif goto loop; } else @@ -200,6 +203,7 @@ loop: // just been replaced with an IND by another thread in // updateThunk(). In which case, if we read the indirectee // again we should get the value. + // See Note [BLACKHOLE pointing to IND] in sm/Evac.c goto loop; } |