[Bug middle-end/112600] Failed to optimize saturating addition using __builtin_add_overflow

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

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

--- Comment #15 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Uros Bizjak <u...@gcc.gnu.org>:

https://gcc.gnu.org/g:05b95238be648c9cf8af2516930af6a7b637a2b8

commit r15-1183-g05b95238be648c9cf8af2516930af6a7b637a2b8
Author: Uros Bizjak <ubiz...@gmail.com>
Date:   Tue Jun 11 16:00:31 2024 +0200

    i386: Use CMOV in .SAT_{ADD|SUB} expansion for TARGET_CMOV [PR112600]

    For TARGET_CMOV targets emit insn sequence involving conditonal move.

    .SAT_ADD:

            addl    %esi, %edi
            movl    $-1, %eax
            cmovnc  %edi, %eax
            ret

    .SAT_SUB:

            subl    %esi, %edi
            movl    $0, %eax
            cmovnc  %edi, %eax
            ret

            PR target/112600

    gcc/ChangeLog:

            * config/i386/i386.md (usadd<mode>3): Emit insn sequence
            involving conditional move for TARGET_CMOVE targets.
            (ussub<mode>3): Ditto.

    gcc/testsuite/ChangeLog:

            * gcc.target/i386/pr112600-a.c: Also scan for cmov.
            * gcc.target/i386/pr112600-b.c: Ditto.