From 682d30fb35b8f575c79d20931a7c04a3a72ab06c Mon Sep 17 00:00:00 2001
From: Jean Privat <jean@pryen.org>
Date: Fri, 12 Apr 2013 10:12:52 -0400
Subject: [PATCH] bench/lang: add nitg-s-*typing

---
 benchmarks/bench_languages.sh |   21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/benchmarks/bench_languages.sh b/benchmarks/bench_languages.sh
index 152ab5d..2606176 100755
--- a/benchmarks/bench_languages.sh
+++ b/benchmarks/bench_languages.sh
@@ -324,6 +324,27 @@ function bench_typetest_depth()
 		bench_command "$b" "" "$nitdir/${t}_$b.nitg-s.bin" $s
 	done
 
+	tg="nitg-s-bm"
+	prepare_res $nitdir/$name-$tg.dat "$tg" "$tg"
+	for b in $seq; do
+		run_command ./nitg $nitdir/${t}_$b.nit --separate --bm-typing -o "$nitdir/${t}_$b.$tg.bin" --make-flags "CFLAGS=\"-g -O2 -DNOBOEHM\""
+		bench_command "$b" "" "$nitdir/${t}_$b.$tg.bin" $s
+	done
+
+	tg="nitg-s-pha"
+	prepare_res $nitdir/$name-$tg.dat "$tg" "$tg"
+	for b in $seq; do
+		run_command ./nitg $nitdir/${t}_$b.nit --separate --phand-typing -o "$nitdir/${t}_$b.$tg.bin" --make-flags "CFLAGS=\"-g -O2 -DNOBOEHM\""
+		bench_command "$b" "" "$nitdir/${t}_$b.$tg.bin" $s
+	done
+
+	tg="nitg-s-phm"
+	prepare_res $nitdir/$name-$tg.dat "$tg" "$tg"
+	for b in $seq; do
+		run_command ./nitg $nitdir/${t}_$b.nit --separate --phmod-typing -o "$nitdir/${t}_$b.$tg.bin" --make-flags "CFLAGS=\"-g -O2 -DNOBOEHM\""
+		bench_command "$b" "" "$nitdir/${t}_$b.$tg.bin" $s
+	done
+
 	prepare_res $nitdir/$name-nitg-su.dat "nitg-su" "nitg-su"
 	for b in $seq; do
 		run_command ./nitg $nitdir/${t}_$b.nit --separate --no-check-covariance -o "$nitdir/${t}_$b.nitg-su.bin" --make-flags "CFLAGS=\"-g -O2 -DNOBOEHM\""
-- 
1.7.9.5