gcc/testsuite/gcc.target/powerpc/vec-cmpne-long.c

   1 /* { dg-do run { target { powerpc64*-*-* && { p8vector_hw } } } } */
   2 /* { dg-require-effective-target powerpc_p8vector_ok } */
   3 /* { dg-skip-if "do not override -mcpu" { powerpc*-*-* } { "-mcpu=*" } { "-mcpu=power8" } } */
   4 /* { dg-options "-mcpu=power8 -mpower8-vector -O3" } */
   5
   6 /* Test that the vec_cmpne builtin works as expected for long long
   7    and double vectors.  */
   8
   9 #include "altivec.h"
  10
  11 #define N 4096
  12
  13 void abort ();
  14
  15 #define define_test_functions(VBTYPE, RTYPE, STYPE, NAME) \
  16 \
  17 RTYPE result_ne_##NAME[N] __attribute__((aligned(16))); \
  18 RTYPE result_eq_##NAME[N] __attribute__((aligned(16))); \
  19 STYPE operand1_##NAME[N] __attribute__((aligned(16))); \
  20 STYPE operand2_##NAME[N] __attribute__((aligned(16))); \
  21 RTYPE expected_##NAME[N] __attribute__((aligned(16))); \
  22 \
  23 __attribute__((noinline)) void vector_tests_##NAME () \
  24 { \
  25   vector STYPE v1_##NAME, v2_##NAME; \
  26   vector bool VBTYPE tmp_##NAME; \
  27   int i; \
  28   for (i = 0; i < N; i+=16/sizeof (STYPE)) \
  29     { \
  30       /* result_ne = operand1!=operand2.  */ \
  31       v1_##NAME = (vector STYPE) { operand1_##NAME[i], \
  32                                          operand1_##NAME[i+1] }; \
  33       v2_##NAME = (vector STYPE) { operand2_##NAME[i], \
  34                                          operand2_##NAME[i+1] }; \
  35 \
  36       tmp_##NAME = vec_cmpeq (v1_##NAME, v2_##NAME); \
  37       result_eq_##NAME[i] = tmp_##NAME[0]; \
  38       result_eq_##NAME[i+1] = tmp_##NAME[1]; \
  39 \
  40       tmp_##NAME = vec_cmpne (v1_##NAME, v2_##NAME); \
  41       result_ne_##NAME[i] = tmp_##NAME[0]; \
  42       result_ne_##NAME[i+1] = tmp_##NAME[1]; \
  43     } \
  44 } \
  45 \
  46 __attribute__((noinline)) void init_##NAME () \
  47 { \
  48   int i; \
  49   for (i = 0; i < N; ++i) \
  50     { \
  51       result_ne_##NAME[i] = 7; \
  52       result_eq_##NAME[i] = 15; \
  53       if (i%3 == 0) \
  54         { \
  55           /* op1 < op2.  */ \
  56           operand1_##NAME[i] = 1; \
  57           operand2_##NAME[i] = 2; \
  58         } \
  59       else if (i%3 == 1) \
  60         { \
  61           /* op1 > op2.  */ \
  62           operand1_##NAME[i] = 2; \
  63           operand2_##NAME[i] = 1; \
  64         } \
  65       else if (i%3 == 2) \
  66         { \
  67           /* op1 == op2.  */ \
  68           operand1_##NAME[i] = 3; \
  69           operand2_##NAME[i] = 3; \
  70         } \
  71       /* For vector comparisons: "For each element of the result_ne, the \
  72           value of each bit is 1 if the corresponding elements of ARG1 and \
  73           ARG2 are equal." {or whatever the comparison is} "Otherwise, the \
  74           value of each bit is 0."  */ \
  75     expected_##NAME[i] = -1 * (RTYPE)(operand1_##NAME[i] != operand2_##NAME[i]); \
  76   } \
  77 } \
  78 \
  79 __attribute__((noinline)) void verify_results_##NAME () \
  80 { \
  81   int i; \
  82   for (i = 0; i < N; ++i) \
  83     { \
  84       if ( ((result_ne_##NAME[i] != expected_##NAME[i]) || \
  85             (result_ne_##NAME[i] == result_eq_##NAME[i]))) \
  86         abort (); \
  87     } \
  88 }
  89
  90
  91 #define execute_test_functions(VBTYPE, RTYPE, STYPE, NAME) \
  92 { \
  93   init_##NAME (); \
  94   vector_tests_##NAME (); \
  95   verify_results_##NAME (); \
  96 }
  97
  98
  99 define_test_functions (long long, signed long long, signed long long, si);
 100 define_test_functions (long long, signed long long, double, dd);
 101
 102 int main ()
 103 {
 104   execute_test_functions (long long, signed long long, signed long long, si);
 105   execute_test_functions (long long, signed long long, double, dd);
 106
 107   return 0;
 108 }
 109
 110