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