https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87517
--- Comment #1 from hjl at gcc dot gnu.org <hjl at gcc dot gnu.org> --- Author: hjl Date: Mon Oct 8 14:54:53 2018 New Revision: 264935 URL: https://gcc.gnu.org/viewcvs?rev=264935&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. PR target/87517 * config/i386/avx512fintrin.h (_mm512_mask_fmaddsub_round_pd): Defined with __builtin_ia32_vfmaddsubpd512_mask. Modified: trunk/gcc/ChangeLog trunk/gcc/config/i386/avx512fintrin.h