1#include <stdlib.h>
2#include "cpuid.h"
3#include "m256-check.h"
4#include "avx-os-support.h"
5
6static void avx_test (void);
7
8static void
9__attribute__ ((noinline))
10do_test (void)
11{
12  avx_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 AVX test only if host has AVX support.  */
24  if (((ecx & (bit_AVX | bit_OSXSAVE)) == (bit_AVX | bit_OSXSAVE))
25      && avx_os_support ())
26    {
27      do_test ();
28#ifdef DEBUG
29      printf ("PASSED\n");
30#endif
31    }
32#ifdef DEBUG
33  else
34    printf ("SKIPPED\n");
35#endif
36
37  return 0;
38}
39