Searched refs:BackedgeCondition (Results 1 – 1 of 1) sorted by relevance
752 isl::set BackedgeCondition = nullptr; in addLoopBoundsToHeaderDomain() local759 BackedgeCondition = LatchBBDom; in addLoopBoundsToHeaderDomain()770 BackedgeCondition = isl::manage(ConditionSets[idx]); in addLoopBoundsToHeaderDomain()775 BackedgeCondition = BackedgeCondition.project_out( in addLoopBoundsToHeaderDomain()777 UnionBackedgeCondition = UnionBackedgeCondition.unite(BackedgeCondition); in addLoopBoundsToHeaderDomain()