Re: [PATCH] Implement range-op entry for __builtin_copysign.

2022-10-14 Thread Jakub Jelinek via Gcc-patches
On Fri, Oct 14, 2022 at 05:08:51PM +0200, Aldy Hernandez wrote: > [Jakub, while we're on the subject of signed zeros and copysign, does > this look OK to you?] > > copysign(MAGNITUDE, SIGN) is implemented as the absolute of MAGNITUDE, > with SIGN applied. If the sign of "SIGN" cannot be determine

[PATCH] Implement range-op entry for __builtin_copysign.

2022-10-14 Thread Aldy Hernandez via Gcc-patches
[Jakub, while we're on the subject of signed zeros and copysign, does this look OK to you?] copysign(MAGNITUDE, SIGN) is implemented as the absolute of MAGNITUDE, with SIGN applied. If the sign of "SIGN" cannot be determined, we return a range of [-MAGNITUDE, +MAGNITUDE]. gcc/ChangeLog: