1  /* { dg-require-effective-target vect_int } */
       2  
       3  #include "tree-vect.h"
       4  int arr[2048];
       5  
       6  __attribute__ ((noinline)) int
       7  foo (int *a, int *b)
       8  {
       9    int i;
      10    int *a1 = a;
      11    int *a0 = a1 - 512;
      12    for (i = 0; i < 500; i++)
      13      {
      14        *b = *a0 + *a1;
      15        b++;
      16        a0--;
      17        a1--;
      18      }
      19    return 0;
      20  }
      21  
      22  int main (void)
      23  {
      24    int *a = &arr[1027];
      25    int *b = &arr[1024];
      26  
      27    int i;
      28    for (i = 0; i < 2048; i++)
      29      arr[i] = i;
      30  
      31    foo (a, b);
      32  
      33    if (arr[1026] != 2053 || arr[1027] != 2054)
      34      abort ();
      35  
      36    return 0;
      37  }
      38