Re: [PATCH] Combine logical OR ranges properly. pr97567

2020-10-27 Thread Andrew MacLeod via Gcc-patches
On 10/27/20 10:44 AM, H.J. Lu wrote: On Tue, Oct 27, 2020 at 7:18 AM Andrew MacLeod via Gcc-patches wrote: On 10/27/20 7:23 AM, Christophe Lyon wrote: Hi, On Mon, 26 Oct 2020 at 22:51, Andrew MacLeod via Gcc-patches wrote: In the core of gori_compute::logical_combine we are suppose to combi

Re: [PATCH] Combine logical OR ranges properly. pr97567

2020-10-27 Thread H.J. Lu via Gcc-patches
On Tue, Oct 27, 2020 at 7:18 AM Andrew MacLeod via Gcc-patches wrote: > > On 10/27/20 7:23 AM, Christophe Lyon wrote: > > Hi, > > > > On Mon, 26 Oct 2020 at 22:51, Andrew MacLeod via Gcc-patches > > wrote: > >> In the core of gori_compute::logical_combine we are suppose to combine > >> the calcul

Re: [PATCH] Combine logical OR ranges properly. pr97567

2020-10-27 Thread Andrew MacLeod via Gcc-patches
On 10/27/20 7:23 AM, Christophe Lyon wrote: Hi, On Mon, 26 Oct 2020 at 22:51, Andrew MacLeod via Gcc-patches wrote: In the core of gori_compute::logical_combine we are suppose to combine the calculated true and false ranges on each side of the operation. when encountering [0,0] = c_3 | c

Re: [PATCH] Combine logical OR ranges properly. pr97567

2020-10-27 Thread H.J. Lu via Gcc-patches
On Tue, Oct 27, 2020 at 4:24 AM Christophe Lyon via Gcc-patches wrote: > > Hi, > > On Mon, 26 Oct 2020 at 22:51, Andrew MacLeod via Gcc-patches > wrote: > > > > In the core of gori_compute::logical_combine we are suppose to combine > > the calculated true and false ranges on each side of the ope

Re: [PATCH] Combine logical OR ranges properly. pr97567

2020-10-27 Thread Christophe Lyon via Gcc-patches
Hi, On Mon, 26 Oct 2020 at 22:51, Andrew MacLeod via Gcc-patches wrote: > > In the core of gori_compute::logical_combine we are suppose to combine > the calculated true and false ranges on each side of the operation. > > when encountering > > [0,0] = c_3 | c_4 > > we know we only need to cons

[PATCH] Combine logical OR ranges properly. pr97567

2020-10-26 Thread Andrew MacLeod via Gcc-patches
In the core of gori_compute::logical_combine we are suppose to combine the calculated true and false ranges on each side of  the operation. when encountering [0,0] =   c_3  | c_4 we know we only need to consider the FALSE values of the range carried by c_3 and c_4, but it can be EITHER of tho