From ac834f4821d2189a335d289a8d36e5fa70f1512d Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 14 Sep 2010 13:50:30 +0000 Subject: [PATCH] fix +RTS -S output: use peak_mblocks_allocated, now that mblocks can be freed --- rts/Stats.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rts/Stats.c b/rts/Stats.c index 5ffdcb9..d7d45a4 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -589,8 +589,8 @@ stat_exit(int alloc) statsPrintf("%16s bytes maximum slop\n", temp); statsPrintf("%16ld MB total memory in use (%ld MB lost due to fragmentation)\n\n", - mblocks_allocated * MBLOCK_SIZE_W / (1024 * 1024 / sizeof(W_)), - (mblocks_allocated * MBLOCK_SIZE_W - hw_alloc_blocks * BLOCK_SIZE_W) / (1024 * 1024 / sizeof(W_))); + peak_mblocks_allocated * MBLOCK_SIZE_W / (1024 * 1024 / sizeof(W_)), + (peak_mblocks_allocated * MBLOCK_SIZE_W - hw_alloc_blocks * BLOCK_SIZE_W) / (1024 * 1024 / sizeof(W_))); /* Print garbage collections in each gen */ for (g = 0; g < RtsFlags.GcFlags.generations; g++) { -- 1.7.10.4