@@ -1,13 +1,18 @@
11#!/bin/bash
22
3−SERIAL_BENCHMARKS="linear linear-rate nested nested-unfold base"
3+SERIAL_O_1="linear base"
4+SERIAL_O_n="serial-o-n-heap serial-o-n-stack serial-o-n-space \
5+ base-o-n-heap base-o-n-stack base-o-n-space"
6+
7+SERIAL_BENCHMARKS="$SERIAL_O_1 $SERIAL_O_n"
48# parallel benchmark-suite is separated because we run it with a higher
59# heap size limit.
6−CONCURRENT_BENCHMARKS="linear-async nested-concurrent parallel concurrent adaptive"
10+CONCURRENT_BENCHMARKS="linear-async linear-rate nested-concurrent parallel concurrent adaptive"
711ARRAY_BENCHMARKS="array unpinned-array prim-array small-array"
812
9−INFINITE_BENCHMARKS="$SERIAL_BENCHMARKS linear-async nested-concurrent"
10−FINITE_BENCHMARKS="$ARRAY_BENCHMARKS fileio parallel concurrent adaptive"
13+# XXX We can include SERIAL_O_1 here once "base" also supports --stream-size
14+INFINITE_BENCHMARKS="linear linear-async linear-rate nested-concurrent"
15+FINITE_BENCHMARKS="$SERIAL_O_n $ARRAY_BENCHMARKS fileio parallel concurrent adaptive"
1116
1217QUICK_BENCHMARKS="linear-rate concurrent adaptive"
1318VIRTUAL_BENCHMARKS="array-cmp"