cloog_domain_from_isl_set: turn parameter sets into regular sets
[cloog/uuh.git] / test / christian.cloog
blob088977e07de4734b425d2ab24477c83f0e018aa4
1 # =============================================== Global
2 # Language
5 # Context
6 0 3
8 # Parameter names are provided
10 # Parameter names
11
13 # Number of statements
16 # =============================================== Statement 1
17 # ----------------------------------------------  1.1 Domain
18 # Iteration domain
20 4 5
21    1    1    0    0    0    ## i >= 0
22    1   -1    0    1   -1    ## -i+N-1 >= 0
23    1    0    1    0    0    ## j >= 0
24    1    0   -1    1   -1    ## -j+N-1 >= 0
25 0 0 0
27 # =============================================== Statement 2
28 # ----------------------------------------------  2.1 Domain
29 # Iteration domain
31 4 5
32    1    1    0    0    0    ## i >= 0
33    1   -1    0    1   -1    ## -i+N-1 >= 0
34    1    0    1    0    0    ## j >= 0
35    1    0   -1    1   -1    ## -j+N-1 >= 0
36 0 0 0
38 #naming for domains
41 # ---------------------------------------------- Scatterings
42 # of Scattering functions
45 # Scattering function
46 1 6
47    0   1   -1    1    0    0    ## p = i-j
49 # Scattering function
50 1 6
51    0   1   -1    1    0   -1    ## p = i-j+1
54 # we will set the scattering dimension names