[Bug target/81294] _subborrow_u64 argument order inconsistent with intrinsic reference, icc

["uros at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #3 from uros at gcc dot gnu.org ---
Author: uros
Date: Tue Jul  4 20:46:38 2017
New Revision: 249976

URL: https://gcc.gnu.org/viewcvs?rev=249976&root=gcc&view=rev
Log:
        PR target/81294
        * config/i386/adxintrin.h (_subborrow_u32): Swap _X and _Y
        arguments in the call to __builtin_ia32_sbb_u32.
        (_subborrow_u64): Swap _X and _Y arguments in the call to
        __builtin_ia32_sbb_u64.

testsuite/ChangeLog:

        PR target/81294
        * gcc.target/i386/adx-addcarryx32-2.c (adx_test): Swap
        x and y arguments in the call to _subborrow_u32.
        * gcc.target/i386/adx-addcarryx64-2.c (adx_test): Swap
        x and y arguments in the call to _subborrow_u64.
        * gcc.target/i386/pr81294-1.c: New test.
        * gcc.target/i386/pr81294-2.c: Ditto.


Added:
    trunk/gcc/testsuite/gcc.target/i386/pr81294-1.c
    trunk/gcc/testsuite/gcc.target/i386/pr81294-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/adxintrin.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.target/i386/adx-addcarryx32-2.c
    trunk/gcc/testsuite/gcc.target/i386/adx-addcarryx64-2.c