cloog_domain_from_isl_set: turn parameter sets into regular sets
[cloog/uuh.git] / test / double.cloog
bloba9db60d864f2e269194964368bab2605fbb99f27
1 # language: C
4 # parameters n m
5 1 4
6 #  n  m  1
7 1  0  1  0
10 4 # Number of statements
13 # S1 {i | 0<=i<=n}
14 2 5
15 #  i  n  m  1
16 1  1  0  0  0
17 1 -1  1  0  0
18 0  0  0
21 # S2 {i, j | 0<=i<=n; 0<=j<=m}
22 4 6
23 #  i  j  n  m  1
24 1  1  0  0  0  0
25 1 -1  0  1  0  0
26 1  0  1  0  0  0
27 1  0 -1  0  1  0
28 0  0  0
31 # S3 {i, j | 0<=i<=n; 0<=j<=m}
32 4 6
33 #  i  j  n  m  1
34 1  1  0  0  0  0
35 1 -1  0  1  0  0
36 1  0  1  0  0  0
37 1  0 -1  0  1  0
38 0  0  0
41 # S4 {i | 0<=i<=n}
42 2 5
43 #  i  n  m  1
44 1  1  0  0  0
45 1 -1  1  0  0
46 0  0  0
49 0 # Scattering functions
50 2 7
51 # c1 C2  i  n  m  1
52 0  1  0 -1  0  0  0
53 0  0  1  0  0  0 -1
55 2 8
56 # c1 C2  i  j  n  m  1
57 0  1  0 -1  0  0  0  0
58 0  0  1  0  0  0  0 -2
60 2 8
61 # c1 C2  i  j  n  m  1
62 0  1  0 -1  0  0  0  0
63 0  0  1  0  0  0  0 -3
65 2 7
66 # c1 C2  i  n  m  1
67 0  1  0 -1  0  0  0
68 0  0  1  0  0  0 -4