CR-LIBM A library of correctly rounded elementary functions in double-precision

Catherine Daramy-Loirat 1 David Defour 2 Florent de Dinechin 1 Matthieu Gallet Nicolas Gast Christoph Lauter 3 Jean-Michel Muller 4, 1
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
2 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : The crlibm project aims at developing a portable, proven, correctly rounded, and efficient mathematical library (libm) for double precision. Current libm implementation do not always return the floating-point number that is closest to the exact mathematical result. As a consequence, different libm implementation will return different results for the same input, which prevents full portability of floating-point ap- plications. In addition, few libraries support but the round-to-nearest mode of the IEEE754/IEC 60559 standard for floating-point arithmetic (hereafter usually referred to as the IEEE-754 stan- dard). crlibm provides the four rounding modes: To nearest, to +∞, to −∞ and to zero.
Document type :
Reports
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804
Contributor : Jean-Michel Muller <>
Submitted on : Wednesday, May 31, 2017 - 1:39:57 PM
Last modification on : Thursday, February 7, 2019 - 4:48:26 PM
Long-term archiving on : Wednesday, September 6, 2017 - 4:00:29 PM

File

crlibm.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : ensl-01529804, version 1

Citation

Catherine Daramy-Loirat, David Defour, Florent de Dinechin, Matthieu Gallet, Nicolas Gast, et al.. CR-LIBM A library of correctly rounded elementary functions in double-precision. [Research Report] LIP,. 2006. ⟨ensl-01529804⟩

Share

Metrics

Record views

456

Files downloads

1100