gcc/testsuite/gcc.dg/graphite/pr35356-1.c

   1 /* { dg-options "-O2 -fgraphite-identity -fdump-tree-graphite-all" } */
   2
   3 int a[100];
   4
   5 int
   6 foo (int bar, int n, int k)
   7 {
   8   int i;
   9
  10   for (i = 0; i < n; i++)
  11     if (i == k)
  12       a[i] = bar;
  13
  14   for (i = 0; i < n; i++)
  15     if (i == k)
  16       a[i] = bar;
  17
  18   return a[bar];
  19 }
  20
  21 /* There should be no loops generated for this testcase, instead we
  22    should generate the following:
  23
  24    | if (k >= 0 && k < n)
  25    |   a[k] = bar;
  26
  27    Check that this text is produced:
  28
  29 AST generated by isl:
  30 if (n >= k + 1 && k >= 0) {
  31   S_6(k);
  32   S_11(k);
  33 }
  34
  35 */
  36
  37 /* { dg-final { scan-tree-dump "if \\\(P_8 >= P_11 \\\+ 1 && P_11 >= 0\\\) \\\{" "graphite" } } */