bench on demand

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e4744ca56771b15bd6f12576bb480dbb99169ea0..2ead34801e18d510eb329d6ebde36e6e6849c847 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -19,6 +19,12 @@ jobs:
         path: mdr
         key: ${{ runner.os }}-mdr
 
+    - uses: actions/cache@v1
+      id: results
+      with:
+        path: benchmark/results
+        key: ${{ runner.os }}-results
+
     - name: Mdr
       if: steps.mdr-bin.outputs.cache-hit != 'true'
       run: |
@@ -96,6 +102,7 @@ jobs:
 
     - name: Benchmark
       run: |
+        git log -1 --pretty="%B" | grep "\[benchmark\]" || exit 0
         echo 1 | sudo tee /proc/sys/kernel/perf_event_paranoid
         sudo apt-get update
         sudo apt-get install gnuplot lua5.3

diff --git a/benchmark/results/binary-trees.dat b/benchmark/results/binary-trees.dat
deleted file mode 100644 (file)
index 7bc415b..0000000
--- a/benchmark/results/binary-trees.dat
+++ /dev/null
@@ -1,3 +0,0 @@
-gwion 0.28883 0.71
-wren 0.212555 0.05
-lua 0.33127 1.31

diff --git a/benchmark/results/binary-trees.png b/benchmark/results/binary-trees.png
deleted file mode 100644 (file)
index b3a6575..0000000
Binary files a/benchmark/results/binary-trees.png and /dev/null differ

diff --git a/benchmark/results/fib-recurs.dat b/benchmark/results/fib-recurs.dat
deleted file mode 100644 (file)
index 2821ba5..0000000
--- a/benchmark/results/fib-recurs.dat
+++ /dev/null
@@ -1,3 +0,0 @@
-gwion 5.61139 0.08
-wren 13.8135 0.19
-lua 7.45629 0.06

diff --git a/benchmark/results/fib-recurs.png b/benchmark/results/fib-recurs.png
deleted file mode 100644 (file)
index 43179c7..0000000
Binary files a/benchmark/results/fib-recurs.png and /dev/null differ

diff --git a/benchmark/results/fib.dat b/benchmark/results/fib.dat
deleted file mode 100644 (file)
index 526bb6f..0000000
--- a/benchmark/results/fib.dat
+++ /dev/null
@@ -1,3 +0,0 @@
-gwion 0.087394 0.98
-wren 0.2161696 0.03
-lua 0.2164971 0.03

diff --git a/benchmark/results/fib.png b/benchmark/results/fib.png
deleted file mode 100644 (file)
index 68c0ec8..0000000
Binary files a/benchmark/results/fib.png and /dev/null differ

diff --git a/benchmark/results/for.dat b/benchmark/results/for.dat
deleted file mode 100644 (file)
index 6bbcec2..0000000
--- a/benchmark/results/for.dat
+++ /dev/null
@@ -1,3 +0,0 @@
-gwion 0.04015 5.88
-wren 0.08465 2.07
-lua 0.052868 0.20

diff --git a/benchmark/results/for.png b/benchmark/results/for.png
deleted file mode 100644 (file)
index f097191..0000000
Binary files a/benchmark/results/for.png and /dev/null differ

diff --git a/benchmark/results/method-call.dat b/benchmark/results/method-call.dat
deleted file mode 100644 (file)
index 203d96e..0000000
--- a/benchmark/results/method-call.dat
+++ /dev/null
@@ -1,3 +0,0 @@
-gwion 0.096845 1.01
-wren 0.110182 0.14
-lua 0.271676 0.22

diff --git a/benchmark/results/method-call.png b/benchmark/results/method-call.png
deleted file mode 100644 (file)
index b91d677..0000000
Binary files a/benchmark/results/method-call.png and /dev/null differ

diff --git a/benchmark/results/string-equals.dat b/benchmark/results/string-equals.dat
deleted file mode 100644 (file)
index 019dadd..0000000
--- a/benchmark/results/string-equals.dat
+++ /dev/null
@@ -1,2 +0,0 @@
-gwion 0.17701 2.96
-wren 0.184586 0.11

diff --git a/benchmark/results/string-equals.png b/benchmark/results/string-equals.png
deleted file mode 100644 (file)
index f5f5724..0000000
Binary files a/benchmark/results/string-equals.png and /dev/null differ

diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh
index a7e10f882e7c7545a346d591c2b0c556d5737bc7..3021aefc760bb455f73832c14223492d812746bc 100644 (file)
--- a/scripts/benchmark.sh
+++ b/scripts/benchmark.sh
@@ -33,6 +33,7 @@ plot() {
   gnuplot -e "bench='$1'" "$plot_script"
 }
 
+[ -d benchmark/results ] || mkdir benchmark/results
 for bench in $(get_list)
 do
   get_test "$bench"