[Bug tree-optimization/110165] [13/14 Regression] wrong code with signed 1 bit integers sometimes since r13-4459-g6508d5e5a1a8

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

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

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

https://gcc.gnu.org/g:72e652f3425079259faa4edefe1dc571f72f91e0

commit r14-1653-g72e652f3425079259faa4edefe1dc571f72f91e0
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? Bootstrapped and tested on x86_64-linux-gnu with no regressions.

    Note the GCC 13 patch will be slightly different due to the changes
    made to zero_one_valued_p.

            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.