isl_tab_basic_map_partial_lexopt: detect modulos and integer divisions

[isl.git] / test_inputs / codegen / omega / if_then-3.c

if (n >= 2) {
  for (int c0 = 1; c0 <= 100; c0 += 1) {
    s0(c0);
    for (int c1 = 1; c1 <= 100; c1 += 1) {
      s1(c0, c1);
      s2(c0, c1);
    }
  }
} else {
  for (int c0 = 1; c0 <= 100; c0 += 1)
    for (int c1 = 1; c1 <= 100; c1 += 1)
      s2(c0, c1);
}