1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_int } */
       3  
       4  typedef unsigned int u_int;
       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" } } */