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
f1(struct s * a,struct s * b)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" } } */
20