[PATCH GCC][1/3]Simplify (A + CST cmp A -> CST cmp zero) for undefined overflow type

[Bin.Cheng]

On Thu, Oct 19, 2017 at 4:22 PM, Marc Glisse <marc.glisse@inria.fr> wrote:
> On Thu, 19 Oct 2017, Bin Cheng wrote:
>
>>         * match.pd (A + CST cmp A  ->  CST cmp zero): New simplification
>>         for undefined overflow types in (A + CST CMP A  ->  A CMP' CST').
>
>
> Could you check if you still need that? I recently added something very
> similar (search for "X + Y < Y" in match.pd).
Ah, yes indeed, the two patterns are unnecessary now on TOT.  I will drop this.

Thanks,
bin
>
> --
> Marc Glisse