1  #include <stdio.h>
       2  #include <stdlib.h>
       3  
       4  /* Define this to enable the combination of VSX vector double and
       5     SSE2 data types.  */
       6  #define __VSX_SSE2__ 1
       7  
       8  #include "m128-check.h"
       9  
      10  //#define DEBUG 1
      11  
      12  #define TEST sse4_1_test
      13  
      14  static void sse4_1_test (void);
      15  
      16  static void
      17  __attribute__ ((noinline))
      18  do_test (void)
      19  {
      20    sse4_1_test ();
      21  }
      22  
      23  int
      24  main ()
      25  {
      26    do_test ();
      27  #ifdef DEBUG
      28    printf ("PASSED\n");
      29  #endif
      30    return 0;
      31  }