https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83604
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I actually see a different ICE on sse-13.c without any command line options, reduced into: typedef short V __attribute__((__vector_size__(64))); __attribute__((target ("avx512vbmi2"))) V foo (V x, V y, V z) { return __builtin_ia32_vpshrdv_v32hi (x, y, z); } This ICEs because __builtin_ia32_vpshrd_v32hi builtin (correctly) only requires AVX512VBMI2, not BW, but the actual instruction incorrectly requires also AVX512BW.