1 files changed, 9 insertions, 0 deletions
diff --git a/misc/stats b/misc/stats
new file mode 100755
index 00000000..57920ce4
--- /dev/null
+++ b/misc/stats
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+make ips
+echo "Global tables:"
+for a in 4 5 6 7 8 9 10 11 12 13 14 15 ; do
+	./ips <global $a $((1<<($a+2)))
+	done
+echo "Local tables:"
+./ips <local 6 1000