Searched refs:HeaderBBDom (Results 1 – 1 of 1) sorted by relevance
735 isl::set &HeaderBBDom = scop->getOrInitEmptyDomain(HeaderBB); in addLoopBoundsToHeaderDomain() local738 createNextIterationMap(HeaderBBDom.get_space(), LoopDepth); in addLoopBoundsToHeaderDomain()740 isl::set UnionBackedgeCondition = HeaderBBDom.empty(HeaderBBDom.get_space()); in addLoopBoundsToHeaderDomain()780 isl::map ForwardMap = ForwardMap.lex_le(HeaderBBDom.get_space()); in addLoopBoundsToHeaderDomain()791 HeaderBBDom = HeaderBBDom.subtract(UnionBackedgeConditionComplement); in addLoopBoundsToHeaderDomain()792 HeaderBBDom = HeaderBBDom.apply(NextIterationMap); in addLoopBoundsToHeaderDomain()794 auto Parts = partitionSetParts(HeaderBBDom, LoopDepth); in addLoopBoundsToHeaderDomain()795 HeaderBBDom = Parts.second; in addLoopBoundsToHeaderDomain()