test/yosr.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 2
  40 # Scattering functions
  41 1 6
  42 # c1  i  j  n  1
  43 0  1 -1  0  0  0
  44
  45 1 7
  46 # c1  i  j  k  n  1
  47 0  1  0  0 -1  0  0
  48 1
  49 proc
  50
  51 2
  52 # Scattering functions
  53 3 8
  54 # c1 c2 c3  i  j  n  1
  55 0  1  0  0 -1  0  0  0
  56 0  0  1  0  0  0  0  0
  57 0  0  0  1  0  0  0  0
  58
  59 3 9
  60 # c1 c2 c3  i  j  k  n  1
  61 0  1  0  0  0  0 -1  0  0
  62 0  0  1  0  0  0  0  0 -1
  63 0  0  0  1  0  0 -1  0  0
  64 0
  65