Searched refs:UnionBackedgeCondition (Results 1 – 1 of 1) sorted by relevance
740 isl::set UnionBackedgeCondition = HeaderBBDom.empty(HeaderBBDom.get_space()); in addLoopBoundsToHeaderDomain() local777 UnionBackedgeCondition = UnionBackedgeCondition.unite(BackedgeCondition); in addLoopBoundsToHeaderDomain()785 UnionBackedgeCondition.complement(); in addLoopBoundsToHeaderDomain()