src/vm/jit/intrp/stat.awk

   1 BEGIN {
   2   FS="\t";
   3 }
   4 / *[0-9]+\t/ {
   5   dyn[$2] += $1;
   6   stat[$2]++;
   7   files[$2] += (FILENAME!=filename[$2]);
   8   filename[$2] = FILENAME;
   9 }
  10 END {
  11   for (i in dyn)
  12     printf("%7d\t%7d\t%15d\t %s\n",files[i],stat[i],dyn[i],i);
  13 }