test/elimination.cloog

   1 # language: C
   2 c
   3
   4 # One parameter : n
   5 1 3
   6 #  n  1
   7 1  0  1
   8 # We want to set the parameter names...
   9 1
  10 # and 'n' is the name of the unique parameter
  11 n
  12
  13 2 # Number of statements: 2.
  14
  15 1
  16 # {i, j | 1<=i<=n-1; i+1<=j<=n}
  17 4 5
  18 #  i  j  n  1
  19 1  1  0  0 -1
  20 1 -1  0  1 -1
  21 1 -1  1  0 -1
  22 1  0 -1  1  0
  23 0  0  0
  24
  25 1
  26 # {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
  27 6 6
  28 #  i  j  k  n  1
  29 1  1  0  0  0 -1
  30 1 -1  0  0  1 -1
  31 1 -1  1  0  0 -1
  32 1  0 -1  0  1  0
  33 1 -1  0  1  0 -1
  34 1  0  0 -1  1  0
  35 0  0  0
  36 # We want to let CLooG set the iterator names.
  37 0
  38
  39
  40 2
  41 # Scattering functions
  42 1 6
  43 # c1  i  j  n  1
  44 0  1 -1  0  0  0
  45
  46 1 7
  47 # c1  i  j  k  n  1
  48 0  1  0  0 -1  0  0
  49 1
  50 p1
  51