test/reservoir/QR.c

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