[Bug tree-optimization/111957] `a ? abs(a) : 0` is not simplified to just abs(a)

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

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

--- Comment #5 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:662655e22dddf5392d9aa67fce45beee980e5454

commit r14-4955-g662655e22dddf5392d9aa67fce45beee980e5454
Author: Andrew Pinski <pins...@gmail.com>
Date:   Tue Oct 24 23:13:18 2023 +0000

    match: Simplify `a != C1 ? abs(a) : C2` when C2 == abs(C1) [PR111957]

    This adds a match pattern for `a != C1 ? abs(a) : C2` which gets simplified
    to `abs(a)`. if C1 was originally *_MIN then change it over to use absu
instead
    of abs.

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

            PR tree-optimization/111957

    gcc/ChangeLog:

            * match.pd (`a != C1 ? abs(a) : C2`): New pattern.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/phi-opt-40.c: New test.