test/lineality-2-1-2.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 ./lineality-2-1-2.cloog by CLooG 0.15 64 bits in 0.01s. */
for (i=1;i<=M-3;i++) {
  for (j=1;j<=i+1;j++) {
    S1 ;
  }
  j = i+2 ;
  S1 ;
  S2 ;
  for (j=i+3;j<=M;j++) {
    S1 ;
  }
}
if (M >= 3) {
  i = M-2 ;
  for (j=1;j<=M-1;j++) {
    S1 ;
  }
  S1(j = M) ;
  S2(j = M) ;
}
for (i=M-1;i<=M;i++) {
  for (j=1;j<=M;j++) {
    S1 ;
  }
  j = i+2 ;
  S2 ;
}