test/reservoir/mg-interp2.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     1 11
   7     1    0    0    0    0    0    0    0    0    0    1
   8 0
   9
  10 # Number of statments
  11 4
  12
  13 1
  14 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 }
  15
  16     7 14
  17     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  18     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  19     1    0    1    0    0    0    0    0   -1    0    0    0    0    0
  20     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  21     1    0    0    1    0    0    0   -1    0    0    0    0    0    0
  22     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  23     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  24
  25 0 0 0
  26 1
  27 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  28
  29     7 14
  30     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  31     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  32     1    0    1    0    0    0    0    0   -1    0    0    0    0    0
  33     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  34     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  35     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  36     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  37
  38 0 0 0
  39 1
  40 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 }
  41
  42     7 14
  43     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  44     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  45     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  46     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  47     1    0    0    1    0    0    0   -1    0    0    0    0    0    0
  48     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  49     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  50
  51 0 0 0
  52 1
  53 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  54
  55     7 14
  56     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  57     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  58     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  59     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  60     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  61     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  62     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  63
  64 0 0 0
  65 0
  66 # Scattering functions
  67 4
  68
  69     8 21
  70     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  71     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
  72     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  73     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
  74     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  75     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
  76     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
  77     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
  78
  79
  80     8 21
  81     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
  82     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
  83     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  84     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
  85     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
  86     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
  87     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
  88     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
  89
  90
  91     8 21
  92     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -2
  93     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
  94     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
  95     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
  96     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  97     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
  98     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
  99     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 100
 101
 102     8 21
 103     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -3
 104     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 105     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 106     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 107     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 108     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 109     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 110     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 111
 112 0