# HG changeset patch
# User wenzelm
# Date 1120302508 -7200
# Node ID ca316edcb03160ab16639426182249bdb9cecec4
# Parent  6eeed52043dd9e3cbf49b9b5130a8045fe0c79f3
Simple report generator for Poly/ML profiling output.

diff -r 6eeed52043dd -r ca316edcb031 Admin/profiling_report
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/profiling_report	Sat Jul 02 13:08:28 2005 +0200
@@ -0,0 +1,31 @@
+#!/usr/bin/env perl
+#
+# $Id$
+# Author: Makarius
+#
+# DESCRIPTION: Simple report generator for Poly/ML profiling output.
+
+use strict;
+
+my %log = ();
+my @output = ();
+
+while (<ARGV>) {
+    if (m,^( |\d){10} (\S+$|GARBAGE COLLECTION.*$),) {
+	my $count = $1;
+	my $fun = $2;
+	if ($count =~ m,^\s*(\d)+$,) {
+	    if (defined($log{$fun})) {
+		$log{$fun} += $count;
+	    } else {
+		$log{$fun} = $count;
+	    }
+	}
+    }
+}
+
+foreach my $fun (keys %log) {
+    push @output, (sprintf "%8d %s\n", $log{$fun}, $fun);
+}
+
+print (sort @output);