gcc/testsuite/gcc.dg/vect/vect-alias-check-5.c

   1 /* { dg-do compile } */
   2 /* { dg-require-effective-target vect_int } */
   3
   4 /* Intended to be larger than any VF.  */
   5 #define GAP 128
   6 #define N (GAP * 3)
   7
   8 struct s { int x[N]; };
   9
  10 void
  11 f1 (struct s *a, struct s *b)
  12 {
  13   for (int i = 0; i < GAP * 2; ++i)
  14     a->x[i + GAP] += b->x[i];
  15 }
  16
  17 /* { dg-final { scan-tree-dump-times "consider run-time aliasing" 1 "vect" } } */
  18 /* { dg-final { scan-tree-dump-times "improved number of alias checks from 1 to 0" 1 "vect" { xfail vect_variable_length } } } */
  19 /* { dg-final { scan-tree-dump-times "LOOP VECTORIZED" 1 "vect" } } */