On Thu, Jul 18, 2024 at 12:54 AM Roger Sayle <ro...@nextmovesoftware.com> wrote:
>
> I've been investigating some (float)i == CST optimizations for match.pd,
> and noticed there's already a TODO comment in match.pd that's relatively
> easy to implement. When CST is a NaN, we only need to worry about
> exceptions with flag_trapping_math, and equality/inequality tests for
> sNaN only behave differently to qNaN with -fsignaling-nans. These
> issues are related to PR 57371 and PR 106805 in bugzilla.
>
> This patch has been tested on x86_64-pc-linux-gnu with make bootstrap
> and make -k check, both with and without --target_board=unix{-m32}
> with no new failures. Ok for mainline?
OK.
Thanks,
Richard.
>
> 2024-07-17 Roger Sayle <ro...@nextmovesoftware.com>
>
> gcc/ChangeLog
> * match.pd ((FTYPE) N CMP CST): Only worry about exceptions with
> flag_trapping_math, and about signaling NaNs with HONOR_SNANS.
>
> gcc/testsuite/ChangeLog
> * c-c++-common/pr57371-4.c: Update comment.
> * c-c++-common/pr57371-5.c: Add missing testcases from pr57371-4.c
> and update for -fno-singnaling-nans -fno-trapping-math.
>
>
> Thanks in advance,
> Roger
> --
>
