2016-11-07 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
commit4a9eb7eb3fef7480f0039cd35a1234afde980132
authorprathamesh3492 <prathamesh3492@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 7 Nov 2016 17:32:17 +0000 (7 17:32 +0000)
committerprathamesh3492 <prathamesh3492@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 7 Nov 2016 17:32:17 +0000 (7 17:32 +0000)
tree635b4e800f58b4bbd2d72bf49db8fd6309f5bc2d
parentbb99ba64f6c91845cfb75d656da4f90b56d5acde
2016-11-07  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

PR middle-end/35691
* match.pd: Add following two patterns:
(x == 0 & y == 0) -> (x | typeof(x)(y)) == 0.
(x != 0 | y != 0) -> (x | typeof(x)(y)) != 0.

testsuite/
* gcc.dg/pr35691-1.c: New test-case.
* gcc.dg/pr35691-4.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@241915 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr35691-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr35691-2.c [new file with mode: 0644]