test/forwardsub-2-1-2-3.cloog

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