On Tue, Sep 6, 2022 at 9:44 AM Jakub Jelinek <ja...@redhat.com> wrote: > > On Tue, Sep 06, 2022 at 09:40:59AM +0200, Aldy Hernandez wrote: > > if (x <= Inf) > > This will be [-Inf, Inf] !NAN on the true side and > NAN (either sign) on the false side indeed. > > > if (x < -Inf) > > will be NAN (either sign) on the true side and > [-Inf, Inf] !NAN on the false side.
Sweet, that's exactly what I thought, thus the patch. Furthermore, for !HONOR_NANS I would expect the NAN sides above to be UNDEFINED/unreachable. That is, the false side of x <= Inf when !HONOR_NANS is unreachable. Agreed? Aldy