test/orc.c.ppl

   1 /* Generated from ./orc.cloog by CLooG  64 bits in 0.32s. */
   2 S1(i = 0) ;
   3 S2(i = 0,j = 0) ;
   4 for (p2=1;p2<=22;p2++) {
   5   if ((p2 >= 1) && (p2 <= 22)) {
   6     if ((p2+1)%2 == 0) {
   7       j = (p2-1)/2 ;
   8       S3(i = 0) ;
   9     }
  10   }
  11   if ((p2 >= 1) && (p2 <= 22)) {
  12     if (p2%2 == 0) {
  13       S2(i = 0,j = p2/2) ;
  14     }
  15   }
  16 }
  17 S3(i = 0,j = 11) ;
  18 for (p1=2;p1<=6;p1++) {
  19   if ((p1 >= 2) && (p1 <= 6)) {
  20     if ((p1+1)%3 == 0) {
  21       i = (p1-2)/3 ;
  22       S4 ;
  23     }
  24   }
  25   if ((p1 >= 2) && (p1 <= 6)) {
  26     if ((p1+2)%3 == 0) {
  27       i = (p1-1)/3 ;
  28       S2(j = 0) ;
  29     }
  30   }
  31   if ((p1 >= 2) && (p1 <= 6)) {
  32     if (p1%3 == 0) {
  33       S1(i = p1/3) ;
  34     }
  35   }
  36   for (p2=1;p2<=floord(-2*p1+68,3);p2++) {
  37     if ((p1 <= min(floord(-3*p2+68,2),6)) && (p1 >= 2)) {
  38       if ((p1+2)%3 == 0) {
  39         i = (p1-1)/3 ;
  40         if ((p1 <= floord(-3*p2+68,2)) && (p2 >= 1)) {
  41           if ((p2+1)%2 == 0) {
  42             j = (p2-1)/2 ;
  43             S3 ;
  44           }
  45         }
  46         if ((p1 <= floord(-3*p2+68,2)) && (p2 >= 1)) {
  47           if (p2%2 == 0) {
  48             S2(j = p2/2) ;
  49           }
  50         }
  51       }
  52     }
  53   }
  54   for (p2=ceild(-2*p1+69,3);p2<=floord(-2*p1+71,3);p2++) {
  55     if ((p1 <= min(floord(-3*p2+71,2),6)) && (p1 >= max(2,ceild(-3*p2+69,2)))) {
  56       if ((p1+2)%3 == 0) {
  57         i = (p1-1)/3 ;
  58         if ((p1 <= floord(-3*p2+71,2)) && (p1 >= ceild(-3*p2+69,2))) {
  59           if ((p2+1)%2 == 0) {
  60             j = (p2-1)/2 ;
  61             S3 ;
  62           }
  63         }
  64       }
  65     }
  66   }
  67 }
  68 S2(i = 2,j = 0) ;
  69 for (p2=1;p2<=18;p2++) {
  70   if ((p2 >= 1) && (p2 <= 18)) {
  71     if ((p2+1)%2 == 0) {
  72       j = (p2-1)/2 ;
  73       S3(i = 2) ;
  74     }
  75   }
  76   if ((p2 >= 1) && (p2 <= 18)) {
  77     if (p2%2 == 0) {
  78       S2(i = 2,j = p2/2) ;
  79     }
  80   }
  81 }
  82 S3(i = 2,j = 9) ;
  83 S4(i = 2) ;
  84 S5(i = 0) ;
  85 S6(i = 0,j = 0) ;
  86 for (p2=1;p2<=9;p2++) {
  87   if ((p2 >= 1) && (p2 <= 9)) {
  88     S6(i = 0,j = p2) ;
  89   }
  90 }
  91 for (p1=2;p1<=42;p1++) {
  92   if ((p1 >= 2) && (p1 <= 42)) {
  93     if ((p1+1)%3 == 0) {
  94       i = (p1-2)/3 ;
  95       S7 ;
  96     }
  97   }
  98   if ((p1 >= 2) && (p1 <= 42)) {
  99     if ((p1+2)%3 == 0) {
 100       i = (p1-1)/3 ;
 101       S6(j = 0) ;
 102     }
 103   }
 104   if ((p1 >= 2) && (p1 <= 42)) {
 105     if (p1%3 == 0) {
 106       S5(i = p1/3) ;
 107     }
 108   }
 109   for (p2=1;p2<=9;p2++) {
 110     if ((p1 >= 2) && (p1 <= 42)) {
 111       if ((p1+2)%3 == 0) {
 112         i = (p1-1)/3 ;
 113         if ((p2 <= 9) && (p2 >= 1)) {
 114           S6(j = p2) ;
 115         }
 116       }
 117     }
 118   }
 119 }
 120 S6(i = 14,j = 0) ;
 121 for (p2=1;p2<=9;p2++) {
 122   if ((p2 >= 1) && (p2 <= 9)) {
 123     S6(i = 14,j = p2) ;
 124   }
 125 }
 126 S7(i = 14) ;