Searched refs:UnionBackedgeConditionComplement (Results 1 – 1 of 1) sorted by relevance
784 isl::set UnionBackedgeConditionComplement = in addLoopBoundsToHeaderDomain() local786 UnionBackedgeConditionComplement = in addLoopBoundsToHeaderDomain()787 UnionBackedgeConditionComplement.lower_bound_si(isl::dim::set, LoopDepth, in addLoopBoundsToHeaderDomain()789 UnionBackedgeConditionComplement = in addLoopBoundsToHeaderDomain()790 UnionBackedgeConditionComplement.apply(ForwardMap); in addLoopBoundsToHeaderDomain()791 HeaderBBDom = HeaderBBDom.subtract(UnionBackedgeConditionComplement); in addLoopBoundsToHeaderDomain()