benchmark: output baseline

diff --git a/contrib/benchmark/collect.awk b/contrib/benchmark/collect.awk
index 39bbdf5ac65ad781c257388ab0472672039ac41b..46ec23d4200b93468bfdc8c174d84d12f5e65d59 100644 (file)
--- a/contrib/benchmark/collect.awk
+++ b/contrib/benchmark/collect.awk
@@ -88,4 +88,11 @@ END {
   if (total_ops) {
     print "total_ops_ms", total_ops;
   }
+
+  # Invoke awk with -V baseline_out=<filename> to extract baseline average
+  if (baseline_out) {
+    for (x in op) {
+      print "op_baseline", x, "time_avg_us", avg(op[x]["time_us"], op[x]["count"]) > baseline_out
+    }
+  }
 }