From f6b917019f482e133036af60d1dccbe47fd4fdaa Mon Sep 17 00:00:00 2001
From: Iustin Pop <iusty@k1024.org>
Date: Sun, 12 Feb 2012 13:57:57 +0100
Subject: [PATCH] Add a simple post-processer for the log file

This makes it easier to look at the numbers.
---
 README   |  8 ++++----
 dump.awk | 14 ++++++++++++++
 run.sh   |  1 +
 3 files changed, 19 insertions(+), 4 deletions(-)
 create mode 100644 dump.awk

diff --git a/README b/README
index 1b72aee..ecb6b7e 100644
--- a/README
+++ b/README
@@ -10,7 +10,7 @@ work. They should all be available in (Debian) Sid:
 - python: python2.6 python2.7 python3.2 pypy
 - etc.
 
-Main target is "make log", and it is recommended to run in in
-single-user mode, and with an idle system. For consistency, also force
-the make run on a single CPU (this might make things a tad slower, but
-the results should be more stable).
+Main target is "make log", and it is recommended to run it via
+./run.sh, which is a simple wrapper that should make runs more
+consistent.
+
diff --git a/dump.awk b/dump.awk
new file mode 100644
index 0000000..c9d398b
--- /dev/null
+++ b/dump.awk
@@ -0,0 +1,14 @@
+BEGIN {
+    printf("Test, cycles, instructions:");
+}
+/Performance/ {
+    printf("\n%s ", $0);
+}
+/cycles/ {
+    printf("%'.0fK ", $1/1000);
+}
+/instructions/ {
+    printf("%'.0fK",$1/1000);
+}
+
+END {printf("\n");}
diff --git a/run.sh b/run.sh
index 09ea61e..9872d17 100755
--- a/run.sh
+++ b/run.sh
@@ -7,3 +7,4 @@ make
 make log REPS=2
 # now do the real run
 chrt -r 5 taskset -c 0 make log REPS=500
+LC_ALL=en_US.UTF-8 awk -f dump.awk log
-- 
2.39.5