1#! /bin/awk -f
2
3BEGIN {
4  purpose = "report times used for init/start/stop";
5
6  nmach = 0;
7
8  test_single = "6";
9  test_v0 = "10";
10  test_v2 = "11";
11  test_v4 = "12";
12  test_v8 = "13";
13}
14
15{
16  mach = $1
17  test = $2
18  iter = $3
19  time = $6 + $8
20
21  if (machi[mach] == 0) {
22    machn[nmach] = mach;
23    machi[mach] = 1;
24    ++nmach;
25  }
26
27  us_per_op = time / iter * 1000000
28  times[mach "_" test] = us_per_op;
29}
30
31
32END {
33  for (i=0; i<nmach; ++i) {
34    m = machn[i];
35
36    single = times[m "_" test_single];
37    v0 = times[m "_" test_v0];
38    v2 = times[m "_" test_v2];
39    v4 = times[m "_" test_v4];
40    v8 = times[m "_" test_v8];
41    printf ("%s|%3.1f|%3.1f|%3.1f|%3.1f|%3.1f\n", m, single, v0, v2, v4, v8);
42  }
43}
44