diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-03-29 11:20:01 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-03-30 17:26:17 +0200 |
| commit | f1abe04e503f1c54c5a50f7b3f3906beca15a760 (patch) | |
| tree | c348b8cd5f6683d03eda0bfb8b528e9a12a76b18 /Changelog | |
| parent | f2de2518509f198c5ce958ec06c18e78e896f814 (diff) | |
| download | compcert-kvx-f1abe04e503f1c54c5a50f7b3f3906beca15a760.tar.gz compcert-kvx-f1abe04e503f1c54c5a50f7b3f3906beca15a760.zip | |
Double rounding error in int64->float32 conversions on PowerPC and ARM
The "stof" and "utof" runtime functions contain a round-to-odd step
that avoids double rounding. However, this step was incorrectly coded
on PowerPC (stof and utof), PowerPC64 (utof), and ARM (stof), making
round-to-odd ineffective and causing double rounding.
Closes: #343
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions