[Bug tree-optimization/124560] `min(z - y, x - y)` -> `min(z, x) - y`

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

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Pengxuan Zheng <pzh...@gcc.gnu.org>:

https://gcc.gnu.org/g:5dee3c6521c2787836c3925221d603a20ef0ae2c

commit r17-370-g5dee3c6521c2787836c3925221d603a20ef0ae2c
Author: Pengxuan Zheng <pengxuan.zh...@oss.qualcomm.com>
Date:   Fri Mar 27 09:54:23 2026 -0700

    match: min|max(a+|-c,b+|-c) -> min|max(a,b)+|-c [PR116008,PR124560]

    The patch adds the following simplification patterns.

    min|max (a +|- c, b +|- c) -> min|max (a, b) +|- c

    Bootstrapped and tested on x86_64-linux-gnu and aarch64-linux-gnu.

            PR tree-optimization/116008
            PR tree-optimization/124560

    gcc/ChangeLog:

            * match.pd (min|max(a+|-c,b+|-c)): New patterns.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/pr124560.c: New test.

    Signed-off-by: Pengxuan Zheng <pengxuan.zh...@oss.qualcomm.com>