[Bug target/124663] [14/15/16/17 Regression] FAIL: gcc.dg/tree-ssa/andnot-2.c scan-tree-dump-not forwprop3 "_expr"

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-15 branch has been updated by Torbjorn Svensson
<azoff@gcc.gnu.org>:

https://gcc.gnu.org/g:920c3de1f84a6d7ac6ea689e742da84446c0ac50

commit r15-11415-g920c3de1f84a6d7ac6ea689e742da84446c0ac50
Author: Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
Date:   Sat Jul 18 11:00:32 2026 +0200

    tree-optimization: Fold constant conditional selects [PR124663]

    Fold `(x == CST) ? x : CST` and `(x != CST) ? CST : x` to `CST` for
    integral scalar and vector types. This catches cases where earlier
    folding has converted bitwise mask expressions into conditional selects,
    including ARM MVE predicate-to-vector mask forms.

            PR tree-optimization/124663

    gcc/ChangeLog:

            * match.pd: Fold constant conditional selects.

    gcc/testsuite/ChangeLog:

            * g++.dg/tree-ssa/pr124663.C: New test.

    Signed-off-by: Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
    (cherry picked from commit 3e2b0fcab75527bae01a0e22fe993addcf8475d9)