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