Lines Matching refs:disjoint
3263 isl_bool disjoint;
3322 disjoint = isl_union_set_is_disjoint(data.domain_universe,
3337 if (!node || disjoint < 0)
3339 if (!disjoint)
4213 * of the extension specified by "extension" disjoint from those
4252 isl_bool disjoint;
4261 disjoint = isl_union_map_is_disjoint(extension, node_extension);
4266 if (disjoint < 0)
4270 if (!disjoint)
4272 "extension domain should be disjoint from earlier "
4278 /* Return the universe of "uset" if this universe is disjoint from "ref".
4281 * Also check if "uset" itself is disjoint from "ref", reporting
4287 int disjoint;
4290 disjoint = isl_union_set_is_disjoint(uset, ref);
4291 if (disjoint < 0)
4293 if (!disjoint)
4295 "extension domain should be disjoint from "
4299 disjoint = isl_union_set_is_disjoint(universe, ref);
4300 if (disjoint >= 0 && disjoint) {
4306 if (disjoint < 0)
4341 isl_bool disjoint;
4343 disjoint = is_disjoint_extension(node, extension);
4344 if (disjoint < 0)
4346 if (disjoint)
Indexes created Sun Oct 25 00:26:45 UTC 2026