test/ex1.c.ppl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

/* Generated from ./ex1.cloog by CLooG 0.15 64 bits in 0.00s. */
for (i=0;i<=14;i++) {
  for (j=0;j<=n-15;j++) {
    S1 ;
  }
}
for (i=15;i<=n;i++) {
  for (j=0;j<=9;j++) {
    S1 ;
  }
  for (j=10;j<=n-15;j++) {
    S1 ;
    S2 ;
  }
  for (j=n-14;j<=n;j++) {
    S2 ;
  }
}