1 #include <stdio.h>
2 #include <stdlib.h>
3 
4 #include "cpuid.h"
5 
6 static void sse4_2_test (void);
7 
8 static void
9 __attribute__ ((noinline))
do_test(void)10 do_test (void)
11 {
12   sse4_2_test ();
13 }
14 
15 int
main()16 main ()
17 {
18   unsigned int eax, ebx, ecx, edx;
19 
20   if (!__get_cpuid (1, &eax, &ebx, &ecx, &edx))
21     return 0;
22 
23   /* Run SSE4.2 test only if host has SSE4.2 support.  */
24   if (ecx & bit_SSE4_2)
25     do_test ();
26 
27   return 0;
28 }
29