test/escedk.cloog

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