Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding

Vincent Lefèvre 1, *
* Corresponding author
1 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Sipe is a mini-library in the form of a C header file, to perform radix-2 floating-point computations in very low precisions with correct rounding, either to nearest or toward zero. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are addition, subtraction, multiplication (possibly with the error term), fused multiply-add/subtract (FMA/FMS), and miscellaneous comparisons and conversions. \sipe provides two implementations of these operations, with the same API and the same behavior: one based on integer arithmetic, and a new one based on floating-point arithmetic. Timing comparisons have been done with hardware IEEE-754 floating point and with GNU MPFR.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Vincent Lefèvre Connect in order to contact the contributor
Submitted on : Sunday, September 22, 2013 - 6:57:01 PM
Last modification on : Thursday, January 20, 2022 - 4:14:32 PM
Long-term archiving on: : Monday, December 23, 2013 - 4:25:20 AM


Files produced by the author(s)


  • HAL Id : hal-00864580, version 1



Vincent Lefèvre. Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding. 2013. ⟨hal-00864580⟩



Les métriques sont temporairement indisponibles