https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83488
--- Comment #23 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to igor.v.tsimbalist from comment #21) > Maybe I did more than expected :). Actually 512VNNI has VL bit according to > recently published extension. Please see > > https://software.intel.com/sites/default/files/managed/c5/15/architecture- > instruction-set-extensions-programming-reference.pdf Looking at the same paper, AVX512VPOPCNTDQ is also mixed with AVX512VL, though the 128-bit and 256-bit intrinsics and builtins aren't in GCC yet, but for VNNI there already is avx512vnnivlintrin.h and thus __builtin_ia32_vpdpbusd_v8si etc. can use | OPTION_MASK_ISA_AVX512VL after your patch immediately.
