1 /* { dg-do run } */ 2 3 #include "cpuid.h" 4 5 int main()6main () 7 { 8 __builtin_cpu_init (); 9 10 if (__builtin_cpu_supports ("avx2")) 11 { 12 unsigned int eax, ebx, ecx, edx; 13 14 if (!__get_cpuid_count (7, 0, &eax, &ebx, &ecx, &edx)) 15 __builtin_abort (); 16 17 if (!(ebx & bit_AVX2)) 18 __builtin_abort (); 19 } 20 21 return 0; 22 } 23