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 <>
Submitted on : Saturday, May 11, 2013 - 2:01:28 PM
Last modification on : Thursday, May 24, 2018 - 3:59:23 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