Searched refs:PredDom (Results 1 – 1 of 1) sorted by relevance
617 isl::set PredDom = getPredecessorDomainConstraints(BB, Domain); in propagateDomainConstraints() local618 Domain = Domain.intersect(PredDom).coalesce(); in propagateDomainConstraints()687 isl::set PredDom = isl::set::empty(Domain.get_space()); in getPredecessorDomainConstraints() local722 PredDom = PredDom.unite(PredBBDom); in getPredecessorDomainConstraints()725 return PredDom; in getPredecessorDomainConstraints()