1  /* { dg-do run } */
       2  /* { dg-options "-O2 -Wall" } */
       3  
       4  #include <cpuid.h>
       5  #include <cpuid.h>
       6  
       7  int
       8  main ()
       9  {
      10    unsigned int eax, ebx, ecx, edx;
      11    int cpuid_info[4];
      12  
      13    if (!__get_cpuid_count (7, 0, &eax, &ebx, &ecx, &edx))
      14      return 0;
      15  
      16    __cpuidex (cpuid_info, 7, 0);
      17  
      18    if (cpuid_info[0] != eax
      19        || cpuid_info[1] != ebx
      20        || cpuid_info[2] != ecx
      21        || cpuid_info[3] != edx)
      22      __builtin_abort ();
      23  
      24    return 0;
      25  }