/* { dg-do run } */ | |
#include "cpuid.h" | |
int | |
main () | |
{ | |
__builtin_cpu_init (); | |
if (__builtin_cpu_supports ("avx2")) | |
{ | |
unsigned int eax, ebx, ecx, edx; | |
if (!__get_cpuid_count (7, 0, &eax, &ebx, &ecx, &edx)) | |
__builtin_abort (); | |
if (!(ebx & bit_AVX2)) | |
__builtin_abort (); | |
} | |
return 0; | |
} |