test/stride3.cloog

   1
   2
   3 # ---------------------- CONTEXT ----------------------
   4 c # language is C
   5
   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
  10
  11 1 # We want to set manually the parameter names
  12 m n                   # parameter names
  13
  14 # --------------------- STATEMENTS --------------------
  15 1 # Number of statements
  16
  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
  26
  27
  28 1 # We want to set manually the iterator names
  29 i j                   # iterator names
  30
  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
  38
  39 1 # We want to set manually the scattering dimension names
  40 p1 p2                 # scattering dimension names
  41