test/lux.cloog

   1 # language: C
   2 c
   3
   4 # parameter n
   5 1 3
   6 1 0 1
   7 0
   8
   9 2 # Number of statements
  10
  11 1
  12 # {c1, c2, i, j | c1=i, c2=n, 1<=i<=n; i+1<=j<=n}
  13 6 7
  14 0  1 -1  0  0  0  0
  15 0  0  0  1  0 -1  0
  16 1  0  1  0  0  0 -1
  17 1  0 -1  0  0  1  0
  18 1  0 -1  0  1  0 -1
  19 1  0  0  0 -1  1  0
  20 0  0  0
  21
  22 1
  23 # {c1, c2, i, j, k | c1=k, c2=j, 1<=i<=n; i+1<=j<=n i+1<=k<=n}
  24 8 8
  25 0  1  0  0  0 -1  0  0
  26 0  0  0 -1  1  0  0  0
  27 1  0  1  0  0  0  0 -1
  28 1  0 -1  0  0  0  1  0
  29 1  0 -1  1  0  0  0 -1
  30 1  0  0 -1  0  0  1  0
  31 1  0 -1  0  0  1  0 -1
  32 1  0  0  0  0 -1  1  0
  33 0  0  0
  34 0
  35
  36 0 # Scattering functions