1 #include <stdlib.h> 2 #include "cpuid.h" 3 4 static void adx_test (void); 5 do_test(void)6static void __attribute__ ((noinline)) do_test (void) 7 { 8 adx_test (); 9 } 10 11 int main()12main () 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 35