Hi,
After brief discussion it was concluded that PR 61249 really only is an issue of
documentation of the named builtins not matching their definition given in
config/i386/i386.c.
The attached patch updates extend.texi accordingly.
2014-05-26 Michael Tautschnig <m...@debian.org>
PR target/61249
* doc/extend.texi: Fix parameter lists of __builtin_ia32_vfrczs[sd],
__builtin_ia32_mpsadbw256.
Best,
Michael
diff -urN trunk/gcc/doc/extend.texi trunk.mod/gcc/doc/extend.texi
--- trunk/gcc/doc/extend.texi 2014-05-22 14:43:06.000000000 +0100
+++ trunk.mod/gcc/doc/extend.texi 2014-05-26 00:47:59.000000000 +0100
@@ -11889,7 +11889,7 @@
name.
@smallexample
-v32qi __builtin_ia32_mpsadbw256 (v32qi,v32qi,v32qi,int)
+v32qi __builtin_ia32_mpsadbw256 (v32qi,v32qi,int)
v32qi __builtin_ia32_pabsb256 (v32qi)
v16hi __builtin_ia32_pabsw256 (v16hi)
v8si __builtin_ia32_pabsd256 (v8si)
@@ -12124,8 +12124,8 @@
@smallexample
v2df __builtin_ia32_vfrczpd (v2df)
v4sf __builtin_ia32_vfrczps (v4sf)
-v2df __builtin_ia32_vfrczsd (v2df, v2df)
-v4sf __builtin_ia32_vfrczss (v4sf, v4sf)
+v2df __builtin_ia32_vfrczsd (v2df)
+v4sf __builtin_ia32_vfrczss (v4sf)
v4df __builtin_ia32_vfrczpd256 (v4df)
v8sf __builtin_ia32_vfrczps256 (v8sf)
v2di __builtin_ia32_vpcmov (v2di, v2di, v2di)
