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