gcc/testsuite/gcc.target/i386/adx-check.h

   1 #include <stdlib.h>
   2 #include "cpuid.h"
   3
   4 static void adx_test (void);
   5
   6 static void __attribute__ ((noinline)) do_test (void)
   7 {
   8   adx_test ();
   9 }
  10
  11 int
  12 main ()
  13 {
  14   unsigned int eax, ebx, ecx, edx;
  15
  16   if (!__get_cpuid_count (7, 0, &eax, &ebx, &ecx, &edx))
  17     return 0;
  18
  19   /* Run ADX test only if host has ADX support.  */
  20   if (ebx & bit_ADX)
  21     {
  22       do_test ();
  23 #ifdef DEBUG
  24       printf ("PASSED\n");
  25 #endif
  26       return 0;
  27     }
  28
  29 #ifdef DEBUG
  30   printf ("SKIPPED\n");
  31 #endif
  32   return 0;
  33 }
  34