Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic
Résumé
We present algorithms that allow to emulate the fused multiply-add (FMA) instruction and the correctly-rounded sum of three numbers (ADD3) in binary floating-point arithmetic, using only rounding-to-nearest floating-point additions, multiplications, and comparisons. We then introduce variants of these algorithms that make it possible to compute the error of an ADD3 or FMA operation.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |