cloog_domain_from_isl_set: turn parameter sets into regular sets
[cloog/uuh.git] / test / nul_lcpc.cloog
blob263e1eafba0efd2c676c7134b72d692baf4a5ed8
1 # language: C
4 # parameter n
5 3 5
6 #  m  n  p  1
7 1  1 -1  0 -1
8 1  0 -1  1 -1
9 0  0  1  0 -6
11 m n p
13 2 # Number of statements
16 # {i, j, k | i=2*k+1; 1<=i<=m;  1<=j<=p}
17 5 8
18 #  i  k  j  m  n  p  1
19 0  1 -2  0  0  0  0 -1 # i=2*k+1
20 1  1  0  0  0  0  0 -1 # 1<=i
21 1 -1  0  0  1  0  0  0 # i<=m
22 1  0  0  1  0  0  0 -1 # 1<=j
23 1  0  0 -1  0  0  1  0 # j<=p
24 0  0  0
27 # {i, j, k | i=2*k+1; 1<=i<=n;  1<=j<=i}
28 5 8
29 #  i  k  j  m  n  p  1
30 0  1 -2  0  0  0  0 -1 # i=2*k+1
31 1  1  0  0  0  0  0 -1 # 1<=i
32 1 -1  0  0  0  1  0  0 # i<=n
33 1  0  0  1  0  0  0 -1 # 1<=j
34 1  1  0 -1  0  0  0  0 # j<=i
35 0  0  0
37 i k j
39 0 # Scattering functions