https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83488
--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> --- $ grep 'OPTION_MASK_ISA_AVX512VNNI.*|' i386-builtins.def $ grep '|.*OPTION_MASK_ISA_AVX512VNNI' i386-builtins.def So, at least I can't find that.
