Re: [PATCH] Add !flag_signaling_nans to simplifcation: (trunc)copysign((extend)a, (extend)b) to copysign (a, b).

2021-11-05 Thread Richard Biener via Gcc-patches
On Fri, Nov 5, 2021 at 3:20 AM liuhongt wrote: > > > Note that this is not safe with -fsignaling-nans, so needs to be disabled > > for that option (if there isn't already logic somewhere with that effect), > > because the extend will convert a signaling NaN to quiet (raising > > "invalid"), but

[PATCH] Add !flag_signaling_nans to simplifcation: (trunc)copysign((extend)a, (extend)b) to copysign (a, b).

2021-11-04 Thread liuhongt via Gcc-patches
> Note that this is not safe with -fsignaling-nans, so needs to be disabled > for that option (if there isn't already logic somewhere with that effect), > because the extend will convert a signaling NaN to quiet (raising > "invalid"), but copysign won't, so this transformation could result in a >