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
/
equality.c.ppl
blob
f6791c03a6e006ff5b25c037151a989b913a9a86
1
/* Generated from ./equality.cloog by CLooG 0.15 64 bits in 0.01s. */
2
for (i0=0;i0<=5;i0++) {
3
for (i1=ceild(4*i0,5);i1<=floord(6*i0+20,5);i1++) {
4
if (2*i0 == i1) {
5
S1 ;
6
}
7
if (i1 == 4) {
8
S2 ;
9
}
10
}
11
}