Searched refs:CondSet (Results 1 – 1 of 1) sorted by relevance
946 isl::set CondSet = isl::manage(ConditionSets[u]); in buildDomainsWithBranchConstraints() local965 CondSet = adjustDomainDimensions(CondSet, BBLoop, SuccBBLoop); in buildDomainsWithBranchConstraints()973 SuccDomain = SuccDomain.unite(CondSet).coalesce(); in buildDomainsWithBranchConstraints()976 InvalidDomainMap[SuccBB] = CondSet.empty(CondSet.get_space()); in buildDomainsWithBranchConstraints()977 SuccDomain = CondSet; in buildDomainsWithBranchConstraints()