dump.awk

   1 BEGIN {
   2     printf("Test, cycles, instructions:");
   3 }
   4 /Performance/ {
   5     printf("\n%s ", $0);
   6 }
   7 /cycles/ {
   8     printf("%'.0fK ", $1/1000);
   9 }
  10 /instructions/ {
  11     printf("%'.0fK",$1/1000);
  12 }
  13
  14 END {printf("\n");}