From cac9e09bbf68269173df301cd06ad40b904d11ec Mon Sep 17 00:00:00 2001
From: Akim Demaille <demaille@gostai.com>
Date: Tue, 22 Jul 2008 09:33:34 +0200
Subject: [PATCH] Improve the display of sizes.

	* etc/bench.p.in: Higher precision.
	Sort by decreasing size.
---
 ChangeLog       | 6 ++++++
 etc/bench.pl.in | 8 +++++---
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index ba6b25f4..80807011 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-11-04  Akim Demaille  <demaille@gostai.com>
+
+	Improve the display of sizes.
+	* etc/bench.p.in: Higher precision.
+	Sort by decreasing size.
+
 2008-11-04  Akim Demaille  <demaille@gostai.com>
 
 	Don't memcpy C++ structures.
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index 93f3d176..d1b2aa44 100755
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -725,16 +725,18 @@ sub bench_grammar ($%)
   cmpthese ($res, 'nop');
 
   # Display the sizes.
-  print "Sizes:\n";
+  print "Sizes (decreasing):\n";
   my $width = 10;
   for my $bench (keys %size)
     {
       $width = length $bench
         if $width < length $bench;
     }
-  for my $bench (keys %size)
+  # Benches sorted by decreasing size.
+  my @benches_per_size = sort {$size{$b} <=> $size{$a}} keys %size;
+  for my $bench (@benches_per_size)
     {
-      printf "%${width}s: %5dkB\n", $bench, int ($size{$bench} / 1024);
+      printf "%${width}s: %5.2fkB\n", $bench, $size{$bench} / 1024;
     }
 }
 
-- 
2.45.2