PR middle-end/35691
commit8ced49657ce78d11e6bb72780939245ee8105ae7
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 22 Sep 2017 18:56:23 +0000 (22 18:56 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 22 Sep 2017 18:56:23 +0000 (22 18:56 +0000)
tree849d3a7452f4b4b9d765e628ec63a4a5f3f199f4
parentc0b150095432f24d246c905700186df232db47e9
PR middle-end/35691
* match.pd: Simplify x == -1 & y == -1 into (x & y) == -1
and x != -1 | y != -1 into (x & y) != -1.

* gcc.dg/pr35691-1.c: Use -fdump-tree-forwprop1-details
instead of -fdump-tree-forwprop-details in dg-options.
* gcc.dg/pr35691-2.c: Likewise.
* gcc.dg/pr35691-3.c: New test.
* gcc.dg/pr35691-4.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@253107 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr35691-1.c
gcc/testsuite/gcc.dg/pr35691-2.c
gcc/testsuite/gcc.dg/pr35691-3.c [copied from gcc/testsuite/gcc.dg/pr35691-1.c with 66% similarity]
gcc/testsuite/gcc.dg/pr35691-4.c [copied from gcc/testsuite/gcc.dg/pr35691-2.c with 66% similarity]