[Bug target/111949] combine split points are not so good with targets that have (and (not x) y)

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

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

--- Comment #5 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:0939abea33ce9d9eb9328f80aace8109c096760c

commit r16-37-g0939abea33ce9d9eb9328f80aace8109c096760c
Author: Andrew Pinski <quic_apin...@quicinc.com>
Date:   Mon Jan 20 15:24:39 2025 -0800

    combine: Better split point for `(and (not X))` [PR111949]

    In a similar way find_split_point handles `a+b*C`, this adds
    the split point for `~a & b`.  This allows for better instruction
    selection when the target has this instruction (aarch64, arm and x86_64
    are examples which have this).

    Built and tested for aarch64-linux-gnu.

            PR rtl-optimization/111949

    gcc/ChangeLog:

            * combine.cc (find_split_point): Add a split point
            for `(and (not X) Y)` if not in the outer set already.

    gcc/testsuite/ChangeLog:

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

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