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
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
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
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