buildtools/cloog/test/reservoir/lim-lam3.cloog
Jerome Duval 5873a060ca imported PPL 0.11.1 and CLooG 0.18.0.
* these are dependencies for gcc 4 Graphite engine build.
* CLooG 0.18.0 includes ISL 0.11.1 which is the backend that the build script enables.
* PPL is needed by GCC build even if it isn't the chosen backend.
2013-04-06 15:10:34 +02:00

102 lines
2.8 KiB
Plaintext
Executable File

# Language
c
# Context
2 3
1 1 -1
1 0 1
0
# Number of statments
4
1
# { (i,j,k,l) | -i+l >= 0, i-j-1 >= 0, k-1 >= 0, j-k-1 >= 0, 1 >= 0 }
5 6
1 -1 0 0 1 0
1 1 -1 0 0 -1
1 0 0 1 0 -1
1 0 1 -1 0 -1
1 0 0 0 0 1
0 0 0
1
# { (i,j,k) | -i+k >= 0, j-1 >= 0, i-j-1 >= 0, 1 >= 0 }
4 5
1 -1 0 1 0
1 0 1 0 -1
1 1 -1 0 -1
1 0 0 0 1
0 0 0
1
# { (i,j,k) | -i+k >= 0, j-1 >= 0, i-j-1 >= 0, 1 >= 0 }
4 5
1 -1 0 1 0
1 0 1 0 -1
1 1 -1 0 -1
1 0 0 0 1
0 0 0
1
# { (i,j) | i-1 >= 0, -i+j >= 0, 1 >= 0 }
3 4
1 1 0 -1
1 -1 1 0
1 0 0 1
0 0 0
0
# Scattering functions
4
8 13
0 1 0 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 -1 -2 -2 0 -5
0 0 0 1 0 0 0 0 0 0 0 0 0
0 0 0 0 1 0 0 0 0 -1 0 0 0
0 0 0 0 0 1 0 0 0 0 0 0 0
0 0 0 0 0 0 1 0 0 0 -1 0 0
0 0 0 0 0 0 0 1 0 0 0 0 0
1 0 0 0 0 0 0 0 0 0 0 0 1
8 12
0 1 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 -1 -4 0 -3
0 0 0 1 0 0 0 0 0 0 0 -1
0 0 0 0 1 0 0 0 0 -1 0 0
0 0 0 0 0 1 0 0 0 0 0 -1
0 0 0 0 0 0 1 0 0 0 0 0
0 0 0 0 0 0 0 1 0 0 0 0
1 0 0 0 0 0 0 0 0 0 0 1
8 12
0 1 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 -3 -2 0 -1
0 0 0 1 0 0 0 0 0 0 0 -2
0 0 0 0 1 0 0 0 0 -1 0 0
0 0 0 0 0 1 0 0 0 0 0 0
0 0 0 0 0 0 1 0 0 0 0 0
0 0 0 0 0 0 0 1 0 0 0 0
1 0 0 0 0 0 0 0 0 0 0 1
8 11
0 1 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 -5 0 0
0 0 0 1 0 0 0 0 0 0 -2
0 0 0 0 1 0 0 0 0 0 0
0 0 0 0 0 1 0 0 0 0 0
0 0 0 0 0 0 1 0 0 0 0
0 0 0 0 0 0 0 1 0 0 0
1 0 0 0 0 0 0 0 0 0 1
0