Benchmarks for comparing the performance of creduce
and preduce
.
This benchmark reduces a Real World test case that exposes a Real World
bindgen
bug. It performs the reduction with both creduce
and preduce
. It
configures them both to use the same reduction passes.
Before beginning, make sure you have the following installed:
git
libclang
>= 3.9.X: https://servo.github.io/rust-bindgen/requirements.html#clangrustc
andcargo
: https://www.rust-lang.org/en-US/install.htmlpreduce
: https://github.com/fitzgen/preducecreduce
: https://embed.cs.utah.edu/creduce/
Run this once to checkout and build the correct version of bindgen
:
$ ./setup.sh
To run the benchmarks:
$ ./bench.sh
This will generate a tsv file with the benchmark results in it.