1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_int } */
       3  
       4  void foo (int *a, int len)
       5  {
       6    unsigned short i;
       7  
       8    for (i = 1; i < (len - 1); i++)
       9      a[i] = a[i+1];
      10  }
      11  
      12  /* { dg-final { scan-tree-dump "vectorized 1 loops" "vect" } } */