diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2023-11-24 11:08:19 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2023-12-12 19:21:57 +0800 |
| commit | 99182ea09f10beca8445396cbab491899536f5c3 (patch) | |
| tree | d46fecc89e464b5287886d9c79fab280f0134d03 /gcc/c-family | |
| parent | 0640bc76cd0937069bdeea71aa9e1076d633ed97 (diff) | |
| download | gcc-99182ea09f10beca8445396cbab491899536f5c3.zip gcc-99182ea09f10beca8445396cbab491899536f5c3.tar.gz gcc-99182ea09f10beca8445396cbab491899536f5c3.tar.bz2 | |
Only allow (int)trunc(x) to (int)x simplification with -ffp-int-builtin-inexact [PR107723]
With -fno-fp-int-builtin-inexact, trunc is not allowed to raise
FE_INEXACT and it should produce an integral result (if the input is not
NaN or Inf). Thus FE_INEXACT should not be raised.
But (int)x may raise FE_INEXACT when x is a non-integer, non-NaN, and
non-Inf value. C23 recommends to do so in a footnote.
Thus we should not simplify (int)trunc(x) to (int)x if
-fno-fp-int-builtin-inexact is in-effect.
gcc/ChangeLog:
PR middle-end/107723
* convert.cc (convert_to_integer_1) [case BUILT_IN_TRUNC]: Break
early if !flag_fp_int_builtin_inexact and flag_trapping_math.
gcc/testsuite/ChangeLog:
PR middle-end/107723
* gcc.dg/torture/builtin-fp-int-inexact-trunc.c: New test.
Diffstat (limited to 'gcc/c-family')
0 files changed, 0 insertions, 0 deletions