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

   1 /* { dg-require-effective-target vect_condition } */
   2
   3 #include "tree-vect.h"
   4
   5 extern void abort (void) __attribute__ ((noreturn));
   6
   7 #define N 255
   8
   9 /* Condition reduction with maximum possible loop size.  Will fail to
  10    vectorize because the vectorisation requires a slot for default values.  */
  11
  12 signed char __attribute__((noinline,noclone))
  13 condition_reduction (signed char *a, signed char min_v)
  14 {
  15   signed char last = -72;
  16
  17   for (int i = 0; i < N; i++)
  18     if (a[i] < min_v)
  19       last = a[i];
  20
  21   return last;
  22 }
  23
  24 int
  25 main ()
  26 {
  27   signed char a[N] = {
  28   11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
  29   1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
  30   21, 22, 23, 24, 25, 26, 27, 28, 29, 30,
  31   31, 32
  32   };
  33   __builtin_memset (a+32, 43, N-32);
  34
  35   check_vect ();
  36
  37   signed char ret = condition_reduction (a, 16);
  38   if (ret != 10)
  39     abort ();
  40
  41   ret = condition_reduction (a, 1);
  42   if (ret != -72)
  43     abort ();
  44
  45   return 0;
  46 }
  47
  48 /* { dg-final { scan-tree-dump-not "LOOP VECTORIZED" "vect" { target { ! vect_fold_extract_last } } } } */
  49 /* { dg-final { scan-tree-dump-times "LOOP VECTORIZED" 1 "vect" { target vect_fold_extract_last } } } */
  50 /* { dg-final { scan-tree-dump "loop size is greater than data size" "vect" { target { ! vect_fold_extract_last } } } } */
  51 /* { dg-final { scan-tree-dump-times "optimizing condition reduction with FOLD_EXTRACT_LAST" 1 "vect" { target vect_fold_extract_last } } } */
  52 /* { dg-final { scan-tree-dump-not "condition expression based on integer induction." "vect" } } */