Searched refs:SuccDomain (Results 1 – 1 of 1) sorted by relevance
971 isl::set &SuccDomain = scop->getOrInitEmptyDomain(SuccBB); in buildDomainsWithBranchConstraints() local973 if (!SuccDomain.is_null()) { in buildDomainsWithBranchConstraints()974 SuccDomain = SuccDomain.unite(CondSet).coalesce(); in buildDomainsWithBranchConstraints()978 SuccDomain = CondSet; in buildDomainsWithBranchConstraints()981 SuccDomain = SuccDomain.detect_equalities(); in buildDomainsWithBranchConstraints()985 if (unsignedFromIslSize(SuccDomain.n_basic_set()) < MaxDisjunctsInDomain) in buildDomainsWithBranchConstraints()