HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Contributor : Laurent Thévenoux Connect in order to contact the contributor
Submitted on : Saturday, May 11, 2013 - 2:01:28 PM
Last modification on : Friday, October 22, 2021 - 3:07:35 PM


  • HAL Id : hal-00821667, version 1



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. ⟨hal-00821667⟩



Record views