1 /* PR target/84945 */ 2 /* { dg-do run } */ 3 /* { dg-options "-O2" } */ 4 5 int main()6main () 7 { 8 /* AVX512_VNNI instructions are all EVEX encoded, so if 9 __builtin_cpu_supports says avx512vnni is available and avx512f is not, 10 this is a GCC bug. Ditto for AVX512_BITALG */ 11 if (!__builtin_cpu_supports ("avx512f") 12 && (__builtin_cpu_supports ("avx512vnni") 13 || __builtin_cpu_supports ("avx512bitalg"))) 14 __builtin_abort (); 15 return 0; 16 } 17