CLooG 0.18.4
[cloog.git] / test / lub.cloog
blobfcab9b59f658added2bc1f4785803aa10f9ee674
1 # language: C
4 # parameter n
5 1 3
6 #  n  1
7 1  0  1
10 4 # Number of statements
13 # {i, j | 1<=i<=n; i+1<=j<=n}
14 4 5
15 #  i  j  n  1
16 1  1  0  0 -1
17 1 -1  0  1  0
18 1 -1  1  0 -1
19 1  0 -1  1  0
20 0  0  0
23 # {i, j, k | 1<=i<=n; i+1<=j<=n i+1<=k<=n}
24 6 6
25 #  i  j  k  n  1
26 1  1  0  0  0 -1
27 1 -1  0  0  1  0
28 1 -1  1  0  0 -1
29 1  0 -1  0  1  0
30 1 -1  0  1  0 -1
31 1  0  0 -1  1  0
32 0  0  0
35 # {i, j, k | 1<=i<=n; i+1<=j<=n i+1<=k<=n}
36 6 6
37 #  i  j  k  n  1
38 1  1  0  0  0 -1
39 1 -1  0  0  1  0
40 1 -1  1  0  0 -1
41 1  0 -1  0  1  0
42 1 -1  0  1  0 -1
43 1  0  0 -1  1  0
44 0  0  0
47 # {i, j | 1<=i<=n; i+1<=j<=n}
48 4 5
49 #  i  j  n  1
50 1  1  0  0 -1
51 1 -1  0  1  0
52 1 -1  1  0 -1
53 1  0 -1  1  0
54 0  0  0
57 0 # Scattering functions