test/iftest2.cloog

   1 # language: C
   2 c
   3 # The context (no constraints on parameters)
   4 1 4             # 1 lines and 4 columns
   5 #  m  n  1
   6 1  0  0  0
   7 0
   8
   9 1 # The number of statements
  10
  11 2 # First statement
  12 # The first domain
  13 5 6              # 3 lines and 5 columns
  14 #  i  j  m  n  1
  15 1  1  0  0  0 -1    #  i >= 1
  16 1 -1  0  0  1  0    #  i <= n
  17 1  1  0 -1  0  0    #  i >= m
  18 1  0  1  0  0 -1
  19 1  0 -1  1  0  0
  20 # The second domain
  21 5 6              # 3 lines and 5 columns
  22 #  i  j  m  n  1
  23 1  1  0  0  0 -1    #  i >= 1
  24 1 -1  0  0  1  0    #  i <= n
  25 1 -1  0  2  0  0    #  i <= 2*m
  26 1  0  1  0  0 -1
  27 1  0 -1  1  0  0
  28 0 0 0
  29 0
  30
  31 0