buildtools/cloog/test/yosr2.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

72 lines
753 B
Plaintext

# language: C
c
# parameter n
1 3
# n 1
1 1 -2
0
4 # Number of statements
1
# S2 {k, l | 1<=k<=n; 1<=l<=k-1}
4 5
# k l n 1
1 1 0 0 -1
1 -1 0 1 0
1 0 1 0 -1
1 1 -1 0 -1
0 0 0
1
# S3 {k | 1<=k<=n}
2 4
# k n 1
1 1 0 -1
1 -1 1 0
0 0 0
1
# S5 {k, i, m | 1<=k<=n; k+1<=i<=n 1<=m<=k-1}
6 6
# k i m n 1
1 1 0 0 0 -1
1 -1 0 0 1 0
1 -1 1 0 0 -1
1 0 -1 0 1 0
1 0 0 1 0 -1
1 1 0 -1 0 -1
0 0 0
1
# S4 {k, i | 1<=k<=n; k+1<=i<=n}
4 5
# k i n 1
1 1 0 0 -1
1 -1 0 1 0
1 -1 1 0 -1
1 0 -1 1 0
0 0 0
0
4 # Scattering functions
1 6
# c1 k l n 1
0 1 -1 0 0 0
1 5
# c1 k n 1
0 1 0 0 0
1 7
# c1 k i m n 1
0 1 -1 0 0 0 0
1 6
# c1 k i n 1
0 1 0 -1 0 0
1
proc