repo.or.cz
/
cloog-ppl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
wrap polyhedron in an additional structure for being able to represent unions
[cloog-ppl.git]
/
test
/
lu2.cloog
blob
5775e4939896c7404769c362c07512b6097aeb45
1
# language: C
2
c
3
4
# parameter n
5
1 3
6
1 0 1
7
1
8
n
9
10
2 # Number of statements
11
12
1
13
# {c1, c2, i, j | c1=i, c2=n, 1<=i<=n; i+1<=j<=n}
14
6 7
15
0 1 0 -1 0 0 0
16
0 0 1 0 0 -1 0
17
1 0 0 1 0 0 -1
18
1 0 0 -1 0 1 0
19
1 0 0 -1 1 0 -1
20
1 0 0 0 -1 1 0
21
0 0 0
22
23
1
24
# {c1, c2, i, j, k | c1=k, c2=j, 1<=i<=n; i+1<=j<=n i+1<=k<=n}
25
8 8
26
0 1 0 0 0 -1 0 0
27
0 0 1 0 -1 0 0 0
28
1 0 0 1 0 0 0 -1
29
1 0 0 -1 0 0 1 0
30
1 0 0 -1 1 0 0 -1
31
1 0 0 0 -1 0 1 0
32
1 0 0 -1 0 1 0 -1
33
1 0 0 0 0 -1 1 0
34
0 0 0
35
0
36
37
0 # Scattering functions