test_inputs/codegen/cloog/faber.c

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