1 /* { dg-do compile } */
2 /* { dg-require-effective-target vect_int } */
3 
4 typedef unsigned int u_int;
foo(u_int * __restrict x,u_int * __restrict y,u_int n)5 void foo (u_int* __restrict x, u_int* __restrict y, u_int n)
6 {
7   u_int i;
8   for (i=1; i<=n; i++, x++, y++)
9     *x += *y;
10 }
11 
12 /* { dg-final { scan-tree-dump "vectorized 1 loops" "vect" } } */
13