re PR rtl-optimization/66187 (wrong code at -O1, -O2 and -O3 on x86_64-linux-gnu)
authorJakub Jelinek <jakub@redhat.com>
Tue, 19 May 2015 13:54:32 +0000 (15:54 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Tue, 19 May 2015 13:54:32 +0000 (15:54 +0200)
commita60c51fe4803ad63d909c819642490630d893152
tree10eb4f7411e8dc56c8e74c0a8a4e98363bae7752
parent0e50b62468123005202598f2a88b59f9ca695eb8
re PR rtl-optimization/66187 (wrong code at -O1, -O2 and -O3 on x86_64-linux-gnu)

PR tree-optimization/66187
* match.pd ((bit_and (plus/minus (convert @0) (convert @1)) mask)):
Pass TYPE_SIGN to tree_int_cst_min_precision.  If
!TYPE_OVERFLOW_WRAPS, ensure @4 is non-negative.

* gcc.c-torture/execute/pr66187.c: New test.
* gcc.dg/pr66187-1.c: New test.
* gcc.dg/pr66187-2.c: New test.

From-SVN: r223366
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/pr66187.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr66187-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr66187-2.c [new file with mode: 0644]