Re: [PATCH] Check rvc_normal in real_isdenormal.

2022-10-14 Thread Jakub Jelinek via Gcc-patches
On Fri, Oct 14, 2022 at 04:30:47PM +0200, Aldy Hernandez wrote: > [Jakub, thanks for pointing this out. OK?] > > [-Inf, -Inf] is being flushed to [-Inf, -0.0] because real_isdenormal > is being overly pessimistic. It is missing a check for rvc_normal. > This doesn't cause problems in real.cc bec

[PATCH] Check rvc_normal in real_isdenormal.

2022-10-14 Thread Aldy Hernandez via Gcc-patches
[Jakub, thanks for pointing this out. OK?] [-Inf, -Inf] is being flushed to [-Inf, -0.0] because real_isdenormal is being overly pessimistic. It is missing a check for rvc_normal. This doesn't cause problems in real.cc because all uses of real_isdenormal are already on the rvc_normal path. The