Lines Matching refs:disjoint
1823 int empty, disjoint;
1839 disjoint = isl_set_is_disjoint(domain, build->domain);
1840 if (disjoint < 0)
1842 if (disjoint)
1964 * have been made disjoint first.
1965 * The problem is that the domains may be integrally disjoint but not
1966 * rationally disjoint. For example, we may have domains
1984 * While the elements in "scc" should be disjoint, we double-check
2024 int disjoint;
2028 disjoint = isl_basic_set_is_disjoint(bset, first);
2029 if (disjoint < 0)
2031 else if (!disjoint)
2034 "basic sets in scc are assumed to be disjoint",
2060 * are pair-wise disjoint. It can, however, in principle happen that
2627 * remain disjoint. The constraints that are dropped by taking the hull
2702 * of disjoint basic sets for which code should be generated.
2710 * that they have been made pair-wise disjoint.
2746 * is disjoint from the other class domains.
2808 * has been made disjoint in compute_domains_init_options,
2953 /* Split up the domain at the current depth into disjoint
2961 * We first make sure that the class domain is disjoint from
2977 * are disjoint from those generated from other class domains.
3032 /* Split up the domain at the current depth into disjoint
3044 int disjoint;
3052 disjoint = isl_set_plain_is_disjoint(domain, domains->schedule_domain);
3053 if (disjoint < 0)
3055 if (disjoint) {
3067 * them disjoint by subtracting earlier domains from later domains.
3089 /* Split up the domain at the current depth into disjoint
3092 * Return the list of disjoint basic sets.
3176 * We first split up the domain at the current depth into disjoint
3201 * an AST for each of the resulting disjoint basic sets.
3334 * split the schedule domain into disjoint basic sets.
3346 * split up into disjoint basic sets.
3553 isl_bool disjoint;
3555 disjoint = isl_set_is_disjoint(set, first);
3556 if (disjoint < 0)
3558 if (disjoint)