test_inputs/codegen/shift2.c

   1 for (int c0 = 0; c0 <= 1; c0 += 1) {
   2   for (int c2 = 0; c2 < length; c2 += 32) {
   3     for (int c3 = 0; c3 <= length; c3 += 32) {
   4       for (int c5 = 0; c5 <= min(31, length - c2 - 1); c5 += 1) {
   5         for (int c6 = max(0, -c3 + 1); c6 <= min(min(31, length - c3), 2 * c2 - c3 + 2 * c5 - 1); c6 += 1)
   6           S_0(c0, c2 + c5, c3 + c6 - 1);
   7         if (c3 + 30 >= 2 * c2 + 2 * c5 && 2 * c2 + 2 * c5 >= c3 && c2 + c5 >= 1) {
   8           S_3(c0, 0, c2 + c5);
   9           if (length >= 2 * c2 + 2 * c5)
  10             S_0(c0, c2 + c5, 2 * c2 + 2 * c5 - 1);
  11         }
  12         for (int c6 = max(0, 2 * c2 - c3 + 2 * c5 + 1); c6 <= min(31, length - c3); c6 += 1)
  13           S_0(c0, c2 + c5, c3 + c6 - 1);
  14       }
  15       if (c3 == 0 && c2 == 0 && length <= 15)
  16         S_4(c0);
  17       if (2 * c2 + 32 >= c3 && c3 >= 2 * c2)
  18         for (int c4 = 1; c4 <= min(min(31, length - 2), (c3 / 2) + 14); c4 += 1)
  19           for (int c5 = max((c3 / 2) - c2, -c2 + c4 + 1); c5 <= min(length - c2 - 1, (c3 / 2) - c2 + 15); c5 += 1)
  20             S_3(c0, c4, c2 + c5);
  21     }
  22     for (int c3 = max(2 * c2, -(length % 32) + length + 32); c3 <= min(2 * length - 2, 2 * c2 + 62); c3 += 32)
  23       for (int c4 = 0; c4 <= min(31, length - 2); c4 += 1) {
  24         for (int c5 = max((c3 / 2) - c2, -c2 + c4 + 1); c5 <= min(length - c2 - 1, (c3 / 2) - c2 + 15); c5 += 1)
  25           S_3(c0, c4, c2 + c5);
  26         if (c4 == 0 && c3 + 30 >= 2 * length)
  27           S_4(c0);
  28       }
  29     if ((length + 16) % 32 == 0 && c2 + 16 == length)
  30       S_4(c0);
  31   }
  32   if (length % 32 == 0 && length >= 32)
  33     S_4(c0);
  34   if (length == 0)
  35     S_4(c0);
  36   for (int c1 = 32; c1 < length - 1; c1 += 32)
  37     for (int c2 = c1; c2 < length; c2 += 32)
  38       for (int c3 = max(c1, c2); c3 <= min(length - 1, c2 + 31); c3 += 16)
  39         for (int c4 = 0; c4 <= min(min(31, length - c1 - 2), -c1 + c3 + 14); c4 += 1)
  40           for (int c5 = max(-c2 + c3, c1 - c2 + c4 + 1); c5 <= min(length - c2 - 1, -c2 + c3 + 15); c5 += 1)
  41             S_3(c0, c1 + c4, c2 + c5);
  42 }