Searched refs:UnionBackedgeConditionComplement (Results 1 – 1 of 1) sorted by relevance
785 isl::set UnionBackedgeConditionComplement = in addLoopBoundsToHeaderDomain() local787 UnionBackedgeConditionComplement = in addLoopBoundsToHeaderDomain()788 UnionBackedgeConditionComplement.lower_bound_si(isl::dim::set, LoopDepth, in addLoopBoundsToHeaderDomain()790 UnionBackedgeConditionComplement = in addLoopBoundsToHeaderDomain()791 UnionBackedgeConditionComplement.apply(ForwardMap); in addLoopBoundsToHeaderDomain()792 HeaderBBDom = HeaderBBDom.subtract(UnionBackedgeConditionComplement); in addLoopBoundsToHeaderDomain()