English

Correctly Rounded Functions For Vector Applications: A Performance Study

Mathematical Software 2026-05-18 v1

Abstract

Following recent interest in correctly rounded math library functions (as currently recommended by the IEEE 754 standard), we have designed several SIMD algorithms for one-input single precision functions and integrated them into our CPU math library; these will form the core of the first correctly rounded vector math library, to be available to users in mid-2026. To take advantage of the cross-platform bitwise reproducibility afforded by correct rounding, we adapted and evaluated a few SIMD implementations on graphics processing units (GPU). In addition, we designed and evaluated proof-of-concept SIMD implementations of two correctly rounded double precision functions.

Keywords

Cite

@article{arxiv.2605.15547,
  title  = {Correctly Rounded Functions For Vector Applications: A Performance Study},
  author = {Cristina Anderson and Marius Cornea and Andrey Stepin and Mihai Tudor Panu},
  journal= {arXiv preprint arXiv:2605.15547},
  year   = {2026}
}

Comments

5 pages, 2 figures, 4 tables