1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_int } */
       3  /* { dg-additional-options "-Ofast" } */
       4  
       5  int b, c = 1;
       6  int a[6][5] = { {0, 0, 0, 0, 0}, {0, 0, 0, 0, 0}, {0, 1, 0, 0, 0} };
       7  
       8  void
       9  fn1 ()
      10  {
      11    int d;
      12    for (b = 0; b < 5; b++)
      13      for (d = 4; d; d--)
      14        a[c + 1][b] = a[d + 1][d];
      15  }
      16  
      17  /* { dg-final { scan-tree-dump "improved number of alias checks from \[0-9\]* to 1" "vect" } } */
      18  /* { dg-final { scan-tree-dump "using an address-based overlap test" "vect" { xfail { vect_no_align && { ! vect_hw_misalign } } } } } */
      19  /* { dg-final { scan-tree-dump-not "using an index-based" "vect" } } */