gcc/testsuite/gcc.dg/vect/pr65947-5.c

   1 /* { dg-require-effective-target vect_condition } */
   2
   3 #include "tree-vect.h"
   4
   5 extern void abort (void) __attribute__ ((noreturn));
   6
   7 #if VECTOR_BITS > 256
   8 #define N (VECTOR_BITS / 8)
   9 #else
  10 #define N 32
  11 #endif
  12
  13 /* Condition reduction where loop size is not known at compile time.  Will fail
  14    to vectorize.  Version inlined into main loop will vectorize.  */
  15
  16 unsigned char
  17 condition_reduction (unsigned char *a, unsigned char min_v, int count)
  18 {
  19   unsigned char last = 65;
  20
  21   for (int i = 0; i < count; i++)
  22     if (a[i] < min_v)
  23       last = a[i];
  24
  25   return last;
  26 }
  27
  28 int
  29 main (void)
  30 {
  31   unsigned char a[N] = {
  32   11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
  33   1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
  34   21, 22, 23, 24, 25, 26, 27, 28, 29, 30,
  35   31, 32
  36   };
  37   for (int i = 32; i < N; ++i)
  38     {
  39       a[i] = 70 + (i & 3);
  40       asm volatile ("" ::: "memory");
  41     }
  42
  43   check_vect ();
  44
  45   unsigned char ret = condition_reduction (a, 16, N);
  46
  47   if (ret != 10)
  48     abort ();
  49
  50   return 0;
  51 }
  52
  53 /* { dg-final { scan-tree-dump-times "LOOP VECTORIZED" 1 "vect" { target { ! vect_fold_extract_last } } } } */
  54 /* { dg-final { scan-tree-dump-times "LOOP VECTORIZED" 2 "vect" { target vect_fold_extract_last } } } */
  55 /* { dg-final { scan-tree-dump "loop size is greater than data size" "vect" { xfail vect_fold_extract_last } } } */
  56 /* { dg-final { scan-tree-dump-times "optimizing condition reduction with FOLD_EXTRACT_LAST" 4 "vect" { target vect_fold_extract_last } } } */
  57 /* { dg-final { scan-tree-dump-not "condition expression based on integer induction." "vect" } } */