[Bug tree-optimization/111972] [14 regression] missed vectorzation for bool a = j != 1; j = (long int)a;

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

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

--- Comment #16 from GCC 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:886f256ce3be4aa85f30af88558f0dfcb8003300

commit r14-6126-g886f256ce3be4aa85f30af88558f0dfcb8003300
Author: Andrew Pinski <quic_apin...@quicinc.com>
Date:   Sat Nov 11 20:33:28 2023 -0800

    MATCH: Fix zero_one_valued_p's convert pattern

    While working on PR 111972, I was getting a regression
    due to zero_one_valued_p matching a signed 1 bit integer
    when it came to convert. This patch fixes that by checking
    the outer type too.

    Bootstrapped and tested on x86_64-linux-gnu with no regressions.

    gcc/ChangeLog:

            * match.pd (zero_one_valued_p): For convert
            make sure type is not a signed 1-bit integer.

    Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>