bench: add bench_nitc_vc_nitg

[nit.git] / src / run_bench.sh

diff --git a/src/run_bench.sh b/src/run_bench.sh
index 4f29644..9d7da0e 100755 (executable)
--- a/src/run_bench.sh
+++ b/src/run_bench.sh
@@ -413,6 +413,22 @@ function bench_engines()
 }
 bench_engines
 
+function bench_nitc_vc_nitg-e()
+{
+       name="$FUNCNAME"
+       skip_test "$name" && return
+       prepare_res "$name-nitc.dat" "nitc" "nitc"
+       run_compiler "nitc" ./nitc_3 -O
+       prepare_res "$name-nitc-bohem.dat" "nitc-boehm" "nitc with boehm"
+       NIT_GC_OPTION="boehm" run_compiler "nitc" ./nitc_3 -O
+       prepare_res "$name-nitg-e-nockeck.dat" "nitg-e-nc" "nitg with --erasure --no-check-autocast --no-check-erasure-cast"
+       run_compiler "nitg-e-nc" ./nitg --erasure --no-check-autocast --no-check-erasure-cast
+       prepare_res "$name-nitg-e.dat" "nitg-e" "nitg with --erasure"
+       run_compiler "nitg-e" ./nitg --erasure
+       plot "$name.gnu"
+}
+bench_nitc_vc_nitg-e
+
 function bench_compilation_time
 {
        name="$FUNCNAME"