2017-09-26 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
commited14c914b7a42bdb6ed6a455096993b8d51d716a
authorprathamesh3492 <prathamesh3492@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 27 Sep 2017 00:03:07 +0000 (27 00:03 +0000)
committerprathamesh3492 <prathamesh3492@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 27 Sep 2017 00:03:07 +0000 (27 00:03 +0000)
tree1eef3982eb90504b87792d0c2a34fba32aa88dbf
parent5433fcc83bb7153e38ca4785ca5b129e1b22e5c3
2017-09-26  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

* match.pd ((X / Y) == 0 -> X < Y): New pattern.
((X / Y) != 0 -> X >= Y): Likewise.

testsuite/
* gcc.dg/tree-ssa/cmpdiv.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@253218 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/cmpdiv.c [new file with mode: 0644]