[Bug target/93141] Missed optimization : Use of adc when checking overflow

[jakub at gcc dot gnu.org]

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

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sun Jan  5 12:52:24 2020
New Revision: 279887

URL: https://gcc.gnu.org/viewcvs?rev=279887&root=gcc&view=rev
Log:
        PR target/93141
        * config/i386/i386.md (SWIDWI): New mode iterator.
        (DWI, dwi): Add TImode variants.
        (addv<mode>4): Use SWIDWI iterator instead of SWI.  Use
        <general_hilo_operand> instead of <general_operand>.  Use
        CONST_SCALAR_INT_P instead of CONST_INT_P.
        (*addv<mode>4_1): Rename to ...
        (addv<mode>4_1): ... this.
        (QWI): New mode attribute.
        (*addv<dwi>4_doubleword, *addv<dwi>4_doubleword_1): New
        define_insn_and_split patterns.
        (*addv<mode>4_overflow_1, *addv<mode>4_overflow_2): New define_insn
        patterns.
        (uaddv<mode>4): Use SWIDWI iterator instead of SWI.  Use
        <general_hilo_operand> instead of <general_operand>.
        (*addcarry<mode>_1): New define_insn.
        (*add<dwi>3_doubleword_cc_overflow_1): New define_insn_and_split.

        * gcc.target/i386/pr93141-1.c: New test.
        * gcc.dg/pr67089-6.c: Expect 16 ADD_OVERFLOW calls even on ia32.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr93141-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.md
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/pr67089-6.c