gcc/testsuite/gcc.dg/vect/vect-cond-arith-1.c

   1 /* { dg-additional-options "-fdump-tree-optimized -fno-trapping-math -ffinite-math-only" } */
   2
   3 #include "tree-vect.h"
   4
   5 #define N (VECTOR_BITS * 11 / 64 + 3)
   6
   7 #define add(A, B) ((A) + (B))
   8 #define sub(A, B) ((A) - (B))
   9 #define mul(A, B) ((A) * (B))
  10 #define div(A, B) ((A) / (B))
  11
  12 #define DEF(OP)                                                 \
  13   void __attribute__ ((noipa))                                  \
  14   f_##OP (double *restrict a, double *restrict b, double x)     \
  15   {                                                             \
  16     for (int i = 0; i < N; ++i)                                 \
  17       {                                                         \
  18         double truev = OP (b[i], x);                            \
  19         a[i] = b[i] < 100 ? truev : b[i];                       \
  20       }                                                         \
  21   }
  22
  23 #define TEST(OP)                                        \
  24   {                                                     \
  25     f_##OP (a, b, 10);                                  \
  26     for (int i = 0; i < N; ++i)                         \
  27       {                                                 \
  28         int bval = (i % 17) * 10;                       \
  29         int truev = OP (bval, 10);                      \
  30         if (a[i] != (bval < 100 ? truev : bval))        \
  31         __builtin_abort ();                             \
  32         asm volatile ("" ::: "memory");                 \
  33       }                                                 \
  34   }
  35
  36 #define FOR_EACH_OP(T)                          \
  37   T (add)                                       \
  38   T (sub)                                       \
  39   T (mul)                                       \
  40   T (div)                                       \
  41   T (__builtin_fmax)                            \
  42   T (__builtin_fmin)
  43
  44 FOR_EACH_OP (DEF)
  45
  46 int
  47 main (void)
  48 {
  49   double a[N], b[N];
  50   for (int i = 0; i < N; ++i)
  51     {
  52       b[i] = (i % 17) * 10;
  53       asm volatile ("" ::: "memory");
  54     }
  55   FOR_EACH_OP (TEST)
  56   return 0;
  57 }
  58
  59 /* { dg-final { scan-tree-dump { = \.COND_ADD} "optimized" { target vect_double_cond_arith } } } */
  60 /* { dg-final { scan-tree-dump { = \.COND_SUB} "optimized" { target vect_double_cond_arith } } } */
  61 /* { dg-final { scan-tree-dump { = \.COND_MUL} "optimized" { target vect_double_cond_arith } } } */
  62 /* { dg-final { scan-tree-dump { = \.COND_RDIV} "optimized" { target vect_double_cond_arith } } } */
  63 /* { dg-final { scan-tree-dump { = \.COND_MAX} "optimized" { target vect_double_cond_arith } } } */
  64 /* { dg-final { scan-tree-dump { = \.COND_MIN} "optimized" { target vect_double_cond_arith } } } */