Correctly rounded multiplication by arbitrary precision constants

Jean-Michel Muller; Nicolas Brisebarre

doi:10.1109/ARITH.2005.13

Correctly rounded multiplication by arbitrary precision constants

Jean-Michel Muller ^{1, 2} Nicolas Brisebarre ^{2, 3}

1 LIP - Laboratoire de l'Informatique du Parallélisme

2 ARENAIRE - Computer arithmetic

Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme

3 LArAl - Laboratoire d'Arithmétique et d'Algèbre

Abstract : We introduce an algorithm for multiplying a floating-point number $x$ by a constant $C$ that is not exactly representable in floating-point arithmetic. Our algorithm uses a multiplication and a fused multiply and add instruction. We give methods for checking whether, for a given value of $C$ and a given floating-point format, our algorithm returns a correctly rounded result for any $x$. When it does not, our methods give the values $x$ for which it does not.

Keywords : computer arithmetic floating-point arithmetic multiplication fused multiply-add

Type de document :

Communication dans un congrès

Paolo Montuschi; Eric Schwarz. ARITH'17, 17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, United States. IEEE Computer Society, 2005, 〈10.1109/ARITH.2005.13〉

Domaine :

Informatique [cs] / Autre [cs.OH]

Liste complète des métadonnées

Littérature citée [10 références] Voir Masquer Télécharger

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000010
Contributeur : Jean-Michel Muller <>
Soumis le : jeudi 13 avril 2006 - 10:43:28
Dernière modification le : vendredi 20 avril 2018 - 15:44:24
Document(s) archivé(s) le : samedi 3 avril 2010 - 22:17:10

Correctly rounded multiplication by arbitrary precision constants

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

182

80

Contact

Correctly rounded multiplication by arbitrary precision constants

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

182

80

Contact