Re: [COMMITTED] Improve union of ranges containing NAN.

2022-08-30 Thread Aldy Hernandez via Gcc-patches
On Wed, Aug 31, 2022 at 8:22 AM Richard Biener wrote: > > On Tue, Aug 30, 2022 at 5:43 PM Aldy Hernandez via Gcc-patches > wrote: > > > > Previously [5,6] U NAN would just drop to VARYING. With this patch, > > the resulting range becomes [5,6] with the NAN bit set to unknown. > > > > [I still ha

Re: [COMMITTED] Improve union of ranges containing NAN.

2022-08-30 Thread Richard Biener via Gcc-patches
On Tue, Aug 30, 2022 at 5:43 PM Aldy Hernandez via Gcc-patches wrote: > > Previously [5,6] U NAN would just drop to VARYING. With this patch, > the resulting range becomes [5,6] with the NAN bit set to unknown. > > [I still have yet to decide what to do with intersections. ISTM, the > intersecti

[COMMITTED] Improve union of ranges containing NAN.

2022-08-30 Thread Aldy Hernandez via Gcc-patches
Previously [5,6] U NAN would just drop to VARYING. With this patch, the resulting range becomes [5,6] with the NAN bit set to unknown. [I still have yet to decide what to do with intersections. ISTM, the intersection of a known NAN with anything else should be a NAN, but it could also be undefin