Comparison between binary64 and decimal64 floating-point numbers

Nicolas Brisebarre; Marc Mezzarobba; Jean-Michel Muller; Christoph Lauter

ensl-00737881, version 1

Comparison between binary64 and decimal64 floating-point numbers

Nicolas Brisebarre () ^1, 2, Marc Mezzarobba () ^1, 2, Jean-Michel Muller (, ) ^1, 2, Christoph Lauter () ³

21st IEEE Symposium on Computer Arithmetic (2013) 8

Résumé : We introduce an algorithm that allows one to quickly compare a binary64 floating-point (FP) number and a decimal64 FP number, assuming the "binary encoding" of the decimal formats specified by the IEEE 754-2008 standard for FP arithmetic is used. It is a two-step algorithm: a first pass, based on the exponents only, makes it possible to quickly eliminate most cases, then when the first pass does not suffice, a more accurate second pass is required. We provide an implementation of several variants of our algorithm, and compare them.

1 : ARIC (Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme)
INRIA – CNRS : UMR5668 – Université Claude Bernard - Lyon I – École Normale Supérieure - Lyon
2 : Laboratoire de l'Informatique du Parallélisme (LIP)
Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I
3 : Laboratoire d'Informatique de Paris 6 (LIP6)
CNRS : UMR7606 – Université Pierre et Marie Curie [UPMC] - Paris VI

ensl-00737881, version 1
http://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881
oai:hal-ens-lyon.archives-ouvertes.fr:ensl-00737881
Contributeur : Jean-Michel Muller <>
Soumis le : Mercredi 3 Octobre 2012, 10:00:19
Dernière modification le : Lundi 10 Décembre 2012, 11:03:25

Voir la fiche détaillée

Documents associés

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="ensl-00737881"><analytic>
<author><persName><forename>Nicolas</forename><surname>Brisebarre</surname></persName>
<affiliation>
<orgName type="laboratory">Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme</orgName>
<orgName type="team">ARIC</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">LIP</orgName>
<orgName type="team">Laboratoire de l'Informatique du Parallélisme</orgName>
<country>FR</country>
<orgName type="institution">Université de Lyon</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
</affiliation>
</author>
<author><persName><forename>Marc</forename><surname>Mezzarobba</surname></persName>
<affiliation>
<orgName type="laboratory">Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme</orgName>
<orgName type="team">ARIC</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">LIP</orgName>
<orgName type="team">Laboratoire de l'Informatique du Parallélisme</orgName>
<country>FR</country>
<orgName type="institution">Université de Lyon</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
</affiliation>
</author>
<author><persName><forename>Jean-Michel</forename><surname>Muller</surname></persName>
<affiliation>
<orgName type="laboratory">Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme</orgName>
<orgName type="team">ARIC</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">LIP</orgName>
<orgName type="team">Laboratoire de l'Informatique du Parallélisme</orgName>
<country>FR</country>
<orgName type="institution">Université de Lyon</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
</affiliation>
</author>
<author><persName><forename>Christoph</forename><surname>Lauter</surname></persName>
<affiliation>
<orgName type="laboratory">LIP6</orgName>
<orgName type="team">Laboratoire d'Informatique de Paris 6</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7606</orgName>
<orgName type="institution">Université Pierre et Marie Curie [UPMC] - Paris VI</orgName>
</affiliation>
</author>
<title type="main" level="a">Comparison between binary64 and decimal64 floating-point numbers</title></analytic><monogr><title level="m" type="main">Proceedings of the 21st IEEE Symposium on Computer Arithmetic</title><meeting>21st IEEE Symposium on Computer Arithmetic</meeting><imprint><publisher>IEEE Computer Society</publisher><pubPlace><settlement>Austin, TX</settlement><country>États-Unis</country></pubPlace><biblScope type="publicationDate">2013-04-00</biblScope><biblScope type="pp">8</biblScope></imprint></monogr><idno type="HALid">http://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881</idno><idno type="HALFile">http://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881/PDF/Compar-Hal-Version.pdf</idno></biblStruct>
</listBibl>
</listBibl>