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

   1 /* { dg-do compile } */
   2 /* { dg-require-effective-target vect_int } */
   3
   4 void
   5 f1 (int *x, long step1, int n)
   6 {
   7   for (int i = 0; i < n; ++i)
   8     x[i * step1] += 1;
   9 }
  10
  11 void
  12 f2 (int *x, long step2, int n)
  13 {
  14 #pragma GCC ivdep
  15   for (int i = 0; i < n; ++i)
  16     x[i * step2] += 2;
  17 }
  18
  19 /* { dg-final { scan-tree-dump {need run-time check that [^\n]*step1[^\n]* is nonzero} "vect" } } */
  20 /* { dg-final { scan-tree-dump-not {need run-time check that [^\n]*step2[^\n]* is nonzero} "vect" } } */
  21 /* { dg-final { scan-tree-dump-not "using an address-based" "vect" } } */
  22 /* { dg-final { scan-tree-dump-not "using an index-based" "vect" } } */
  23 /* { dg-final { scan-tree-dump-times {LOOP VECTORIZED} 2 "vect" } } */