1#include <stdio.h>
2#include <stdlib.h>
3
4#include "cpuid.h"
5
6static void pclmul_test (void);
7
8static void
9__attribute__ ((noinline))
10do_test (void)
11{
12  pclmul_test ();
13}
14
15int
16main ()
17{
18  unsigned int eax, ebx, ecx, edx;
19
20  if (!__get_cpuid (1, &eax, &ebx, &ecx, &edx))
21    return 0;
22
23  /* Run PCLMULQDQ test only if host has PCLMULQDQ support.  */
24  if (ecx & bit_PCLMUL)
25    {
26      do_test ();
27#ifdef DEBUG
28      printf ("PASSED\n");
29#endif
30    }
31#ifdef DEBUG
32  else
33    printf ("SKIPPED\n");
34#endif
35
36  return 0;
37}
38