test/manual_basic.cloog

   1 # ---------------------- CONTEXT ----------------------
   2 c # language is C
   3
   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
   9
  10 1 # We want to set manually the parameter names
  11 m n                   # parameter names
  12
  13 # --------------------- STATEMENTS --------------------
  14 1 # Number of statements
  15
  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
  26
  27 1 # We want to set manually the iterator names
  28 i j                   # iterator names
  29
  30 # --------------------- SCATTERING --------------------
  31 0 # No scattering functions