1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_int } */
       3  /* { dg-additional-options "--param=vect-max-version-for-alias-checks=2" } */
       4  
       5  /* A test case showing four potential alias checks between a[i] and b[0], b[1],
       6     b[i+1] and b[i+2].  With alias check merging enabled, those four checks
       7     can be merged into two, and the loop will be vectorized with
       8     vect-max-version-for-alias-checks=2.  */
       9  
      10  void foo (int *a, int *b)
      11  {
      12    int i;
      13    for (i = 0; i < 1000; ++i)
      14      a[i] = b[0] + b[1] + b[i+1] + b[i+2];
      15  }
      16  
      17  /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */