On Thu, Oct 19, 2017 at 4:22 PM, Marc Glisse <marc.gli...@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