Searched refs:SuccDomain (Results 1 – 1 of 1) sorted by relevance
970 isl::set &SuccDomain = scop->getOrInitEmptyDomain(SuccBB); in buildDomainsWithBranchConstraints() local972 if (SuccDomain) { in buildDomainsWithBranchConstraints()973 SuccDomain = SuccDomain.unite(CondSet).coalesce(); in buildDomainsWithBranchConstraints()977 SuccDomain = CondSet; in buildDomainsWithBranchConstraints()980 SuccDomain = SuccDomain.detect_equalities(); in buildDomainsWithBranchConstraints()984 if (SuccDomain.n_basic_set() < MaxDisjunctsInDomain) in buildDomainsWithBranchConstraints()