/* { dg-do run } */ | |
/* { dg-options "-O2 -Wall" } */ | |
#include <cpuid.h> | |
#include <cpuid.h> | |
int | |
main () | |
{ | |
unsigned int eax, ebx, ecx, edx; | |
int cpuid_info[4]; | |
if (!__get_cpuid_count (7, 0, &eax, &ebx, &ecx, &edx)) | |
return 0; | |
__cpuidex (cpuid_info, 7, 0); | |
if (cpuid_info[0] != eax | |
|| cpuid_info[1] != ebx | |
|| cpuid_info[2] != ecx | |
|| cpuid_info[3] != edx) | |
__builtin_abort (); | |
return 0; | |
} |