Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors

Christian Bertin 1 Claude-Pierre Jeannerod 2 Jingyan Jourdan-Lu 1, 2 Hervé Knochel 1 Christophe Monat 1 Christophe Mouilleron 2 Jean-Michel Muller 2 Guillaume Revy 3
1 ST-GRENOBLE - STMicroelectronics [Grenoble]
2 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
3 ELIAUS - Electronique, Informatique, Automatique et Systèmes
Abstract : Recently, some high-performance IEEE 754 single precision floating-point software has been designed, which aims at best exploiting some features (integer arithmetic, parallelism) of the STMicroelectronics ST200 Very Long Instruction Word (VLIW) processor. We review here the techniques and software tools used or developed for this design and its implementation, and how they allowed very high instruction-level parallelism (ILP) exposure. Those key points include a hierarchical description of function evaluation algorithms, the exploitation of the standard encoding of floating-point data, the automatic generation of fast and accurate polynomial evaluation schemes, and some compiler optimizations.
Keywords : binary foating-point arithmetic correct rounding IEEE 754 polynomial evaluation instruction-level parallelism code generation C software implementation VLIW integer processor
Type de document :
Communication dans un congrès
4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. ACM, pp.1-9, 2010, 〈10.1145/1837210.1837212〉
Liste complète des métadonnées
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00549467
Contributeur : Claude-Pierre Jeannerod <>
Soumis le : mercredi 22 décembre 2010 - 09:11:57
Dernière modification le : vendredi 20 avril 2018 - 15:44:23

Identifiants

Collections

INRIA | UNIV-PERP | LIP | ENS-LYON | UNIV-LYON1 | INRIA-RENGRE

Citation

Christian Bertin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Hervé Knochel, Christophe Monat, et al.. Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors. 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. ACM, pp.1-9, 2010, 〈10.1145/1837210.1837212〉. 〈ensl-00549467〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

129

Contact

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