Somebody within IBM pointed out to me that the documentation for the x86 __builtin_ia32_padd256b and __builtin_ia32_pavgb256 were missing a space between the type and the __builtin name. I committed this patch as obvious to the trunk, and will update gcc 4.7 shortly.
2013-01-11 Michael Meissner <meiss...@linux.vnet.ibm.com> * doc/extend.texi (X86 Built-in Functions): Add whitespace in __builtin_ia32_paddb256 and __builtin_ia32_pavgb256 documentation. Index: gcc/doc/extend.texi =================================================================== --- gcc/doc/extend.texi (revision 195108) +++ gcc/doc/extend.texi (working copy) @@ -10434,7 +10434,7 @@ v16hi builtin_ia32_packssdw256 (v8si,v8s v32qi __builtin_ia32_packsswb256 (v16hi,v16hi) v16hi __builtin_ia32_packusdw256 (v8si,v8si) v32qi __builtin_ia32_packuswb256 (v16hi,v16hi) -v32qi__builtin_ia32_paddb256 (v32qi,v32qi) +v32qi __builtin_ia32_paddb256 (v32qi,v32qi) v16hi __builtin_ia32_paddw256 (v16hi,v16hi) v8si __builtin_ia32_paddd256 (v8si,v8si) v4di __builtin_ia32_paddq256 (v4di,v4di) @@ -10445,7 +10445,7 @@ v16hi __builtin_ia32_paddusw256 (v16hi,v v4di __builtin_ia32_palignr256 (v4di,v4di,int) v4di __builtin_ia32_andsi256 (v4di,v4di) v4di __builtin_ia32_andnotsi256 (v4di,v4di) -v32qi__builtin_ia32_pavgb256 (v32qi,v32qi) +v32qi __builtin_ia32_pavgb256 (v32qi,v32qi) v16hi __builtin_ia32_pavgw256 (v16hi,v16hi) v32qi __builtin_ia32_pblendvb256 (v32qi,v32qi,v32qi) v16hi __builtin_ia32_pblendw256 (v16hi,v16hi,int) -- Michael Meissner, IBM 5 Technology Place Drive, M/S 2757, Westford, MA 01886-3141, USA meiss...@linux.vnet.ibm.com fax +1 (978) 399-6899