CLooG 0.18.4
[cloog.git] / test / gesced2.cloog
blob982368b4e3d50a8a4f82d424c0bd1c9b956b25c4
1 # language: C
4 # parameters {n | n>=16}
5 1 3
6 #  n  1
7 1  1 -16
10 2 # Number of statements
13 # {i, j | 1<=i<=n 5<=j<=n-10}
14 4 5
15 #  i  j  n  1
16 1  1  0  0 -1
17 1 -1  0  1  0
18 1  0  1  0 -5
19 1  0 -1  1 -10
20 0  0  0
23 # {i, j | 1<=i<=n 5<=j<=n-10}
24 4 5
25 #  i  j  n  1
26 1  1  0  0 -1
27 1 -1  0  1  0
28 1  0  1  0 -5
29 1  0 -1  1 -10
30 0  0  0
33 2 # Scattering functions
34 # Et les instructions de chunking (sol triviale)...
35 2 7
36 # c1 c2  i  j  n  1
37 0  1  0 -1  0  0  0
38 0  0  1  0 -1  0  0
40 2 7
41 # c1 c2  i  j  n  1
42 0  1  0  0 -1  0  0
43 0  0  1 -1  1  0  0
46 # Et les instructions de chunking (sol aux inverse)...
47 2 7
48 # c1 c2  i    j  n  1
49 0  1  0 -10  -3  0 -5
50 0  0  1 -4   -1  0  5
52 2 7
53 # c1 c2  i    j  n  1
54 0  1  0 -9   -4  0 -15
55 0  0  1 -5    0  0  0
59 # Et les instructions de chunking (sol aux egalites)...
60 2 7
61 # c1 c2  i    j  n  1
62 0  1  0  1   -2  0  -30
63 0  0  1 -1    1  0  30
65 2 7
66 # c1 c2  i    j  n  1
67 0  1  0 -1    1  0  15
68 0  0  1  1   -2  0 -30
71 # Et les instructions de chunking (sol triviale)...
72 2 7
73 # c1 c2  i  j  n  1
74 0  1  0 -1  0  0  0
75 0  0  1  0 -1  0  5
77 2 7
78 # c1 c2  i  j  n  1
79 0  1  0  0 -1  0 -10
80 0  0  1 -1  0  0  0