[PATCH] PR 61249: fix documentation of __builtin_ia32_{vfrczss,vfrczsd,mpsadbw256}

[Uros Bizjak]

Hello!

> 2014-05-26  Michael Tautschnig  <mt@debian.org>
>
> PR target/61249
> * doc/extend.texi: Fix parameter lists of __builtin_ia32_vfrczs[sd],
> __builtin_ia32_mpsadbw256.

Thanks, I have committed the patch with slightly changed ChangeLog to
all branches.

Uros.