test/guide.cloog

   1 # Language is C
   2 c
   3
   4 # The context (no constraints on parameters)
   5 1 4             # 1 lines and 4 columns
   6 #  m  n  1
   7 1  0  0  0      # 0 >= 0, always true
   8 0 # CLooG will set parameters names automatically
   9
  10 2 # The number of statements
  11
  12 2 # First statement
  13 # The first domain
  14 3 5              # 3 lines and 5 columns
  15 #  i  m  n  1
  16 1  1  0  0 -1    #  i >= 1
  17 1 -1  0  1  0    #  i <= n
  18 1 -1  2  0  0    #  i <= 2*m
  19 # The second domain
  20 3 5              # 3 lines and 5 columns
  21 #  i  m  n  1
  22 1  1  0  0 -1    #  i >= 1
  23 1 -1  0  1  0    #  i <= n
  24 1  1 -1  0  0    #  i >= m
  25 0 0 0
  26
  27 1 # Second statement
  28 2 5              # 4 lines and 6 columns
  29 #  i  m  n  1
  30 1  1  0 -1 -1 #  i >= 1
  31 1 -1  0  2  0 #  i <= n
  32 0 0 0
  33 0 # CLooG will set iterators names automatically
  34
  35 0