summaryrefslogtreecommitdiff
path: root/test/yosr2.cloog
blob: e9dea4a2bf2599684a067e78206fdff4048f92c0 (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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
# language: C
c

# parameter n
1 3
#  n  1
1  1 -2
0

4 # Number of statements

1
# S2 {k, l | 1<=k<=n; 1<=l<=k-1}
4 5
#  k  l  n  1
1  1  0  0 -1
1 -1  0  1  0
1  0  1  0 -1
1  1 -1  0 -1
0  0  0

1
# S3 {k | 1<=k<=n}
2 4
#  k  n  1
1  1  0 -1
1 -1  1  0
0  0  0

1
# S5 {k, i, m | 1<=k<=n; k+1<=i<=n 1<=m<=k-1}
6 6
#  k  i  m  n  1
1  1  0  0  0 -1
1 -1  0  0  1  0
1 -1  1  0  0 -1
1  0 -1  0  1  0
1  0  0  1  0 -1
1  1  0 -1  0 -1
0  0  0

1
# S4 {k, i | 1<=k<=n; k+1<=i<=n}
4 5
#  k  i  n  1
1  1  0  0 -1
1 -1  0  1  0
1 -1  1  0 -1
1  0 -1  1  0
0  0  0
0


4 # Scattering functions
1 6
# c1  k  l  n  1
0  1 -1  0  0  0

1 5
# c1  k  n  1
0  1  0  0  0

1 7
# c1  k  i  m  n  1
0  1 -1  0  0  0  0

1 6
# c1  k  i  n  1
0  1  0 -1  0  0
1
proc