test/forwardsub-3-1-2.cloog

   1 # language: C
   2 c
   3
   4 # Context
   5 #{N | 3<=N}
   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 #{t1,i | 3<=t1<=N+1; i=1; 3<=N}
  16 5 5
  17 #   i    j   M   1
  18 0   0    1   0   -1
  19 1   0    0   1   -3
  20 1   -1   0   1   1
  21 1   1    0   0   -3
  22 1   0    0   0   1
  23 0 0 0
  24
  25 1
  26 #{t1,i | 2i+1<=t1<=i+N; 2<=i}
  27 4 5
  28 #   i    j    M   1
  29 1   1    -2   0   -1
  30 1   0    1    0   -2
  31 1   -1   1    1   0
  32 1   0    0    0   1
  33 0 0 0
  34
  35 1
  36 #{t1,i | t1=2; i=1; 3<=N}
  37 4 5
  38 #   i   j   M   1
  39 0   1   0   0   -2
  40 0   0   1   0   -1
  41 1   0   0   1   -3
  42 1   0   0   0   1
  43 0 0 0
  44
  45 1
  46 #{t1,i | t1=2i; 2<=i<=N; 3<=N}
  47 5 5
  48 #   i    j   M   1
  49 0   1   -2   0   0
  50 1   0   0    1   -3
  51 1   0   -1   1   0
  52 1   0   1    0   -2
  53 1   0   0    0   1
  54 0 0 0
  55 0
  56
  57 0 # Scattering functions