https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87517
--- Comment #5 from hjl at gcc dot gnu.org <hjl at gcc dot gnu.org> --- Author: hjl Date: Fri Oct 12 12:38:28 2018 New Revision: 265091 URL: https://gcc.gnu.org/viewcvs?rev=265091&root=gcc&view=rev Log: i386: Correct _mm512_mask3_fmaddsub_round_pd Define _mm512_mask3_fmaddsub_round_pd with __builtin_ia32_vfmaddsubpd512_mask, instead of __builtin_ia32_vfmaddpd512_mask. Backport from mainline PR target/87517 * config/i386/avx512fintrin.h (_mm512_mask_fmaddsub_round_pd): Defined with __builtin_ia32_vfmaddsubpd512_mask. Modified: branches/gcc-6-branch/gcc/ChangeLog branches/gcc-6-branch/gcc/config/i386/avx512fintrin.h