Re: [PATCH] MATCH: Fix zero_one_valued_p not to match signed 1 bit integers

[Jeff Law via Gcc-patches]

On 6/9/23 11:27, Andrew Pinski via Gcc-patches wrote:

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.

OK.
Jeff