test/yosr2.cloog

   1 # language: C
   2 c
   3
   4 # parameter n
   5 1 3
   6 #  n  1
   7 1  1 -2
   8 0
   9
  10 4 # Number of statements
  11
  12 1
  13 # S2 {k, l | 1<=k<=n; 1<=l<=k-1}
  14 4 5
  15 #  k  l  n  1
  16 1  1  0  0 -1
  17 1 -1  0  1  0
  18 1  0  1  0 -1
  19 1  1 -1  0 -1
  20 0  0  0
  21
  22 1
  23 # S3 {k | 1<=k<=n}
  24 2 4
  25 #  k  n  1
  26 1  1  0 -1
  27 1 -1  1  0
  28 0  0  0
  29
  30 1
  31 # S5 {k, i, m | 1<=k<=n; k+1<=i<=n 1<=m<=k-1}
  32 6 6
  33 #  k  i  m  n  1
  34 1  1  0  0  0 -1
  35 1 -1  0  0  1  0
  36 1 -1  1  0  0 -1
  37 1  0 -1  0  1  0
  38 1  0  0  1  0 -1
  39 1  1  0 -1  0 -1
  40 0  0  0
  41
  42 1
  43 # S4 {k, i | 1<=k<=n; k+1<=i<=n}
  44 4 5
  45 #  k  i  n  1
  46 1  1  0  0 -1
  47 1 -1  0  1  0
  48 1 -1  1  0 -1
  49 1  0 -1  1  0
  50 0  0  0
  51 0
  52
  53
  54 4 # Scattering functions
  55 1 6
  56 # c1  k  l  n  1
  57 0  1 -1  0  0  0
  58
  59 1 5
  60 # c1  k  n  1
  61 0  1  0  0  0
  62
  63 1 7
  64 # c1  k  i  m  n  1
  65 0  1 -1  0  0  0  0
  66
  67 1 6
  68 # c1  k  i  n  1
  69 0  1  0 -1  0  0
  70 1
  71 proc