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