HAL : ensl-00532829, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

How to square floats accurately and efficiently on the ST231 integer processor

Claude-Pierre Jeannerod (  Auteur correspondant ) 1, Jingyan Jourdan-Lu 1, 2, Christophe Monat 2, Guillaume Revy 3

(19/11/2010)

We consider the problem of computing IEEE floating-point squares by means of integer arithmetic. We show how the specific properties of squaring can be exploited in order to design and implement algorithms that have much lower latency than those for general multiplication, while still guaranteeing correct rounding. Our algorithm descriptions 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 STMicroelectronics, with a latency at least 1.75x smaller than that of general multiplication in the same context.

1 :	ARENAIRE (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 :	STMicroelectronics (Grenoble) (ST-GRENOBLE)
	STMicroelectronics
3 :	Electronique, Informatique, Automatique et Systèmes (ELIAUS)
	Université de Perpignan

Équipe de recherche : [ARENAIRE - Arithmétique des ordinateurs]

Domaine

:

Informatique/Arithmétique des ordinateurs

Mots-clés : Squaring – Binary floating-point arithmetic – Correct rounding – IEEE 754 – Instruction level parallelism – C software implementation – VLIW integer processor

ensl-00532829, version 1

http://hal-ens-lyon.archives-ouvertes.fr/ensl-00532829

oai:hal-ens-lyon.archives-ouvertes.fr:ensl-00532829

Contributeur : Claude-Pierre Jeannerod <>

Soumis le : Vendredi 19 Novembre 2010, 07:00:22

Dernière modification le : Vendredi 19 Novembre 2010, 07:00:22