[Bug middle-end/66588] combine should try transforming if_then_else of zero_extends into zero_extend of if_then_else

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

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

--- Comment #8 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:04a9209dc865dafe3c9615f5c868aa3fd89b96cf

commit r14-89-g04a9209dc865dafe3c9615f5c868aa3fd89b96cf
Author: Andrew Pinski <apin...@marvell.com>
Date:   Thu Apr 13 00:40:40 2023 +0000

    i386: Add new pattern for zero-extend cmov

    After a phiopt change, I got a failure of cmov9.c.
    The RTL IR has zero_extend on the outside of
    the if_then_else rather than on the side. Both
    ways are considered canonical as mentioned in
    PR 66588.

    This fixes the failure I got and also adds a testcase
    which fails before even my phiopt patch but will pass
    with this patch.

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

    gcc/ChangeLog:

            * config/i386/i386.md (*movsicc_noc_zext_1): New pattern.

    gcc/testsuite/ChangeLog:

            * gcc.target/i386/cmov10.c: New test.
            * gcc.target/i386/cmov11.c: New test.