#include <stdio.h> #include <stdlib.h> #include "../../gcc.dg/i386-cpuid.h" static void sse2_test (void); int main () { unsigned long cpu_facilities; cpu_facilities = i386_cpuid_edx (); /* Run SSE2 test only if host has SSE2 support. */ if ((cpu_facilities & bit_SSE2)) sse2_test (); exit (0); }