Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic

Philippe Langlois 1 Matthieu Martel 1 Laurent Thévenoux 1
1 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 want to allow the standard software developer to automatically transform his/her code in order to increase the accuracy of floating-point computations. This transformation is actually an optimization since we aim to take into account two opposite criteria: accuracy and execution time. A first step towards this automatic optimization is presented in this work. We propose to automatically introduce at the compile-time compensation steps in (parts of) the floating-point computations. We present a tool to parse C codes and to insert compensated floating-point operations. This provides a compensated computation that improves the accuracy of speci c computing patterns.
Type de document :
Communication dans un congrès
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2012
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00821667
Contributeur : Laurent Thévenoux <>
Soumis le : samedi 11 mai 2013 - 14:01:28
Dernière modification le : jeudi 24 mai 2018 - 15:59:23

Identifiants

  • HAL Id : hal-00821667, version 1

Collections

UNIV-PERP | DALI | LIRMM | MIPS | UNIV-MONTPELLIER

Citation

Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2012. 〈hal-00821667〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

150

Contact

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