match.pd (((m1 >/</>=/<= m2) * d -> (m1 >/</>=/<= m2) ? d : 0): New pattern.
authorNaveen H.S <Naveen.Hurugalawadi@cavium.com>
Thu, 20 Jul 2017 03:57:48 +0000 (03:57 +0000)
committerNaveen H.S <naveenh@gcc.gnu.org>
Thu, 20 Jul 2017 03:57:48 +0000 (03:57 +0000)
commit2071f8f980cc0de02af3d7d7de201f4f189058ff
tree6f2da486f3a9a37ededa4f3e319aef56e15e2f7b
parentb882559a118e6c6b44206a24d2651c2a93ffc86c
match.pd (((m1 >/</>=/<= m2) * d -> (m1 >/</>=/<= m2) ? d : 0): New pattern.

gcc
* match.pd (((m1 >/</>=/<= m2) * d -> (m1 >/</>=/<= m2) ? d : 0):
New pattern.

gcc/testsuite
* gcc.dg/tree-ssa/vrp116.c: New Test.

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