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
Add --with-host-libstdcxx configure switch.
[cloog-ppl.git]
/
test
/
logopar.cloog
blob
37114ae7940e04cca785fa9fb81d2c25485add5c
1
# language: C
2
c
3
4
# Context
5
3 4
6
# m n 1
7
1 1 -1 0 # m > n
8
1 1 0 0 # m >= 0
9
1 0 1 -2 # n >= 2
10
1
11
m n
12
13
2 # Number of statements
14
15
1
16
3 6
17
# i j m n 1
18
1 1 0 0 0 -1 # i >= 1
19
1 0 -1 1 0 0 # j <= m
20
1 -1 1 0 0 1 # j >= i-1
21
0 0 0
22
23
1
24
4 6
25
# i j m n 1
26
1 1 0 0 0 -2 # i >= 2
27
1 -1 0 0 1 0 # i <= n
28
1 0 1 0 0 0 # j >= 0
29
1 0 -1 0 1 0 # j <= n
30
0 0 0
31
0
32
33
0 # Scattering functions