summaryrefslogtreecommitdiff
path: root/test/emploi.c.polylib
blob: 90f66b7c74bb441a3cf92fb7f6eada0dda7e6974 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
/* Generated from ./test/emploi.cloog by CLooG v0.14.0 64 bits in 0.00s. */
/* CLooG asked for 168 KBytes. */
if (m >= 1) {
  for (i=1;i<=n;i++) {
    if (i >= m) {
      S1 ;
    }
    if (i <= min(2*m,m-1)) {
      S1 ;
    }
    for (j=1;j<=m;j++) {
      S2 ;
    }
  }
}
if (m <= 0) {
  for (i=1;i<=n;i++) {
    S1 ;
  }
}