https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78546
--- Comment #11 from rguenther at suse dot de <rguenther at suse dot de> --- On Mon, 28 Nov 2016, mpolacek at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78546 > > Marek Polacek <mpolacek at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |mpolacek at gcc dot gnu.org > > --- Comment #10 from Marek Polacek <mpolacek at gcc dot gnu.org> --- > (In reply to Richard Biener from comment #9) > > Testing > > > > diff --git a/gcc/match.pd b/gcc/match.pd > > index 2d4e019..9e5df64 100644 > > --- a/gcc/match.pd > > +++ b/gcc/match.pd > > @@ -1216,6 +1216,13 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) > > (if (cst && !TREE_OVERFLOW (cst)) > > (minus { cst; } @0))))) > > > > + /* CST - (CST - A) -> CST - A */ > > Shouldn't this be just -> -A? The constants need not be the same.