disable isl dep coalesce under --pet due to a potential bug
@@ -2491,7 +2491,11 @@ static void compute_deps(osl_scop_p scop, PlutoProg *prog,
}
}
+ // Disabled due to a potential bug in coalescing. Reproduce with
+ // examples/heat-2d/heat-2d.c - coalescing dep_raw leads to no hyperplanes
+ // being found.
if (options->isldepcoalesce) {
+ assert(0 && "dep coalesce disabled with --pet due to a potential bug");
dep_raw = isl_union_map_coalesce(dep_raw);
dep_war = isl_union_map_coalesce(dep_war);
dep_waw = isl_union_map_coalesce(dep_waw);
