https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80325
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- For all your requests, can you back them up with details on what compiler provides them etc.? We do have in avx512fintrin.h _mm512_undefined_ps (void) _mm512_undefined_pd (void) _mm512_undefined_epi32 (void) _mm_undefined* and _mm256_undefined* are named similarly (except for epi32 vs. si128/si256). The SDM doesn't mention any of these.