test/gesced2.cloog

   1 # language: C
   2 c
   3
   4 # parameters {n | n>=16}
   5 1 3
   6 #  n  1
   7 1  1 -16
   8 0
   9
  10 2 # Number of statements
  11
  12 1
  13 # {i, j | 1<=i<=n 5<=j<=n-10}
  14 4 5
  15 #  i  j  n  1
  16 1  1  0  0 -1
  17 1 -1  0  1  0
  18 1  0  1  0 -5
  19 1  0 -1  1 -10
  20 0  0  0
  21
  22 1
  23 # {i, j | 1<=i<=n 5<=j<=n-10}
  24 4 5
  25 #  i  j  n  1
  26 1  1  0  0 -1
  27 1 -1  0  1  0
  28 1  0  1  0 -5
  29 1  0 -1  1 -10
  30 0  0  0
  31 0
  32
  33 2 # Scattering functions
  34 # Et les instructions de chunking (sol triviale)...
  35 2 7
  36 # c1 c2  i  j  n  1
  37 0  1  0 -1  0  0  0
  38 0  0  1  0 -1  0  0
  39
  40 2 7
  41 # c1 c2  i  j  n  1
  42 0  1  0  0 -1  0  0
  43 0  0  1 -1  1  0  0
  44 0
  45
  46 # Et les instructions de chunking (sol aux inverse)...
  47 2 7
  48 # c1 c2  i    j  n  1
  49 0  1  0 -10  -3  0 -5
  50 0  0  1 -4   -1  0  5
  51
  52 2 7
  53 # c1 c2  i    j  n  1
  54 0  1  0 -9   -4  0 -15
  55 0  0  1 -5    0  0  0
  56 0
  57
  58 2
  59 # Et les instructions de chunking (sol aux egalites)...
  60 2 7
  61 # c1 c2  i    j  n  1
  62 0  1  0  1   -2  0  -30
  63 0  0  1 -1    1  0  30
  64
  65 2 7
  66 # c1 c2  i    j  n  1
  67 0  1  0 -1    1  0  15
  68 0  0  1  1   -2  0 -30
  69 0
  70
  71 # Et les instructions de chunking (sol triviale)...
  72 2 7
  73 # c1 c2  i  j  n  1
  74 0  1  0 -1  0  0  0
  75 0  0  1  0 -1  0  5
  76
  77 2 7
  78 # c1 c2  i  j  n  1
  79 0  1  0  0 -1  0 -10
  80 0  0  1 -1  0  0  0
  81 0
  82