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
/
reservoir
/
two.c.ppl
blob
418a9d5967e1b3b46dd7d46030c6e010974a670b
1
/* Generated from ././reservoir/two.cloog by CLooG 0.15 64 bits in 0.00s. */
2
for (i=0;i<=1;i++) {
3
if ((i+1)%2 == 0) {
4
j = (-i+3)/2 ;
5
k = (i+9)/2 ;
6
S1 ;
7
}
8
}