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
Don't include malloc calls in .h inlined functions.
[cloog-ppl.git]
/
test
/
iftest2.cloog
blob
d13abce32478c24068490e639a71443feed593b7
1
# language: C
2
c
3
1 # The context (no constraints on parameters)
4
1 4 # 1 lines and 4 columns
5
# m n 1
6
1 0 0 0
7
0
8
9
1 # The number of statements
10
11
2 # First statement
12
# The first domain
13
5 6 # 3 lines and 5 columns
14
# i j m n 1
15
1 1 0 0 0 -1 # i >= 1
16
1 -1 0 0 1 0 # i <= n
17
1 1 0 -1 0 0 # i >= m
18
1 0 1 0 0 -1
19
1 0 -1 1 0 0
20
# The second domain
21
5 6 # 3 lines and 5 columns
22
# i j m n 1
23
1 1 0 0 0 -1 # i >= 1
24
1 -1 0 0 1 0 # i <= n
25
1 -1 0 2 0 0 # i <= 2*m
26
1 0 1 0 0 -1
27
1 0 -1 1 0 0
28
0 0 0
29
0
30
31
0