gcc/testsuite/gcc.dg/vect/vect-fmax-3.c

   1 /* { dg-require-effective-target vect_float } */
   2
   3 #include "tree-vect.h"
   4
   5 void __attribute__((noipa))
   6 test (double x0, double x1, double *restrict res, double *restrict ptr, int n)
   7 {
   8   for (int i = 0; i < n; i += 2)
   9     {
  10       x0 = __builtin_fmax (x0, ptr[i + 0]);
  11       x1 = __builtin_fmax (x1, ptr[i + 1]);
  12     }
  13   res[0] = x0;
  14   res[1] = x1;
  15 }
  16
  17 #define N 128
  18 #define HALF (N / 2)
  19
  20 int
  21 main (void)
  22 {
  23   check_vect ();
  24
  25   double res[2], a[N];
  26
  27   for (int i = 0; i < N; i += 2)
  28     {
  29       a[i] = i < HALF ? i : HALF;
  30       a[i + 1] = i / 8;
  31     }
  32
  33   test (-1, -1, res, a, 2);
  34   if (res[0] != 0 || res[1] != 0)
  35     __builtin_abort ();
  36
  37   test (-1, -1, res, a, 6);
  38   if (res[0] != 4 || res[1] != 0)
  39     __builtin_abort ();
  40
  41   test (-1, -1, res, a, 8);
  42   if (res[0] != 6 || res[1] != 0)
  43     __builtin_abort ();
  44
  45   test (-1, -1, res, a, 10);
  46   if (res[0] != 8 || res[1] != 1)
  47     __builtin_abort ();
  48
  49   test (-1, -1, res, a, HALF - 2);
  50   if (res[0] != HALF - 4 || res[1] != HALF / 8 - 1)
  51     __builtin_abort ();
  52
  53   test (-1, -1, res, a, HALF);
  54   if (res[0] != HALF - 2 || res[1] != HALF / 8 - 1)
  55     __builtin_abort ();
  56
  57   test (-1, -1, res, a, HALF + 2);
  58   if (res[0] != HALF || res[1] != HALF / 8)
  59     __builtin_abort ();
  60
  61   test (-1, -1, res, a, HALF + 8);
  62   if (res[0] != HALF || res[1] != HALF / 8)
  63     __builtin_abort ();
  64
  65   test (-1, -1, res, a, HALF + 10);
  66   if (res[0] != HALF || res[1] != HALF / 8 + 1)
  67     __builtin_abort ();
  68
  69   test (-1, -1, res, a, N);
  70   if (res[0] != HALF || res[1] != N / 8 - 1)
  71     __builtin_abort ();
  72
  73   test (HALF + 1, -1, res, a, N);
  74   if (res[0] != HALF + 1 || res[1] != N / 8 - 1)
  75     __builtin_abort ();
  76
  77   test (HALF + 1, N, res, a, N);
  78   if (res[0] != HALF + 1 || res[1] != N)
  79     __builtin_abort ();
  80
  81   return 0;
  82 }
  83
  84 /* { dg-final { scan-tree-dump "Detected reduction" "vect" } } */
  85 /* { dg-final { scan-tree-dump "LOOP VECTORIZED" "vect" { target vect_max_reduc } } } */