Re: [PATCH] middle-end/113680 - Optimize (x - y) CMP 0 as x CMP y

2024-03-11 Thread Richard Biener
On Fri, Mar 8, 2024 at 6:50 PM Ken Matsui wrote: > > On Thu, Mar 7, 2024 at 10:49 PM Richard Biener > wrote: > > > > On Thu, Mar 7, 2024 at 8:29 PM Ken Matsui wrote: > > > > > > On Tue, Mar 5, 2024 at 7:58 AM Richard Biener > > > wrote: > > > > > > > > On Tue, Mar 5, 2024 at 1:51 PM Ken Matsui

Re: [PATCH] middle-end/113680 - Optimize (x - y) CMP 0 as x CMP y

2024-03-08 Thread Ken Matsui
On Thu, Mar 7, 2024 at 10:49 PM Richard Biener wrote: > > On Thu, Mar 7, 2024 at 8:29 PM Ken Matsui wrote: > > > > On Tue, Mar 5, 2024 at 7:58 AM Richard Biener > > wrote: > > > > > > On Tue, Mar 5, 2024 at 1:51 PM Ken Matsui > > > wrote: > > > > > > > > On Tue, Mar 5, 2024 at 12:38 AM

Re: [PATCH] middle-end/113680 - Optimize (x - y) CMP 0 as x CMP y

2024-03-07 Thread Richard Biener
On Thu, Mar 7, 2024 at 8:29 PM Ken Matsui wrote: > > On Tue, Mar 5, 2024 at 7:58 AM Richard Biener > wrote: > > > > On Tue, Mar 5, 2024 at 1:51 PM Ken Matsui wrote: > > > > > > On Tue, Mar 5, 2024 at 12:38 AM Richard Biener > > > wrote: > > > > > > > > On Mon, Mar 4, 2024 at 9:40 PM Ken Matsui

Re: [PATCH] middle-end/113680 - Optimize (x - y) CMP 0 as x CMP y

2024-03-07 Thread Ken Matsui
On Tue, Mar 5, 2024 at 7:58 AM Richard Biener wrote: > > On Tue, Mar 5, 2024 at 1:51 PM Ken Matsui wrote: > > > > On Tue, Mar 5, 2024 at 12:38 AM Richard Biener > > wrote: > > > > > > On Mon, Mar 4, 2024 at 9:40 PM Ken Matsui wrote: > > > > > > > > (x - y) CMP 0 is equivalent to x CMP y where

Re: [PATCH] middle-end/113680 - Optimize (x - y) CMP 0 as x CMP y

2024-03-05 Thread Richard Biener
On Tue, Mar 5, 2024 at 1:51 PM Ken Matsui wrote: > > On Tue, Mar 5, 2024 at 12:38 AM Richard Biener > wrote: > > > > On Mon, Mar 4, 2024 at 9:40 PM Ken Matsui wrote: > > > > > > (x - y) CMP 0 is equivalent to x CMP y where x and y are signed > > > integers and CMP is <, <=, >, or >=.

Re: [PATCH] middle-end/113680 - Optimize (x - y) CMP 0 as x CMP y

2024-03-05 Thread Ken Matsui
On Tue, Mar 5, 2024 at 12:38 AM Richard Biener wrote: > > On Mon, Mar 4, 2024 at 9:40 PM Ken Matsui wrote: > > > > (x - y) CMP 0 is equivalent to x CMP y where x and y are signed > > integers and CMP is <, <=, >, or >=. Similarly, 0 CMP (x - y) is > > equivalent to y CMP x. As reported in PR

Re: [PATCH] middle-end/113680 - Optimize (x - y) CMP 0 as x CMP y

2024-03-05 Thread Richard Biener
On Mon, Mar 4, 2024 at 9:40 PM Ken Matsui wrote: > > (x - y) CMP 0 is equivalent to x CMP y where x and y are signed > integers and CMP is <, <=, >, or >=. Similarly, 0 CMP (x - y) is > equivalent to y CMP x. As reported in PR middle-end/113680, this > equivalence does not hold for types other

[PATCH] middle-end/113680 - Optimize (x - y) CMP 0 as x CMP y

2024-03-04 Thread Ken Matsui
(x - y) CMP 0 is equivalent to x CMP y where x and y are signed integers and CMP is <, <=, >, or >=. Similarly, 0 CMP (x - y) is equivalent to y CMP x. As reported in PR middle-end/113680, this equivalence does not hold for types other than signed integers. When it comes to conditions, the