gcc/testsuite/gcc.dg/vect/vect-alias-check-1.c

   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" } } */