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