gcc/testsuite/gcc.target/i386/pr84945.c

   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 }