test/logo.c.ppl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

/* Generated from ./logo.cloog by CLooG 0.15 64 bits in 0.01s. */
for (j=0;j<=7;j++) {
  S1(i = 1) ;
}
for (i=2;i<=5;i++) {
  for (j=0;j<=i-2;j++) {
    S2 ;
  }
  for (j=i-1;j<=4;j++) {
    S1 ;
    S2 ;
  }
  for (j=5;j<=7;j++) {
    S1 ;
  }
}
for (j=0;j<=4;j++) {
  S2(i = 6) ;
}
for (j=5;j<=7;j++) {
  S1(i = 6) ;
}
for (i=7;i<=8;i++) {
  for (j=i-1;j<=7;j++) {
    S1 ;
  }
}