bench/lang: add covar/depthnot and fts_nesting

[nit.git] / benchmarks / bench_languages.sh

diff --git a/benchmarks/bench_languages.sh b/benchmarks/bench_languages.sh
index 152ab5d..3b5baf1 100755 (executable)
--- a/benchmarks/bench_languages.sh
+++ b/benchmarks/bench_languages.sh
@@ -246,6 +246,7 @@ function bench_typetest_depth()
        t=t
        s=20
        seq="10 25 50 100"
+       seq="2 4 8 16"
        for b in $seq; do
                run_command ./nitg languages/$name.nit -o $basedir/$name.bin
                run_command $basedir/$name.bin $basedir "${t}_$b" "$b"
@@ -324,6 +325,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\""