gcc/testsuite/gcc.dg/loop-versioning-2.c

   1 /* { dg-options "-O3 -fdump-tree-lversion-details" } */
   2 /* { dg-require-effective-target size20plus } */
   3
   4 /* Versioning for step == 1 in these loops would allow loop interchange,
   5    but otherwise isn't worthwhile.  At the moment we decide not to version.  */
   6
   7 void
   8 f1 (double x[][100], int step, int n)
   9 {
  10   for (int i = 0; i < n; ++i)
  11     for (int j = 0; j < n; ++j)
  12       x[j * step][i] = 100;
  13 }
  14
  15 void
  16 f2 (double x[][100], int step, int n)
  17 {
  18   for (int i = 0; i < n; ++i)
  19     for (int j = 0; j < n; ++j)
  20       x[j][i * step] = 100;
  21 }
  22
  23 void
  24 f3 (double x[][100], int step, int limit)
  25 {
  26   for (int i = 0; i < 100; ++i)
  27     for (int j = 0; j < limit; j += step)
  28       x[j][i] = 100;
  29 }
  30
  31 void
  32 f4 (double x[][100], int step, int limit)
  33 {
  34   for (int i = 0; i < limit; i += step)
  35     for (int j = 0; j < 100; ++j)
  36       x[j][i] = 100;
  37 }
  38
  39 double x[100][100];
  40
  41 void
  42 g1 (int step, int n)
  43 {
  44   for (int i = 0; i < n; ++i)
  45     for (int j = 0; j < n; ++j)
  46       x[j * step][i] = 100;
  47 }
  48
  49 void
  50 g2 (int step, int n)
  51 {
  52   for (int i = 0; i < n; ++i)
  53     for (int j = 0; j < n; ++j)
  54       x[j][i * step] = 100;
  55 }
  56
  57 void
  58 g3 (int step, int limit)
  59 {
  60   for (int i = 0; i < 100; ++i)
  61     for (int j = 0; j < limit; j += step)
  62       x[j][i] = 100;
  63 }
  64
  65 void
  66 g4 (int step, int limit)
  67 {
  68   for (int i = 0; i < limit; i += step)
  69     for (int j = 0; j < 100; ++j)
  70       x[j][i] = 100;
  71 }
  72
  73 /* { dg-final { scan-tree-dump-not {want to version} "lversion" } } */
  74 /* { dg-final { scan-tree-dump-not {versioned} "lversion" } } */