test/lineality-1-2.cloog


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

# language: C
c

# Context
# {M | 2<=M}
2   3
#  M  1
1  1 -2
1  0  1
0

2 # Number of statements

1
# {i,j,M | 1<=i<=M; 1<=j<=M}
5   5
#   i   j   M   1
1   1   0   0  -1
1   0   1   0  -1
1  -1   0   1   0
1   0  -1   1   0
1   0   0   0   1
0   0   0

1
# {i,j,M | i=j; 1<=j<=M}
4   5
#   i   j   M   1
0   1  -1   0   0
1   0   1   0  -1
1   0  -1   1   0
1   0   0   0   1
0   0   0
0

0 # Scattering functions