isl_basic_map_compute_divs: preserve already known divs

[isl.git] / test_inputs / codegen / hoist2.c

for (int c0 = 1; c0 <= 5; c0 += 1)
  if (c0 >= 3 || c0 <= 2 || (b == 1 && t1 <= 6 && t1 + c0 <= 9))
    for (int c1 = max(t1, t1 - 64 * b + 64); c1 <= min(70, -((c0 + 1) % 2) - c0 + 73); c1 += 64)
      if ((c0 >= 3 && c0 + c1 >= 10) || (c0 <= 2 && c0 >= 1 && c1 >= 7) || (c1 == t1 && b == 1 && t1 <= 6 && t1 + c0 <= 9))
        A(c0, 64 * b + c1 - 8);