Fix http://gcc.gnu.org/PR42181 correct cloog_domain_sort.
[cloog-ppl.git] / test / logo.c.ppl
blob130436bb4c65b33b98163a6a7768ab6c1ce29f5b
1 /* Generated from ./logo.cloog by CLooG 0.15 64 bits in 0.01s. */
2 for (j=0;j<=7;j++) {
3   S1(i = 1) ;
5 for (i=2;i<=5;i++) {
6   for (j=0;j<=i-2;j++) {
7     S2 ;
8   }
9   for (j=i-1;j<=4;j++) {
10     S1 ;
11     S2 ;
12   }
13   for (j=5;j<=7;j++) {
14     S1 ;
15   }
17 for (j=0;j<=4;j++) {
18   S2(i = 6) ;
20 for (j=5;j<=7;j++) {
21   S1(i = 6) ;
23 for (i=7;i<=8;i++) {
24   for (j=i-1;j<=7;j++) {
25     S1 ;
26   }