#! /bin/csh -f # Last edited on 2011-06-06 21:26:35 by stolfi set usage = "$0 < out/ARCH.MACHINE > fmt/ARCH.MACHINE" set path = ( /bin /usr/bin /usr/local/bin ) cat < "/dev/stderr"; exit 1; } \ // { \ wset = $2; trn = $5; nth = $6; \ mops = $7; mb = $9; \ te = $11 + 0.000001; tt = $13 + 0.000001; \ if (nth < nthprev) { \ printf "\n"; \ if (nth != 1) { oops("missing mono case"); }\ temono = te; \ }\ nthprev = nth; \ if (ttbest == -1) { ttbest = tt; } \ printf "%4d %4d %8d %s %2d %7.1f %5.1f %7.1f %5.3f\n", \ mb, mops, wset, (trn == 0 ? "C" : "S"), nth, \ te, temono/te, tt, ttbest/tt; \ } \ '