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
Use simplify_using_context_assign to implement domain_simplify.
[cloog-ppl.git]
/
test
/
lineality-2-1-2.c.ppl
blob
2e3e1c40506eb0a56b744ac2cc15461ae00abdc8
1
/* Generated from ./lineality-2-1-2.cloog by CLooG 0.15 64 bits in 0.05s. */
2
for (i=1;i<=M-3;i++) {
3
for (j=1;j<=i+1;j++) {
4
S1 ;
5
}
6
j = i+2 ;
7
S1 ;
8
S2 ;
9
for (j=i+3;j<=M;j++) {
10
S1 ;
11
}
12
}
13
if (M >= 3) {
14
i = M-2 ;
15
for (j=1;j<=M-1;j++) {
16
S1 ;
17
}
18
S1(j = M) ;
19
S2(j = M) ;
20
}
21
for (i=M-1;i<=M;i++) {
22
for (j=1;j<=M;j++) {
23
S1 ;
24
}
25
j = i+2 ;
26
S2 ;
27
}