Comparison between binary64 and decimal64 floating-point numbers

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.

Mots clés

Floating-Point Arithmetic Decimal arithmetic Comparisons

Domaines

Autre [cs.OH] Calcul formel [cs.SC] Arithmétique des ordinateurs

Fichier principal

Compar-Arith.pdf (283.93 Ko)

compbindec-1.0.tar.xz (7.05 Mo)

Origine	Fichiers produits par l'(les) auteur(s)

Format	Autre

Marc Mezzarobba : Connectez-vous pour contacter le contributeur

https://ens-lyon.hal.science/ensl-00737881

Soumis le : lundi 11 février 2013-14:23:46

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : samedi 1 avril 2017-22:00:20

Dates et versions

ensl-00737881 , version 1 (03-10-2012)

ensl-00737881 , version 2 (07-02-2013)

ensl-00737881 , version 3 (11-02-2013)

ensl-00737881 , version 4 (11-02-2013)

Identifiants

HAL Id : ensl-00737881 , version 4
DOI : 10.1109/ARITH.2013.23

Citer

Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter. Comparison between binary64 and decimal64 floating-point numbers. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩. ⟨ensl-00737881v4⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON UPMC CNRS INRIA UNIV-LYON1 LIP6 INRIA2 SORBONNE-UNIVERSITE SU-SCIENCES UDL

1240 Consultations

1145 Téléchargements