test/iftest.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 1
   8 m n
   9
  10 1 # 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 -1  0  0    #  i >= 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  2  0  0    #  i <= 2*m
  25 0 0 0
  26 0
  27
  28 0