Get rid of the warning about ignoring the return value of fgets
[cloog.git] / test / manual_basic.cloog
blob443a8f3104e732f689d7e2d35105ef6398096b07
1 # ---------------------- CONTEXT ----------------------
2 c # language is C
4 1 # Context (constraints on two parameters)
5 2 4                   # 2 lines and 4 columns
6 # eq/in m  n  1
7     1   1  0 -2       # 1*m + 0*n -2*1 >= 0, i.e. m>=2
8     1   0  1 -2       # 0*m + 1*n -2*1 >= 0, i.e. n>=2
10 1 # We want to set manually the parameter names
11 m n                   # parameter names
13 # --------------------- STATEMENTS --------------------
14 1 # Number of statements
16 1 # First statement: one domain
17 # First domain
18 5 6                   # 5 lines and 6 columns
19 # eq/in i  j  m  n  1 
20     1   1  0  0  0 -2 # i >= 2
21     1  -1  0  0  1  0 # i <= n
22     1   0  1  0  0 -2 # j >= 2
23     1   0 -1  1  0  0 # j <= m
24     1  -1 -1  0  1  2 # n+2-i>=j
25 0  0  0               # for future options
27 1 # We want to set manually the iterator names
28 i j                   # iterator names
30 # --------------------- SCATTERING --------------------
31 0 # No scattering functions