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

52 lines
905 B
Plaintext

# language: C
c
1 3
1 0 0 # 0 >= 0
1
n
# ------------- STATEMENTS -------------
2 # Number of statements
# ax:Z
1 # The domain is made of one polyhedron
4 5 # 4 lines and 5 columns
# i j n
1 -1 0 1 0
1 1 0 0 -1
1 1 -3 0 -1
1 -1 3 0 3
0 0 0 # future options
# ax:P
1 # The domain is made of one polyhedron
10 8 # 10 lines and 8 columns
# i j k p q n
1 -1 0 0 0 0 1 0
1 0 -1 0 0 0 1 0
1 0 1 0 0 0 0 -1
1 1 0 0 0 0 0 -1
1 0 1 0 0 -3 0 0
1 0 -1 0 0 3 0 2
1 0 0 0 -3 0 1 0
1 0 0 0 3 0 -1 2
1 0 0 -3 0 0 0 1
1 0 0 3 0 0 0 1
0 0 0 # future options
1 # Iterator Names
i j k p q
# ------------- SCATTERING -------------
2 # nb scattering functions
# Scattering for ax:Z
2 7 # 2 lines and 7 columns
# c1 c2 i j n
0 1 0 0 -1 0 0
0 0 1 0 0 0 0
# Scattering for ax:P
2 10 # 2 lines and 10 columns
# c1 c2 i j k p q n
0 1 0 0 0 -1 -1 -1 0 0
0 0 1 -1 0 0 0 0 0 1
0 # Scattering Function Names