Drop Z from X + Z < Y + Z
commit9222792c8c44836ab368a60442e96a81e313ec04
authorglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 28 Apr 2017 20:51:05 +0000 (28 20:51 +0000)
committerglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 28 Apr 2017 20:51:05 +0000 (28 20:51 +0000)
tree67e432daeec2332a011517d2c89b6f3aae111358
parent1f87fb849d599917a2ac9f05cee570b90c321d3e
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247398 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/cmpexactdiv-2.c