Re: [PATCH] match.pd: Fix x * 0.0 -> 0.0 folding [PR104389]

On Sat, Feb 05, 2022 at 08:21:26AM +0100, Richard Biener wrote: > > Am 05.02.2022 um 00:08 schrieb Jakub Jelinek via Gcc-patches > > : > > The recent PR95115 change to punt in const_binop on folding operation > > with non-NaN operands into NaN if flag_trapping_math broke the following > >

Re: [PATCH] match.pd: Fix x * 0.0 -> 0.0 folding [PR104389]

> Am 05.02.2022 um 09:21 schrieb Xi Ruoyao : > > On Sat, 2022-02-05 at 08:21 +0100, Richard Biener via Gcc-patches wrote: >> >> Am 05.02.2022 um 00:08 schrieb Jakub Jelinek via Gcc-patches : >>> >>> Hi! >>> >>> The recent PR95115 change to punt in const_binop on folding

Re: [PATCH] match.pd: Fix x * 0.0 -> 0.0 folding [PR104389]

On Sat, 2022-02-05 at 08:21 +0100, Richard Biener via Gcc-patches wrote: > > > > Am 05.02.2022 um 00:08 schrieb Jakub Jelinek via Gcc-patches > > : > > > > Hi! > > > > The recent PR95115 change to punt in const_binop on folding operation > > with non-NaN operands into NaN if

Re: [PATCH] match.pd: Fix x * 0.0 -> 0.0 folding [PR104389]

> Am 05.02.2022 um 00:08 schrieb Jakub Jelinek via Gcc-patches > : > > Hi! > > The recent PR95115 change to punt in const_binop on folding operation > with non-NaN operands into NaN if flag_trapping_math broke the following > testcase, because the x * 0.0 simplification punts just if > x

[PATCH] match.pd: Fix x * 0.0 -> 0.0 folding [PR104389]

Hi! The recent PR95115 change to punt in const_binop on folding operation with non-NaN operands into NaN if flag_trapping_math broke the following testcase, because the x * 0.0 simplification punts just if x maybe a NaN (because NaN * 0.0 is NaN not 0.0) or if one of the operands could be