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
> --
>

Reply via email to