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
remove ppl vs polylib check.
[cloog-ppl.git]
/
test
/
iftestf.cloog
blob
1f0d6a9ba251833ffd92fb8f2699eb09c59e6d06
1
# language: FORTRAN
2
f
3
4
# The context (no constraints on parameters)
5
1 4 # 1 lines and 4 columns
6
# m n 1
7
1 0 0 0
8
1
9
m n
10
11
1 # The number of statements
12
13
2 # First statement
14
# The first domain
15
3 5 # 3 lines and 5 columns
16
# i m n 1
17
1 1 0 0 -1 # i >= 1
18
1 -1 0 1 0 # i <= n
19
1 1 -1 0 0 # i >= m
20
# The second domain
21
3 5 # 3 lines and 5 columns
22
# i m n 1
23
1 1 0 0 -1 # i >= 1
24
1 -1 0 1 0 # i <= n
25
1 -1 2 0 0 # i <= 2*m
26
0 0 0
27
0
28
29
0