test/non_optimal/interpolation-duration.cloog

   1 #language : C
   2 c
   3
   4 #parameter: none
   5 1 2
   6 # 1
   7 1 0   #0>=0
   8
   9 0
  10
  11 5 #number of statements
  12
  13 1 #T0 : One domain
  14 4 4 # 4lines and 4 columns
  15 1  1  0 0  # c1 >= 0
  16 1 -1  0 0  # c1 <= 0
  17 1  0  1 0  #c2 >=0
  18 1  0 -1 12 #c2 <= 12
  19 0  0  0    #for future options
  20
  21 1 #T1 : One domain
  22 4 4 # 4lines and 4 columns
  23 1  1  0 0  # c1 >= 0
  24 1 -1  0 7  # c1 <= 7
  25 1  0  1 0  #c2 >=0
  26 1  0 -1 0  #c2 <= 0
  27 0  0  0    #for future options
  28
  29 1 #T2 : One domain
  30 4 4 # 4lines and 4 columns
  31 1  1  0 0  # c1 >= 0
  32 1 -1  0 3  # c1 <= 3
  33 1  0  1 0  #c2 >=0
  34 1  0 -1 0  #c2 <= 0
  35 0  0  0    #for future options
  36
  37 1 #T3 : One domain
  38 4 4 # 4lines and 4 columns
  39 1  1  0 0  # c1 >= 0
  40 1 -1  0 3  # c1 <= 3
  41 1  0  1 0  #c2 >=0
  42 1  0 -1 0  #c2 <= 0
  43 0  0  0    #for future options
  44
  45 1 #T4 : One domain
  46 4 4 # 4lines and 4 columns
  47 1  1  0 0  # c1 >= 0
  48 1 -1  0 3  # c1 <= 3
  49 1  0  1 0  #c2 >=0
  50 1  0 -1 0  #c2 <= 0
  51 0  0  0    #for future options
  52
  53 1
  54 c1 c2 c3 c4 c5 c6 c7 c8 c9 c10
  55
  56 5
  57
  58 1 5
  59 0  1  -65 -5 0  #d = 65c1 + 5c2
  60
  61 1 5
  62 0  1  -5  -5 -61 #d = 5c3 + 5c4 + 61
  63
  64 1 5
  65 0  1  -10 -5 -67 #d = 10c5+5c6+67
  66
  67 1 5
  68 0  1  -10 -5 -68 #d=10c7+5c8+68
  69
  70 1 5
  71 0  1  -10  -5 -69 #d=10c9+5c10+69
  72
  73 1
  74 d