[Bug tree-optimization/106243] Failure to optimize (0 - x) & 1 on gimple level (including vector types)

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

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Sam Feifer <sfei...@gcc.gnu.org>:

https://gcc.gnu.org/g:39579ba8de9d91eafcc4943259b154a9e66538f1

commit r13-1962-g39579ba8de9d91eafcc4943259b154a9e66538f1
Author: Sam Feifer <sfei...@redhat.com>
Date:   Wed Aug 3 10:31:03 2022 -0400

    match.pd: Add bitwise and pattern [PR106243]

    This patch adds a new optimization to match.pd. The pattern, -x & 1,
    now gets simplified to x & 1, reducing the number of instructions
    produced.

    This patch also adds tests for the optimization rule.

    Bootstrapped/regtested on x86_64-pc-linux-gnu.

            PR tree-optimization/106243

    gcc/ChangeLog:

            * match.pd (-x & 1): New simplification.

    gcc/testsuite/ChangeLog:

            * gcc.dg/pr106243-1.c: New test.
            * gcc.dg/pr106243.c: New test.