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