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