match.pd ((X / Y) == 0 -> X < Y): New pattern.
authorPrathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
Wed, 27 Sep 2017 00:03:07 +0000 (00:03 +0000)
committerPrathamesh Kulkarni <prathamesh3492@gcc.gnu.org>
Wed, 27 Sep 2017 00:03:07 +0000 (00:03 +0000)
commit1d6fadeeacdf6775396b2417d011520a8ab0d11e
tree1eef3982eb90504b87792d0c2a34fba32aa88dbf
parent1262c6cf3a0ca41bcb02959ab0842677e5517d28
match.pd ((X / Y) == 0 -> X < Y): New pattern.

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.

From-SVN: r253218
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/cmpdiv.c [new file with mode: 0644]