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 metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-00864580
Contributor : Vincent Lefèvre <>
Submitted on : Sunday, September 22, 2013 - 6:57:01 PM
Last modification on : Wednesday, November 20, 2019 - 2:56:06 AM
Document(s) archivé(s) le : Monday, December 23, 2013 - 4:25:20 AM

File

ieeetc-sipe-final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00864580, version 1

Collections

Citation

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

Share

Metrics

Record views

355

Files downloads

199