gcc/testsuite/gcc.target/powerpc/bmi-check.h

   1 #include <stdio.h>
   2 #include <stdlib.h>
   3
   4 static void bmi_test (void);
   5
   6 static void
   7 __attribute__ ((noinline))
   8 do_test (void)
   9 {
  10   bmi_test ();
  11 }
  12
  13 int
  14 main ()
  15 {
  16 #ifdef __BUILTIN_CPU_SUPPORTS__
  17   /* Need 64-bit for 64-bit longs as single instruction.  */
  18   if ( __builtin_cpu_supports ("ppc64") )
  19     {
  20       do_test ();
  21 #ifdef DEBUG
  22       printf ("PASSED\n");
  23 #endif
  24     }
  25 #ifdef DEBUG
  26   else
  27     printf ("SKIPPED\n");
  28 #endif
  29 #endif /* __BUILTIN_CPU_SUPPORTS__ */
  30   return 0;
  31 }