https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88696
--- Comment #1 from Lauri Kasanen <cand at gmx dot com> --- Actually, seems this is only a documentation bug. vec_mul for the int vectors is not listed on any of the "PowerPC AltiVec/VSX Built-in Functions" pages, even though it works. It emulates the multiplication on older ppc and on power8 correctly emits vmuluwm, since r224494.