1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx -ftree-vectorize -fdump-tree-vect-details" } */
       3  
       4  void test1(short * __restrict__ x, short * __restrict__ y, short * __restrict__ z)
       5  {
       6      int i;
       7      for (i=127; i>=0; i--) {
       8  	x[i] = y[127-i] + z[127-i];
       9      }
      10  }
      11  
      12  /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */