Re: [PATCH v2] match.pd: Simplify unsigned A - B - 1 >= A to B >= A [PR94913]

2020-05-07 Thread Jeff Law via Gcc-patches
On Thu, 2020-05-07 at 17:39 +0200, Richard Biener wrote: > On May 7, 2020 4:27:26 PM GMT+02:00, Jakub Jelinek wrote: > > On Thu, May 07, 2020 at 09:59:57AM +0200, Richard Biener wrote: > > > Maybe write A - B + -1 >= A to actually match what you match below > > ... > > > on the plus :c is not need

Re: [PATCH v2] match.pd: Simplify unsigned A - B - 1 >= A to B >= A [PR94913]

2020-05-07 Thread Richard Biener
On May 7, 2020 4:27:26 PM GMT+02:00, Jakub Jelinek wrote: >On Thu, May 07, 2020 at 09:59:57AM +0200, Richard Biener wrote: >> Maybe write A - B + -1 >= A to actually match what you match below >... >> on the plus :c is not needed, canonicalization will put the constant >> literal second >> >> The

Re: [PATCH v2] match.pd: Simplify unsigned A - B - 1 >= A to B >= A [PR94913]

2020-05-07 Thread Jeff Law via Gcc-patches
On Thu, 2020-05-07 at 16:27 +0200, Jakub Jelinek via Gcc-patches wrote: > On Thu, May 07, 2020 at 09:59:57AM +0200, Richard Biener wrote: > > Maybe write A - B + -1 >= A to actually match what you match below > ... > > on the plus :c is not needed, canonicalization will put the constant > > literal

[PATCH v2] match.pd: Simplify unsigned A - B - 1 >= A to B >= A [PR94913]

2020-05-07 Thread Jakub Jelinek via Gcc-patches
On Thu, May 07, 2020 at 09:59:57AM +0200, Richard Biener wrote: > Maybe write A - B + -1 >= A to actually match what you match below ... > on the plus :c is not needed, canonicalization will put the constant > literal second > > The previous pattern has a single_use check on the minus, since > the