1 /* PR target/84945 */
2 /* { dg-do run } */
3 /* { dg-options "-O2" } */
4 
5 int
main()6 main ()
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