Re: [PATCH] Fixup possible VR_ANTI_RANGE value_range issues

2023-03-11 Thread Jeff Law via Gcc-patches
On 2/27/23 06:58, Richard Biener via Gcc-patches wrote: After fixing PR107561 the following avoids looking at VR_ANTI_RANGE ranges where it doesn't seem obvious the code does the correct thing here (lower_bound and upper_bound do not work as expected). Bootstrapped and tested on x86_64-unknow

Re: [PATCH] Fixup possible VR_ANTI_RANGE value_range issues

2023-03-01 Thread Aldy Hernandez via Gcc-patches
On 3/1/23 11:12, Richard Biener wrote: On Wed, 1 Mar 2023, Aldy Hernandez wrote: On 2/28/23 10:41, Richard Biener wrote: On Mon, 27 Feb 2023, Aldy Hernandez wrote: On 2/27/23 14:58, Richard Biener wrote: After fixing PR107561 the following avoids looking at VR_ANTI_RANGE ranges where

Re: [PATCH] Fixup possible VR_ANTI_RANGE value_range issues

2023-03-01 Thread Richard Biener via Gcc-patches
On Wed, 1 Mar 2023, Aldy Hernandez wrote: > > > On 2/28/23 10:41, Richard Biener wrote: > > On Mon, 27 Feb 2023, Aldy Hernandez wrote: > > > >> > >> > >> On 2/27/23 14:58, Richard Biener wrote: > >>> After fixing PR107561 the following avoids looking at VR_ANTI_RANGE > >>> ranges where it doesn

Re: [PATCH] Fixup possible VR_ANTI_RANGE value_range issues

2023-03-01 Thread Aldy Hernandez via Gcc-patches
On 2/28/23 10:41, Richard Biener wrote: On Mon, 27 Feb 2023, Aldy Hernandez wrote: On 2/27/23 14:58, Richard Biener wrote: After fixing PR107561 the following avoids looking at VR_ANTI_RANGE ranges where it doesn't seem obvious the code does the correct thing here (lower_bound and upper_b

Re: [PATCH] Fixup possible VR_ANTI_RANGE value_range issues

2023-02-28 Thread Richard Biener via Gcc-patches
On Mon, 27 Feb 2023, Aldy Hernandez wrote: > > > On 2/27/23 14:58, Richard Biener wrote: > > After fixing PR107561 the following avoids looking at VR_ANTI_RANGE > > ranges where it doesn't seem obvious the code does the correct > > thing here (lower_bound and upper_bound do not work as expected)

Re: [PATCH] Fixup possible VR_ANTI_RANGE value_range issues

2023-02-27 Thread Aldy Hernandez via Gcc-patches
On 2/27/23 14:58, Richard Biener wrote: After fixing PR107561 the following avoids looking at VR_ANTI_RANGE ranges where it doesn't seem obvious the code does the correct thing here (lower_bound and upper_bound do not work as expected). I do realize there's some confusion here, and some of i

[PATCH] Fixup possible VR_ANTI_RANGE value_range issues

2023-02-27 Thread Richard Biener via Gcc-patches
After fixing PR107561 the following avoids looking at VR_ANTI_RANGE ranges where it doesn't seem obvious the code does the correct thing here (lower_bound and upper_bound do not work as expected). Bootstrapped and tested on x86_64-unknown-linux-gnu. OK? Thanks, Richard. * gimple-ssa-spr