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