max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: cross bench suite: add Strict Haskell category (disabled by default)

Browse source 
No change to slightly faster in general, except for a significant speedup in rbmap_10 that should be fixed in the lazy version
This commit is contained in:
Sebastian Ullrich 2019-11-15 16:16:22 +01:00
parent 6978a88219
commit ef9150cacd
2 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tests/bench/Makefile
View file

@ -6,7 +6,7 @@ CROSS_BENCHES = binarytrees deriv const_fold qsort rbmap rbmap_10 rbmap_1
LEAN_CATS = .lean .no_reuse.lean .no_borrow.lean .no_st.lean
CROSS_CATS = .lean .gc.lean .lean.perf .hs .gc.hs .hs.perf .ml .gc.ml .ml.perf .mlton .gc.mlton .mlton.perf .mlkit .gc.mlkit .mlkit.perf .swift .gc.swift .swift.perf
CROSS_TIME_CATS = .lean .hs .ml .mlton .mlkit .swift
RETIRED_CATS = .gcc.lean .llvm.hs .flambda.ml
RETIRED_CATS = .gcc.lean .llvm.hs .strict.hs .flambda.ml
LEAN_FLAGS =
LEANC_FLAGS = -O3 -DNDEBUG
@ -65,6 +65,8 @@ all: report_lean.tex report_cross.tex report
$(GHC) $(GHC_FLAGS) -rtsopts $< -o $@
%.llvm.hs.out: GHC_FLAGS += -fllvm
%.llvm.hs: %.hs; ln -f $< $@
%.strict.hs.out: GHC_FLAGS += -XStrict
%.strict.hs: %.hs; ln -f $< $@
binarytrees.hs: binarytrees.ghc-6.hs; ln -f $< $@
# NOTE: changed `-N4` rtsopt to `-N` to be less system-dependent

1
tests/bench/report.py
View file

@ -57,6 +57,7 @@ CATBAG = {
'.gc.hs': ("GC [%]", "gc"),
'.hs.perf': ("CM", "cache-misses"),
'.llvm.hs': ("GHC -fllvm", "etime"),
'.strict.hs': ("GHC -XStrict", "etime"),
'.ml': ("OCaml", "etime"),
'.gc.ml': ("GC", "gc"),
'.ml.perf': ("CM", "cache-misses"),