gcc/testsuite/gcc.dg/vect/bb-slp-pr78205.c

   1 /* { dg-do compile } */
   2 /* { dg-require-effective-target vect_double } */
   3 /* { dg-additional-options "-fdump-tree-optimized" } */
   4
   5 double x[2], a[4], b[4], c[5];
   6
   7 void foo ()
   8 {
   9   a[0] = c[0];
  10   a[1] = c[1];
  11   a[2] = c[0];
  12   a[3] = c[1];
  13   b[0] = c[2];
  14   b[1] = c[3];
  15   b[2] = c[2];
  16   b[3] = c[3];
  17   x[0] = c[4];
  18   x[1] = c[4];
  19 }
  20
  21 /* We may not vectorize the store to x[] as it accesses c out-of bounds
  22    but we do want to vectorize the other two store groups.  But we may
  23    end up using scalar loads to vectorize the last group.  */
  24
  25 /* { dg-final { scan-tree-dump-times "optimized: basic block" 3 "slp2" } } */
  26 /* { dg-final { scan-tree-dump-times "BB vectorization with gaps at the end of a load is not supported" 1 "slp2" } } */
  27 /* { dg-final { scan-tree-dump-times " = c\\\[4\\\];" 1 "optimized" } } */