Imported Upstream version 0.15.10

[platform/upstream/cloog-isl.git] / test / reservoir / bastoul3.c.polylib

/* Generated from test/reservoir/bastoul3.cloog by CLooG v0.14.0 gmp bits in 0.00s. */
/* CLooG asked for 60 KBytes. */
for (i=3;i<=9;i++) {
  for (j=max(1,i-6);j<=min(i-2,3);j++) {
    if ((i+j)%2 == 0) {
      k = (i-j)/2 ;
      S1 ;
    }
  }
}