test/lub.cloog

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