shift2.c

Go to the documentation of this file.

for (int c0 = 0; c0 <= 1; c0 += 1) {
  for (int c2 = 0; c2 <= length; c2 += 32) {
    if (length >= c2 + 1) {
      for (int c3 = 0; c3 <= length; c3 += 32) {
        if (c3 >= 2 * c2 + 64) {
          for (int c5 = 0; c5 <= 31; c5 += 1)
            for (int c6 = 0; c6 <= min(31, length - c3); c6 += 1)
              S_0(c0, c2 + c5, c3 + c6 - 1);
        } else if (2 * c2 >= c3 + 32) {
          for (int c5 = 0; c5 <= min(31, length - c2 - 1); c5 += 1)
            for (int c6 = max(0, -c3 + 1); c6 <= min(31, length - c3); c6 += 1)
              S_0(c0, c2 + c5, c3 + c6 - 1);
        } else {
          for (int c4 = 0; c4 <= min(min(31, length - 2), (c3 / 2) + 14); c4 += 1) {
            if (c2 == 0 && c4 == 0)
              for (int c6 = max(0, -c3 + 1); c6 <= min(31, length - c3); c6 += 1)
                S_0(c0, 0, c3 + c6 - 1);
            if (c3 == 2 * c2 + 32 && c4 == 0)
              for (int c5 = max(0, -c2 + 1); c5 <= 15; c5 += 1)
                for (int c6 = 0; c6 <= min(31, length - 2 * c2 - 32); c6 += 1)
                  S_0(c0, c2 + c5, 2 * c2 + c6 + 31);
            for (int c5 = max((c3 / 2) - c2, -c2 + c4 + 1); c5 <= min(length - c2 - 1, (c3 / 2) - c2 + 15); c5 += 1) {
              if (c4 == 0)
                for (int c6 = max(0, -c3 + 1); c6 <= min(length - c3, 2 * c2 - c3 + 2 * c5 - 1); c6 += 1)
                  S_0(c0, c2 + c5, c3 + c6 - 1);
              S_3(c0, c4, c2 + c5);
              if (c4 == 0 && length >= 2 * c2 + 2 * c5)
                S_0(c0, c2 + c5, 2 * c2 + 2 * c5 - 1);
              if (c4 == 0)
                for (int c6 = 2 * c2 - c3 + 2 * c5 + 1; c6 <= min(31, length - c3); c6 += 1)
                  S_0(c0, c2 + c5, c3 + c6 - 1);
            }
            if (c3 == 2 * c2 && c4 == 0) {
              for (int c5 = 16; c5 <= min(31, length - c2 - 1); c5 += 1)
                for (int c6 = max(0, -2 * c2 + 1); c6 <= min(31, length - 2 * c2); c6 += 1)
                  S_0(c0, c2 + c5, 2 * c2 + c6 - 1);
              if (length <= 15 && c2 == 0)
                S_4(c0);
            }
          }
          if (length == 1 && c2 == 0 && c3 == 0) {
            S_0(c0, 0, 0);
            S_4(c0);
          }
        }
      }
      if (length >= c2 + 16 && c2 + 31 >= length && 2 * c2 >= length + 1)
        for (int c4 = 0; c4 <= 31; c4 += 1)
          for (int c5 = 0; c5 <= 15; c5 += 1)
            S_3(c0, c4, c2 + c5);
    }
    if (length >= 1 && c2 + 31 >= length) {
      if (c2 + 16 == length) {
        S_4(c0);
      } else if (c2 == length) {
        S_4(c0);
      } else if ((length - c2 + 15) % 16 <= 14 && length >= 2 * ((length - c2 + 15) % 16) + 3 && length % 16 == ((length - c2 + 15) % 16) + 1) {
        for (int c4 = 0; c4 <= min(31, length - 2); c4 += 1) {
          for (int c5 = max(-c2 + c4 + 1, -((length - c2 + 15) % 16) + length - c2 - 1); c5 < length - c2; c5 += 1)
            S_3(c0, c4, c2 + c5);
          if (c4 == 0)
            S_4(c0);
        }
      }
    } else if (length >= c2 + 32) {
      for (int c3 = max(2 * c2, ((-length + 1055) % 32) + length + 1); c3 <= 2 * c2 + 62; c3 += 32)
        for (int c4 = 0; c4 <= 31; c4 += 1)
          for (int c5 = (c3 / 2) - c2; c5 <= (c3 / 2) - c2 + 15; c5 += 1)
            S_3(c0, c4, c2 + c5);
    }
    if (length == 0 && c2 == 0)
      S_4(c0);
  }
  for (int c1 = 32; c1 < length - 1; c1 += 32)
    for (int c2 = c1; c2 < length; c2 += 32)
      for (int c3 = c2; c3 <= min(length - 1, c2 + 31); c3 += 16)
        for (int c4 = 0; c4 <= min(min(31, length - c1 - 2), -c1 + c3 + 14); c4 += 1)
          for (int c5 = max(-c2 + c3, c1 - c2 + c4 + 1); c5 <= min(length - c2 - 1, -c2 + c3 + 15); c5 += 1)
            S_3(c0, c1 + c4, c2 + c5);
}