CLooG 0.18.4
[cloog/uuh.git] / test / stride3.cloog
blobbd5d6b03196199b9e685210d72fa5362adf3bf69
3 # ---------------------- CONTEXT ----------------------
4 c # language is C
6 # Context (no constraints on two parameters)
7 1 4                   # 1 lines and 4 columns
8 # eq/in m  n  1
9 1   0  0  0       # 0 >= 0, always true
11 1 # We want to set manually the parameter names
12 m n                   # parameter names
14 # --------------------- STATEMENTS --------------------
15 1 # Number of statements
17 1 # First statement: two domains
18 # First domain
19 3 5                   # 3 lines and 5 columns
20 # eq/in i  m  n  1
21 1   1  0  0 -1    # i >= 1
22 1  -1  0  1  0    # i <= n
23 1   1 -1  0  0    # i >= m
24 # Second domain
25 0  0  0               # for future options
28 1 # We want to set manually the iterator names
29 i j                   # iterator names
31 # --------------------- SCATTERING --------------------
32 1 # Scattering functions
33 # First function
34 2 7                   # 2 lines and 7 columns
35 # eq/in p1 p2  i  m  n  1 
36 0    1  0 -50  0  0  0    # p1 = i
37 0    0  1  0  0  0  0    # p2 = 0
39 1 # We want to set manually the scattering dimension names
40 p1 p2                 # scattering dimension names