inria-00345094, version 1
Directed Rounding Arithmetic Operations in C++
Guillaume Melquiond
a, 1Sylvain Pion 2
N° RR-6757 (2008)
Résumé : We propose the addition of new functions to the C++0x standard library that provide floating-point operations (+, -, *, /, sqrt and fma) as well as conversion functions with directed rounding. This set of functions is necessary to provide efficient support for interval arithmetic and related computations, and they directly map to IEEE-754 specifications. These functions require special compiler support due to their "constexpr" nature. This document is submitted to the ISO/WG21 working group which standardizes the C++ language, under the document N2811 (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2811.pdf).
- a – INRIA
- 1 : PROVAL (INRIA Saclay - Ile de France)
- INRIA – Université Paris XI - Paris Sud – CNRS : UMR
- 2 : GEOMETRICA (INRIA Sophia Antipolis / INRIA Saclay - Ile de France)
- INRIA
- Domaine : Informatique/Arithmétique des ordinateurs
Informatique/Génie logiciel - Mots-clés : interval arithmetic – directed rounding – floating-point arithmetic – C++ – standardization – software design
- Référence interne : RR-6757
- inria-00345094, version 1
- http://hal.inria.fr/inria-00345094
- oai:hal.inria.fr:inria-00345094
- Contributeur : Sylvain Pion
- Soumis le : Lundi 8 Décembre 2008, 13:22:41
- Dernière modification le : Mercredi 11 Février 2009, 14:59:57
Documents associés
Exporter