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