[Bug tree-optimization/103221] evrp removes |SIGN but does not propagate the ssa name

[cvs-commit at gcc dot gnu.org]

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

--- Comment #17 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Andrew Pinski <pinskia@gcc.gnu.org>:

https://gcc.gnu.org/g:ef63be5d8ae087f2805dd28d2bae9ac3eb5bd02c

commit r17-1267-gef63be5d8ae087f2805dd28d2bae9ac3eb5bd02c
Author: Andrew Pinski <andrew.pinski@oss.qualcomm.com>
Date:   Tue Jun 2 13:21:11 2026 -0700

    passes: Move early pass_sccopy right after evrp [PR103221]

    EVRP changes some statements into copies but then does
    not do copy prop during its handling. This causes in some
    cases where phiopt could have optimized the phi not to be
    done. So we should move the copy prop pass (sccopy) right
    after evrp instead of after phiopt.

    Notes on the testsuite changes:
    dse-points-to.c needs to disable sccopy1 for the same
    reason why it disables all other copyprop passes.
    pr45397.c had an xfail for specifically PR 103221.
    pr81981.c is about a missing warning, in this case moving
    sccopy swaps around which uses is first in the list.

    Bootstrapped and tested on x86_64-linux-gnu.

            PR tree-optimization/103221
    gcc/ChangeLog:

            * passes.def (early_optimizations): Move sccopy
            to after evrp.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/dse-points-to.c: Disable sccopy1.
            * gcc.dg/tree-ssa/pr45397.c: Remove the xfail.
            * gcc.dg/ubsan/pr81981.c: Swap around which one is xfailed.

    Signed-off-by: Andrew Pinski <andrew.pinski@oss.qualcomm.com>