test/reservoir/pingali5.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     1 3
   7     1    0    1
   8 0
   9
  10 # Number of statments
  11 3
  12
  13 1
  14 # { (i,j,k,l) | j-1 >= 0, i-j-1 >= 0, -i+k-1 >= 0, -k+l >= 0, 1 >= 0 }
  15
  16     5 6
  17     1    0    1    0    0   -1
  18     1    1   -1    0    0   -1
  19     1   -1    0    1    0   -1
  20     1    0    0   -1    1    0
  21     1    0    0    0    0    1
  22
  23 0 0 0
  24 1
  25 # { (i,j,k) | -i+k >= 0, j-1 >= 0, i-j-1 >= 0, 1 >= 0 }
  26
  27     4 5
  28     1   -1    0    1    0
  29     1    0    1    0   -1
  30     1    1   -1    0   -1
  31     1    0    0    0    1
  32
  33 0 0 0
  34 1
  35 # { (i,j,k,l) | j-1 >= 0, i-j-1 >= 0, -i+k-1 >= 0, -k+l >= 0, 1 >= 0 }
  36
  37     5 6
  38     1    0    1    0    0   -1
  39     1    1   -1    0    0   -1
  40     1   -1    0    1    0   -1
  41     1    0    0   -1    1    0
  42     1    0    0    0    0    1
  43
  44 0 0 0
  45 0
  46 # Scattering functions
  47 3
  48
  49     8 13
  50     0    1    0    0    0    0    0    0    0    0    0    0    0
  51     0    0    1    0    0    0    0    0   -1   -1    0    0    0
  52     0    0    0    1    0    0    0    0    0    0    0    0    0
  53     0    0    0    0    1    0    0    0    0    0   -1    0    0
  54     0    0    0    0    0    1    0    0    0    0    0    0    0
  55     0    0    0    0    0    0    1    0    0    0   -1    0    0
  56     0    0    0    0    0    0    0    1    0    0    0    0    0
  57     1    0    0    0    0    0    0    0    0    0    0    0    1
  58
  59
  60     8 12
  61     0    1    0    0    0    0    0    0    0    0    0    0
  62     0    0    1    0    0    0    0    0   -1   -1    0    0
  63     0    0    0    1    0    0    0    0    0    0    0   -1
  64     0    0    0    0    1    0    0    0    0   -1    0    0
  65     0    0    0    0    0    1    0    0    0    0    0   -1
  66     0    0    0    0    0    0    1    0    0    0    0    0
  67     0    0    0    0    0    0    0    1    0    0    0    0
  68     1    0    0    0    0    0    0    0    0    0    0    1
  69
  70
  71     8 13
  72     0    1    0    0    0    0    0    0    0    0    0    0    0
  73     0    0    1    0    0    0    0    0   -1   -1    0    0    0
  74     0    0    0    1    0    0    0    0    0    0    0    0   -2
  75     0    0    0    0    1    0    0    0    0    0   -1    0    0
  76     0    0    0    0    0    1    0    0    0    0    0    0   -2
  77     0    0    0    0    0    0    1    0    0    0   -1    0    0
  78     0    0    0    0    0    0    0    1    0    0    0    0    0
  79     1    0    0    0    0    0    0    0    0    0    0    0    1
  80
  81 0