Re: [PATCH] Improve VRP range intersection for partly symbolic ranges

2017-04-28 Thread Richard Biener
On Thu, 27 Apr 2017, Richard Biener wrote: > On April 27, 2017 4:06:48 PM GMT+02:00, "Bin.Cheng" > wrote: > >On Thu, Apr 27, 2017 at 2:49 PM, Richard Biener > >wrote: > >> > >> The following makes intersecting [-INF, +10] and [a + -1, +INF] > >> to [10, a + -1] possible with the chance that for

Re: [PATCH] Improve VRP range intersection for partly symbolic ranges

2017-04-27 Thread Richard Biener
On April 27, 2017 4:06:48 PM GMT+02:00, "Bin.Cheng" wrote: >On Thu, Apr 27, 2017 at 2:49 PM, Richard Biener >wrote: >> >> The following makes intersecting [-INF, +10] and [a + -1, +INF] >> to [10, a + -1] possible with the chance that for a <= 10 the >> resulting range will be empty (but not tri

Re: [PATCH] Improve VRP range intersection for partly symbolic ranges

2017-04-27 Thread Bin.Cheng
On Thu, Apr 27, 2017 at 2:49 PM, Richard Biener wrote: > > The following makes intersecting [-INF, +10] and [a + -1, +INF] > to [10, a + -1] possible with the chance that for a <= 10 the > resulting range will be empty (but not trivially visible as so). Hi, I noticed operand_less_p is quite simple