Searched refs:HeaderBBDom (Results 1 – 1 of 1) sorted by relevance
736 isl::set &HeaderBBDom = scop->getOrInitEmptyDomain(HeaderBB); in addLoopBoundsToHeaderDomain() local739 createNextIterationMap(HeaderBBDom.get_space(), LoopDepth); in addLoopBoundsToHeaderDomain()741 isl::set UnionBackedgeCondition = HeaderBBDom.empty(HeaderBBDom.get_space()); in addLoopBoundsToHeaderDomain()781 isl::map ForwardMap = ForwardMap.lex_le(HeaderBBDom.get_space()); in addLoopBoundsToHeaderDomain()792 HeaderBBDom = HeaderBBDom.subtract(UnionBackedgeConditionComplement); in addLoopBoundsToHeaderDomain()793 HeaderBBDom = HeaderBBDom.apply(NextIterationMap); in addLoopBoundsToHeaderDomain()795 auto Parts = partitionSetParts(HeaderBBDom, LoopDepth); in addLoopBoundsToHeaderDomain()796 HeaderBBDom = Parts.second; in addLoopBoundsToHeaderDomain()