test_inputs/codegen/correlation.c

   1 for (int c0 = 0; c0 < m; c0 += 32)
   2   for (int c1 = (n >= 32 && m >= c0 + 2) || (m == 1 && c0 == 0) ? 0 : 32 * n - 32 * floord(31 * n + 31, 32); c1 <= ((n <= -1 && c0 == 0) || (m == 1 && n >= 0 && c0 == 0) ? max(0, n - 1) : n); c1 += 32)
   3     for (int c2 = c0; c2 <= (m >= 2 && c0 + 31 >= m && n >= c1 && c1 + 31 >= n ? 2 * m - 3 : (m >= 2 * c0 + 63 && c1 <= -32 && n >= c1 && c1 + 31 >= n) || (m >= c0 + 32 && 2 * c0 + 62 >= m && n >= c1 && c1 + 31 >= n) || (n >= 0 && c0 >= 32 && m >= 2 * c0 + 63 && c1 == n) || (m >= 63 && n >= 32 && c0 == 0 && c1 == n) ? 2 * c0 + 61 : m - 1); c2 += 32) {
   4       if (n >= c1 + 32 && c1 >= 0 && 2 * c0 >= c2 + 32) {
   5         for (int c4 = 0; c4 <= 31; c4 += 1)
   6           for (int c5 = max(0, c0 - c2 + 1); c5 <= min(31, m - c2 - 1); c5 += 1)
   7             S_27(c0, c2 + c5, c1 + c4);
   8       } else if (c0 >= 32 && c1 >= 0 && c2 >= 2 * c0) {
   9         for (int c4 = 0; c4 <= min(31, n - c1 - 1); c4 += 1)
  10           for (int c5 = 0; c5 <= min(31, m - c2 - 1); c5 += 1)
  11             S_27(c0, c2 + c5, c1 + c4);
  12       } else if (c0 == 0 && c1 >= 0) {
  13         for (int c4 = 0; c4 <= min(31, n - c1 - 1); c4 += 1)
  14           for (int c5 = 0; c5 <= min(31, m - c2 - 1); c5 += 1) {
  15             if (c1 == 0 && c4 == 0)
  16               S_14(c2 + c5);
  17             S_19(c1 + c4, c2 + c5);
  18             if (c2 + c5 >= 1)
  19               S_27(0, c2 + c5, c1 + c4);
  20           }
  21       }
  22       if (c1 >= 0) {
  23         for (int c3 = 1; c3 <= min(31, (c2 / 2) - c0); c3 += 1)
  24           for (int c4 = 0; c4 <= min(31, n - c1 - 1); c4 += 1)
  25             for (int c5 = 0; c5 <= min(31, m - c2 - 1); c5 += 1)
  26               S_27(c0 + c3, c2 + c5, c1 + c4);
  27         if (n >= c1 + 32) {
  28           for (int c3 = max(1, (c2 / 2) - c0 + 1); c3 <= min(min(31, m - c0 - 2), -c0 + c2 + 30); c3 += 1)
  29             for (int c4 = 0; c4 <= 31; c4 += 1)
  30               for (int c5 = max(0, c0 - c2 + c3 + 1); c5 <= min(31, m - c2 - 1); c5 += 1)
  31                 S_27(c0 + c3, c2 + c5, c1 + c4);
  32         } else if (n <= 0 && c0 == 0 && c1 == 0) {
  33           for (int c5 = 0; c5 <= min(31, m - c2 - 1); c5 += 1)
  34             S_14(c2 + c5);
  35         }
  36       }
  37       if (n >= c1 && c1 + 31 >= n)
  38         for (int c3 = max(0, (c2 / 2) - c0 + 1); c3 <= min(31, m - c0 - 1); c3 += 1) {
  39           for (int c4 = max(0, -c1); c4 < n - c1; c4 += 1)
  40             for (int c5 = max(0, c0 - c2 + c3 + 1); c5 <= min(31, m - c2 - 1); c5 += 1)
  41               S_27(c0 + c3, c2 + c5, c1 + c4);
  42           for (int c5 = max(0, c0 - c2 + c3); c5 <= min(31, 2 * c0 - c2 + 2 * c3 - 1); c5 += 1)
  43             S_29(-c0 + c2 - c3 + c5, c0 + c3);
  44         }
  45     }