Benchmark: ocamlc

Author: vouillon

benchmarks/Makefile

@@ -16,6 +16,7 @@ all: _perf graphsnopr graphspr graphseff _noperf
 bench:
 	$(MAKE) microbenchmarks
 	$(MAKE) -C benchmark-fiat-crypto bench
+	$(MAKE) -C benchmark-ocamlc bench
 
 microbenchmarks:
 	make _noprecomp

benchmarks/benchmark-ocamlc/Makefile

@@ -0,0 +1,14 @@
+.PHONY: bench perform
+
+export NAME=Ocamlc
+
+bench:
+	cp -r ../sources/ml .
+	$(MAKE) perform COMPILER=js_of_ocaml SCRIPT=ocamlc.js
+	$(MAKE) perform COMPILER=wasm_of_ocaml SCRIPT=ocamlc.wasm.js
+
+ARGS=ml/*.ml ml/*.ml ml/*.ml ml/*.ml ml/*.ml ml/*.ml ml/*.ml ml/*.ml
+
+perform:
+	time -f '{"compiler": "$(COMPILER)", "time":"%E", "mem":%R}' $(COMPILER) -q --opt 2 --pretty `which ocamlc.byte` -o $(SCRIPT) 2>&1 | sh ../utils/format_metrics.sh
+	time -f '{"compiler": "$(COMPILER)", "time":"%E"}' node $(SCRIPT) -c $(ARGS) 2>&1 | sh ../utils/format_metrics.sh exec