test/reservoir/pingali4.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     2 3
   7     1    1   -2
   8     1    0    1
   9 0
  10
  11 # Number of statments
  12 2
  13
  14 1
  15 # { (i,j,k) | i-1 >= 0, -i+k >= 0, j-1 >= 0, -j+k >= 0, 1 >= 0 }
  16
  17     5 5
  18     1    1    0    0   -1
  19     1   -1    0    1    0
  20     1    0    1    0   -1
  21     1    0   -1    1    0
  22     1    0    0    0    1
  23
  24 0 0 0
  25 1
  26 # { (i,j,k) | i-1 >= 0, -i+k >= 0, j-1 >= 0, -j+k >= 0, 1 >= 0 }
  27
  28     5 5
  29     1    1    0    0   -1
  30     1   -1    0    1    0
  31     1    0    1    0   -1
  32     1    0   -1    1    0
  33     1    0    0    0    1
  34
  35 0 0 0
  36 0
  37 # Scattering functions
  38 2
  39
  40     6 10
  41     0    1    0    0    0    0    0    0    0    0
  42     0    0    1    0    0    0   -1    0    0    0
  43     0    0    0    1    0    0    0    0    0    0
  44     0    0    0    0    1    0    0   -1    0    0
  45     0    0    0    0    0    1    0    0    0    0
  46     1    0    0    0    0    0    0    0    0    1
  47
  48
  49     6 10
  50     0    1    0    0    0    0    0    0    0   -1
  51     0    0    1    0    0    0   -1    0    0    0
  52     0    0    0    1    0    0    0    0    0    0
  53     0    0    0    0    1    0    0   -1    0    0
  54     0    0    0    0    0    1    0    0    0    0
  55     1    0    0    0    0    0    0    0    0    1
  56
  57 0