match.pd: optimize unsigned mul overflow check
authorAlexander Monakov <amonakov@ispras.ru>
Mon, 30 May 2016 14:37:02 +0000 (17:37 +0300)
committerAlexander Monakov <amonakov@gcc.gnu.org>
Mon, 30 May 2016 14:37:02 +0000 (17:37 +0300)
commit0557293fc21c8c9ba94acb48e4373f974bf09d2e
tree09ffb39fe015722f03d20261e2515223b6538e85
parente5b1fae41b02c97227598559e6d3601a109d9e49
match.pd: optimize unsigned mul overflow check

gcc/
2016-05-28  Alexander Monakov  <amonakov@ispras.ru>
            Marc Glisse  <marc.glisse@inria.fr>

PR tree-optimization/71289
* match.pd (-1 / B < A, A > -1 / B): New transformations.

gcc/testsuite/
2016-05-28  Alexander Monakov  <amonakov@ispras.ru>

PR tree-optimization/71289
* gcc.dg/pr71289.c: New test.

Co-Authored-By: Marc Glisse <marc.glisse@inria.fr>
From-SVN: r236882
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr71289.c [new file with mode: 0644]