test/reservoir/QR.c.ppl

   1 /* Generated from ././reservoir/QR.cloog by CLooG 0.15 64 bits in 0.28s. */
   2 if (N >= 1) {
   3   S1(i = 0) ;
   4 }
   5 if ((M <= 0) && (N >= 2)) {
   6   S3(i = 0) ;
   7   S10(i = 0) ;
   8   S1(i = 1) ;
   9   S5(i = 0) ;
  10 }
  11 if ((M >= 1) && (N == 1)) {
  12   for (c4=0;c4<=M-1;c4++) {
  13     S2(i = 0,j = c4) ;
  14   }
  15   S3(i = 0) ;
  16   for (c4=0;c4<=M-1;c4++) {
  17     S4(i = 0,j = c4) ;
  18   }
  19   S10(i = 0) ;
  20   S5(i = 0) ;
  21 }
  22 if ((M <= 0) && (N == 1)) {
  23   S3(i = 0) ;
  24   S10(i = 0) ;
  25   S5(i = 0) ;
  26 }
  27 if ((M >= 1) && (N >= 2)) {
  28   for (c4=0;c4<=M-1;c4++) {
  29     S2(i = 0,j = c4) ;
  30   }
  31   S3(i = 0) ;
  32   for (c4=0;c4<=M-1;c4++) {
  33     S4(i = 0,j = c4) ;
  34   }
  35   S10(i = 0) ;
  36   S1(i = 1) ;
  37   S5(i = 0) ;
  38 }
  39 for (c2=2;c2<=min(M,N-1);c2++) {
  40   for (c4=c2-1;c4<=N-1;c4++) {
  41     i = c2-2 ;
  42     S6(j = c4) ;
  43     for (c6=c2-2;c6<=M-1;c6++) {
  44       i = c2-2 ;
  45       S7(j = c4,k = c6) ;
  46     }
  47     i = c2-2 ;
  48     S8(j = c4) ;
  49     for (c6=c2-2;c6<=M-1;c6++) {
  50       i = c2-2 ;
  51       S9(j = c4,k = c6) ;
  52     }
  53   }
  54   for (c4=c2-1;c4<=M-1;c4++) {
  55     i = c2-1 ;
  56     S2(j = c4) ;
  57   }
  58   i = c2-1 ;
  59   S3 ;
  60   for (c4=c2-1;c4<=M-1;c4++) {
  61     i = c2-1 ;
  62     S4(j = c4) ;
  63   }
  64   i = c2-1 ;
  65   S10 ;
  66   S1(i = c2) ;
  67   i = c2-1 ;
  68   S5 ;
  69 }
  70 if ((M >= 1) && (M <= N-2)) {
  71   c2 = M+1 ;
  72   for (c4=M;c4<=N-1;c4++) {
  73     i = M-1 ;
  74     S6(j = c4) ;
  75     c6 = M-1 ;
  76     i = M-1 ;
  77     k = M-1 ;
  78     S7(j = c4) ;
  79     i = M-1 ;
  80     S8(j = c4) ;
  81     c6 = M-1 ;
  82     i = M-1 ;
  83     k = M-1 ;
  84     S9(j = c4) ;
  85   }
  86   S3(i = M) ;
  87   S10(i = M) ;
  88   i = M+1 ;
  89   S1 ;
  90   S5(i = M) ;
  91 }
  92 for (c2=max(M+2,2);c2<=N-1;c2++) {
  93   for (c4=c2-1;c4<=N-1;c4++) {
  94     i = c2-2 ;
  95     S6(j = c4) ;
  96     i = c2-2 ;
  97     S8(j = c4) ;
  98   }
  99   i = c2-1 ;
 100   S3 ;
 101   i = c2-1 ;
 102   S10 ;
 103   S1(i = c2) ;
 104   i = c2-1 ;
 105   S5 ;
 106 }
 107 if ((M >= N) && (N >= 2)) {
 108   c4 = N-1 ;
 109   i = N-2 ;
 110   j = N-1 ;
 111   S6 ;
 112   for (c6=N-2;c6<=M-1;c6++) {
 113     i = N-2 ;
 114     j = N-1 ;
 115     S7(k = c6) ;
 116   }
 117   i = N-2 ;
 118   j = N-1 ;
 119   S8 ;
 120   for (c6=N-2;c6<=M-1;c6++) {
 121     i = N-2 ;
 122     j = N-1 ;
 123     S9(k = c6) ;
 124   }
 125   for (c4=N-1;c4<=M-1;c4++) {
 126     i = N-1 ;
 127     S2(j = c4) ;
 128   }
 129   i = N-1 ;
 130   S3 ;
 131   for (c4=N-1;c4<=M-1;c4++) {
 132     i = N-1 ;
 133     S4(j = c4) ;
 134   }
 135   i = N-1 ;
 136   S10 ;
 137   i = N-1 ;
 138   S5 ;
 139 }
 140 if ((M == N-1) && (N >= 2)) {
 141   c2 = M+1 ;
 142   i = M-1 ;
 143   S6(j = M) ;
 144   c6 = M-1 ;
 145   i = M-1 ;
 146   k = M-1 ;
 147   S7(j = M) ;
 148   i = M-1 ;
 149   S8(j = M) ;
 150   c6 = M-1 ;
 151   i = M-1 ;
 152   k = M-1 ;
 153   S9(j = M) ;
 154   S3(i = M) ;
 155   S10(i = M) ;
 156   S5(i = M) ;
 157 }
 158 if ((M <= N-2) && (N >= 2)) {
 159   c4 = N-1 ;
 160   i = N-2 ;
 161   j = N-1 ;
 162   S6 ;
 163   i = N-2 ;
 164   j = N-1 ;
 165   S8 ;
 166   i = N-1 ;
 167   S3 ;
 168   i = N-1 ;
 169   S10 ;
 170   i = N-1 ;
 171   S5 ;
 172 }