https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88696
--- Comment #2 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- Yes, we need a big clean-up on the documentation here. Presently working on a better documentation vehicle for vector built-ins. Once that's done, we'll have the GCC manual point to that instead.