[Bug middle-end/110986] [14 Regression] aarch64 has support for conditional not (and vectorized conditional not ) after r14-3110-g7fb65f10285

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

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

--- Comment #24 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:bcc5054b36626459ddb04c779f0b201fba6001d1

commit r14-4831-gbcc5054b36626459ddb04c779f0b201fba6001d1
Author: Andrew Pinski <pins...@gmail.com>
Date:   Wed Oct 18 16:39:12 2023 -0700

    aarch64: Emit csinv again for `a ? ~b : b` [PR110986]

    After r14-3110-g7fb65f10285, the canonical form for
    `a ? ~b : b` changed to be `-(a) ^ b` that means
    for aarch64 we need to add a few new insn patterns
    to be able to catch this and change it to be
    what is the canonical form for the aarch64 backend.
    A secondary pattern was needed to support a zero_extended
    form too; this adds a testcase for all 3 cases.

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

            PR target/110986

    gcc/ChangeLog:

            * config/aarch64/aarch64.md (*cmov<mode>_insn_insv): New pattern.
            (*cmov_uxtw_insn_insv): Likewise.

    gcc/testsuite/ChangeLog:

            * gcc.target/aarch64/cond_op-1.c: New test.