Drop Z from X + Z < Y + Z
authorMarc Glisse <marc.glisse@inria.fr>
Fri, 28 Apr 2017 20:51:05 +0000 (22:51 +0200)
committerMarc Glisse <glisse@gcc.gnu.org>
Fri, 28 Apr 2017 20:51:05 +0000 (20:51 +0000)
commitd35256b6c1c2d52d3539ef8a1c700b69342acd19
tree67e432daeec2332a011517d2c89b6f3aae111358
parent0c90d48b346dfd6d41ceebaa58f2dd67c8fc5993
Drop Z from X + Z < Y + Z

2017-04-28  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* match.pd (X+Z OP Y+Z, X-Z OP Y-Z, Z-X OP Z-Y): New transformations.

gcc/testsuite/
* gcc.dg/tree-ssa/cmpexactdiv-2.c: Update for X-Z OP Y-Z.

From-SVN: r247398
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/cmpexactdiv-2.c