Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-06 Thread Aldy Hernandez via Gcc-patches
On Tue, Sep 6, 2022, 11:09 Richard Biener wrote: > On Tue, Sep 6, 2022 at 9:21 AM Aldy Hernandez wrote: > > > > On Mon, Sep 5, 2022 at 2:16 PM Richard Biener > > wrote: > > > > > > On Mon, Sep 5, 2022 at 1:45 PM Aldy Hernandez > wrote: > > > > > > > > On Mon, Sep 5, 2022 at 12:38 PM Richard Bi

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-06 Thread Richard Biener via Gcc-patches
On Tue, Sep 6, 2022 at 9:21 AM Aldy Hernandez wrote: > > On Mon, Sep 5, 2022 at 2:16 PM Richard Biener > wrote: > > > > On Mon, Sep 5, 2022 at 1:45 PM Aldy Hernandez wrote: > > > > > > On Mon, Sep 5, 2022 at 12:38 PM Richard Biener > > > wrote: > > > > > > > > On Mon, Sep 5, 2022 at 12:24 PM Al

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-06 Thread Aldy Hernandez via Gcc-patches
On Mon, Sep 5, 2022 at 2:16 PM Richard Biener wrote: > > On Mon, Sep 5, 2022 at 1:45 PM Aldy Hernandez wrote: > > > > On Mon, Sep 5, 2022 at 12:38 PM Richard Biener > > wrote: > > > > > > On Mon, Sep 5, 2022 at 12:24 PM Aldy Hernandez wrote: > > > > > > > > On Mon, Sep 5, 2022 at 11:53 AM Richa

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Richard Biener via Gcc-patches
On Mon, Sep 5, 2022 at 1:45 PM Aldy Hernandez wrote: > > On Mon, Sep 5, 2022 at 12:38 PM Richard Biener > wrote: > > > > On Mon, Sep 5, 2022 at 12:24 PM Aldy Hernandez wrote: > > > > > > On Mon, Sep 5, 2022 at 11:53 AM Richard Biener > > > wrote: > > > > > > > > On Mon, Sep 5, 2022 at 11:41 AM

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Aldy Hernandez via Gcc-patches
On Mon, Sep 5, 2022 at 12:38 PM Richard Biener wrote: > > On Mon, Sep 5, 2022 at 12:24 PM Aldy Hernandez wrote: > > > > On Mon, Sep 5, 2022 at 11:53 AM Richard Biener > > wrote: > > > > > > On Mon, Sep 5, 2022 at 11:41 AM Aldy Hernandez wrote: > > > > > > > > On Mon, Sep 5, 2022 at 11:18 AM Ric

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Richard Biener via Gcc-patches
On Mon, Sep 5, 2022 at 12:24 PM Aldy Hernandez wrote: > > On Mon, Sep 5, 2022 at 11:53 AM Richard Biener > wrote: > > > > On Mon, Sep 5, 2022 at 11:41 AM Aldy Hernandez wrote: > > > > > > On Mon, Sep 5, 2022 at 11:18 AM Richard Biener > > > wrote: > > > > > > > > On Mon, Sep 5, 2022 at 11:12 AM

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Aldy Hernandez via Gcc-patches
On Mon, Sep 5, 2022 at 11:53 AM Richard Biener wrote: > > On Mon, Sep 5, 2022 at 11:41 AM Aldy Hernandez wrote: > > > > On Mon, Sep 5, 2022 at 11:18 AM Richard Biener > > wrote: > > > > > > On Mon, Sep 5, 2022 at 11:12 AM Aldy Hernandez wrote: > > > > > > > > On Mon, Sep 5, 2022 at 11:06 AM Jak

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Richard Biener via Gcc-patches
On Mon, Sep 5, 2022 at 11:41 AM Aldy Hernandez wrote: > > On Mon, Sep 5, 2022 at 11:18 AM Richard Biener > wrote: > > > > On Mon, Sep 5, 2022 at 11:12 AM Aldy Hernandez wrote: > > > > > > On Mon, Sep 5, 2022 at 11:06 AM Jakub Jelinek wrote: > > > > > > > > On Mon, Sep 05, 2022 at 11:00:54AM +02

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Aldy Hernandez via Gcc-patches
On Mon, Sep 5, 2022 at 11:18 AM Richard Biener wrote: > > On Mon, Sep 5, 2022 at 11:12 AM Aldy Hernandez wrote: > > > > On Mon, Sep 5, 2022 at 11:06 AM Jakub Jelinek wrote: > > > > > > On Mon, Sep 05, 2022 at 11:00:54AM +0200, Richard Biener wrote: > > > > On Mon, Sep 5, 2022 at 8:24 AM Aldy Her

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Richard Biener via Gcc-patches
On Mon, Sep 5, 2022 at 11:28 AM Aldy Hernandez wrote: > > On Mon, Sep 5, 2022 at 11:14 AM Richard Biener > wrote: > > > > On Mon, Sep 5, 2022 at 11:06 AM Jakub Jelinek wrote: > > > > > > On Mon, Sep 05, 2022 at 11:00:54AM +0200, Richard Biener wrote: > > > > On Mon, Sep 5, 2022 at 8:24 AM Aldy H

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Aldy Hernandez via Gcc-patches
On Mon, Sep 5, 2022 at 11:14 AM Richard Biener wrote: > > On Mon, Sep 5, 2022 at 11:06 AM Jakub Jelinek wrote: > > > > On Mon, Sep 05, 2022 at 11:00:54AM +0200, Richard Biener wrote: > > > On Mon, Sep 5, 2022 at 8:24 AM Aldy Hernandez via Gcc-patches > > > wrote: > > > > > > > > Intersecting two

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Richard Biener via Gcc-patches
On Mon, Sep 5, 2022 at 11:12 AM Aldy Hernandez wrote: > > On Mon, Sep 5, 2022 at 11:06 AM Jakub Jelinek wrote: > > > > On Mon, Sep 05, 2022 at 11:00:54AM +0200, Richard Biener wrote: > > > On Mon, Sep 5, 2022 at 8:24 AM Aldy Hernandez via Gcc-patches > > > wrote: > > > > > > > > Intersecting two

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Richard Biener via Gcc-patches
On Mon, Sep 5, 2022 at 11:06 AM Jakub Jelinek wrote: > > On Mon, Sep 05, 2022 at 11:00:54AM +0200, Richard Biener wrote: > > On Mon, Sep 5, 2022 at 8:24 AM Aldy Hernandez via Gcc-patches > > wrote: > > > > > > Intersecting two ranges where one is a NAN is keeping the sign bit of > > > the NAN ran

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Aldy Hernandez via Gcc-patches
On Mon, Sep 5, 2022 at 11:06 AM Jakub Jelinek wrote: > > On Mon, Sep 05, 2022 at 11:00:54AM +0200, Richard Biener wrote: > > On Mon, Sep 5, 2022 at 8:24 AM Aldy Hernandez via Gcc-patches > > wrote: > > > > > > Intersecting two ranges where one is a NAN is keeping the sign bit of > > > the NAN ran

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Jakub Jelinek via Gcc-patches
On Mon, Sep 05, 2022 at 11:00:54AM +0200, Richard Biener wrote: > On Mon, Sep 5, 2022 at 8:24 AM Aldy Hernandez via Gcc-patches > wrote: > > > > Intersecting two ranges where one is a NAN is keeping the sign bit of > > the NAN range. This is not correct as the sign bits may not match. > > > > I t

Re: [COMMITTED] Be even more conservative in intersection of NANs.

2022-09-05 Thread Richard Biener via Gcc-patches
On Mon, Sep 5, 2022 at 8:24 AM Aldy Hernandez via Gcc-patches wrote: > > Intersecting two ranges where one is a NAN is keeping the sign bit of > the NAN range. This is not correct as the sign bits may not match. > > I think the only time we're absolutely sure about the intersection of > a NAN and