CLooG 0.18.4
[cloog.git] / test / elimination.cloog
blobc4d2dcaf5b2eac8ccac55ad9bfa17e8a417d38ad
1 # language: C
4 # One parameter : n
5 1 3
6 #  n  1
7 1  0  1
8 # We want to set the parameter names...
10 # and 'n' is the name of the unique parameter
13 2 # Number of statements: 2.
16 # {i, j | 1<=i<=n-1; i+1<=j<=n}
17 4 5
18 #  i  j  n  1
19 1  1  0  0 -1
20 1 -1  0  1 -1
21 1 -1  1  0 -1
22 1  0 -1  1  0
23 0  0  0
26 # {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
27 6 6
28 #  i  j  k  n  1
29 1  1  0  0  0 -1
30 1 -1  0  0  1 -1
31 1 -1  1  0  0 -1
32 1  0 -1  0  1  0
33 1 -1  0  1  0 -1
34 1  0  0 -1  1  0
35 0  0  0
36 # We want to let CLooG set the iterator names.
41 # Scattering functions
42 1 6
43 # c1  i  j  n  1
44 0  1 -1  0  0  0
46 1 7
47 # c1  i  j  k  n  1
48 0  1  0  0 -1  0  0