[Bug tree-optimization/110166] [14 Regression] wrong code with signed 1-bit integers sometimes since r14-868-gb06cfb62229f

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Andrew Pinski
<pins...@gcc.gnu.org>:

https://gcc.gnu.org/g:682bbd364708fe371b8f34546d970051cdbbfd4c

commit r13-7434-g682bbd364708fe371b8f34546d970051cdbbfd4c
Author: Andrew Pinski <apin...@marvell.com>
Date:   Thu Jun 8 14:25:51 2023 -0700

    MATCH: Fix zero_one_valued_p not to match signed 1 bit integers

    So for the attached testcase, we assumed that zero_one_valued_p would
    be the value [0,1] but currently zero_one_valued_p matches also
    signed 1 bit integers.
    This changes that not to match that and fixes the 2 new testcases at
    all optimization levels.

    OK for GCC 13? Bootstrapped and tested on x86_64-linux-gnu with no
regressions.

            PR tree-optimization/110165
            PR tree-optimization/110166

    gcc/ChangeLog:

            * match.pd (zero_one_valued_p): Don't accept
            signed 1-bit integers.

    gcc/testsuite/ChangeLog:

            * gcc.c-torture/execute/pr110165-1.c: New test.
            * gcc.c-torture/execute/pr110166-1.c: New test.

    (cherry picked from commit 72e652f3425079259faa4edefe1dc571f72f91e0)