FPBench Logo

FPBench

Common standards for the floating-point research community

FPBench makes it easier to compare and combine tools from the floating-point research community.

Current Status

FPBench was introduced at NSV’16. Since then, the benchmark suite has grown to 72 benchmarks, several implementations have appeared, and the standards have been deepened and improved.

Benchmark sources
Rosa37
Herbie28
Salsa25
FPTaylor21
Features used
Arithmetic111
Temporaries57
Comparison33
Loops28
Exponents16
Trigonometry15
Conditionals10
Domains
Textbooks28
Mathematics24
Controls10
Science10

FPBench also publishes tools for working with its standard formats, including an FPCore reference interpreter and an an FPCore exporter to C.

News

  1. The 1.0 versions of the FPCore, Metadata, and Measures standards have all been finalized. Build with them!
  2. Pavel Panchekha is giving a talk about FPBench today at the 9th NSV. Come learn about our effort to build common resources for the floating-point research community.