How to Square Floats Accurately and Efficiently on the ST231 Integer Processor

Claude-Pierre Jeannerod 1, 2, * Jingyan Jourdan-Lu 1, 2, 3 Christophe Monat 4 Guillaume Revy 5
* Auteur correspondant
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
2 LIP - Laboratoire de l'Informatique du Parallélisme
3 ARENAIRE - Arithmétique des ordinateurs
ST-GRENOBLE - STMicroelectronics [Grenoble]
4 ST-GRENOBLE - STMicroelectronics [Grenoble]
5 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 : We consider the problem of computing IEEE floating-point squares by means of integer arithmetic. We show how to exploit the specific properties of squaring in order to design and implement algorithms that have much lower latency than those for general multiplication, while still guaranteeing correct rounding. Our algorithms are parameterized by the floating-point format, aim at high instruction-level parallelism (ILP) exposure, and cover all rounding modes. We show further that their C implementation for the binary32 format yields efficient codes for targets like the ST231 VLIW integer processor from ST Microelectronics, with a latency at least 1.75x smaller than that of general multiplication in the same context.
Keywords : VLIW integer processor squaring binary floating-point arithmetic correct rounding IEEE 754 instruction level parallelism C software implementation
Type de document :
Communication dans un congrès
ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. Computer Arithmetic (ARITH), 2011 20th IEEE Symposium on, pp.77-81, 2011, 〈http://www.ac.usc.es/arith20/〉. 〈10.1109/ARITH.2011.19〉
Liste complète des métadonnées
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00644147
Contributeur : Claude-Pierre Jeannerod <>
Soumis le : mercredi 23 novembre 2011 - 16:41:51
Dernière modification le : jeudi 17 janvier 2019 - 15:16:03

Lien texte intégral

openaccess

Identifiants

Collections

ENS-LYON | INRIA | LIP | UNIV-PERP | DALI | LIRMM | MIPS | UNIV-MONTPELLIER | UNIV-LYON1

Citation

Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy. How to Square Floats Accurately and Efficiently on the ST231 Integer Processor. ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. Computer Arithmetic (ARITH), 2011 20th IEEE Symposium on, pp.77-81, 2011, 〈http://www.ac.usc.es/arith20/〉. 〈10.1109/ARITH.2011.19〉. 〈ensl-00644147〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

358

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD