[Bug middle-end/35691] Missed (a == 0) && (b == 0) into (a|(typeof(a)(b)) == 0 when the types don't match

[prathamesh3492 at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35691

--- Comment #1 from prathamesh3492 at gcc dot gnu.org ---
Author: prathamesh3492
Date: Mon Nov  7 17:32:17 2016
New Revision: 241915

URL: https://gcc.gnu.org/viewcvs?rev=241915&root=gcc&view=rev
Log:
2016-11-07  Prathamesh Kulkarni  <prathamesh.kulka...@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.

Added:
    trunk/gcc/testsuite/gcc.dg/pr35691-1.c
    trunk/gcc/testsuite/gcc.dg/pr35691-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog