]> git.ipfire.org Git - thirdparty/gcc.git/commit
i386: Don't emit fldpi etc. if -frounding-math [PR102498]
authorJakub Jelinek <jakub@redhat.com>
Tue, 28 Sep 2021 11:02:51 +0000 (13:02 +0200)
committerJakub Jelinek <jakub@redhat.com>
Tue, 28 Sep 2021 11:04:26 +0000 (13:04 +0200)
commit6de756d7a7a72ad67eaba33e6102c2e4874bf6e6
tree6663e39c82aee3bae297def899a0d0d69f93d2e9
parente011caf5fea9edb8df5e734d5d4d61d90a96083b
i386: Don't emit fldpi etc. if -frounding-math [PR102498]

i387 has instructions to store some transcedental numbers into the top of
stack.  The problem is that what exact bit in the last place one gets for
those depends on the current rounding mode, the CPU knows the number with
slightly higher precision.  The compiler assumes rounding to nearest when
comparing them against constants in the IL, but at runtime the rounding
can be different and so some of these depending on rounding mode and the
constant could be 1 ulp higher or smaller than expected.
We only support changing the rounding mode at runtime if the non-default
-frounding-mode option is used, so the following patch just disables
using those constants if that flag is on.

2021-09-28  Jakub Jelinek  <jakub@redhat.com>

PR target/102498
* config/i386/i386.c (standard_80387_constant_p): Don't recognize
special 80387 instruction XFmode constants if flag_rounding_math.

* gcc.target/i386/pr102498.c: New test.

(cherry picked from commit 3b7041e8345c2f1030e58620f28e22d64b2c196b)
gcc/config/i386/i386.c
gcc/testsuite/gcc.target/i386/pr102498.c [new file with mode: 0644]