test/emploi.cloog

   1 # language: 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 1 # We want to set the parameter names
   9 m n
  10
  11 2 # The number of statements
  12
  13 2 # First statement
  14 # The first domain
  15 3 5              # 3 lines and 5 columns
  16 #  i  m  n  1
  17 1  1  0  0 -1    #  i >= 1
  18 1 -1  0  1  0    #  i <= n
  19 1 -1  2  0  0    #  i <= 2*m
  20 # The second domain
  21 3 5              # 3 lines and 5 columns
  22 #  i  m  n  1
  23 1  1  0  0 -1    #  i >= 1
  24 1 -1  0  1  0    #  i <= n
  25 1  1 -1  0  0    #  i >= m
  26 0 0 0
  27
  28 1 # Second statement
  29 4 6              # 4 lines and 6 columns
  30 #  i  j  m  n  1
  31 1  1  0  0  0 -1 #  i >= 1
  32 1 -1  0  0  1  0 #  i <= n
  33 1  0  1  0  0 -1 #  j >= 1
  34 1  0 -1  1  0  0 #  j <= m
  35 0 0 0
  36 0
  37
  38 0 # Scattering functions
  39 # The first function
  40 2 7                    # 2 lines and 7 columns
  41 # c1 c2  i  m  n  1
  42 0  1  0 -1  0  0  0    #  c1 = i
  43 0  0  1  0  0  0  0    #  c2 = 0
  44 # The second function
  45 2 8                    # 2 lines and 8 columns
  46 # c1 c2  i  j  m  n  1
  47 0  1  0  0  0  0 -1  0 #  c1 = n
  48 0  0  1 -1 -1  0  0  0 #  c2 = i+j
  49 0