Use simplify_using_context_assign to implement domain_simplify.

[cloog-ppl.git] / test / emploi.c.ppl

/* Generated from ./emploi.cloog by CLooG 0.15 64 bits in 0.02s. */
if (m >= 1) {
  for (i=1;i<=n;i++) {
    if (i <= 2*m) {
      S1 ;
    }
    if (i >= max(2*m+1,m)) {
      S1 ;
    }
    for (j=1;j<=m;j++) {
      S2 ;
    }
  }
}
if (m <= 0) {
  for (i=1;i<=n;i++) {
    S1 ;
  }
}