aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/run_benches.sh
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-05-15 15:31:20 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-05-15 15:32:11 +0200
commit107c470356e76dff780c5cf197a376d5667097b8 (patch)
treeab902ee89df7815a838932d5819f1f35559b2e93 /test/monniaux/run_benches.sh
parenteac500b866318661b509eb96eb3e12183f73895c (diff)
downloadcompcert-kvx-107c470356e76dff780c5cf197a376d5667097b8.tar.gz
compcert-kvx-107c470356e76dff780c5cf197a376d5667097b8.zip
CSV file generation for benches (only binary_search for now)
Diffstat (limited to 'test/monniaux/run_benches.sh')
-rwxr-xr-xtest/monniaux/run_benches.sh23
1 files changed, 23 insertions, 0 deletions
diff --git a/test/monniaux/run_benches.sh b/test/monniaux/run_benches.sh
new file mode 100755
index 00000000..9537f63a
--- /dev/null
+++ b/test/monniaux/run_benches.sh
@@ -0,0 +1,23 @@
+
+source benches.sh
+
+rm -f commands.txt
+for bench in $benches; do
+ echo "(cd $bench && make -j5 exec)" >> commands.txt
+done
+
+cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}'
+
+##
+# Gather all the CSV files
+##
+
+benches_csv=""
+for bench in $benches; do
+ if [ -f $bench/measures.csv ]; then
+ benches_csv="$benches_csv $bench/measures.csv"
+ fi
+done
+
+nawk 'FNR==1 && NR!=1{next;}{print}' $benches_csv > measures.csv
+echo "measures.csv done"