Skip to Main content Skip to Navigation
New interface

Towards a modern floating-point environment

Olga Kupriianova 1 
1 PEQUAN - Performance et Qualité des Algorithmes Numériques
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : This work investigates two ways of enlarging the current floating-point environment. The first is to support several implementation versions of each mathematical function (elementary such as exp or log and special such as erf or Γ), the second one is to provide IEEE754 operations that mix the inputs and the output of different radixes. As the number of various implementations for each mathematical function is large, this work is focused on code generation. Our code generator supports the huge variety of functions: it generates parametrized implementations for the user-specified functions. So it may be considered as a black-box function generator. This work contains a novel algorithm for domain splitting and an approach to replace branching on reconstruction by a polynomial. This new domain splitting algorithm produces less subdomains and the polynomial degrees on adjacent subdomains do not change much. To produce vectorizable implementations, if-else statements on the reconstruction step have to be avoided. Since the revision of the IEEE754 Standard in 2008 it is possible to mix numbers of different precisions in one operation. However, there is no mechanism that allows users to mix numbers of different radices in one operation. This research starts an examination ofmixed-radix arithmetic with the worst cases search for FMA. A novel algorithm to convert a decimal character sequence of arbitrary length to a binary floating-point number is presented. It is independent of currently-set rounding mode and produces correctly-rounded results.
Document type :
Complete list of metadata

Cited literature [74 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Monday, June 20, 2016 - 12:22:07 PM
Last modification on : Sunday, June 26, 2022 - 10:02:47 AM
Long-term archiving on: : Thursday, September 22, 2016 - 9:10:55 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01334024, version 1


Olga Kupriianova. Towards a modern floating-point environment. Computer Arithmetic. Université Pierre et Marie Curie - Paris VI, 2015. English. ⟨NNT : 2015PA066584⟩. ⟨tel-01334024⟩



Record views


Files downloads