https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112643
--- Comment #20 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The use of __builtin_ia32_2intersectd128 in avx512vp2intersectvlintrin.h has: #pragma GCC target("avx512vp2intersect,avx512vl,no-evex512") While i386-builtin.def does: BDESC (0, OPTION_MASK_ISA2_AVX512VP2INTERSECT, CODE_FOR_nothing, "__builtin_ia32_2intersectd128", IX86_BUILTIN_2INTERSECTD128, UNKNOWN, (int) VOID_FTYPE_PUQI_PUQI_V4SI_V4SI)